package org.uva.qls.ast.type; import org.uva.qls.ast.CodePosition; import org.uva.qls.visitor.TypeVisitor; public class BoolType extends Type { public BoolType() { super(); } public BoolType(CodePosition pos) { super(pos); } @Override public boolean isBool() { return true; } @Override public boolean isEqual(Type type) { return type.isBool(); } @Override public String toString() { return "Bool"; } @Override public <T> T accept(TypeVisitor<T> visitor) { return visitor.visit(this); } }