public class UGIWriter extends AbstractVisitor
Document
.
Implemented via the visitor pattern.
Modifier and Type | Field and Description |
---|---|
protected Set<com.uppaal.model.io2.EdgeId> |
edges |
protected Map<Element,String> |
names |
protected Writer |
writer |
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.
|
visitBranchPoint, visitCondition, visitCut, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitUpdate
protected void writeCoords(int x, int y) throws Exception
Exception
protected void writeProperty(String ugiName, String propertyName, int x, int y, Location location) throws Exception
Exception
protected void writeProperty(String ugiName, String propertyName, int x, int y, Edge edge, com.uppaal.model.io2.EdgeId id) throws Exception
Exception
protected void writeColor(Edge edge, com.uppaal.model.io2.EdgeId id) throws Exception
Exception
public void visitDocument(Document document) throws Exception
visitDocument
in interface Visitor
visitDocument
in class AbstractVisitor
Exception
public void visitTemplate(AbstractTemplate template) throws Exception
visitTemplate
in interface Visitor
visitTemplate
in class AbstractVisitor
Exception
public void visitLocation(Location location) throws Exception
visitLocation
in interface Visitor
visitLocation
in class AbstractVisitor
Exception
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.