jif.types.label

Interfaces  ArgLabel CovariantParamLabel DynamicLabel JoinLabel Label NotTaken ParamLabel PolicyLabel RuntimeLabel ThisLabel TopLabel UnknownLabel VarLabel

Classes  AccessPath AccessPathClass AccessPathConstant AccessPathField AccessPathLocal AccessPathRoot AccessPathThis AccessPathUninterpreted ArgLabel_c CovariantParamLabel_c DynamicLabel_c JoinLabel_c Label_c NotTaken_c ParamLabel_c PolicyLabel_c RuntimeLabel_c ThisLabel_c TopLabel_c UnknownLabel_c VarLabel_c