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

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.CurlyLayout
                  fr.ove.openmath.jome.ctrlview.bidim.HorizontalListLayout

All Implemented Interfaces:

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

public class HorizontalListLayout

extends CurlyLayout

Layout manager for horizontal list operator.
If the list operator is set as as visible list, curly brackets are displayed on both sides of the list elements.

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

HorizontalListLayout()

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.CurlyLayout

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

HorizontalListLayout

public HorizontalListLayout()

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.