Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.reference |
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
Modifier and Type | Method and Description |
---|---|
static FieldReference |
KeYJavaASTFactory.arrayLength(JavaInfo model,
ReferencePrefix array)
Create an array length access.
|
FieldReference |
Recoder2KeYConverter.convert(ArrayLengthReference alr)
converts a recoder array length reference to a usual KeY field reference
|
static FieldReference |
KeYJavaASTFactory.fieldReference(ReferencePrefix prefix,
ProgramVariable field)
Create a field access.
|
static FieldReference |
KeYJavaASTFactory.fieldReference(Services services,
java.lang.String name,
Expression expression,
ExecutionContext context)
Create a field access.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printFieldReference(FieldReference x) |
Modifier and Type | Class and Description |
---|---|
class |
SchematicFieldReference
Field reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnFieldReference(FieldReference x) |
void |
CreatingASTVisitor.performActionOnFieldReference(FieldReference x) |
void |
JavaASTVisitor.performActionOnFieldReference(FieldReference x) |
void |
FieldReplaceVisitor.performActionOnFieldReference(FieldReference x) |
Copyright © 2003-2019 The KeY-Project.