Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package jif.types.principal

Interface Summary
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.
UnknownPrincipal | A representation of any unknown principal.

Class Summary
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.
UnknownPrincipal_c | An implementation of the `UnknownPrincipal` interface.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES