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

## Hierarchy For Package jif.types

Package Hierarchies:
  All Packages

## Class Hierarchy

- java.lang.Object
  - jif.types.AbstractSolver (implements jif.types.Solver)
    - jif.types.SolverGLB
  - jif.types.AbstractSolver.EquationQueue
  - jif.types.AbstractSolver.Frame
  - polyglot.types.Context_c (implements polyglot.types.Context)
    - jif.types.JifContext_c (implements jif.types.JifContext)
  - polyglot.util.Enum (implements polyglot.util.Internable, java.io.Serializable)
    - 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)
  - jif.types.FixedSignature (implements jif.types.DefaultSignature)
  - jif.types.GotoPath_c (implements jif.types.Path)
  - 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.types.LabelConstraint
  - jif.types.LabelConstraintMessage
  - jif.types.LabelSubstitution
    - jif.types.JifSubst_c.SubstLabelSubst (implements java.io.Serializable)
  - jif.types.NamedLabel
  - jif.types.PathMap
  - polyglot.types.SchedulerClassInitializer (implements polyglot.types.LazyClassInitializer)
    - jif.types.JifLazyClassInitializer_c
  - polyglot.ext.param.types.Subst_c (implements polyglot.ext.param.types.Subst)
    - jif.types.JifSubst_c (implements jif.types.JifSubst)
  - java.lang.Throwable (implements java.io.Serializable)
    - java.lang.Exception
      - polyglot.types.SemanticException
        - jif.types.SemanticDetailedException
  - polyglot.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.AutoEndorseConstraint_c (implements jif.types.AutoEndorseConstraint)
    - jif.types.CallerConstraint_c (implements jif.types.CallerConstraint)
    - 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
    - polyglot.types.ProcedureInstance_c (implements polyglot.types.ProcedureInstance)
      - polyglot.types.ConstructorInstance_c (implements polyglot.types.ConstructorInstance)
        - jif.types.JifConstructorInstance_c (implements jif.types.JifConstructorInstance)
      - polyglot.types.MethodInstance_c (implements polyglot.types.MethodInstance)
        - jif.types.JifMethodInstance_c (implements jif.types.JifMethodInstance)
    - polyglot.types.Type_c (implements polyglot.types.Type)
      - jif.types.LabeledType_c (implements jif.types.LabeledType)
      - polyglot.types.ReferenceType_c (implements polyglot.types.ReferenceType)
        - polyglot.types.ArrayType_c (implements polyglot.types.ArrayType)
          - jif.types.ConstArrayType_c (implements jif.types.ConstArrayType)
        - polyglot.types.ClassType_c (implements polyglot.types.ClassType)
          - polyglot.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.types.VarInstance_c (implements polyglot.types.VarInstance)
      - polyglot.types.FieldInstance_c (implements polyglot.types.FieldInstance)
        - jif.types.JifFieldInstance_c (implements jif.types.JifFieldInstance)
      - polyglot.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
  - polyglot.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)

## Interface Hierarchy

- java.lang.Cloneable
  - polyglot.util.Copy
    - polyglot.types.Context (also extends polyglot.types.Resolver)
      - jif.types.JifContext
    - polyglot.types.TypeObject (also extends java.io.Serializable)
      - jif.types.Assertion
        - jif.types.ActsForConstraint
        - jif.types.AuthConstraint
        - jif.types.AutoEndorseConstraint
        - jif.types.CallerConstraint
        - jif.types.LabelLeAssertion
      - polyglot.types.CodeInstance
        - polyglot.types.ProcedureInstance
          - polyglot.types.ConstructorInstance (also extends polyglot.types.Declaration, polyglot.types.MemberInstance)
            - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
          - polyglot.types.FunctionInstance
            - polyglot.types.MethodInstance (also extends polyglot.types.Declaration, polyglot.types.MemberInstance)
              - jif.types.JifMethodInstance (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.Declaration
        - polyglot.types.ClassType (also extends polyglot.types.Importable, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
          - jif.types.JifClassType
            - 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.ConstructorInstance (also extends polyglot.types.MemberInstance, polyglot.types.ProcedureInstance)
          - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
        - polyglot.types.MethodInstance (also extends polyglot.types.FunctionInstance, polyglot.types.MemberInstance)
          - 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.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.ConstructorInstance (also extends polyglot.types.Declaration, polyglot.types.ProcedureInstance)
          - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
        - polyglot.types.FieldInstance (also extends polyglot.types.VarInstance)
          - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
        - polyglot.types.MethodInstance (also extends polyglot.types.Declaration, polyglot.types.FunctionInstance)
          - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
      - 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.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.UnknownParam
      - 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.ArrayType
              - jif.types.ConstArrayType
            - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.MemberInstance)
              - jif.types.JifClassType
                - 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.types.Path
  - jif.types.ExceptionPath
- polyglot.types.Resolver
  - polyglot.types.Context (also extends polyglot.util.Copy)
    - jif.types.JifContext
- java.io.Serializable
  - 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.AutoEndorseConstraint
      - jif.types.CallerConstraint
      - jif.types.LabelLeAssertion
    - polyglot.types.CodeInstance
      - polyglot.types.ProcedureInstance
        - polyglot.types.ConstructorInstance (also extends polyglot.types.Declaration, polyglot.types.MemberInstance)
          - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
        - polyglot.types.FunctionInstance
          - polyglot.types.MethodInstance (also extends polyglot.types.Declaration, polyglot.types.MemberInstance)
            - jif.types.JifMethodInstance (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.Declaration
      - polyglot.types.ClassType (also extends polyglot.types.Importable, polyglot.types.MemberInstance, polyglot.types.ReferenceType)
        - jif.types.JifClassType
          - 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.ConstructorInstance (also extends polyglot.types.MemberInstance, polyglot.types.ProcedureInstance)
        - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
      - polyglot.types.MethodInstance (also extends polyglot.types.FunctionInstance, polyglot.types.MemberInstance)
        - 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.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.ConstructorInstance (also extends polyglot.types.Declaration, polyglot.types.ProcedureInstance)
        - jif.types.JifConstructorInstance (also extends jif.types.JifProcedureInstance)
      - polyglot.types.FieldInstance (also extends polyglot.types.VarInstance)
        - jif.types.JifFieldInstance (also extends jif.types.JifVarInstance)
      - polyglot.types.MethodInstance (also extends polyglot.types.Declaration, polyglot.types.FunctionInstance)
        - jif.types.JifMethodInstance (also extends jif.types.JifProcedureInstance)
    - 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.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.UnknownParam
    - 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.ArrayType
            - jif.types.ConstArrayType
          - polyglot.types.ClassType (also extends polyglot.types.Declaration, polyglot.types.Importable, polyglot.types.MemberInstance)
            - jif.types.JifClassType
              - 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.Solver
- polyglot.types.TypeSystem
  - polyglot.ext.param.types.ParamTypeSystem
    - jif.types.JifTypeSystem

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