Class Old

src/main/java/wyil/lang/WyilFile.java:2952–2988

Represents an old expression of the form " old(e) ". This can only appear in specification elements (i.e. it is a ghost expression), and signals that the given expression should be evaluated in the heap as it was on entry to the function or method. @author David J. Pearce

		 *
		 */
		public static class Old extends AbstractExpr implements Expr, UnaryOperator {
			public Old(Type type, Expr expr) {
				super(EXPR_old, type, expr);
			}

			@Override
			public Type getType() {
				return (Type) operands[0];
			}

			@Override
			public void setType(Type type) {
				operands[0] = type;
			}

			@Override
			public Expr getOperand() {
				return (Expr) get(1);
			}

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

			@Override
			public String toString() {
				return "old(" + getOperand() + ")";
			}

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


		/**