return;
}
if (SubtypingManager.getInstance().isSubtype(subtypeRepresentator, supertypeRepresentator)) {
return;
}
<BUG>ErrorReporter.getInstance().setErrorString(subtypeRepresentator, "type "+ subtypeRepresentator+" should be a subtype of "+supertypeRepresentator);
TypeChecker.reportTypeError(subtypeRepresentator);
}
public void addEquation(SNode lhs, SNode rhs) {
</BUG>
SNode rhsRepresentator = getRepresentator(lhs);

return;
}
if (SubtypingManager.getInstance().isSubtype(subtypeRepresentator, supertypeRepresentator)) {
return;
}
String errorText = "type "+ subtypeRepresentator+" should be a subtype of "+supertypeRepresentator;
TypeChecker.reportTypeError(nodeToCheck, errorText);
}
public void addEquation(SNode lhs, SNode rhs, SNode nodeToCheck) {
SNode rhsRepresentator = getRepresentator(lhs);
