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 |
---|---|
KeYRecoderMapping |
KeYRecoderMapping.copy() |
protected KeYRecoderMapping |
Recoder2KeYConverter.getMapping()
retrieve the recoder<->key mapping from the associated Recoder2KeY.
|
KeYRecoderMapping |
JavaInfo.rec2key()
convenience method that returns the Recoder-to-KeY mapping underlying
the KeYProgModelInfo of this JavaInfo
|
KeYRecoderMapping |
Recoder2KeY.rec2key() |
KeYRecoderMapping |
KeYProgModelInfo.rec2key() |
Constructor and Description |
---|
Recoder2KeY(Services services,
KeYCrossReferenceServiceConfiguration servConf,
KeYRecoderMapping rec2key,
NamespaceSet nss,
TypeConverter tc)
create a new Recoder2KeY transformation object.
|
Modifier and Type | Method and Description |
---|---|
KeYRecoderMapping |
ParserConfig.keyRecoderMapping() |
Copyright © 2003-2019 The KeY-Project.