And.java

package ql.ast.expression;

import ql.ast.type.BoolType;
import ql.ast.type.Type;

/**
 * Created by bore on 16/02/15.
 */
public class And extends BinaryExpr
{
    public And(Expr left, Expr right, int lineNumber)
    {
        super(left, right, lineNumber);
    }

    public And(Expr left, Expr right)
    {
        super(left, right);
    }

    @Override
    public boolean isTypeCompatibleWithExpr(Type t)
    {
        return t.isBool();
    }

    @Override
    public Type getReturnType(Type childType)
    {
        return new BoolType();
    }

    @Override
    public <T> T accept(ExprVisitor<T> visitor)
    {
        return visitor.visit(this);
    }
}