|
Interface Summary |
| ArgLabel |
This label is used as a place-holder for method argument labels. |
| CovariantParamLabel |
Covariant label. |
| DynamicLabel |
Dynamic label. |
| JoinLabel |
The join of several labels. |
| Label |
This class represents the Jif security label. |
| NotTaken |
The class NotTaken is the label for paths which cannot be
taken, for example, the path that includes statements following a return statement. |
| ParamLabel |
The label derived from a label paramter. |
| PolicyLabel |
The policy label of the form owner: r1,...,rn |
| RuntimeLabel |
This component represents the join of all runtime components. |
| ThisLabel |
This label is used as a place-holder for the "this" label. |
| TopLabel |
The class JifTopLabel is the label at the top of the label
lattice. |
| UnknownLabel |
A representation of any unknown label. |
| VarLabel |
The variable label. |
|
Class Summary |
| AccessPath |
An AccessPath represents a final access path. |
| AccessPathClass |
Represents a final access path rooted at a class, e.g. |
| AccessPathConstant |
Represents a final access path consisting of a constant label or principal,
that is, either a NewLabel expression or an External principal. |
| AccessPathField |
Represent a final access path whose last element is a field access to a final
field, for example "p.f", where p is a final access path. |
| AccessPathLocal |
Represents a final access path rooted at a local variable. |
| AccessPathRoot |
Represents a final access path root. |
| AccessPathThis |
Represents a final access path rooted at "this". |
| AccessPathUninterpreted |
Represents an access path that is not final, and thus not interpreted: the
type system does not track it precisely. |
| ArgLabel_c |
This label is used as the label of the real argument. |
| CovariantParamLabel_c |
An implementation of the CovariantLabel interface. |
| DynamicLabel_c |
An implementation of the DynamicLabel interface. |
| JoinLabel_c |
An implementation of the JoinLabel interface. |
| Label_c |
An abstract implementation of the Label interface. |
| NotTaken_c |
An implementation of the NotTaken interface. |
| ParamLabel_c |
An implementation of the ParamLabel interface. |
| PolicyLabel_c |
An implementation of the PolicyLabel interface. |
| RuntimeLabel_c |
An implementation of the RuntimeLabel interface. |
| ThisLabel_c |
|
| TopLabel_c |
An implementation of the TopLabel interface. |
| UnknownLabel_c |
An implementation of the UnknownLabel interface. |
| VarLabel_c |
An implementation of the VarLabel interface. |