fr.ove.openmath.jome.ctrlview.bidim
Class SquaredBracketSymbol

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayableImpl
      fr.ove.openmath.jome.ctrlview.bidim.SquaredBracketSymbol

All Implemented Interfaces:

Displayable, Localisable, java.io.Serializable, Sizable

public class SquaredBracketSymbol

extends DisplayableImpl

The bracket symbol for rendering interval. (i.e. symbol [ or ])

Version:

2.0 06/09/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

SquaredBracketSymbol(char character, java.awt.Component component)
The constructor.

SquaredBracketSymbol(java.lang.String character, java.awt.Component component)
The constructor.

Method Summary

java.awt.Dimension	getPreferredSize() Returns the preferred size of the display.
java.awt.Dimension	getSize() Returns the size of the instance.
void	paint(java.awt.Graphics g) The paint method of the object to display.
void	setThickness(int thickness) Sets the thickness of the line to draw the symbol

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayableImpl

getAscent, getDescent, getGraphicContext, getHeight, getLocation, getShiftX, getShiftY, getWidth, getX, getY, setAscent, setAttributes, setDescent, setGraphicContext, setHeight, setLocation, setLocation, setShiftX, setShiftY, setSize, setSize, setWidth, setX, setY

Methods inherited from class java.lang.Object

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

Constructor Detail

SquaredBracketSymbol

public SquaredBracketSymbol(char character,
                            java.awt.Component component)

The constructor.

Parameters:

character - the associated character (i.e. '[' or ']') to the instance

SquaredBracketSymbol

public SquaredBracketSymbol(java.lang.String character,
                            java.awt.Component component)

The constructor.

Parameters:

character - the string representation of the associated character (i.e. '[' or ']') to the instance

Method Detail

setThickness

public void setThickness(int thickness)

Sets the thickness of the line to draw the symbol

Parameters:

thickness - the thickness to draw the symbol

getPreferredSize

public java.awt.Dimension getPreferredSize()

Returns the preferred size of the display.

Specified by:

getPreferredSize in interface Sizable

Overrides:

getPreferredSize in class DisplayableImpl

getSize

public java.awt.Dimension getSize()

Description copied from class: DisplayableImpl

Returns the size of the instance.

Specified by:

getSize in interface Sizable

Overrides:

getSize in class DisplayableImpl

paint

public void paint(java.awt.Graphics g)

The paint method of the object to display.

Parameters:

g - the drawing area of the symbol.