jif.types.label
Interfaces
ArgLabel
ConfPolicy
CovariantParamLabel
DynamicLabel
IntegPolicy
JoinLabel
Label
MeetLabel
NotTaken
PairLabel
ParamLabel
Policy
ReaderPolicy
ThisLabel
UnknownLabel
VarLabel
WriterPolicy
WritersToReadersLabel
Classes
AccessPath
AccessPathClass
AccessPathConstant
AccessPathField
AccessPathLocal
AccessPathRoot
AccessPathThis
AccessPathUninterpreted
ArgLabel_c
ConfProjectionPolicy_c
CovariantParamLabel_c
DynamicLabel_c
IntegProjectionPolicy_c
JoinConfPolicy_c
JoinIntegPolicy_c
JoinLabel_c
JoinPolicy_c
Label_c
MeetConfPolicy_c
MeetIntegPolicy_c
MeetLabel_c
MeetPolicy_c
NotTaken_c
PairLabel_c
ParamLabel_c
Policy_c
ReaderPolicy_c
ThisLabel_c
UnknownLabel_c
VarLabel_c
WriterPolicy_c
WritersToReadersLabel_c