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 |