Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.recoderext | |
de.uka.ilkd.key.parser |
This package contains the parser for .key and .proof files.
|
Modifier and Type | Method and Description |
---|---|
KeYCrossReferenceServiceConfiguration |
KeYProgModelInfo.getServConf() |
KeYCrossReferenceServiceConfiguration |
Recoder2KeY.getServiceConfiguration() |
Constructor and Description |
---|
Recoder2KeY(Services services,
KeYCrossReferenceServiceConfiguration servConf,
KeYRecoderMapping rec2key,
NamespaceSet nss,
TypeConverter tc)
create a new Recoder2KeY transformation object.
|
Modifier and Type | Class and Description |
---|---|
class |
ProofCrossReferenceServiceConfiguration |
class |
SchemaCrossReferenceServiceConfiguration |
Modifier and Type | Method and Description |
---|---|
KeYCrossReferenceServiceConfiguration |
ParserConfig.serviceConfiguration() |
Copyright © 2003-2019 The KeY-Project.