package org.uva.sea.ql.ast.expr; import org.uva.sea.ql.ast.type.Bool; import org.uva.sea.ql.ast.type.Type; import org.uva.sea.ql.checker.visitor.IExprVisitor; public class LT extends Binary { public LT(Expr lhs, Expr rhs) { super(lhs, rhs); } @Override public <T> T accept(IExprVisitor<T> ev) { return ev.visit(this); } @Override public Type hasType() { return new Bool(); } @Override public String toString(){ return this.getLhs().toString()+" < "+this.getRhs().toString(); } }