public class XMLWriter extends AbstractVisitor
Modifier and Type | Field and Description |
---|---|
protected int |
counter |
protected String |
init |
protected Map<InstanceLine,String> |
instances |
protected Map<AbstractLocation,String> |
locations |
protected XMLStreamWriter |
writer |
Constructor and Description |
---|
XMLWriter(OutputStream stream) |
XMLWriter(Writer writer) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
hasFlag(Element element,
String property) |
protected void |
indent() |
void |
visitBranchPoint(BranchPoint branchPoint) |
void |
visitCondition(Condition condition) |
void |
visitDocument(Document document) |
void |
visitEdge(Edge edge) |
void |
visitInstanceLine(InstanceLine instance) |
void |
visitLocation(Location location) |
void |
visitMessage(Message message) |
void |
visitNail(Nail nail) |
void |
visitPrechart(Prechart prechart) |
void |
visitTemplate(AbstractTemplate template) |
void |
visitUpdate(Update update) |
protected void |
writeAttributes(Element element) |
protected void |
writeFlag(Element element,
String property) |
protected void |
writePropertyAsElement(Element element,
String property,
boolean optional) |
protected void |
writePropertyAsLabel(Element element,
String name) |
visitCut, visitElement, visitNode, visitProperty
protected int counter
protected XMLStreamWriter writer
protected Map<AbstractLocation,String> locations
protected Map<InstanceLine,String> instances
protected String init
public XMLWriter(OutputStream stream) throws XMLStreamException
XMLStreamException
public XMLWriter(Writer writer) throws XMLStreamException
XMLStreamException
protected void indent() throws XMLStreamException
XMLStreamException
protected void writePropertyAsElement(Element element, String property, boolean optional) throws XMLStreamException
XMLStreamException
protected void writePropertyAsLabel(Element element, String name) throws XMLStreamException
XMLStreamException
protected void writeAttributes(Element element) throws XMLStreamException
XMLStreamException
protected void writeFlag(Element element, String property) throws XMLStreamException
XMLStreamException
public void visitDocument(Document document) throws Exception
visitDocument
in interface Visitor
visitDocument
in class AbstractVisitor
Exception
public void visitTemplate(AbstractTemplate template) throws Exception
visitTemplate
in interface Visitor
visitTemplate
in class AbstractVisitor
Exception
public void visitLocation(Location location) throws Exception
visitLocation
in interface Visitor
visitLocation
in class AbstractVisitor
Exception
public void visitBranchPoint(BranchPoint branchPoint) throws Exception
visitBranchPoint
in interface Visitor
visitBranchPoint
in class AbstractVisitor
Exception
public void visitEdge(Edge edge) throws Exception
visitEdge
in interface Visitor
visitEdge
in class AbstractVisitor
Exception
public void visitNail(Nail nail) throws Exception
visitNail
in interface Visitor
visitNail
in class AbstractVisitor
Exception
public void visitInstanceLine(InstanceLine instance) throws Exception
visitInstanceLine
in interface Visitor
visitInstanceLine
in class AbstractVisitor
Exception
public void visitPrechart(Prechart prechart) throws Exception
visitPrechart
in interface Visitor
visitPrechart
in class AbstractVisitor
Exception
public void visitMessage(Message message) throws Exception
visitMessage
in interface Visitor
visitMessage
in class AbstractVisitor
Exception
public void visitCondition(Condition condition) throws Exception
visitCondition
in interface Visitor
visitCondition
in class AbstractVisitor
Exception
public void visitUpdate(Update update) throws Exception
visitUpdate
in interface Visitor
visitUpdate
in class AbstractVisitor
Exception
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.