@Override public PType caseAElseIfExp(AElseIfExp node, TypeCheckInfo question) throws AnalysisException { node.setType(typeCheckAElseIf(node, node.getLocation(), node.getElseIf(), node.getThen(), question)); return node.getType(); }
@Override public PType caseAElseIfExp(AElseIfExp node, TypeCheckInfo question) throws AnalysisException { node.setType(typeCheckAElseIf(node, node.getLocation(), node.getElseIf(), node.getThen(), question)); return node.getType(); }