Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
Modifier and Type | Method and Description |
---|---|
CompilationUnit |
Recoder2KeYConverter.convert(CompilationUnit arg) |
CompilationUnit |
Recoder2KeYConverter.processCompilationUnit(CompilationUnit cu,
DataLocation context) |
CompilationUnit |
Recoder2KeY.readCompilationUnit(java.lang.String cUnitString)
read a compilation unit, given as a string.
|
CompilationUnit[] |
Recoder2KeY.readCompilationUnitsAsFiles(java.lang.String[] cUnitStrings,
FileRepo fileRepo)
parse a list of java files and transform it to the corresponding KeY
entities.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printCompilationUnit(CompilationUnit x) |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnCompilationUnit(CompilationUnit x) |
void |
JavaASTVisitor.performActionOnCompilationUnit(CompilationUnit x) |
Copyright © 2003-2019 The KeY-Project.