HashSet class object

A HashSet class object is a set of arrays known as a pool. The type of elements of arrays, size of the pool, and size of an array is indicated in the object configuration. Policies are provided to do the following:

• Allocate an array from the pool and bind it to a resource, and unbind it and return the array to the pool.
• Add an element to an array and remove the element from the array.
• Check whether an element is a member of an array bound to a resource.

Object configuration

A HashSet class object configuration contains the following elements:

• type Entry – type of array element. Integer and Boolean types are supported. Composite types are also supported.
• config
  • set_size – size of the array.
  • pool_size – size of the pool of arrays.

All configuration parameters are required when creating a class object.

Audit configuration

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

Example

security.psl

...

use nk.hashmap._

policy object S : HashSet {

type Entry = UInt32 // array elements are integers

config =

{ set_size: 5

, pool_size: 2

}

}

Page top