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 aDocument
.Implemented via the visitor pattern.
-
-
Constructor Summary
Constructors Constructor Description XTAWriter(OutputStream stream)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UGIWriter
createUGIWriter(OutputStream stream)
Create and return a new UGI writer.protected boolean
hasFlag(Element element, String property)
protected boolean
isEmpty(String str)
void
visitDocument(Document document)
void
visitTemplate(AbstractTemplate template)
protected void
writeNonEmptyProperty(Element element, String name)
protected boolean
writeNonEmptyProperty(Element element, String name, 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
-
-
-
-
Constructor Detail
-
XTAWriter
public XTAWriter(OutputStream stream)
-
-
Method Detail
-
createUGIWriter
public UGIWriter createUGIWriter(OutputStream stream)
Create and return a new UGI writer.
-
isEmpty
protected boolean isEmpty(String str)
-
writeNonEmptyProperty
protected boolean writeNonEmptyProperty(Element element, String name, String format) throws IOException
- Throws:
IOException
-
writeNonEmptyProperty
protected void writeNonEmptyProperty(Element element, String name) throws IOException
- Throws:
IOException
-
visitDocument
public void visitDocument(Document document) throws Exception
- Specified by:
visitDocument
in interfaceVisitor
- Overrides:
visitDocument
in classAbstractVisitor
- Throws:
Exception
-
visitTemplate
public void visitTemplate(AbstractTemplate template) throws Exception
- Specified by:
visitTemplate
in interfaceVisitor
- Overrides:
visitTemplate
in classAbstractVisitor
- Throws:
Exception
-
-