@Override public PType caseAOrdRelation(AOrdRelation node, TypeCheckInfo question) throws AnalysisException { // Do not report TC errors for Min or Max. Just confusing. TypeChecker.suppressErrors(true); node.getMinDef().apply(THIS,question); node.getMaxDef().apply(THIS,question); TypeChecker.suppressErrors(false); return node.getRelDef().apply(THIS, question); }
PDefinition mindef = node.getOrdRelation() == null ? null : node.getOrdRelation().getMinDef();