|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 | |
Constraint | A Constraint is the superclass of label
constraints and principals constraints, which
are generated during type checking and label checking. |
Constraint.Kind | Kinds of constraint, either equality or inequality. |
ConstraintMessage | A LabelConstraintMessage provides error messages for
label constraints. |
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. |
LabeledType_c | An implementation of the LabeledType interface. |
LabelEquation | Label equation derived from a label constraint. |
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. |
PrincipalConstraint | A PrincipalConstraint represents a constraint on principals, which
may either be an actsfor or an equivalence constraint. |
PrincipalEquation | Principal equation derived from a principal constraint. |
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. |
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
.
TypeObject
,
Type
,
TypeSystem
,
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |