Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
de.uka.ilkd.key.java.recoderext |
Modifier and Type | Class and Description |
---|---|
class |
PosConvertException
A convert exception enriched with a location within a file/source.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object |
Recoder2KeYConverter.callConvert(ProgramElement pe)
convert a recoder ProgramElement to a corresponding KeY data structure
entity.
|
Modifier and Type | Method and Description |
---|---|
void |
DLEmbeddedExpression.check(Services javaServ,
KeYJavaType containingClass) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<? extends CompilationUnit> |
ClassFileDeclarationManager.getCompilationUnits()
retrieve all stores compilation units.
|
ClassType |
KeYCrossReferenceNameInfo.getJavaLangObject()
This implementation checks whether an implementation is available and
fails if not.
|
Copyright © 2003-2019 The KeY-Project.