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

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

All Implemented Interfaces:

Displayable, Localisable, java.io.Serializable, Sizable

public class BracketSymbol

extends DisplayableImpl

The bracket.

Version:

2.0 19/07/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

BracketSymbol(boolean isLeftBracket, int heightExtremities, java.awt.image.ImageObserver observer)
The constructor.

Method Summary

java.awt.Dimension	getPreferredSize() Returns the preferred size of the display.
void	paint(java.awt.Graphics g) The paint method of the object to display.
void	setGraphicContext(GraphicContext graphicContext) Sets the graphic context of the instance.

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

getAscent, getDescent, getGraphicContext, getHeight, getLocation, getShiftX, getShiftY, getSize, getWidth, getX, getY, setAscent, setAttributes, setDescent, 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

BracketSymbol

public BracketSymbol(boolean isLeftBracket,
                     int heightExtremities,
                     java.awt.image.ImageObserver observer)

The constructor.

Parameters:

isLeftBracket - true if the instance represents a left bracket. false otherwise.

heightExtremities - the height of the extremities of the bracket.

observer - the object to be notified as more of the image is converted.

Method Detail

paint

public void paint(java.awt.Graphics g)

The paint method of the object to display.

Parameters:

g - the drawing area of 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

setGraphicContext

public void setGraphicContext(GraphicContext graphicContext)

Sets the graphic context of the instance.

Specified by:

setGraphicContext in interface Displayable

Overrides:

setGraphicContext in class DisplayableImpl

Parameters:

graphicContext - the graphic context.