Class Cast

src/main/java/wyil/lang/WyilFile.java:2673–2699

Represents a cast expression of the form " (T) e " where T is the cast type and e the casted expression . @author David J. Pearce

		 *
		 */
		public static class Cast extends AbstractExpr implements Expr, UnaryOperator {
			public Cast(Type type, Expr rhs) {
				super(EXPR_cast, type, rhs);
			}

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

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

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

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

		/**
		 * Represents the use of a constant within some expression. For example, in