jif.types.label

Interfaces  ArgLabel ConfPolicy CovariantParamLabel DynamicLabel IntegPolicy JoinLabel Label MeetLabel NotTaken PairLabel ParamLabel Policy ReaderPolicy ThisLabel UnknownLabel Variable 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 VariableGatherer VarLabel_c WriterPolicy_c WritersToReadersLabel_c