Package jif.types.principal

Interface Summary

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 Summary

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.