This constructor reference.
Parameters: arguments - an expression mutable list.
ThisConstructorReference
public ThisConstructorReference(ArrayOfExpression arguments)(Code)
This constructor reference.
Parameters: arguments - an expression mutable list.
ThisConstructorReference
public ThisConstructorReference(ExtList children)(Code)
Constructor for the transformation of COMPOST ASTs to KeY.
Parameters: children - the children of this AST element as KeY classes.May contain: several of Expression (as initializers of the array),CommentsMust contain:execution context