Package eu.bandm.tools.d2d2.base

Class Userdoc.RefPainter_custom

java.lang.Object

eu.bandm.tools.d2d2.base.Userdoc.RefPainter_custom

All Implemented Interfaces:

SyntaxGraph.RefPainter

Enclosing class:

Userdoc

public class Userdoc.RefPainter_custom
extends Object
implements SyntaxGraph.RefPainter

Plug in class for painting expression terms of "reference" type.

Constructor Summary

Constructors

Constructor	Description
RefPainter_custom()

Method Summary

Modifier and Type	Method	Description
void	paintRef(Graphics2D gr, SyntaxGraph.LayoutParameters layoutParameters, Expression exp, String tag, boolean isInsertion, int x0, int y0, int w, int h)

Methods inherited from class java.lang.Object

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

Constructor Details

RefPainter_custom

public RefPainter_custom()

Method Details

paintRef

public void paintRef(Graphics2D gr,
 SyntaxGraph.LayoutParameters layoutParameters,
 Expression exp,
 String tag,
 boolean isInsertion,
 int x0,
 int y0,
 int w,
 int h)

Specified by:

paintRef in interface SyntaxGraph.RefPainter

Parameters:

exp - needed to distinguish between types

tag - the pre-calculated text to write

x0 - left upper x-coord (in pixels)

y0 - left upper y-coord (in pixels)

w - width (in pixels)

h - height (in pixels)