package com.klq.typechecker.error; import com.klq.ast.impl.expr.ABinaryExprNode; import com.klq.ast.impl.Type; /** * Created by Juriaan on 1-3-2015. */ public class Incomparable extends AError{ public Incomparable(ABinaryExprNode node, String operator, Type leftChild, Type rightChild) { super(5, true, String.format("The operands of the \"%s\" operator are not of the same type. The left operand is a %s. The right operand is a %s", operator, leftChild, rightChild), node.getLocation()); } }