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.