Политика contains класса HashSet

Проверяет, содержится ли указанное значение в массиве, ассоциированном с ресурсом.

Тип: политика-выражение.

Синтаксис

contains {sid: Handle, entry: Entry}

Здесь:

• Handle – дескриптор ресурса, с которым ассоциирован массив.
• Entry – значение, которое нужно проверить.

Возвращаемое значение

True если значение содержится в массиве.

False если значение не содержится в массиве.

KSS_DENY в следующих случаях:

• указанный дескриптор ресурса не ассоциирован с массивом в рамках объекта класса HashSet;
• указанный дескриптор ресурса некорректен.

Пример

...

/* При обращении сущности Server по интерфейсу безопасности проверяется,

содержится ли в ассоциированном с ней массиве значение 42 */

security src=Server, method=Check {

assert(S.contains {sid: src_sid, entry: 42})

}

В начало