Возвращает имя типа ресурса (<resource-type>) из конфигурации экземпляра семейства ocap.
Политика capType может быть использована до политик init и initR, чтобы помочь инициализировать мандатную ссылку на основе числового идентификатора типа ресурса.
Тип: attr-политика.
Синтаксис
capType(in TypeId typeId);
Параметры
|
Идентификатор типа мандатной ссылки (целое число). Соответствует значению, указанному в параметре |
Возвращаемое значение
Тип ресурса из конфигурации экземпляра семейства ocap, соответствующий переданному идентификатору typeId. Если указанное значение typeId не найдено, то возвращаемое значение будет соответствовать значению "{ocap:invalid}".
Пример
...
use family ocapi = ocap {
FS: {
typeid: 202,
rights: {
Open: 1,
Read: 2,
Write: 4
}
},
Other: {typeid: 303, rights: {"": 1}}
};
entity HandleManager {
execute call main = grant;
security call onInitialize(caller, handle,
typeId, rights)[self] =
choice(ocapi.capType(typeId)) {
FS: ocapi.init {type: FS} (caller, handle, rights);
{ocap:invalid}: deny;
_: deny;
};
...
}
В начало