com.uppaal.model.io2
Class XMLWriter

java.lang.Object
  com.uppaal.model.core2.AbstractVisitor
      com.uppaal.model.io2.XMLWriter

All Implemented Interfaces:

Visitor

public class XMLWriter
extends AbstractVisitor

Field Summary

protected int	counter
protected String	init
protected Map<InstanceLine,String>	instances
protected Map<AbstractLocation,String>	locations
protected XMLStreamWriter	writer

Constructor Summary

XMLWriter(OutputStream stream)

XMLWriter(Writer writer)

Method Summary

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)

Methods inherited from class com.uppaal.model.core2.AbstractVisitor

visitCut, visitElement, visitNode, visitProperty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

counter

protected int counter

writer

protected XMLStreamWriter writer

locations

protected Map<AbstractLocation,String> locations

instances

protected Map<InstanceLine,String> instances

init

protected String init

Constructor Detail

XMLWriter

public XMLWriter(OutputStream stream)
          throws XMLStreamException

Throws:

XMLStreamException

XMLWriter

public XMLWriter(Writer writer)
          throws XMLStreamException

Throws:

XMLStreamException

Method Detail

indent

protected void indent()
               throws XMLStreamException

Throws:

XMLStreamException

writePropertyAsElement

protected void writePropertyAsElement(Element element,
                                      String property,
                                      boolean optional)
                               throws XMLStreamException

Throws:

XMLStreamException

writePropertyAsLabel

protected void writePropertyAsLabel(Element element,
                                    String name)
                             throws XMLStreamException

Throws:

XMLStreamException

writeAttributes

protected void writeAttributes(Element element)
                        throws XMLStreamException

Throws:

XMLStreamException

hasFlag

protected boolean hasFlag(Element element,
                          String property)

writeFlag

protected void writeFlag(Element element,
                         String property)
                  throws XMLStreamException

Throws:

XMLStreamException

visitDocument

public void visitDocument(Document document)
                   throws Exception

Specified by:

visitDocument in interface Visitor

Overrides:

visitDocument in class AbstractVisitor

Throws:

Exception

visitTemplate

public void visitTemplate(AbstractTemplate template)
                   throws Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

Exception

visitLocation

public void visitLocation(Location location)
                   throws Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint branchPoint)
                      throws Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

Exception

visitEdge

public void visitEdge(Edge edge)
               throws Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

Exception

visitNail

public void visitNail(Nail nail)
               throws Exception

Specified by:

visitNail in interface Visitor

Overrides:

visitNail in class AbstractVisitor

Throws:

Exception

visitInstanceLine

public void visitInstanceLine(InstanceLine instance)
                       throws Exception

Specified by:

visitInstanceLine in interface Visitor

Overrides:

visitInstanceLine in class AbstractVisitor

Throws:

Exception

visitPrechart

public void visitPrechart(Prechart prechart)
                   throws Exception

Specified by:

visitPrechart in interface Visitor

Overrides:

visitPrechart in class AbstractVisitor

Throws:

Exception

visitMessage

public void visitMessage(Message message)
                  throws Exception

Specified by:

visitMessage in interface Visitor

Overrides:

visitMessage in class AbstractVisitor

Throws:

Exception

visitCondition

public void visitCondition(Condition condition)
                    throws Exception

Specified by:

visitCondition in interface Visitor

Overrides:

visitCondition in class AbstractVisitor

Throws:

Exception

visitUpdate

public void visitUpdate(Update update)
                 throws Exception

Specified by:

visitUpdate in interface Visitor

Overrides:

visitUpdate in class AbstractVisitor

Throws:

Exception