Class IndirectInvoke

src/main/java/wyil/lang/WyilFile.java:2894–2941

Represents an indirect invocation of the form " x.y(e1,..en) ". Here, x.y returns a function value and e1 ... en are the argument expressions . @author David J. Pearce

		 *
		 */
		public static class IndirectInvoke extends AbstractItem implements Expr {

			public IndirectInvoke(Type type, Expr source, Tuple<Expr> arguments) {
				super(EXPR_indirectinvoke, type, source, arguments);
			}

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

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

			public Expr getSource() {
				return (Expr) get(1);
			}

			@SuppressWarnings("unchecked")
			public Tuple<Expr> getArguments() {
				return (Tuple<Expr>) get(2);
			}

			@SuppressWarnings("unchecked")
			@Override
			public IndirectInvoke clone(Syntactic.Item[] operands) {
				return new IndirectInvoke((Type) operands[0], (Expr) operands[1],
						(Tuple<Expr>) operands[2]);
			}

			@Override
			public String toString() {
				String r = getSource().toString();
				r += getArguments();
				return r;
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.THREE, Data.ZERO, "EXPR_indirectinvoke") {
				@SuppressWarnings("unchecked")
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new IndirectInvoke((Type) operands[0], (Expr) operands[1],
							(Tuple<Expr>) operands[2]);
				}
			};
		}

		/**
		 * Represents an <i>old expression</i> of the form "<code>old(e)</code>". This