LessThanOrEqualsExpression.java

package edu.udel.cis.vsl.tass.model.impl.expression;

import edu.udel.cis.vsl.tass.model.IF.ModelFactoryIF;
import edu.udel.cis.vsl.tass.model.IF.SyntaxException;

public class LessThanOrEqualsExpression extends BinaryExpression {

	public LessThanOrEqualsExpression(ModelFactoryIF factory, Expression left,
			Expression right) throws SyntaxException {
		super(factory, ExpressionKind.LEQ, left, right);

		if (!left.type.isNumeric())
			throw new SyntaxException(left, "Expected numerical type");
		if (!right.type.isNumeric())
			throw new SyntaxException(right, "Expected numerical type");
		type = factory.booleanType();
	}

	public String toString() {
		return left.atomString() + " <= " + right.atomString();
	}

	public String atomString() {
		return toString();
	}
}