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

## Package jif.lang

Provides classes that are fundamental to the Jif runtime system.

See:
Description

Interface Summary
Closure |
ConfPolicy |
IntegPolicy |
Label | A Label is the runtime representation of a Jif label.
Policy | A Policy is a component of a label, and is either an integrity policy or a confidentiatlity policy.
Principal | See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.

Class Summary
AbstractPolicy | A Label is the runtime representation of a Jif label.
AbstractPrincipal | This is an abstract implementation of the principal interface.
ActsForProof |
Capability |
Closure_JIF_IMPL |
ConjunctivePrincipal | A conjunction of two or more (non-null) principals
DelegatesProof |
DisjunctivePrincipal | A disjunction of two (non-null) principals
FromDisjunctProof |
JoinConfPolicy | Represents the join of confidentiality policies
JoinIntegPolicy | Represents the join of integrity policies
JoinPolicy | Abstract class representing the join of policies.
LabelUtil | A Label is the runtime representation of a Jif label.
MeetConfPolicy | Represents the meet of confidentiality policies
MeetIntegPolicy | Represents the meet of integrity policies
MeetPolicy | Abstract class representing the meet of policies.
PairLabel | A Label is the runtime representation of a Jif label.
Principal_JIF_IMPL | See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
PrincipalSet |
PrincipalUtil | Utility methods for principals.
ReaderPolicy |
ReflexiveProof |
ToConjunctProof |
TransitiveProof |
WriterPolicy |

## Package jif.lang Description

Provides classes that are fundamental to the Jif runtime system.

This package also provides classes for dealing with Jif runtime labels and runtime principals.

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