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