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

java.lang.Object
  extended byfr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      extended byfr.ove.openmath.jome.ctrlview.bidim.VerticalCenteredLayout
          extended byfr.ove.openmath.jome.ctrlview.bidim.BetweenOperatorLayout
All Implemented Interfaces:
java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable
Direct Known Subclasses:
FractionLayout, ImageBetweenOperatorLayout, StringBetweenOperatorLayout

public abstract class BetweenOperatorLayout
extends VerticalCenteredLayout
implements OperatorDisplayCreator

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.

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
BetweenOperatorLayout()
           
 
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.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
 
Methods inherited from interface fr.ove.openmath.jome.ctrlview.bidim.OperatorDisplayCreator
createOperatorDisplay
 

Constructor Detail

BetweenOperatorLayout

public BetweenOperatorLayout()
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 VerticalCenteredLayout
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


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.