package ast.types; import ast.visitors.TypeVisitor; public class BoolType extends Type { @Override public <T> T accept(TypeVisitor<T> visitor) { return visitor.visit(this); } @Override public boolean isCompatibleTo(Type type) { return (type.isCompatibleToBool() && !type.isCompatibleToInt() && !type.isCompatibleToStr()); } @Override public boolean isCompatibleToBool(){ return true; } }