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.
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.