Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.parser |
This package contains the parser for .key and .proof files.
|
Modifier and Type | Method and Description |
---|---|
TypeConverter |
TypeConverter.copy(Services services) |
TypeConverter |
Recoder2KeYTypeConverter.getTypeConverter() |
TypeConverter |
Services.getTypeConverter()
Returns the TypeConverter associated with this Services object.
|
Constructor and Description |
---|
KeYProgModelInfo(Services services,
TypeConverter typeConverter,
KeYRecoderExcHandler keh) |
Recoder2KeY(Services services,
KeYCrossReferenceServiceConfiguration servConf,
KeYRecoderMapping rec2key,
NamespaceSet nss,
TypeConverter tc)
create a new Recoder2KeY transformation object.
|
Recoder2KeYTypeConverter(Services services,
TypeConverter typeConverter,
NamespaceSet namespaces,
Recoder2KeY recoder2key) |
Modifier and Type | Method and Description |
---|---|
TypeConverter |
ParserConfig.typeConverter() |
Copyright © 2003-2019 The KeY-Project.