Class Invoke

src/main/java/wyil/lang/WyilFile.java:2833–2884

Represents an invocation of the form " x.y.f(e1,..en) ". Here, x.y.f constitute a partially- or fully-qualified name and e1 ... en are the argument expressions . @author David J. Pearce

		 *
		 */
		public static class Invoke extends AbstractItem implements Expr, NaryOperator, Bindable {

			public Invoke(Decl.Binding<Type.Callable, Decl.Callable> binding, Tuple<Expr> arguments) {
				super(EXPR_invoke, binding, arguments);
			}

			@Override
			public Type getType() {
				return getBinding().getConcreteType().getReturn();
			}

			@Override
			public void setType(Type type) {
				throw new UnsupportedOperationException();
			}

			@Override
			public Decl.Link<Decl.Callable> getLink() {
				return getBinding().getLink();
			}

			@Override
			public Decl.Binding<Type.Callable,Decl.Callable> getBinding() {
				return (Decl.Binding<Type.Callable,Decl.Callable>) get(0);
			}

			@Override
			@SuppressWarnings("unchecked")
			public Tuple<Expr> getOperands() {
				return (Tuple<Expr>) get(1);
			}

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

			@Override
			public String toString() {
				return getBinding().toString() + getOperands();
			}

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

		/**
		 * Represents an indirect invocation of the form "<code>x.y(e1,..en)</code>".