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

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

All Implemented Interfaces:

Displayable, Localisable, java.io.Serializable, Sizable

public class CurlySymbol

extends DisplayableImpl

The curly bracket.

Version:

2.0 19/07/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

CurlySymbol(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 in which the object is.

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

CurlySymbol

public CurlySymbol(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 in which the object is.

Specified by:

setGraphicContext in interface Displayable

Overrides:

setGraphicContext in class DisplayableImpl

Parameters:

graphicContext - the object graphic context. Actually, this methods gives information to the object, notably when its preferred size is required. If the context has changed, the displayable object must be informed. However, in the most part of the time, the whole graphic context won't be necessary to be stored, but only specific and usefull data.