/**
* Constructor.
*
* @param size Expression representing the size of the array.
* @param elementType The type of the elements in the array.
* @param type The type of this expression.
*/
public NewArrayExpr(final Expr size, final Type elementType, final Type type) {
super(type);
this.size = size;
this.elementType = elementType;
size.setParent(this);
}
/**
* Constructor.
*
* @param expr An expression that is to be checked.
* @param type The type of this expression.
*/
public CheckExpr(final Expr expr, final Type type) {
super(type);
this.expr = expr;
expr.setParent(this);
}
