private void handleDefault(Tree child) { TreeFormat.println("DEFAULT"); TreeFormat.up(); ConstValue const_value = new ConstValue(child.getChild(0)); const_value.execute(); TreeFormat.down(); }