Class FieldDereference

src/main/java/wyil/lang/WyilFile.java:4320–4354

Represents an object dereference expression of the form " e->f " where e is the operand expression and f the target field . @author David J. Pearce

		 *
		 */
		public static class FieldDereference extends AbstractExpr implements LVal, UnaryOperator {
			public FieldDereference(Type type, Expr operand, Identifier field) {
				super(EXPR_fielddereference, type, operand, field);
			}

			/**
			 * Get the operand to be dereferenced. That is,
			 * <code>e<code> in </code>*e</code>.
			 */
			@Override
			public Expr getOperand() {
				return (Expr) super.get(1);
			}

			public Identifier getField() {
				return (Identifier) super.get(2);
			}

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

			@Override
			public String toString() {
				return getOperand() + "->" + getField();
			}

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

		/**
		 * Represents an <i>object allocation</i> expression of the form