jif.types

Interfaces  ActsForConstraint Assertion AuthConstraint AutoEndorseConstraint CallerConstraint ConstArrayType DefaultSignature ExceptionPath 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 FixedSignature GotoPath_c JifConstructorInstance_c JifContext_c JifFieldInstance_c JifLazyClassInitializer_c JifLocalInstance_c JifMethodInstance_c JifMuPClass_c JifParsedPolyType_c JifSubst_c JifSubstClassType_c JifTypeSystem_c LabelConstraint LabeledType_c LabelEquation LabelLeAssertion_c LabelSubstitution NamedLabel ParamInstance_c ParamInstance.Kind Path.FixedPath PathMap PrincipalConstraint PrincipalEquation PrincipalInstance_c SolverGLB TypeSubstitutor UnknownParam_c VarMap VarSignature

Exceptions  SemanticDetailedException