Class IntegerLessThan

src/main/java/wyil/lang/WyilFile.java:3539–3582

Represents a strict inequality expression of the form " e1 < e2 " where e1 and e2 are the operand expressions . @author David J. Pearce

		 *
		 */
		public static class IntegerLessThan extends AbstractItem implements BinaryOperator {
			public IntegerLessThan(Expr lhs, Expr rhs) {
				super(EXPR_integerlessthan, 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 getFirstOperand() {
				return (Expr) super.get(0);
			}

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

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

			@Override
			public String toString() {
				return " < ";
			}

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

		/**
		 * Represents a non-strict <i>inequality expression</i> of the form