Package 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	Description
static java.awt.FontMetrics	boldMetrics
static java.awt.FontMetrics	plainMetrics

Constructor Summary

Constructors

Constructor	Description
BoundCalc()
BoundCalc(Translator aTranslator)

Method Summary

Modifier and Type	Method	Description
static double	boldWidth(java.lang.String s)	Computes the width of string s in bol
protected void	draw(Element element, double margin)
java.awt.geom.Rectangle2D	getBounds(Element e)
static double	plainWidth(java.lang.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, visitQueries, visitQuery, 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 java.awt.FontMetrics plainMetrics

boldMetrics

public static final java.awt.FontMetrics boldMetrics

Constructor Detail

BoundCalc

public BoundCalc()

BoundCalc

public BoundCalc(Translator aTranslator)

Method Detail

plainWidth

public static double plainWidth(java.lang.String s)

Computes the width of string in plain font.

Parameters:

s - the text to be drawn.

Returns:

the width of drawn text

boldWidth

public static double boldWidth(java.lang.String s)

Computes the width of string s in bol

Parameters:

s - the text to be drawn.

Returns:

the width of the drawn text.

draw

protected void draw(Element element,
                    double margin)

visitLocation

public void visitLocation(Location location)
                   throws java.lang.Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

java.lang.Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint branchPoint)
                      throws java.lang.Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

java.lang.Exception

visitEdge

public void visitEdge(Edge edge)
               throws java.lang.Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

java.lang.Exception

getBounds

public java.awt.geom.Rectangle2D getBounds(Element e)