Overview
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
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
jif.types.
Constraint
jif.types.
LabelConstraint
jif.types.
PrincipalConstraint
jif.types.
ConstraintMessage
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.
Constraint.Kind
jif.types.
ParamInstance.Kind
jif.types.
Path.FixedPath
(implements jif.types.
Path
)
jif.types.
Equation
jif.types.
LabelEquation
jif.types.
PrincipalEquation
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.
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
All Classes