# Package jif.types.label

- Interface Summary
  Interface | Description
  --- | ---
  ArgLabel | This label is used as a place-holder for method argument labels.
  ConfPolicy | This class represents a Jif confidentiality policy, which is a lattice over reader policies.
  ConfProjectionPolicy | The confidentiality projection of a (non meet, join or pair) label.
  CovariantParamLabel | Covariant label.
  DynamicLabel | Dynamic label.
  IntegPolicy | This class represents a Jif integrity policy which is a lattice over writer policies.
  JoinConfPolicy | Represents the join of a number of confidentiality policies.
  JoinLabel | The join of several labels.
  JoinPolicy<P extends Policy> |
  Label | This class represents the Jif security label.
  MeetConfPolicy |
  MeetLabel | The meet of several labels.
  MeetPolicy<P extends Policy> |
  NotTaken | The class `NotTaken` is the label for paths which cannot be taken, for example, the path that includes statements following a return statement.
  PairLabel | This label represents a pair of a confidentiality policy and an integrity policy.
  ParamLabel | The label derived from a label paramter.
  Policy | This class is the common super class for integrity polices and confidentiality policies.
  ProviderLabel | The label on a class, representing the trustworthiness of the class itself.
  ReaderPolicy | The policy label of the form `owner -> r1,...,rn`
  ThisLabel | This label is used as a place-holder for the "this" label.
  UnknownLabel | A representation of any unknown label.
  Variable |
  VarLabel | The variable label.
  WriterPolicy | The policy label of the form `owner <- w1,...,wn`
  WritersToReadersLabel | Label that converts the writers of a label into readers.

- Class Summary
  Class | Description
  --- | ---
  AccessPath | An AccessPath represents a final access path.
  AccessPathClass | Represents a final access path rooted at a class, e.g.
  AccessPathConstant | Represents a final access path consisting of a constant label or principal, that is, either a NewLabel expression or an External principal.
  AccessPathField | Represent a final access path whose last element is a field access to a final field, for example "p.f", where p is a final access path.
  AccessPathLocal | Represents a final access path rooted at a local variable.
  AccessPathRoot | Represents a final access path root.
  AccessPathThis | Represents a final access path rooted at "this".
  AccessPathUninterpreted | Represents an access path that is not final, and thus not interpreted: the type system does not track it precisely.
  ArgLabel_c | This label is used as the label of the real argument.
  ConfProjectionPolicy_c | The confidentiality projection of a (non meet, join or pair) label.
  CovariantParamLabel_c | An implementation of the `CovariantLabel` interface.
  DynamicLabel_c | An implementation of the `DynamicLabel` interface.
  IntegProjectionPolicy_c | The integrity projection of a (non meet, join or pair) label.
  JoinConfPolicy_c | Represents the join of a number of confidentiality policies.
  JoinIntegPolicy_c | Represents the join of a number of integrity policies.
  JoinLabel_c | An implementation of the `JoinLabel` interface.
  JoinPolicy_c<P extends Policy> | Represents a join of a number of policies.
  Label_c | An abstract implementation of the `Label` interface.
  MeetConfPolicy_c | Represents the meet of a number of confidentiality policies.
  MeetIntegPolicy_c | Represents the meet of a number of integrity policies.
  MeetLabel_c | An implementation of the `MeetLabel` interface.
  MeetPolicy_c<P extends Policy> | Represents the meet of a number of policies.
  NotTaken_c | An implementation of the `NotTaken` interface.
  PairLabel_c |
  ParamLabel_c | An implementation of the `ParamLabel` interface.
  Policy_c | An implementation of the `PolicyLabel` interface.
  ProviderLabel_c |
  ReaderPolicy_c | An implementation of the `PolicyLabel` interface.
  ThisLabel_c |
  UnknownLabel_c | An implementation of the `UnknownLabel` interface.
  VariableGatherer | This class is used to implement `Label.variables()`.
  VarLabel_c | An implementation of the `VarLabel` interface.
  WriterPolicy_c | An implementation of the `PolicyLabel` interface.
  WritersToReadersLabel_c | An implementation of the `DynamicLabel` interface.