Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
jml2b.structure.jml.ModifiesIdent

Packages that use ModifiesIdent
jml2b.structure.jml Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures. 
 

Uses of ModifiesIdent in jml2b.structure.jml
 

Methods in jml2b.structure.jml that return ModifiesIdent
 ModifiesIdent ModifiesDot.getM()
          Returns the member field.
 

Constructors in jml2b.structure.jml with parameters of type ModifiesIdent
ModifiesDot(ParsedItem pi, Type t, Formula f, ModifiesIdent m)
          Constructs a modified identifier from a formula and a modified field.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES