Class Is

src/main/java/wyil/lang/WyilFile.java:2780–2822

Represents a type test expression of the form " e is T " where e is the test expression and T is the test type . @author David J. Pearce

		 *
		 */
		public static class Is extends AbstractItem implements Expr, UnaryOperator {
			public Is(Expr lhs, Type rhs) {
				super(EXPR_is, lhs, rhs);
			}

			@Override
			public Type getType() {
				return Type.Bool;
			}

			@Override
			public void setType(Type type) {
				if(!type.equals(Type.Bool)) {
					throw new IllegalArgumentException();
				}
			}

			@Override
			public Expr getOperand() {
				return (Expr) get(0);
			}

			public Type getTestType() {
				return (Type) get(1);
			}

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

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

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

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