StaticMap class object

A StaticMap class object is a set of dictionaries called a pool. Elements of dictionaries have the key-value type. The size of the pool, type of values, set of keys, and default values for each key are specified in an object configuration. Policies are provided to do the following:

• Allocate a dictionary from the pool and bind it to a resource, and then unbind it and return the dictionary to the pool.
• Read elements of the dictionary and change the values of elements.
• Copy the contents of the working copy of the dictionary to the current copy, and copy the contents of the current copy to the working copy.

Object configuration

A StaticMap class object configuration contains the following elements:

• type Value – type of values of dictionary elements. Only integer types are supported.
• config
  • keys – dictionary of elements with the key-value type containing the default values.
  • pool_size – size of the pool of dictionaries.

All configuration parameters are required when creating a class object.

Audit configuration

A StaticMap class object does not contain additional fields for an audit configuration.

Example

security.psl

...

use nk.staticmap._

policy object M : StaticMap {

type Value = UInt16

config =

{ keys:

{ "k1": 0

, "k2": 1

}

, pool_size: 2

}

}

Page top