Объект класса HashSet

Объект класса HashSet представляет собой множество массивов – пул. В конфигурации объекта указывается тип элементов массивов, размер пула и размер массива. Предоставляются политики для:

• выделения массива из пула и связывания его с ресурсом, а также и для разрыва этой связи и возвращения массива в пул;
• добавления элемента в массив и удаления элемента из массива;
• проверки, является ли элемент членом массива, связанного с ресурсом.

Конфигурация объекта

Конфигурация объекта класса HashSet содержит следующие элементы:

• type Entry – тип элемента массива. Поддерживаются целочисленные типы, а также Boolean. Также поддерживаются составные типы.
• config
  • set_size – размер массива.
  • pool_size – размер пула массивов.

Все параметры конфигурации обязательны при создании объекта класса.

Конфигурация аудита

Объект класса HashSet не содержит дополнительных полей конфигурации аудита.

Пример

security.psl

...

use nk.hashmap._

policy object S : HashSet {

type Entry = UInt32 // элементы массива являются целочисленными

config =

{ set_size: 5

, pool_size: 2

}

}

В начало