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.
|
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
Modifier and Type | Method and Description |
---|---|
NewArray |
Recoder2KeYConverter.convert(NewArray newArr)
converts the recoder.java.expression.operator.NewArray node to the
KeYDependance
|
static NewArray |
KeYJavaASTFactory.newArray(TypeReference typeRef,
int dimensions,
ArrayInitializer initializer,
KeYJavaType keyJavaType)
Create an array instantiation.
|
static NewArray |
KeYJavaASTFactory.newArray(TypeReference typeRef,
int dimensions,
Expression[] sizes,
ArrayInitializer initializer,
KeYJavaType keyJavaType)
Create an array instantiation.
|
static NewArray |
KeYJavaASTFactory.newArray(TypeReference typeRef,
int dimensions,
Expression[] sizes,
KeYJavaType keyJavaType)
Create an array instantiation.
|
static NewArray |
KeYJavaASTFactory.newArray(TypeReference typeRef,
int dimensions,
Expression size,
KeYJavaType keyJavaType)
Create an array instantiation.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printNewArray(NewArray x) |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnNewArray(NewArray x) |
void |
CreatingASTVisitor.performActionOnNewArray(NewArray x) |
void |
JavaASTVisitor.performActionOnNewArray(NewArray x) |
Modifier and Type | Method and Description |
---|---|
protected void |
InitArray.createArrayAssignments(int p_start,
Statement[] p_statements,
ProgramVariable[] p_initializers,
ReferencePrefix p_array,
NewArray p_creationExpression)
Convert the variable initializers to assignments to the array
elements (the initializers may itself be array initializers, in
which case valid creation expressions are created by inserting
the new-operator)
|
protected Expression |
InitArray.createArrayCreation(NewArray p_creationExpression)
Create an array creation expression for an array of the size
given by the array initializer
|
protected ProgramVariable[] |
InitArray.evaluateInitializers(Statement[] p_stmnts,
NewArray p_creationExpression,
Services services)
The variable initializers have to be evaluated and assigned to
temporary variables (the initializers may itself be array
initializers, in which case valid creation expressions are
created by inserting the new-operator)
|
protected ImmutableArray<Expression> |
InitArray.extractInitializers(NewArray p_creationExpression)
Extract the variable initializers from the array initializer
|
protected KeYJavaType |
InitArray.getElementType(NewArray p_creationExpression) |
Copyright © 2003-2019 The KeY-Project.