Class ArrayUpdate

src/main/java/wyil/lang/WyilFile.java:4530–4579

Represents an array update expression of the form " arr[e1:=e2] " where arr is the source array , e1 the subscript expression and e2 is the value expression. This returns a new array which is equivalent to arr but whe

		 *
		 */
		public static class ArrayUpdate extends AbstractExpr implements Expr, TernaryOperator {
			public ArrayUpdate(Type type, Expr src, Expr index, Expr value) {
				super(EXPR_arrayupdate, type, src, index, value);
			}

			/**
			 * Get the source array operand for this update. That is <code>xs</code> in
			 * <code>xs[i:=v]</code>.
			 */
			@Override
			public Expr getFirstOperand() {
				return (Expr) get(1);
			}

			/**
			 * Get the index operand for this update. That is <code>i</code> in
			 * <code>xs[i:=v]</code>.
			 */
			@Override
			public Expr getSecondOperand() {
				return (Expr) get(2);
			}

			/**
			 * Get the value operand of this update. That is <code>v</code> in
			 * <code>xs[i:=v]</code>.
			 */
			@Override
			public Expr getThirdOperand() {
				return (Expr) get(3);
			}

			@Override
			public ArrayUpdate clone(Syntactic.Item[] operands) {
				return new ArrayUpdate((Type) operands[0], (Expr) operands[1], (Expr) operands[2], (Expr) operands[3]);
			}

			@Override
			public String toString() {
				return getFirstOperand() + "[" + getSecondOperand() + ":=" + getThirdOperand() + "]";
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.FOUR, Data.ZERO, "EXPR_arrayupdate") {
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new ArrayUpdate((Type) operands[0], (Expr) operands[1], (Expr) operands[2],
							(Expr) operands[3]);
				}
			};
		}

		/**
		 * Represents an <i>array initialiser expression</i> of the form