Package com.uppaal.model.io2

Class XTAWriter

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.io2.XTAWriter

All Implemented Interfaces:

Visitor

public class XTAWriter
extends AbstractVisitor

A class that facilitates writing .xta from a Document.

Implemented via the visitor pattern.

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	featuresSMC
protected int	level
protected java.util.Map<Element,java.lang.String>	names
protected java.io.Writer	writer

Constructor Summary

Constructors

Constructor	Description
XTAWriter(java.io.OutputStream stream)

Method Summary

Modifier and Type	Method	Description
UGIWriter	createUGIWriter(java.io.OutputStream stream)	Create and return a new UGI writer.
protected boolean	hasFlag(Element element, java.lang.String property)
protected boolean	isEmpty(java.lang.String str)
void	visitDocument(Document document)
void	visitTemplate(AbstractTemplate template)
protected void	writeNonEmptyProperty(Element element, java.lang.String name)
protected boolean	writeNonEmptyProperty(Element element, java.lang.String name, java.lang.String format)

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

visitBranchPoint, visitCondition, visitCut, visitEdge, visitElement, visitInstanceLine, visitLocation, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery, visitUpdate

Methods inherited from class java.lang.Object

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

Field Detail

names

protected java.util.Map<Element,java.lang.String> names

writer

protected java.io.Writer writer

level

protected int level

featuresSMC

protected boolean featuresSMC

Constructor Detail

XTAWriter

public XTAWriter(java.io.OutputStream stream)

Method Detail

createUGIWriter

public UGIWriter createUGIWriter(java.io.OutputStream stream)

Create and return a new UGI writer.

isEmpty

protected boolean isEmpty(java.lang.String str)

hasFlag

protected boolean hasFlag(Element element,
                          java.lang.String property)

writeNonEmptyProperty

protected boolean writeNonEmptyProperty(Element element,
                                        java.lang.String name,
                                        java.lang.String format)
                                 throws java.io.IOException

Throws:

java.io.IOException

writeNonEmptyProperty

protected void writeNonEmptyProperty(Element element,
                                     java.lang.String name)
                              throws java.io.IOException

Throws:

java.io.IOException

visitDocument

public void visitDocument(Document document)
                   throws java.lang.Exception

Specified by:

visitDocument in interface Visitor

Overrides:

visitDocument in class AbstractVisitor

Throws:

java.lang.Exception

visitTemplate

public void visitTemplate(AbstractTemplate template)
                   throws java.lang.Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

java.lang.Exception