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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.VerticalCenteredLayout
          fr.ove.openmath.jome.ctrlview.bidim.BetweenOperatorLayout
              fr.ove.openmath.jome.ctrlview.bidim.StringBetweenOperatorLayout

All Implemented Interfaces:

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

public class StringBetweenOperatorLayout

extends BetweenOperatorLayout

Layout manager that lays the display of an operator whose symbol is located between its 2 operands.
Rendering is done vertically, the first operand on top, the symbol in the middle and the second operand under the 2 previous.
The symbol is rendered with 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

StringBetweenOperatorLayout()

Method Summary

Display

createOperatorDisplay() Returns the display of the operator

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

computeAttributes, 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

StringBetweenOperatorLayout

public StringBetweenOperatorLayout()

Method Detail

createOperatorDisplay

public Display createOperatorDisplay()

Returns the display of the operator