Package com.uppaal.model.io2
Class UGIWriter
- java.lang.Object
-
- com.uppaal.model.core2.AbstractVisitor
-
- com.uppaal.model.io2.UGIWriter
-
- All Implemented Interfaces:
Visitor
public class UGIWriter extends AbstractVisitor
A class that facilitates writing .ugi files from aDocument
.Implemented via the visitor pattern.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
visitBranchPoint(BranchPoint branchPoint)
void
visitDocument(Document document)
void
visitEdge(Edge edge)
void
visitLocation(Location location)
void
visitTemplate(AbstractTemplate template)
protected void
writeColor(Edge edge, com.uppaal.model.io2.EdgeId id)
protected void
writeColor(Location location)
protected void
writeCoords(int x, int y)
Write coordinatesprotected void
writeProperty(String ugiName, String propertyName, int x, int y, AbstractLocation location)
Write property of a location.protected void
writeProperty(String ugiName, String propertyName, int x, int y, Edge edge, com.uppaal.model.io2.EdgeId id)
Write property of an edge.-
Methods inherited from class com.uppaal.model.core2.AbstractVisitor
visitCondition, visitCut, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery, visitUpdate
-
-
-
-
Method Detail
-
writeCoords
protected void writeCoords(int x, int y) throws Exception
Write coordinates- Throws:
Exception
-
writeProperty
protected void writeProperty(String ugiName, String propertyName, int x, int y, AbstractLocation location) throws Exception
Write property of a location.- Throws:
Exception
-
writeProperty
protected void writeProperty(String ugiName, String propertyName, int x, int y, Edge edge, com.uppaal.model.io2.EdgeId id) throws Exception
Write property of an edge.- Throws:
Exception
-
writeColor
protected void writeColor(Edge edge, com.uppaal.model.io2.EdgeId id) throws Exception
- Throws:
Exception
-
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
-
visitLocation
public void visitLocation(Location location) throws Exception
- Specified by:
visitLocation
in interfaceVisitor
- Overrides:
visitLocation
in classAbstractVisitor
- Throws:
Exception
-
visitBranchPoint
public void visitBranchPoint(BranchPoint branchPoint) throws Exception
- Specified by:
visitBranchPoint
in interfaceVisitor
- Overrides:
visitBranchPoint
in classAbstractVisitor
- Throws:
Exception
-
-