|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Variable | |
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 join of a number of confidentiality policies. |
JoinIntegPolicy_c | Represents the join 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 confidentiality 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. |
VariableGatherer | This class is used to implement
Label.variables() . |
VarLabel_c | An implementation of the VarLabel interface. |
WriterPolicy_c | An implementation of the PolicyLabel interface. |
WritersToReadersLabel_c | An implementation of the DynamicLabel interface. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |