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 a Document.

Implemented via the visitor pattern.

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<com.uppaal.model.io2.EdgeId>	edges
protected Map<Element,String>	names
protected Writer	writer

Method Summary

Modifier and Type	Method and Description
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 coordinates
protected void	writeProperty(String ugiName, String propertyName, int x, int y, Edge edge, com.uppaal.model.io2.EdgeId id) Write property of an edge.
protected void	writeProperty(String ugiName, String propertyName, int x, int y, Location location) Write property of a location.

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

visitBranchPoint, visitCondition, visitCut, visitElement, visitInstanceLine, 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

writer

protected Writer writer

names

protected Map<Element,String> names

edges

protected Set<com.uppaal.model.io2.EdgeId> edges

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,
                             Location location)
                      throws Exception

Write property of a location.

Throws:

Exception

writeColor

protected void writeColor(Location location)
                   throws Exception

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 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

visitEdge

public void visitEdge(Edge edge)
               throws Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

Exception