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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          fr.ove.openmath.jome.ctrlview.bidim.EnclosingLayout
              fr.ove.openmath.jome.ctrlview.bidim.BracketLayout
                  fr.ove.openmath.jome.ctrlview.bidim.EnumerationLayout

All Implemented Interfaces:

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

public class EnumerationLayout

extends BracketLayout

Layout manager for enumeration

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

EnumerationLayout()

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

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

createClosing, createOpening

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

getClosing, getOpening, rebuildDisplay, validateDeselection, validateSelection

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

EnumerationLayout

public EnumerationLayout()

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 EnclosingLayout

Parameters:

displayToLay - the display laid by the instance

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 EnclosingLayout

Returns:

the size of the display.