jif.types

Interfaces  ActsForConstraint Assertion AuthConstraint CallerConstraint DefaultSignature ExceptionPath JifClassType JifConstructorInstance JifContext JifFieldInstance JifLocalInstance JifMethodInstance JifParsedPolyType JifPolyType JifProcedureInstance JifSubst JifSubstType JifTypeSystem JifVarInstance LabeledType LabelLeAssertion Param ParamInstance Path PrincipalInstance UnknownParam

Classes  ActsForConstraint_c AuthConstraint_c CallerConstraint_c Equation ExceptionPath_c FixedSignature GotoPath_c Graph JifConstructorInstance_c JifContext_c JifFieldInstance_c JifLazyClassInitializer_c JifLocalInstance_c JifMethodInstance_c JifMuPClass_c JifParsedPolyType_c JifSubst_c JifSubstClassType_c JifTypeSystem_c LabelConstraint LabelConstraint.Kind LabeledType_c LabelLeAssertion_c LabelSubstitution NamedLabel ParamInstance_c ParamInstance.Kind Path.FixedPath PathMap PrincipalInstance_c Solver SolverGLB TypeSubstitutor UnknownParam_c VarMap VarSignature

Exceptions  SemanticDetailedException