| Interface | Description |
|---|---|
| JMLTranslationMethod |
| 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 | |
| JMLTranslator |
Translates JML expressions to FOL.
|
| KeYJMLLexer | |
| KeYJMLParser | |
| ProgramVariableCollection |
A collection of all program variables needed to translate a textual JML specification case.
|
| Enum | Description |
|---|---|
| JMLTranslator.JMLKeyWord |