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

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

All Implemented Interfaces:

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

public class StringUnderOperatorLayout

extends UnderOperatorLayout

Layout manager that lays the display of the operator whose symbol is located under its operand.
The symbol is represented as a simple string

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

StringUnderOperatorLayout()

Method Summary

Display

createOperatorDisplay() Returns the display of the operator

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

computeAttributes

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

initDisplay, rebuildDisplay, validateDeselection, validateSelection

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

Constructor Detail

StringUnderOperatorLayout

public StringUnderOperatorLayout()

Method Detail

createOperatorDisplay

public Display createOperatorDisplay()

Returns the display of the operator