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

## Package jif.types

Contains classes related to the Jif type system and Jif types, including Jif labels and principals.

See:
Description

Interface Summary
ActsForConstraint | The acts-for constraint.
Assertion | An `Assertion` represents a condition on labels and/or principals that is assumed to hold true.
AuthConstraint | The authority constraint.
AutoEndorseConstraint | The auto endorse constraint.
CallerConstraint | The caller constraint.
ConstArrayType | A `ConstArrayType` represents an array of base types, whose elements cannot change after initialization.
DefaultSignature |
ExceptionPath | The control flow path introduced by throwing a exception.
JifClassType | Jif class type.
JifConstructorInstance | Jif constructor instance.
JifContext | The context for Jif type checking.
JifFieldInstance | Jif field instance.
JifLocalInstance | Jif local instance.
JifMethodInstance | Jif method instance.
JifParsedPolyType | Jif parsed polymorphic class type.
JifPolyType | Jif polymorphic type.
JifProcedureInstance | Jif procedure instance.
JifSubst |
JifSubstType |
JifTypeSystem | Jif type system.
JifVarInstance | Jif variable instance.
LabeledType | A labeled type.
LabelLeAssertion |
Param | The root of the Jif class parameter types.
ParamInstance | A parameter instance.
Path | A control flow path.
PrincipalInstance | A `PrincipalInstance` represents a global principal.
Solver | A solver of Jif constraints.
UnknownParam | A representation of any unknown class parameter.

Class Summary
AbstractSolver | A solver of Jif constraints.
AbstractSolver.EquationQueue | A queue for equations.
ActsForConstraint_c | An implementation of the `ActsForConstraint` interface.
AuthConstraint_c | An implementation of the `AuthConstraint` interface.
AutoEndorseConstraint_c | An implementation of the `CallerConstraint` interface.
CallerConstraint_c | An implementation of the `CallerConstraint` interface.
ConstArrayType_c |
Equation | Label equation derived from a label constraint.
ExceptionPath_c | An implementation of the `ExceptionPath` interface.
FixedSignature |
GotoPath_c | The control flow path derived from GOTO like statements.
JifConstructorInstance_c | An implementation of the `JifConstructorInstance` interface.
JifContext_c | An implementation of the `JifContext` interface.
JifFieldInstance_c | An implementation of the `JifFieldInstance` interface.
JifLazyClassInitializer_c | A LazyClassInitializer is responsible for initializing members of a class after it has been created.
JifLocalInstance_c | An implementation of the `JifLocalInstance` interface.
JifMethodInstance_c | An implementation of the `JifMethodInstance` interface.
JifMuPClass_c | An implementation of the `JifParsedPolyType` interface.
JifParsedPolyType_c | An implementation of the `JifParsedPolyType` interface.
JifSubst_c |
JifSubstClassType_c |
JifTypeSystem_c | An implementation of the `JifTypeSystem` interface.
LabelConstraint | A `LabelConstraint` represents a constraint on labels, which may either be an inequality or equality constraint.
LabelConstraint.Kind | Kinds of constraint, either equality or inequality.
LabelConstraintMessage | A `LabelConstraintMessage` provides error messages for label constraints.
LabeledType_c | An implementation of the `LabeledType` interface.
LabelLeAssertion_c |
LabelSubstitution | The class is a simple Label visitor.
NamedLabel | A Jif label with names for the debuging use.
ParamInstance_c | An implementation of the `ParamInstance` interface.
ParamInstance.Kind |
Path.FixedPath |
PathMap | Implements the mapping from paths to labels.
PrincipalInstance_c | An implementation of the `PrincipalInstance` interface.
SolverGLB | A solver of Jif constraints.
TypeSubstitutor | Visits an AST, and applies a `LabelSubsitution` to all labels that occur in the AST.
UnknownParam_c | An implementation of the `UnknownParam` interface.
VarMap | Maps variable components to labels.
VarSignature |

Exception Summary
SemanticDetailedException | Allow a more detailed message if requested.

## Package jif.types Description

Contains classes related to the Jif type system and Jif types, including Jif labels and principals.

All the types and labelsextend from the class `TypeObject`. The objects of these classes should be created by invoking the correponding methods of `JifTypeSystem`.

See Also:
  `TypeObject`, `Type`, `TypeSystem`, ``

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