|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Represents | |
| jml2b.structure.jml | Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures. |
| Uses of Represents in jml2b.structure.jml |
| Methods in jml2b.structure.jml that return Represents | |
static Represents |
Represents.create(JmlFile jf,
antlr.collections.AST tree,
Modifiers m,
Class defining)
Creates an empty represent clause from a loaded file. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||