com.uppaal.model.io2

Class BoundCalc

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.io2.BoundCalc

All Implemented Interfaces:

Visitor

public class BoundCalc
extends AbstractVisitor

Field Summary

Fields

Modifier and Type	Field and Description
static FontMetrics	boldMetrics
static FontMetrics	plainMetrics

Constructor Summary

Constructors

Constructor and Description
BoundCalc()
BoundCalc(Translator aTranslator)

Method Summary

Methods

Modifier and Type	Method and Description
static double	boldWidth(String s) Computes the width of string s in bold font.
protected void	draw(Element element, double margin)
Rectangle2D	getBounds(Element e)
static double	plainWidth(String s) Computes the width of string in plain font.
void	visitBranchPoint(BranchPoint branchPoint)
void	visitEdge(Edge edge)
void	visitLocation(Location location)

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

visitCondition, visitCut, visitDocument, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitTemplate, visitUpdate

Methods inherited from class java.lang.Object

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

Field Detail

plainMetrics

public static final FontMetrics plainMetrics

boldMetrics

public static final FontMetrics boldMetrics

Constructor Detail

BoundCalc

public BoundCalc()

BoundCalc

public BoundCalc(Translator aTranslator)

Method Detail

plainWidth

public static double plainWidth(String s)

Computes the width of string in plain font.

boldWidth

public static double boldWidth(String s)

Computes the width of string s in bold font.

draw

protected void draw(Element element,
        double margin)

visitLocation

public void visitLocation(Location location)
                   throws Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint branchPoint)
                      throws Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint 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

getBounds

public Rectangle2D getBounds(Element e)