de.uka.ilkd.key.speclang.jml.translation
Classes
JMLBuiltInPropertyResolver
JMLResolverManager
JMLSpecFactory
JMLSpecFactory.ContractClauses
ProgramVariableCollection