Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Hierarchy For All Packages

Package Hierarchies:
  jif, jif.ast, jif.extension, jif.parse, jif.translate, jif.types, jif.types.hierarchy, jif.types.label, jif.types.principal, jif.visit

## Class Hierarchy

- java.lang.Object
  - polyglot.ext.jl.ast.AbstractDelFactory_c (implements polyglot.ast.DelFactory)
    - jif.ast.JifDelFactory_c
  - polyglot.frontend.AbstractExtensionInfo (implements polyglot.frontend.ExtensionInfo)
    - polyglot.ext.jl.ExtensionInfo
      - jif.ExtensionInfo
      - jif.OutputExtensionInfo
  - polyglot.ext.jl.ast.AbstractExtFactory_c (implements polyglot.ast.ExtFactory)
    - jif.ast.JifExtFactory_c
  - polyglot.frontend.goals.AbstractGoal (implements polyglot.frontend.goals.Goal)
    - polyglot.frontend.goals.SourceFileGoal
      - jif.FieldLabelInferenceGoal
      - jif.LabelCheckGoal
  - polyglot.ext.jl.ast.AbstractNodeFactory_c (implements polyglot.ast.NodeFactory)
    - polyglot.ext.jl.ast.NodeFactory_c
      - jif.ast.JifNodeFactory_c (implements jif.ast.JifNodeFactory)
  - polyglot.frontend.AbstractPass (implements polyglot.frontend.Pass)
    - jif.visit.LabelCheckPass
  - jif.types.label.AccessPath (implements java.io.Serializable)
    - jif.types.label.AccessPathField
    - jif.types.label.AccessPathRoot
      - jif.types.label.AccessPathClass
      - jif.types.label.AccessPathConstant
      - jif.types.label.AccessPathLocal
      - jif.types.label.AccessPathThis
      - jif.types.label.AccessPathUninterpreted
  - jif.parse.Amb
    - jif.parse.Access
    - jif.parse.Array
    - jif.parse.Inst
    - jif.parse.InstOrAccess
    - jif.parse.LabeledExpr
    - jif.parse.Name
  - jif.extension.CallHelper
  - jif.extension.ConstructorChecker
  - polyglot.ext.jl.types.Context_c (implements polyglot.types.Context)
    - jif.types.JifContext_c (implements jif.types.JifContext)
  - jif.parse.Declarator
  - polyglot.ext.jl.ast.Disamb_c (implements polyglot.ast.Disamb)
    - jif.ast.JifDisamb_c
  - polyglot.util.Enum (implements polyglot.util.Internable, java.io.Serializable)
    - jif.ast.ActsFor.Kind
    - jif.types.LabelConstraint.Kind
    - jif.types.ParamInstance.Kind
    - jif.types.Path.FixedPath (implements jif.types.Path)
  - jif.types.Equation
  - jif.types.ExceptionPath_c (implements jif.types.ExceptionPath)
  - polyglot.ext.jl.ast.Ext_c (implements polyglot.ast.Ext)
    - jif.ast.Jif_c (implements jif.ast.Jif)
      - jif.extension.JifArrayAccessExt
      - jif.extension.JifArrayInitExt
      - jif.extension.JifAssignExt
        - jif.extension.JifArrayAccessAssignExt
        - jif.extension.JifFieldAssignExt
        - jif.extension.JifLocalAssignExt
      - jif.extension.JifBinaryExt
      - jif.extension.JifCallExt
      - jif.extension.JifCastExt
      - jif.extension.JifClassBodyExt
      - jif.extension.JifClassDeclExt
      - jif.extension.JifConditionalExt
      - jif.extension.JifDeclassifyExprExt
      - jif.extension.JifFieldDeclExt_c (implements jif.extension.JifFieldDeclExt)
      - jif.extension.JifFieldExt
      - jif.extension.JifFormalExt
      - jif.extension.JifInitializerExt
      - jif.extension.JifInstanceofExt
      - jif.extension.JifLabelExprExt
      - jif.extension.JifLiteralExt
      - jif.extension.JifLocalExt
      - jif.extension.JifNewArrayExt
      - jif.extension.JifNewExt
      - jif.extension.JifPrincipalNodeExt
      - jif.extension.JifProcedureDeclExt_c (implements jif.extension.JifProcedureDeclExt)
        - jif.extension.JifConstructorDeclExt
        - jif.extension.JifMethodDeclExt
      - jif.extension.JifSourceFileExt
      - jif.extension.JifSpecialExt
      - jif.extension.JifStmtExt_c (implements jif.extension.JifStmtExt)
        - jif.extension.JifActsForExt
        - jif.extension.JifBlockExt
        - jif.extension.JifBranchExt
        - jif.extension.JifCaseExt
        - jif.extension.JifConstructorCallExt
        - jif.extension.JifDeclassifyStmtExt
        - jif.extension.JifDoExt
        - jif.extension.JifEmptyExt
        - jif.extension.JifEvalExt
        - jif.extension.JifForExt
        - jif.extension.JifIfExt
        - jif.extension.JifLabeledExt
        - jif.extension.JifLabelIfExt
        - jif.extension.JifLocalDeclExt
        - jif.extension.JifReturnExt
        - jif.extension.JifSwitchExt
        - jif.extension.JifSynchronizedExt
        - jif.extension.JifThrowExt
        - jif.extension.JifTryExt
        - jif.extension.JifWhileExt
      - jif.extension.JifUnaryExt
    - polyglot.ext.jl.ast.JL_c (implements polyglot.ast.JL)
      - jif.extension.JifJL_c
        - jif.extension.JifArrayAccessAssignDel
        - jif.extension.JifArrayAccessDel
        - jif.extension.JifBinaryDel
        - jif.extension.JifCallDel
        - jif.extension.JifCastDel (implements jif.extension.JifPreciseClassDel)
        - jif.extension.JifClassDeclDel
        - jif.extension.JifConstructorCallDel
        - jif.extension.JifFieldAssignDel
        - jif.extension.JifFieldDeclDel
        - jif.extension.JifFieldDel
        - jif.extension.JifFormalDel
        - jif.extension.JifIfDel
        - jif.extension.JifInitializerDel
        - jif.extension.JifInstanceOfDel
        - jif.extension.JifLocalDeclDel
        - jif.extension.JifProcedureDeclDel
          - jif.extension.JifMethodDeclDel
        - jif.extension.JifThrowDel
        - jif.extension.JifTypeNodeDel
    - jif.translate.ToJavaExt_c (implements jif.translate.ToJavaExt)
      - jif.translate.ActsForToJavaExt_c
      - jif.translate.CannotToJavaExt_c
      - jif.translate.CanonicalLabelNodeToJavaExt_c
      - jif.translate.CanonicalPrincipalNodeToJavaExt_c
      - jif.translate.CanonicalTypeNodeToJavaExt_c
      - jif.translate.CaseToJavaExt_c
      - jif.translate.CastToJavaExt_c
      - jif.translate.ClassBodyToJavaExt_c
      - jif.translate.ClassDeclToJavaExt_c
      - jif.translate.ConstructorCallToJavaExt_c
      - jif.translate.ConstructorDeclToJavaExt_c
      - jif.translate.DeclassifyExprToJavaExt_c
      - jif.translate.DeclassifyStmtToJavaExt_c
      - jif.translate.ExprToJavaExt_c
        - jif.translate.BinaryToJavaExt_c
        - jif.translate.CallToJavaExt_c
        - jif.translate.FieldToJavaExt_c
        - jif.translate.LocalToJavaExt_c
        - jif.translate.NewToJavaExt_c
      - jif.translate.FieldDeclToJavaExt_c
      - jif.translate.FormalToJavaExt_c
      - jif.translate.InitializerToJavaExt_c
      - jif.translate.InstanceOfToJavaExt_c
      - jif.translate.LabelExprToJavaExt_c
        - jif.translate.NewLabelToJavaExt_c
      - jif.translate.LabelIfToJavaExt_c
      - jif.translate.LocalDeclToJavaExt_c
      - jif.translate.MethodDeclToJavaExt_c
      - jif.translate.PackageNodeToJavaExt_c
      - jif.translate.ReturnToJavaExt_c
      - jif.translate.SourceFileToJavaExt_c
  - jif.ExtensionInfo.JifJobExt (implements polyglot.frontend.JobExt)
  - jif.types.FixedSignature (implements jif.types.DefaultSignature)
  - jif.types.GotoPath_c (implements jif.types.Path)
  - jif.types.Graph
  - jif.ast.JifInstantiator
  - jif.types.JifSubst_c.ConstraintXform (implements polyglot.util.Transformation)
  - jif.types.JifSubst_c.LabelXform (implements polyglot.util.Transformation)
  - jif.types.JifSubst_c.PrincipalXform (implements polyglot.util.Transformation)
  - jif.ast.JifUtil
  - jif.visit.LabelChecker (implements polyglot.util.Copy)
  - jif.types.LabelConstraint
  - jif.types.hierarchy.LabelEnv_c (implements jif.types.hierarchy.LabelEnv)
  - jif.types.LabelSubstitution
    - jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker
    - jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker
    - jif.types.JifSubst_c.SubstLabelSubst (implements java.io.Serializable)
    - jif.extension.JifTypeNodeDel.StaticLabelChecker
  - jif.translate.LabelToJavaExpr_c (implements jif.translate.LabelToJavaExpr)
    - jif.translate.CannotLabelToJavaExpr_c
    - jif.translate.DynamicLabelToJavaExpr_c
    - jif.translate.JoinLabelToJavaExpr_c
    - jif.translate.PolicyLabelToJavaExpr_c
  - jif.extension.LabelTypeCheckUtil
  - jif.parse.Lexer_c (implements polyglot.lex.Lexer)
  - java_cup.runtime.lr_parser
    - polyglot.parse.BaseParser
      - polyglot.ext.jl.parse.Grm
        - jif.parse.Grm
  - jif.types.NamedLabel
  - polyglot.ext.jl.ast.Node_c (implements polyglot.ast.Node)
    - jif.ast.AmbExprParam_c (implements jif.ast.AmbExprParam)
    - jif.ast.AmbParam_c (implements jif.ast.AmbParam)
    - jif.ast.AmbParamTypeOrAccess_c (implements jif.ast.AmbParamTypeOrAccess)
    - jif.ast.ConstraintNode_c (implements jif.ast.ConstraintNode)
      - jif.ast.ActsForConstraintNode_c (implements jif.ast.ActsForConstraintNode)
      - jif.ast.AuthConstraintNode_c (implements jif.ast.AuthConstraintNode)
      - jif.ast.CallerConstraintNode_c (implements jif.ast.CallerConstraintNode)
      - jif.ast.CanonicalConstraintNode_c (implements jif.ast.CanonicalConstraintNode)
      - jif.ast.LabelLeAssertionNode_c (implements jif.ast.LabelLeAssertionNode)
    - jif.ast.LabelNode_c (implements jif.ast.LabelNode)
      - jif.ast.AmbLabelNode_c (implements polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.AmbDynamicLabelNode_c (implements jif.ast.AmbDynamicLabelNode)
        - jif.ast.AmbThisLabelNode_c (implements jif.ast.AmbThisLabelNode)
        - jif.ast.AmbVarLabelNode_c (implements jif.ast.AmbVarLabelNode)
        - jif.ast.JoinLabelNode_c (implements jif.ast.JoinLabelNode)
        - jif.ast.PolicyLabelNode_c (implements jif.ast.PolicyLabelNode)
      - jif.ast.CanonicalLabelNode_c (implements jif.ast.CanonicalLabelNode)
    - jif.ast.ParamDecl_c (implements jif.ast.ParamDecl)
    - polyglot.ext.jl.ast.Term_c (implements polyglot.ast.Term)
      - polyglot.ext.jl.ast.ClassDecl_c (implements polyglot.ast.ClassDecl)
        - jif.ast.JifClassDecl_c (implements jif.ast.JifClassDecl)
      - polyglot.ext.jl.ast.ConstructorDecl_c (implements polyglot.ast.ConstructorDecl)
        - jif.ast.JifConstructorDecl_c (implements jif.ast.JifConstructorDecl)
      - polyglot.ext.jl.ast.Expr_c (implements polyglot.ast.Expr)
        - jif.ast.AmbNewArray_c (implements jif.ast.AmbNewArray)
        - polyglot.ext.jl.ast.Call_c (implements polyglot.ast.Call)
          - jif.ast.JifCall_c
        - jif.ast.DeclassifyExpr_c (implements jif.ast.DeclassifyExpr)
        - jif.ast.LabelExpr_c (implements jif.ast.LabelExpr)
          - jif.ast.NewLabel_c (implements jif.ast.NewLabel)
        - polyglot.ext.jl.ast.New_c (implements polyglot.ast.New)
          - jif.ast.JifNew_c (implements polyglot.ast.New)
        - jif.ast.PrincipalNode_c (implements jif.ast.PrincipalNode)
          - jif.ast.AmbPrincipalNode_c (implements jif.ast.AmbPrincipalNode)
          - jif.ast.CanonicalPrincipalNode_c (implements jif.ast.CanonicalPrincipalNode)
        - jif.parse.Wrapper
      - polyglot.ext.jl.ast.Formal_c (implements polyglot.ast.Formal)
        - jif.ast.JifFormal_c
      - polyglot.ext.jl.ast.MethodDecl_c (implements polyglot.ast.MethodDecl)
        - jif.ast.JifMethodDecl_c (implements jif.ast.JifMethodDecl)
      - polyglot.ext.jl.ast.Stmt_c (implements polyglot.ast.Stmt)
        - jif.ast.ActsFor_c (implements jif.ast.ActsFor)
        - polyglot.ext.jl.ast.Catch_c (implements polyglot.ast.Catch)
          - jif.ast.JifCatch_c
        - jif.ast.DeclassifyStmt_c (implements jif.ast.DeclassifyStmt)
        - jif.ast.LabelIf_c (implements jif.ast.LabelIf)
        - polyglot.ext.jl.ast.LocalDecl_c (implements polyglot.ast.LocalDecl)
          - jif.ast.JifLocalDecl_c
      - polyglot.ext.jl.ast.TypeNode_c (implements polyglot.ast.TypeNode)
        - polyglot.ext.jl.ast.CanonicalTypeNode_c (implements polyglot.ast.CanonicalTypeNode)
          - jif.ast.JifCanonicalTypeNode_c (implements jif.ast.JifCanonicalTypeNode)
        - jif.ast.InstTypeNode_c (implements polyglot.ast.Ambiguous, jif.ast.InstTypeNode)
        - jif.ast.LabeledTypeNode_c (implements polyglot.ast.Ambiguous, jif.ast.LabeledTypeNode)
  - polyglot.visit.NodeVisitor (implements polyglot.util.Copy)
    - jif.visit.ConstChecker
    - polyglot.visit.HaltingVisitor
      - polyglot.visit.ErrorHandlingVisitor
        - polyglot.visit.ContextVisitor
          - jif.visit.FieldLabelResolver
          - jif.visit.JifLabelSubst
          - jif.translate.JifToJavaRewriter
        - polyglot.visit.DataFlow
          - jif.visit.ArrayIndexChecker
          - polyglot.visit.InitChecker
            - jif.visit.JifInitChecker
          - jif.visit.NotNullChecker
          - jif.visit.PreciseClassChecker
    - jif.visit.LabelSubstitutionVisitor
    - jif.parse.UnwrapVisitor
  - polyglot.main.Options
    - jif.JifOptions
  - jif.translate.ParamToJavaExpr_c (implements jif.translate.LabelToJavaExpr, jif.translate.PrincipalToJavaExpr)
  - jif.types.PathMap
  - polyglot.visit.PrettyPrinter
    - polyglot.visit.Translator (implements polyglot.util.Copy)
      - jif.visit.JifTranslator
  - jif.types.hierarchy.PrincipalHierarchy
  - jif.translate.PrincipalToJavaExpr_c (implements jif.translate.PrincipalToJavaExpr)
    - jif.translate.CannotPrincipalToJavaExpr_c
    - jif.translate.DynamicPrincipalToJavaExpr_c
    - jif.translate.ExternalPrincipalToJavaExpr_c
  - polyglot.frontend.Scheduler
    - polyglot.ext.jl.JLScheduler
      - jif.JifScheduler
  - polyglot.ext.jl.types.SchedulerClassInitializer (implements polyglot.types.LazyClassInitializer)
    - jif.types.JifLazyClassInitializer_c
  - jif.types.Solver
    - jif.types.SolverGLB
  - polyglot.ext.param.types.Subst_c (implements polyglot.ext.param.types.Subst)
    - jif.types.JifSubst_c (implements jif.types.JifSubst)
  - jif.extension.SubtypeChecker
  - jif.parse.sym
  - java.lang.Throwable (implements java.io.Serializable)
    - java.lang.Exception
      - polyglot.types.SemanticException
        - jif.types.SemanticDetailedException
  - jif.Topics
  - polyglot.ext.jl.types.TypeObject_c (implements polyglot.types.TypeObject)
    - jif.types.ActsForConstraint_c (implements jif.types.ActsForConstraint)
    - jif.types.AuthConstraint_c (implements jif.types.AuthConstraint)
    - jif.types.CallerConstraint_c (implements jif.types.CallerConstraint)
    - jif.types.label.Label_c (implements jif.types.label.Label)
      - jif.types.label.ArgLabel_c (implements jif.types.label.ArgLabel)
      - jif.types.label.CovariantParamLabel_c (implements jif.types.label.CovariantParamLabel)
      - jif.types.label.DynamicLabel_c (implements jif.types.label.DynamicLabel)
      - jif.types.label.JoinLabel_c (implements jif.types.label.JoinLabel)
      - jif.types.label.NotTaken_c (implements jif.types.label.NotTaken)
      - jif.types.label.ParamLabel_c (implements jif.types.label.ParamLabel)
      - jif.types.label.PolicyLabel_c (implements jif.types.label.PolicyLabel)
      - jif.types.label.RuntimeLabel_c (implements jif.types.label.RuntimeLabel)
      - jif.types.label.ThisLabel_c (implements jif.types.label.ThisLabel)
      - jif.types.label.TopLabel_c (implements jif.types.label.TopLabel)
      - jif.types.label.UnknownLabel_c (implements jif.types.label.UnknownLabel)
      - jif.types.label.VarLabel_c (implements jif.types.label.VarLabel)
    - jif.types.LabelLeAssertion_c (implements jif.types.LabelLeAssertion)
    - polyglot.ext.param.types.PClass_c (implements polyglot.ext.param.types.PClass)
      - polyglot.ext.param.types.MuPClass_c (implements polyglot.ext.param.types.MuPClass)
        - jif.types.JifMuPClass_c
    - jif.types.principal.Principal_c (implements jif.types.principal.Principal)
      - jif.types.principal.DynamicPrincipal_c (implements jif.types.principal.DynamicPrincipal)
      - jif.types.principal.ExternalPrincipal_c (implements jif.types.principal.ExternalPrincipal)
      - jif.types.principal.ParamPrincipal_c (implements jif.types.principal.ParamPrincipal)
      - jif.types.principal.UnknownPrincipal_c (implements jif.types.principal.UnknownPrincipal)
    - polyglot.ext.jl.types.ProcedureInstance_c (implements polyglot.types.ProcedureInstance)
      - polyglot.ext.jl.types.ConstructorInstance_c (implements polyglot.types.ConstructorInstance)
        - jif.types.JifConstructorInstance_c (implements jif.types.JifConstructorInstance)
      - polyglot.ext.jl.types.MethodInstance_c (implements polyglot.types.MethodInstance)
        - jif.types.JifMethodInstance_c (implements jif.types.JifMethodInstance)
    - polyglot.ext.jl.types.Type_c (implements polyglot.types.Type)
      - jif.types.LabeledType_c (implements jif.types.LabeledType)
      - polyglot.ext.jl.types.ReferenceType_c (implements polyglot.types.ReferenceType)
        - polyglot.ext.jl.types.ClassType_c (implements polyglot.types.ClassType)
          - polyglot.ext.jl.types.ParsedClassType_c (implements polyglot.types.ParsedClassType)
            - jif.types.JifParsedPolyType_c (implements jif.types.JifParsedPolyType)
          - polyglot.ext.param.types.SubstClassType_c (implements polyglot.ext.param.types.SubstType)
            - jif.types.JifSubstClassType_c (implements jif.types.JifSubstType)
    - jif.types.UnknownParam_c (implements jif.types.UnknownParam)
    - polyglot.ext.jl.types.VarInstance_c (implements polyglot.types.VarInstance)
      - polyglot.ext.jl.types.FieldInstance_c (implements polyglot.types.FieldInstance)
        - jif.types.JifFieldInstance_c (implements jif.types.JifFieldInstance)
      - polyglot.ext.jl.types.LocalInstance_c (implements polyglot.types.LocalInstance)
        - jif.types.JifLocalInstance_c (implements jif.types.JifLocalInstance)
      - jif.types.ParamInstance_c (implements jif.types.ParamInstance)
      - jif.types.PrincipalInstance_c (implements jif.types.PrincipalInstance)
  - jif.types.TypeSubstitutor
    - jif.extension.JifFieldDeclExt_c.InvarianceLabelSubstr
  - polyglot.ext.jl.types.TypeSystem_c (implements polyglot.types.TypeSystem)
    - polyglot.ext.param.types.ParamTypeSystem_c (implements polyglot.ext.param.types.ParamTypeSystem)
      - jif.types.JifTypeSystem_c (implements jif.types.JifTypeSystem)
  - jif.types.VarMap
  - jif.types.VarSignature (implements jif.types.DefaultSignature)
  - polyglot.main.Version
    - jif.Version

## Interface Hierarchy

- java.lang.Cloneable
  - polyglot.util.Copy
    - polyglot.types.Context (also extends polyglot.types.Resolver)
      - jif.types.JifContext
    - polyglot.ast.Ext
      - jif.ast.Jif
        - jif.extension.JifFieldDeclExt
        - jif.extension.JifProcedureDeclExt
      - jif.extension.JifStmtExt
      - jif.translate.ToJavaExt
    - polyglot.ast.JL (also extends polyglot.ast.NodeOps)
      - polyglot.ast.Node (also extends polyglot.util.Copy)
        - polyglot.ast.Ambiguous
          - jif.ast.AmbDynamicLabelNode (also extends jif.ast.LabelNode)
          - jif.ast.AmbNewArray (also extends polyglot.ast.Expr)
          - jif.ast.AmbParam (also extends jif.ast.ParamNode)
            - jif.ast.AmbExprParam
          - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Receiver)
          - jif.ast.AmbPrincipalNode (also extends jif.ast.PrincipalNode)
          - jif.ast.AmbThisLabelNode (also extends jif.ast.LabelNode)
          - jif.ast.AmbVarLabelNode (also extends jif.ast.LabelNode)
        - jif.ast.ConstraintNode
          - jif.ast.ActsForConstraintNode
          - jif.ast.AuthConstraintNode
          - jif.ast.CallerConstraintNode
          - jif.ast.CanonicalConstraintNode
          - jif.ast.LabelLeAssertionNode
        - jif.ast.ParamDecl
        - jif.ast.ParamNode
          - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
          - jif.ast.AmbExprParam
          - jif.ast.AmbParam (also extends polyglot.ast.Ambiguous)
            - jif.ast.AmbExprParam
          - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous, jif.ast.PrincipalNode)
          - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
          - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
          - jif.ast.CanonicalLabelNode
          - jif.ast.CanonicalPrincipalNode
          - jif.ast.JoinLabelNode
          - jif.ast.LabelNode
            - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.CanonicalLabelNode
            - jif.ast.JoinLabelNode
            - jif.ast.PolicyLabelNode
          - jif.ast.PolicyLabelNode
          - jif.ast.PrincipalNode (also extends polyglot.ast.Expr)
            - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.CanonicalPrincipalNode
        - polyglot.ast.Prefix
          - polyglot.ast.QualifierNode
            - polyglot.ast.TypeNode (also extends polyglot.ast.Receiver, polyglot.ast.Term)
              - polyglot.ast.CanonicalTypeNode
                - jif.ast.JifCanonicalTypeNode
              - jif.ast.InstTypeNode
              - jif.ast.LabeledTypeNode
          - polyglot.ast.Receiver (also extends polyglot.ast.Typed)
            - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Ambiguous)
            - polyglot.ast.Expr (also extends polyglot.ast.Term)
              - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
              - jif.ast.DeclassifyExpr
              - jif.ast.LabelExpr
                - jif.ast.NewLabel
              - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
                - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
                - jif.ast.CanonicalPrincipalNode
            - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Term)
              - polyglot.ast.CanonicalTypeNode
                - jif.ast.JifCanonicalTypeNode
              - jif.ast.InstTypeNode
              - jif.ast.LabeledTypeNode
        - polyglot.ast.Term
          - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.TopLevelDecl)
            - jif.ast.JifClassDecl
          - polyglot.ast.ClassMember
            - polyglot.ast.ClassDecl (also extends polyglot.ast.Term, polyglot.ast.TopLevelDecl)
              - jif.ast.JifClassDecl
            - polyglot.ast.CodeDecl
              - polyglot.ast.ProcedureDecl
                - polyglot.ast.ConstructorDecl
                  - jif.ast.JifConstructorDecl (also extends jif.ast.JifProcedureDecl)
                - jif.ast.JifProcedureDecl
                  - jif.ast.JifConstructorDecl (also extends polyglot.ast.ConstructorDecl)
                  - jif.ast.JifMethodDecl (also extends polyglot.ast.MethodDecl)
                - polyglot.ast.MethodDecl
                  - jif.ast.JifMethodDecl (also extends jif.ast.JifProcedureDecl)
          - polyglot.ast.Expr (also extends polyglot.ast.Receiver)
            - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
            - jif.ast.DeclassifyExpr
            - jif.ast.LabelExpr
              - jif.ast.NewLabel
            - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
              - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
              - jif.ast.CanonicalPrincipalNode
          - polyglot.ast.Stmt
            - polyglot.ast.CompoundStmt
              - jif.ast.ActsFor
              - jif.ast.DeclassifyStmt
              - jif.ast.LabelIf
          - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Receiver)
            - polyglot.ast.CanonicalTypeNode
              - jif.ast.JifCanonicalTypeNode
            - jif.ast.InstTypeNode
            - jif.ast.LabeledTypeNode
        - polyglot.ast.TopLevelDecl
          - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.Term)
            - jif.ast.JifClassDecl
    - polyglot.ast.Node (also extends polyglot.ast.JL)
      - polyglot.ast.Ambiguous
        - jif.ast.AmbDynamicLabelNode (also extends jif.ast.LabelNode)
        - jif.ast.AmbNewArray (also extends polyglot.ast.Expr)
        - jif.ast.AmbParam (also extends jif.ast.ParamNode)
          - jif.ast.AmbExprParam
        - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Receiver)
        - jif.ast.AmbPrincipalNode (also extends jif.ast.PrincipalNode)
        - jif.ast.AmbThisLabelNode (also extends jif.ast.LabelNode)
        - jif.ast.AmbVarLabelNode (also extends jif.ast.LabelNode)
      - jif.ast.ConstraintNode
        - jif.ast.ActsForConstraintNode
        - jif.ast.AuthConstraintNode
        - jif.ast.CallerConstraintNode
        - jif.ast.CanonicalConstraintNode
        - jif.ast.LabelLeAssertionNode
      - jif.ast.ParamDecl
      - jif.ast.ParamNode
        - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.AmbExprParam
        - jif.ast.AmbParam (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbExprParam
        - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous, jif.ast.PrincipalNode)
        - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.CanonicalLabelNode
        - jif.ast.CanonicalPrincipalNode
        - jif.ast.JoinLabelNode
        - jif.ast.LabelNode
          - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.CanonicalLabelNode
          - jif.ast.JoinLabelNode
          - jif.ast.PolicyLabelNode
        - jif.ast.PolicyLabelNode
        - jif.ast.PrincipalNode (also extends polyglot.ast.Expr)
          - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.CanonicalPrincipalNode
      - polyglot.ast.Prefix
        - polyglot.ast.QualifierNode
          - polyglot.ast.TypeNode (also extends polyglot.ast.Receiver, polyglot.ast.Term)
            - polyglot.ast.CanonicalTypeNode
              - jif.ast.JifCanonicalTypeNode
            - jif.ast.InstTypeNode
            - jif.ast.LabeledTypeNode
        - polyglot.ast.Receiver (also extends polyglot.ast.Typed)
          - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Ambiguous)
          - polyglot.ast.Expr (also extends polyglot.ast.Term)
            - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
            - jif.ast.DeclassifyExpr
            - jif.ast.LabelExpr
              - jif.ast.NewLabel
            - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
              - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
              - jif.ast.CanonicalPrincipalNode
          - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Term)
            - polyglot.ast.CanonicalTypeNode
              - jif.ast.JifCanonicalTypeNode
            - jif.ast.InstTypeNode
            - jif.ast.LabeledTypeNode
      - polyglot.ast.Term
        - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.TopLevelDecl)
          - jif.ast.JifClassDecl
        - polyglot.ast.ClassMember
          - polyglot.ast.ClassDecl (also extends polyglot.ast.Term, polyglot.ast.TopLevelDecl)
            - jif.ast.JifClassDecl
          - polyglot.ast.CodeDecl
            - polyglot.ast.ProcedureDecl
              - polyglot.ast.ConstructorDecl
                - jif.ast.JifConstructorDecl (also extends jif.ast.JifProcedureDecl)
              - jif.ast.JifProcedureDecl
                - jif.ast.JifConstructorDecl (also extends polyglot.ast.ConstructorDecl)
                - jif.ast.JifMethodDecl (also extends polyglot.ast.MethodDecl)
              - polyglot.ast.MethodDecl
                - jif.ast.JifMethodDecl (also extends jif.ast.JifProcedureDecl)
        - polyglot.ast.Expr (also extends polyglot.ast.Receiver)
          - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
          - jif.ast.DeclassifyExpr
          - jif.ast.LabelExpr
            - jif.ast.NewLabel
          - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
            - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.CanonicalPrincipalNode
        - polyglot.ast.Stmt
          - polyglot.ast.CompoundStmt
            - jif.ast.ActsFor
            - jif.ast.DeclassifyStmt
            - jif.ast.LabelIf
        - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Receiver)
          - polyglot.ast.CanonicalTypeNode
            - jif.ast.JifCanonicalTypeNode
          - jif.ast.InstTypeNode
          - jif.ast.LabeledTypeNode
      - polyglot.ast.TopLevelDecl
        - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.Term)
          - jif.ast.JifClassDecl
    - polyglot.types.TypeObject (also extends java.io.Serializable)
      - jif.types.Assertion
        - jif.types.ActsForConstraint
        - jif.types.AuthConstraint
        - jif.types.CallerConstraint
        - jif.types.LabelLeAssertion
      - polyglot.types.Declaration
        - polyglot.types.ClassType (also extends polyglot.types.Importable, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
          - jif.types.JifClassType
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
            - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
              - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
            - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
          - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
        - polyglot.types.ProcedureInstance (also extends polyglot.types.CodeInstance)
          - polyglot.types.ConstructorInstance
            - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
          - jif.types.JifProcedureInstance
            - jif.types.JifConstructorInstance (also extends polyglot.types.ConstructorInstance)
            - jif.types.JifMethodInstance (also extends polyglot.types.MethodInstance)
          - polyglot.types.MethodInstance
            - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
        - polyglot.types.VarInstance (also extends polyglot.types.TypeObject)
          - polyglot.types.FieldInstance (also extends polyglot.types.MemberInstance)
            - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
          - jif.types.JifVarInstance
            - jif.types.JifFieldInstance (also extends polyglot.types.FieldInstance)
            - jif.types.JifLocalInstance (also extends polyglot.types.LocalInstance)
          - polyglot.types.LocalInstance
            - jif.types.JifLocalInstance (also extends jif.types.JifVarInstance)
          - jif.types.ParamInstance
          - jif.types.PrincipalInstance
      - polyglot.types.MemberInstance
        - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.ReferenceType)
          - jif.types.JifClassType
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
            - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
              - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
            - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
          - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
        - polyglot.types.CodeInstance
          - polyglot.types.ProcedureInstance (also extends polyglot.types.Declaration)
            - polyglot.types.ConstructorInstance
              - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
            - jif.types.JifProcedureInstance
              - jif.types.JifConstructorInstance (also extends polyglot.types.ConstructorInstance)
              - jif.types.JifMethodInstance (also extends polyglot.types.MethodInstance)
            - polyglot.types.MethodInstance
              - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
        - polyglot.types.FieldInstance (also extends polyglot.types.VarInstance)
          - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
      - polyglot.types.Named
        - polyglot.types.Importable
          - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
            - jif.types.JifClassType
              - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
              - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
                - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
              - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
            - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
              - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
        - polyglot.types.ParsedTypeObject
          - polyglot.types.ParsedClassType (also extends polyglot.types.ClassType)
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
      - jif.types.Param
        - jif.types.label.ArgLabel
        - jif.types.label.CovariantParamLabel
        - jif.types.label.DynamicLabel
        - jif.types.principal.DynamicPrincipal
        - jif.types.principal.ExternalPrincipal
        - jif.types.label.JoinLabel
        - jif.types.label.Label
          - jif.types.label.ArgLabel
          - jif.types.label.CovariantParamLabel
          - jif.types.label.DynamicLabel
          - jif.types.label.JoinLabel
          - jif.types.label.NotTaken
          - jif.types.label.ParamLabel
          - jif.types.label.PolicyLabel
          - jif.types.label.RuntimeLabel
          - jif.types.label.ThisLabel
          - jif.types.label.TopLabel
          - jif.types.label.UnknownLabel
          - jif.types.label.VarLabel
        - jif.types.label.NotTaken
        - jif.types.label.ParamLabel
        - jif.types.principal.ParamPrincipal
        - jif.types.label.PolicyLabel
        - jif.types.principal.Principal
          - jif.types.principal.DynamicPrincipal
          - jif.types.principal.ExternalPrincipal
          - jif.types.principal.ParamPrincipal
          - jif.types.principal.UnknownPrincipal
        - jif.types.label.RuntimeLabel
        - jif.types.label.ThisLabel
        - jif.types.label.TopLabel
        - jif.types.label.UnknownLabel
        - jif.types.UnknownParam
        - jif.types.principal.UnknownPrincipal
        - jif.types.label.VarLabel
      - polyglot.types.Qualifier
        - polyglot.types.Type
          - polyglot.ext.param.types.InstType
            - jif.types.JifPolyType (also extends jif.types.JifClassType)
              - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
            - jif.types.JifSubstType (also extends jif.types.JifClassType, polyglot.ext.param.types.SubstType)
          - jif.types.LabeledType
          - polyglot.types.ReferenceType
            - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.MemberInstance)
              - jif.types.JifClassType
                - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
                - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
                  - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
                - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
              - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
                - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
          - polyglot.ext.param.types.SubstType
            - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, jif.types.JifClassType)
      - polyglot.types.VarInstance (also extends polyglot.types.Declaration)
        - polyglot.types.FieldInstance (also extends polyglot.types.MemberInstance)
          - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
        - jif.types.JifVarInstance
          - jif.types.JifFieldInstance (also extends polyglot.types.FieldInstance)
          - jif.types.JifLocalInstance (also extends polyglot.types.LocalInstance)
        - polyglot.types.LocalInstance
          - jif.types.JifLocalInstance (also extends jif.types.JifVarInstance)
        - jif.types.ParamInstance
        - jif.types.PrincipalInstance
- jif.types.DefaultSignature
- jif.extension.JifPreciseClassDel
- jif.types.hierarchy.LabelEnv
- jif.types.hierarchy.LabelEnv.SearchState
- polyglot.ast.NodeFactory
  - jif.ast.JifNodeFactory
- polyglot.ast.NodeOps
  - polyglot.ast.JL (also extends polyglot.util.Copy)
    - polyglot.ast.Node (also extends polyglot.util.Copy)
      - polyglot.ast.Ambiguous
        - jif.ast.AmbDynamicLabelNode (also extends jif.ast.LabelNode)
        - jif.ast.AmbNewArray (also extends polyglot.ast.Expr)
        - jif.ast.AmbParam (also extends jif.ast.ParamNode)
          - jif.ast.AmbExprParam
        - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Receiver)
        - jif.ast.AmbPrincipalNode (also extends jif.ast.PrincipalNode)
        - jif.ast.AmbThisLabelNode (also extends jif.ast.LabelNode)
        - jif.ast.AmbVarLabelNode (also extends jif.ast.LabelNode)
      - jif.ast.ConstraintNode
        - jif.ast.ActsForConstraintNode
        - jif.ast.AuthConstraintNode
        - jif.ast.CallerConstraintNode
        - jif.ast.CanonicalConstraintNode
        - jif.ast.LabelLeAssertionNode
      - jif.ast.ParamDecl
      - jif.ast.ParamNode
        - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.AmbExprParam
        - jif.ast.AmbParam (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbExprParam
        - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous, jif.ast.PrincipalNode)
        - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous, jif.ast.LabelNode)
        - jif.ast.CanonicalLabelNode
        - jif.ast.CanonicalPrincipalNode
        - jif.ast.JoinLabelNode
        - jif.ast.LabelNode
          - jif.ast.AmbDynamicLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbThisLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.AmbVarLabelNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.CanonicalLabelNode
          - jif.ast.JoinLabelNode
          - jif.ast.PolicyLabelNode
        - jif.ast.PolicyLabelNode
        - jif.ast.PrincipalNode (also extends polyglot.ast.Expr)
          - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
          - jif.ast.CanonicalPrincipalNode
      - polyglot.ast.Prefix
        - polyglot.ast.QualifierNode
          - polyglot.ast.TypeNode (also extends polyglot.ast.Receiver, polyglot.ast.Term)
            - polyglot.ast.CanonicalTypeNode
              - jif.ast.JifCanonicalTypeNode
            - jif.ast.InstTypeNode
            - jif.ast.LabeledTypeNode
        - polyglot.ast.Receiver (also extends polyglot.ast.Typed)
          - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Ambiguous)
          - polyglot.ast.Expr (also extends polyglot.ast.Term)
            - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
            - jif.ast.DeclassifyExpr
            - jif.ast.LabelExpr
              - jif.ast.NewLabel
            - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
              - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
              - jif.ast.CanonicalPrincipalNode
          - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Term)
            - polyglot.ast.CanonicalTypeNode
              - jif.ast.JifCanonicalTypeNode
            - jif.ast.InstTypeNode
            - jif.ast.LabeledTypeNode
      - polyglot.ast.Term
        - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.TopLevelDecl)
          - jif.ast.JifClassDecl
        - polyglot.ast.ClassMember
          - polyglot.ast.ClassDecl (also extends polyglot.ast.Term, polyglot.ast.TopLevelDecl)
            - jif.ast.JifClassDecl
          - polyglot.ast.CodeDecl
            - polyglot.ast.ProcedureDecl
              - polyglot.ast.ConstructorDecl
                - jif.ast.JifConstructorDecl (also extends jif.ast.JifProcedureDecl)
              - jif.ast.JifProcedureDecl
                - jif.ast.JifConstructorDecl (also extends polyglot.ast.ConstructorDecl)
                - jif.ast.JifMethodDecl (also extends polyglot.ast.MethodDecl)
              - polyglot.ast.MethodDecl
                - jif.ast.JifMethodDecl (also extends jif.ast.JifProcedureDecl)
        - polyglot.ast.Expr (also extends polyglot.ast.Receiver)
          - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
          - jif.ast.DeclassifyExpr
          - jif.ast.LabelExpr
            - jif.ast.NewLabel
          - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
            - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
            - jif.ast.CanonicalPrincipalNode
        - polyglot.ast.Stmt
          - polyglot.ast.CompoundStmt
            - jif.ast.ActsFor
            - jif.ast.DeclassifyStmt
            - jif.ast.LabelIf
        - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Receiver)
          - polyglot.ast.CanonicalTypeNode
            - jif.ast.JifCanonicalTypeNode
          - jif.ast.InstTypeNode
          - jif.ast.LabeledTypeNode
      - polyglot.ast.TopLevelDecl
        - polyglot.ast.ClassDecl (also extends polyglot.ast.ClassMember, polyglot.ast.Term)
          - jif.ast.JifClassDecl
- jif.types.Path
  - jif.types.ExceptionPath
- polyglot.types.Resolver
  - polyglot.types.Context (also extends polyglot.util.Copy)
    - jif.types.JifContext
- java.io.Serializable
  - jif.translate.LabelToJavaExpr
  - jif.translate.PrincipalToJavaExpr
  - polyglot.ext.param.types.Subst
    - jif.types.JifSubst
  - polyglot.types.TypeObject (also extends polyglot.util.Copy)
    - jif.types.Assertion
      - jif.types.ActsForConstraint
      - jif.types.AuthConstraint
      - jif.types.CallerConstraint
      - jif.types.LabelLeAssertion
    - polyglot.types.Declaration
      - polyglot.types.ClassType (also extends polyglot.types.Importable, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
        - jif.types.JifClassType
          - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
          - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
            - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
          - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
        - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
          - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
      - polyglot.types.ProcedureInstance (also extends polyglot.types.CodeInstance)
        - polyglot.types.ConstructorInstance
          - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
        - jif.types.JifProcedureInstance
          - jif.types.JifConstructorInstance (also extends polyglot.types.ConstructorInstance)
          - jif.types.JifMethodInstance (also extends polyglot.types.MethodInstance)
        - polyglot.types.MethodInstance
          - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
      - polyglot.types.VarInstance (also extends polyglot.types.TypeObject)
        - polyglot.types.FieldInstance (also extends polyglot.types.MemberInstance)
          - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
        - jif.types.JifVarInstance
          - jif.types.JifFieldInstance (also extends polyglot.types.FieldInstance)
          - jif.types.JifLocalInstance (also extends polyglot.types.LocalInstance)
        - polyglot.types.LocalInstance
          - jif.types.JifLocalInstance (also extends jif.types.JifVarInstance)
        - jif.types.ParamInstance
        - jif.types.PrincipalInstance
    - polyglot.types.MemberInstance
      - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.ReferenceType)
        - jif.types.JifClassType
          - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
          - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
            - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
          - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
        - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
          - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
      - polyglot.types.CodeInstance
        - polyglot.types.ProcedureInstance (also extends polyglot.types.Declaration)
          - polyglot.types.ConstructorInstance
            - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
          - jif.types.JifProcedureInstance
            - jif.types.JifConstructorInstance (also extends polyglot.types.ConstructorInstance)
            - jif.types.JifMethodInstance (also extends polyglot.types.MethodInstance)
          - polyglot.types.MethodInstance
            - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
      - polyglot.types.FieldInstance (also extends polyglot.types.VarInstance)
        - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
    - polyglot.types.Named
      - polyglot.types.Importable
        - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
          - jif.types.JifClassType
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
            - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
              - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
            - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
          - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
            - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
      - polyglot.types.ParsedTypeObject
        - polyglot.types.ParsedClassType (also extends polyglot.types.ClassType)
          - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
    - jif.types.Param
      - jif.types.label.ArgLabel
      - jif.types.label.CovariantParamLabel
      - jif.types.label.DynamicLabel
      - jif.types.principal.DynamicPrincipal
      - jif.types.principal.ExternalPrincipal
      - jif.types.label.JoinLabel
      - jif.types.label.Label
        - jif.types.label.ArgLabel
        - jif.types.label.CovariantParamLabel
        - jif.types.label.DynamicLabel
        - jif.types.label.JoinLabel
        - jif.types.label.NotTaken
        - jif.types.label.ParamLabel
        - jif.types.label.PolicyLabel
        - jif.types.label.RuntimeLabel
        - jif.types.label.ThisLabel
        - jif.types.label.TopLabel
        - jif.types.label.UnknownLabel
        - jif.types.label.VarLabel
      - jif.types.label.NotTaken
      - jif.types.label.ParamLabel
      - jif.types.principal.ParamPrincipal
      - jif.types.label.PolicyLabel
      - jif.types.principal.Principal
        - jif.types.principal.DynamicPrincipal
        - jif.types.principal.ExternalPrincipal
        - jif.types.principal.ParamPrincipal
        - jif.types.principal.UnknownPrincipal
      - jif.types.label.RuntimeLabel
      - jif.types.label.ThisLabel
      - jif.types.label.TopLabel
      - jif.types.label.UnknownLabel
      - jif.types.UnknownParam
      - jif.types.principal.UnknownPrincipal
      - jif.types.label.VarLabel
    - polyglot.types.Qualifier
      - polyglot.types.Type
        - polyglot.ext.param.types.InstType
          - jif.types.JifPolyType (also extends jif.types.JifClassType)
            - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
          - jif.types.JifSubstType (also extends jif.types.JifClassType, polyglot.ext.param.types.SubstType)
        - jif.types.LabeledType
        - polyglot.types.ReferenceType
          - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.MemberInstance)
            - jif.types.JifClassType
              - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType, polyglot.types.ParsedClassType)
              - jif.types.JifPolyType (also extends polyglot.ext.param.types.InstType)
                - jif.types.JifParsedPolyType (also extends polyglot.types.ParsedClassType)
              - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, polyglot.ext.param.types.SubstType)
            - polyglot.types.ParsedClassType (also extends polyglot.types.ParsedTypeObject)
              - jif.types.JifParsedPolyType (also extends jif.types.JifPolyType)
        - polyglot.ext.param.types.SubstType
          - jif.types.JifSubstType (also extends polyglot.ext.param.types.InstType, jif.types.JifClassType)
    - polyglot.types.VarInstance (also extends polyglot.types.Declaration)
      - polyglot.types.FieldInstance (also extends polyglot.types.MemberInstance)
        - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
      - jif.types.JifVarInstance
        - jif.types.JifFieldInstance (also extends polyglot.types.FieldInstance)
        - jif.types.JifLocalInstance (also extends polyglot.types.LocalInstance)
      - polyglot.types.LocalInstance
        - jif.types.JifLocalInstance (also extends jif.types.JifVarInstance)
      - jif.types.ParamInstance
      - jif.types.PrincipalInstance
- polyglot.ast.Typed
  - polyglot.ast.Receiver (also extends polyglot.ast.Prefix)
    - jif.ast.AmbParamTypeOrAccess (also extends polyglot.ast.Ambiguous)
    - polyglot.ast.Expr (also extends polyglot.ast.Term)
      - jif.ast.AmbNewArray (also extends polyglot.ast.Ambiguous)
      - jif.ast.DeclassifyExpr
      - jif.ast.LabelExpr
        - jif.ast.NewLabel
      - jif.ast.PrincipalNode (also extends jif.ast.ParamNode)
        - jif.ast.AmbPrincipalNode (also extends polyglot.ast.Ambiguous)
        - jif.ast.CanonicalPrincipalNode
    - polyglot.ast.TypeNode (also extends polyglot.ast.QualifierNode, polyglot.ast.Term)
      - polyglot.ast.CanonicalTypeNode
        - jif.ast.JifCanonicalTypeNode
      - jif.ast.InstTypeNode
      - jif.ast.LabeledTypeNode
- polyglot.types.TypeSystem
  - polyglot.ext.param.types.ParamTypeSystem
    - jif.types.JifTypeSystem

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES