See: Description
| Interface | Description |
|---|---|
| ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam> |
The acts-for constraint.
|
| ActsForParam |
A class parameter type that can be used in an actsfor 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.
|
| Graph.NodeVisitor | |
| 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 | Description |
|---|---|
| AbstractSolver |
A solver of Jif constraints.
|
| AbstractSolver.EquationQueue |
A queue for equations.
|
| ActsForConstraint_c<Actor extends ActsForParam,Granter extends ActsForParam> | |
| 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. |
| FailedConstraintSnapshot | |
| FixedSignature | |
| GotoPath_c |
The control flow path derived from GOTO like statements.
|
| Graph | |
| InformationFlowTrace | |
| JifConstructorInstance_c |
An implementation of the
JifConstructorInstance interface. |
| JifContext_c |
An implementation of the
JifContext interface. |
| JifContext_c.Key | |
| JifDeserializedClassInitializer | |
| 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.
|
| LabelFlowGraph | |
| LabelLeAssertion_c | |
| LabelSubstitution |
The class is a simple Label visitor.
|
| NamedLabel |
A Jif label with names for the debuging use.
|
| Param_c | |
| 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 |
| Enum | Description |
|---|---|
| InformationFlowTrace.Direction |
| Exception | Description |
|---|---|
| SemanticDetailedException |
Allow a more detailed message if requested.
|
| UnsatisfiableConstraintException |
Exception indicating that a program constraint is not satisfiable.
|
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.