# Hierarchy For Package jif.lang

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - jif.lang.AbstractPolicy (implements jif.lang.Policy)
    - jif.lang.JoinPolicy (implements jif.lang.Policy)
      - jif.lang.JoinConfPolicy (implements jif.lang.ConfPolicy)
      - jif.lang.JoinIntegPolicy (implements jif.lang.IntegPolicy)
    - jif.lang.MeetPolicy (implements jif.lang.Policy)
      - jif.lang.MeetConfPolicy (implements jif.lang.ConfPolicy)
      - jif.lang.MeetIntegPolicy (implements jif.lang.IntegPolicy)
    - jif.lang.ReaderPolicy (implements jif.lang.ConfPolicy)
    - jif.lang.WriterPolicy (implements jif.lang.IntegPolicy)
  - jif.lang.AbstractPrincipal (implements jif.lang.Principal)
  - jif.lang.ActsForProof
    - jif.lang.DelegatesProof
    - jif.lang.FromDisjunctProof
    - jif.lang.ReflexiveProof
    - jif.lang.ToConjunctProof
    - jif.lang.TransitiveProof
  - jif.lang.Capability
  - jif.lang.Closure_JIF_IMPL
  - jif.lang.ConjunctivePrincipal (implements jif.lang.Principal)
  - jif.lang.DisjunctivePrincipal (implements jif.lang.Principal)
  - jif.lang.LabelUtil
  - jif.lang.PairLabel (implements jif.lang.Label)
  - jif.lang.Principal_JIF_IMPL
  - jif.lang.PrincipalSet
  - jif.lang.PrincipalUtil

## Interface Hierarchy

- jif.lang.Closure
- jif.lang.Label
- jif.lang.Policy
  - jif.lang.ConfPolicy
  - jif.lang.IntegPolicy
- jif.lang.Principal