@Override protected void dump(XMLStreamWriter writer) throws XMLStreamException { writer.writeStartElement("nonterminal"); writer.writeAttribute("id", tagname); writer.writeAttribute("variant", variant+""); // if (!list.isEmpty()){ Location loc = left(); if (loc!=null) loc.toXML(writer, "left"); // } for (XMLElement e:list) e.dump(writer); loc = right(); if (loc!=null) loc.toXML(writer, "right"); writer.writeEndElement(); } }
@Override protected void dump(XMLStreamWriter writer) throws XMLStreamException { writer.writeStartElement("nonterminal"); writer.writeAttribute("id", tagname); writer.writeAttribute("variant", variant+""); // if (!list.isEmpty()){ Location loc = left(); if (loc!=null) loc.toXML(writer, "left"); // } for (XMLElement e:list) e.dump(writer); loc = right(); if (loc!=null) loc.toXML(writer, "right"); writer.writeEndElement(); } }
@Override protected void dump(XMLStreamWriter writer) throws XMLStreamException { writer.writeStartElement("nonterminal"); writer.writeAttribute("id", tagname); writer.writeAttribute("variant", variant+""); // if (!list.isEmpty()){ Location loc = left(); if (loc!=null) loc.toXML(writer, "left"); // } for (XMLElement e:list) e.dump(writer); loc = right(); if (loc!=null) loc.toXML(writer, "right"); writer.writeEndElement(); } }