override public void switch_default(switch_default ast, int indent) { if (id == null) { base.switch_default(ast, indent); } }
virtual public void switch_default(switch_default ast, int indent) { // Write("default:", indent); }