Class TupleInitialiser

src/main/java/wyil/lang/WyilFile.java:4823–4859

Represents a tuple initialiser expression of the form " (e1,..,en) ". This returns a new tuple where each element holds the value resulting from its corresponding expression. @author David J. Pearce

		 *
		 */
		public static class TupleInitialiser extends AbstractExpr implements Expr, LVal, NaryOperator {
			public TupleInitialiser(Type type, Tuple<Expr> operands) {
				super(EXPR_tupleinitialiser, type, operands);
			}

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

			@Override
			public Tuple<Expr> getOperands() {
				return (Tuple<Expr>) operands[1];
			}

			@Override
			public String toString() {
				String r = "";
				//
				for (int i = 0; i != size(); ++i) {
					if (i != 0) {
						r += ",";
					}
					r += get(i).toString();
				}
				//
				return "(" + r + ")";
			}

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

		/**
		 * Represents a <i>record initialiser</i> expression of the form