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