public class GraphWriter extends Object
| Modifier and Type | Field and Description |
|---|---|
protected ElementWriter |
elementWriter |
protected String |
encoding |
protected int |
idSequence |
protected int |
openElements |
protected XMLStreamWriter |
xtw |
| Constructor and Description |
|---|
GraphWriter(OutputStream out) |
GraphWriter(OutputStream out,
String encoding) |
| Modifier and Type | Method and Description |
|---|---|
void |
edge(Edge edge,
String id,
String source,
String target) |
void |
endDocument() |
void |
endGraph(Graph graph) |
void |
endNode(Node node) |
String |
getNextId() |
void |
node(Node node,
String id) |
void |
startDocument() |
String |
startGraph(Graph graph) |
void |
startGraph(Graph graph,
String id) |
void |
startNode(Node node,
String id) |
void |
writeKeys(Collection<Key> keys) |
protected XMLStreamWriter xtw
protected int openElements
protected int idSequence
protected final ElementWriter elementWriter
protected final String encoding
public GraphWriter(OutputStream out)
public GraphWriter(OutputStream out, String encoding)
public String getNextId()
public void endNode(Node node)
public void startDocument()
public void writeKeys(Collection<Key> keys)
public void endGraph(Graph graph)
public void endDocument()
Copyright © 2016. All rights reserved.