jif.types
Interfaces
ActsForConstraint
ActsForParam
Assertion
AuthConstraint
AutoEndorseConstraint
CallerConstraint
ConstArrayType
DefaultSignature
ExceptionPath
Graph.NodeVisitor
JifClassType
JifConstructorInstance
JifContext
JifFieldInstance
JifLocalInstance
JifMethodInstance
JifParsedPolyType
JifPolyType
JifProcedureInstance
JifSubst
JifSubstType
JifTypeSystem
JifVarInstance
LabeledType
LabelLeAssertion
Param
ParamInstance
Path
PrincipalInstance
Solver
UnknownParam
Classes
AbstractSolver
AbstractSolver.EquationQueue
ActsForConstraint_c
AuthConstraint_c
AutoEndorseConstraint_c
CallerConstraint_c
ConstArrayType_c
Constraint
Constraint.Kind
ConstraintMessage
Equation
ExceptionPath_c
FailedConstraintSnapshot
FixedSignature
GotoPath_c
Graph
InformationFlowTrace
JifConstructorInstance_c
JifContext_c
JifContext_c.Key
JifDeserializedClassInitializer
JifFieldInstance_c
JifLazyClassInitializer_c
JifLocalInstance_c
JifMethodInstance_c
JifMuPClass_c
JifParsedPolyType_c
JifSubst_c
JifSubstClassType_c
JifTypeSystem_c
LabelConstraint
LabeledType_c
LabelEquation
LabelFlowGraph
LabelLeAssertion_c
LabelSubstitution
NamedLabel
Param_c
ParamInstance_c
ParamInstance.Kind
Path.FixedPath
PathMap
PrincipalConstraint
PrincipalEquation
PrincipalInstance_c
SolverGLB
TypeSubstitutor
UnknownParam_c
VarMap
VarSignature
Enums
InformationFlowTrace.Direction
Exceptions
SemanticDetailedException
UnsatisfiableConstraintException