# Package jif.lang

Provides classes that are fundamental to the Jif runtime system.

See: Description

- Interface Summary
  Interface | Description
  --- | ---
  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
  Class | Description
  --- | ---
  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 run time 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.