@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); }
private void setMinMax(AOrdRelation ordRelation, ATypeDefinition typeDef) { ILexLocation loc = ordRelation.getRelDef().getLocation().clone();
PDefinition orddef = node.getOrdRelation() == null ? null : node.getOrdRelation().getRelDef();
node.getInvType().setOrdDef(node.getOrdRelation().getRelDef()); setMinMax(node.getOrdRelation(),node);
node.getOrdRelation().getRelDef().apply(this, question); af.createPPatternAssistant().typeResolve(node.getOrdRelation().getLhsPattern(), question.rootVisitor, question.question); af.createPPatternAssistant().typeResolve(node.getOrdRelation().getRhsPattern(), question.rootVisitor, question.question);