|
Class Summary |
| ACTION |
Function: Models an Action Type. |
| ANY |
Function: Models the "Any" Type. |
| AUTH_DELEG_PLUS |
Function: A Pseudo type which is used to type-check the auth+/deleg+
policy parameter to a delegation policy. |
| AUTH_MINUS |
Function: Models an Negative Authorisation Type. |
| AUTH_PLUS |
Function: Models a Positive Authorisation Type. |
| BOOLEAN |
Function: Models a BOOLEAN Type. |
| CHAR |
Function: Models a CHAR Type. |
| CONSTRAINT |
Function: Models a CONSTRAINT Type. |
| DELEG_MINUS |
Function: Models a Negative Delegation Type. |
| DELEG_PLUS |
Function: Models a Positive Delegation Type. |
| DOMAIN |
Function: Models a DOMAIN Type. |
| EVENT |
Function: Models a EVENT Type. |
| GROUP |
Function: Models a GROUP Type. |
| IDL |
Function: Models an IDL Type. |
| INT |
Function: Models an INT Type. |
| LIBRARY |
Function: A Pseudo type which is used to indicate that the associated
name is a LIBRARY object |
| META |
Function: Models a META Type. |
| MSTRUCT |
Function: Models a MSTRUCT Type. |
| NAME |
Function:Models a NAME Type. |
| NIL |
Function: Models a NIL Type. |
| OBLIG |
Function: Models an Obligation Type. |
| PARAMETER_IDENT |
Function: A Pseudo type which is used to indicate a name which is a
Parameter-Identifier (a formal parameter of the Policy Type,
an event parameter, or an authorisation action parameter). |
| REAL |
Function: Models a REAL Type. |
| REFRAIN |
Function: Models a Refrain Type. |
| REL |
Function: Models a Relationship Type. |
| ROLE |
Function: Models a ROLE Type. |
| SET |
Function: Models the SET Type. |
| STRING |
Function: Models a String Type. |
| Type |
Function: Models a Type |