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

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

All Implemented Interfaces:

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

public class Mfd2SubstitutionLayout

extends HorizontalLayout

A layout manager that lays components horizontally and inserts between them, the display of the operator that the layout manager lays.
For example, if this layout manager lays an equality, it will insert between the components (i.e. operands) the display of the symbol "=", and so on, for all the relational operators.

Version:

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

Mfd2SubstitutionLayout()

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.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, updateLevel

Methods inherited from class java.lang.Object

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

Constructor Detail

Mfd2SubstitutionLayout

public Mfd2SubstitutionLayout()

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

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