| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
de.uka.ilkd.key.rule.metaconstruct.ProgramMetaConstruct
de.uka.ilkd.key.rule.metaconstruct.InitArray
All known Subclasses: de.uka.ilkd.key.rule.metaconstruct.InitArrayCreation,
| InitArray | | abstract public class InitArray extends ProgramMetaConstruct (Code) | | Split an array creation expression with explicit array initializer,
creating a creation expression with dimension expression and a list
of assignments (-> Java language specification, 15.10)
|
| Method Summary | |
| protected void | createArrayAssignments(int p_start, Statement[] p_statements, ProgramVariable[] p_initializers, Expression p_array, Expression p_creationExpression)
| | protected Expression | createArrayCreation(Expression p_creationExpression)
| | protected Statement | createAssignment(Expression p_array, int p_index, Expression p_initializer, KeYJavaType p_elementType, ProgramElement p_baseType)
| | protected ProgramVariable[] | evaluateInitializers(Statement[] p_stmnts, Expression p_creationExpression, Services services)
| | protected ArrayOfExpression | extractInitializers(Expression p_creationExpression)
| | protected KeYJavaType | getElementType(Expression p_creationExpression)
|
| createArrayAssignments | | protected void createArrayAssignments(int p_start, Statement[] p_statements, ProgramVariable[] p_initializers, Expression p_array, Expression p_creationExpression)(Code) | | 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)
|
| createArrayCreation | | protected Expression createArrayCreation(Expression p_creationExpression)(Code) | | Create an array creation expression for an array of the size
given by the array initializer
|
| createAssignment | | protected Statement createAssignment(Expression p_array, int p_index, Expression p_initializer, KeYJavaType p_elementType, ProgramElement p_baseType)(Code) | | Convert one variable initializers to an assignment to the
appropriate array element (the initializer may itself be an
array initializer, in which case a valid creation expression is
created by inserting the new-operator)
|
| evaluateInitializers | | protected ProgramVariable[] evaluateInitializers(Statement[] p_stmnts, Expression p_creationExpression, Services services)(Code) | | 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)
|
| extractInitializers | | protected ArrayOfExpression extractInitializers(Expression p_creationExpression)(Code) | | Extract the variable initializers from the array initializer
|
|
|