Package jif.types.label

Interface Summary

Interface	Description
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.
ConfProjectionPolicy	The confidentiality projection of a (non meet, join or pair) label.
CovariantParamLabel	Covariant label.
DynamicLabel	Dynamic label.
IntegPolicy	This class represents a Jif integrity policy which is a lattice over writer policies.
JoinConfPolicy	Represents the join of a number of confidentiality policies.
JoinLabel	The join of several labels.
JoinPolicy<P extends Policy>
Label	This class represents the Jif security label.
MeetConfPolicy
MeetLabel	The meet of several labels.
MeetPolicy<P extends Policy>
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.
ProviderLabel	The label on a class, representing the trustworthiness of the class itself.
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

Class	Description
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<P extends Policy>	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<P extends Policy>	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.
ProviderLabel_c
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.