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 confidentiality policy.
Principal	See the documentation 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.