public static void dump(XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException { dump(null,writer,elem,blacklist); } public static void dump(ScannerBuffer buffer, XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException {
public static void dump(XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException { dump(null,writer,elem,blacklist); } public static void dump(ScannerBuffer buffer, XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException {
public static void dump(XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException { dump(null,writer,elem,blacklist); } public static void dump(ScannerBuffer buffer, XMLStreamWriter writer, XMLElement elem, String ... blacklist) throws XMLStreamException {
@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(); } }
elem.dump(writer); writer.writeEndElement();
elem.dump(writer); writer.writeEndElement();
elem.dump(writer); writer.writeEndElement();