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

Uses of Class
jml2b.structure.jml.SpecArray

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

Uses of SpecArray in jml2b.structure.jml
 

Subclasses of SpecArray in jml2b.structure.jml
 class SpecArrayDotDot
          This class represents an indexes interval
 class SpecArrayExpr
          This class represents an index of an array
 class SpecArrayStar
          This class describes all the indexes of an array that are declared to be potentially modified.
 

Methods in jml2b.structure.jml that return SpecArray
 SpecArray ModifiesLbrack.getSa()
           
 

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