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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.VerticalCenteredLayout
          fr.ove.openmath.jome.ctrlview.bidim.SuperposedOperatorLayout

All Implemented Interfaces:

java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable

Direct Known Subclasses:

OverOperatorLayout, UnderOperatorLayout

public abstract class SuperposedOperatorLayout

extends VerticalCenteredLayout

implements OperatorDisplayCreator

Layout manager that lays the display of an operator whose symbol is superposed to its operand.

Version:

2.0 15/12/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

displayToLay

Constructor Summary

SuperposedOperatorLayout()

Method Summary

java.awt.Dimension	computeAttributes() Computes the size of the display according to its children size (if any), and its different attributes.
void	initDisplay(Display displayToLay) According to the operator, the layout manager has to add some components (e.g. brackets, ...)
void	rebuildDisplay() The display needs to be rebuilt.
void	validateDeselection(Display display) Checks the validity of the deselection.
void	validateSelection() Checks the validity of the selection.

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

layoutContainer

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

addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, removeLayoutComponent, selectDisplay, selectLeftDisplay, selectRightDisplay, updateLevel

Methods inherited from class java.lang.Object

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

Methods inherited from interface fr.ove.openmath.jome.ctrlview.bidim.OperatorDisplayCreator

createOperatorDisplay

Constructor Detail

SuperposedOperatorLayout

public SuperposedOperatorLayout()

Method Detail

computeAttributes

public java.awt.Dimension computeAttributes()

Computes the size of the display according to its children size (if any), and its different attributes.

Overrides:

computeAttributes in class VerticalCenteredLayout

Returns:

the size of the display.

initDisplay

public void initDisplay(Display displayToLay)

According to the operator, the layout manager has to add some components (e.g. brackets, ...) or has to perform some "re-oganisation" before rendering.
As soon as the layout manager is set to the display, this mehtod MUST be called with the display laid out as parameter. This method serves as well as a registering method. So all sub-classes of the instance MUST call super.initDisplay(displayToLay).

Overrides:

initDisplay in class DisplayLayout

Parameters:

displayToLay - the display laid by the instance

validateSelection

public void validateSelection()

Checks the validity of the selection.

Specified by:

validateSelection in class DisplayLayout

validateDeselection

public void validateDeselection(Display display)

Checks the validity of the deselection.

Specified by:

validateDeselection in class DisplayLayout

Parameters:

display - the display to deselect.

rebuildDisplay

public void rebuildDisplay()

The display needs to be rebuilt. We do this.

Specified by:

rebuildDisplay in class DisplayLayout