exit.addCode("    return exit" + name + "((" + type + ") node);");
exit.addCode("    return Exit" + name + "((" + type + ") node);");
    private void addExitCase(String constant, String name, String type) {        exit.addCode("case (int) " + constant + ":");        exit.addCode("    return exit" + name + "((" + type + ") node);");    }