/** @since 0.8 or earlier */ public GraphPrintVisitor endGroup() { ensureOpen(); if (openGroupCount <= 0) { throw new IllegalArgumentException("no open group"); } maybeEndGraph(); openGroupCount--; xmlstream.writeEndElement(); // group return this; }
/** @since 0.8 or earlier */ public GraphPrintVisitor beginGraph(String graphName) { ensureOpen(); if (openGroupCount == 0) { beginGroup(graphName); } maybeEndGraph(); openGraphCount++; this.currentGraphName = graphName; // save old nodes prevNodeMap = nodeMap; nodeMap = new IdentityHashMap<>(); edgeList = new ArrayList<>(); return this; }
/** @since 0.8 or earlier */ public GraphPrintVisitor endGroup() { ensureOpen(); if (openGroupCount <= 0) { throw new IllegalArgumentException("no open group"); } maybeEndGraph(); openGroupCount--; xmlstream.writeEndElement(); // group return this; }
/** @since 0.8 or earlier */ public GraphPrintVisitor beginGraph(String graphName) { ensureOpen(); if (openGroupCount == 0) { beginGroup(graphName); } maybeEndGraph(); openGraphCount++; this.currentGraphName = graphName; // save old nodes prevNodeMap = nodeMap; nodeMap = new IdentityHashMap<>(); edgeList = new ArrayList<>(); return this; }
/** @since 0.8 or earlier */ public GraphPrintVisitor beginGroup(String groupName) { ensureOpen(); maybeEndGraph(); openGroupCount++; xmlstream.writeStartElement("group"); xmlstream.writeStartElement("properties"); if (!groupName.isEmpty()) { // set group name xmlstream.writeStartElement("p"); xmlstream.writeAttribute("name", "name"); xmlstream.writeCharacters(groupName); xmlstream.writeEndElement(); } xmlstream.writeEndElement(); // properties // forget old nodes prevNodeMap = null; nodeMap = new IdentityHashMap<>(); edgeList = new ArrayList<>(); return this; }
/** @since 0.8 or earlier */ public GraphPrintVisitor beginGroup(String groupName) { ensureOpen(); maybeEndGraph(); openGroupCount++; xmlstream.writeStartElement("group"); xmlstream.writeStartElement("properties"); if (!groupName.isEmpty()) { // set group name xmlstream.writeStartElement("p"); xmlstream.writeAttribute("name", "name"); xmlstream.writeCharacters(groupName); xmlstream.writeEndElement(); } xmlstream.writeEndElement(); // properties // forget old nodes prevNodeMap = null; nodeMap = new IdentityHashMap<>(); edgeList = new ArrayList<>(); return this; }