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

## Package jif.types.label

Interface Summary
ArgLabel | This label is used as a place-holder for method argument labels.
ConfPolicy | This class represents a Jif confidentiality policy, which is a lattice over reader policies.
CovariantParamLabel | Covariant label.
DynamicLabel | Dynamic label.
IntegPolicy | This class represents a Jif integrity policy which is a lattice over writer policies.
JoinLabel | The join of several labels.
Label | This class represents the Jif security label.
MeetLabel | The meet of several labels.
NotTaken | The class `NotTaken` is the label for paths which cannot be taken, for example, the path that includes statements following a return statement.
PairLabel | This label represents a pair of a confidentiality policy and an integrity policy.
ParamLabel | The label derived from a label paramter.
Policy | This class is the common super class for integrity polices and confidentiality policies.
ReaderPolicy | The policy label of the form `owner: r1,...,rn`
ThisLabel | This label is used as a place-holder for the "this" label.
UnknownLabel | A representation of any unknown label.
VarLabel | The variable label.
WriterPolicy | The policy label of the form `owner!: w1,...,wn`
WritersToReadersLabel | Label that converts the writers of a label into readers.

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.
ConfProjectionPolicy_c | The confidentiality projection of a (non meet, join or pair) label.
CovariantParamLabel_c | An implementation of the `CovariantLabel` interface.
DynamicLabel_c | An implementation of the `DynamicLabel` interface.
IntegProjectionPolicy_c | The integrity projection of a (non meet, join or pair) label.
JoinConfPolicy_c | Represents the meet of a number of integrity policies.
JoinIntegPolicy_c | Represents the meet of a number of integrity policies.
JoinLabel_c | An implementation of the `JoinLabel` interface.
JoinPolicy_c | Represents a join of a number of policies.
Label_c | An abstract implementation of the `Label` interface.
MeetConfPolicy_c | Represents the meet of a number of integrity policies.
MeetIntegPolicy_c | Represents the meet of a number of integrity policies.
MeetLabel_c | An implementation of the `MeetLabel` interface.
MeetPolicy_c | Represents the meet of a number of policies.
NotTaken_c | An implementation of the `NotTaken` interface.
PairLabel_c |
ParamLabel_c | An implementation of the `ParamLabel` interface.
Policy_c | An implementation of the `PolicyLabel` interface.
ReaderPolicy_c | An implementation of the `PolicyLabel` interface.
ThisLabel_c |
UnknownLabel_c | An implementation of the `UnknownLabel` interface.
VarLabel_c | An implementation of the `VarLabel` interface.
WriterPolicy_c | An implementation of the `PolicyLabel` interface.
WritersToReadersLabel_c | An implementation of the `DynamicLabel` interface.

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