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.
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
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
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.