Interface | Description |
---|---|
BottomPrincipal |
The bottom principal (written '_') allows all other principals to act for it.
|
ConjunctivePrincipal |
A conjunctive principal represents the conjunction of two principals A&B.
|
DisjunctivePrincipal |
A disjunctive principal represents the disjunction of two principals "A or B".
|
DynamicPrincipal |
Dynamic principal.
|
ExternalPrincipal |
The external principal is used primarily for testing purposes.
|
ParamPrincipal |
The principal derived from a principal parameter.
|
Principal |
The root interface of all kinds of Jif principals.
|
TopPrincipal |
The top principal is able to act for all other principals.
|
UnknownPrincipal |
A representation of any unknown principal.
|
VarPrincipal |
Class | Description |
---|---|
BottomPrincipal_c | |
ConjunctivePrincipal_c | |
DisjunctivePrincipal_c | |
DynamicPrincipal_c |
An implementation of the
DynamicPrincipal interface. |
ExternalPrincipal_c |
An implementation of the
ExternalPrincipal interface. |
ParamPrincipal_c |
An implementation of the
ParamPrincipal interface. |
Principal_c |
An abstract implementation of the
Principal interface. |
TopPrincipal_c | |
UnknownPrincipal_c |
An implementation of the
UnknownPrincipal interface. |
VarPrincipal_c |
An implementation of the
VarPrincipal interface. |