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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          fr.ove.openmath.jome.ctrlview.bidim.MapsToSigmaLayout

All Implemented Interfaces:

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

Direct Known Subclasses:

ProductLayout, SigmaLayout

public abstract class MapsToSigmaLayout

extends HorizontalLayout

implements OperatorDisplayCreator

A layout manager that lays components to place them as the different elements like the operator sum does.
The different elements are contained in the display in the following order :

• the symbol of the operator.
• the expression.
• the lower bound.
• the upper bound.

Bounds are optional elements.

Version:

2.0 16/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

MapsToSigmaLayout()

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	updateLevel(int level) Updates the level of the display that is layed out.
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.HorizontalLayout

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

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

MapsToSigmaLayout

public MapsToSigmaLayout()

Method Detail

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

updateLevel

public void updateLevel(int level)

Updates the level of the display that is layed out.

Overrides:

updateLevel in class DisplayLayout

Parameters:

level - the level put to the display

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.

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 HorizontalLayout

Returns:

the size of the display.

rebuildDisplay

public void rebuildDisplay()

The display needs to be rebuilt. We do this.

Specified by:

rebuildDisplay in class DisplayLayout