Class | Description |
---|---|
JMLBuiltInPropertyResolver |
Resolver for built-in JML operators.
|
JMLResolverManager |
Resolver manager for JML.
|
JMLSpecFactory |
A factory for creating class invariants and operation contracts from textual JML specifications.
|
JMLSpecFactory.ContractClauses | |
ProgramVariableCollection |
A collection of all program variables needed to translate a textual JML specification case.
|
Copyright © 2003-2019 The KeY-Project.