de.uka.ilkd.key.speclang.jml.translation

Interfaces

• JMLTranslationMethod

Classes

• JMLBuiltInPropertyResolver
• JMLResolverManager
• JMLSpecFactory
• JMLSpecFactory.ContractClauses
• JMLTranslator
• KeYJMLLexer
• KeYJMLParser
• ProgramVariableCollection

Enums

• JMLTranslator.JMLKeyWord