fr.ove.openmath.jome.ctrlview.bidim
Class BetweenOperatorLayout
java.lang.Object
fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
fr.ove.openmath.jome.ctrlview.bidim.VerticalCenteredLayout
fr.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
|
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.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 |
BetweenOperatorLayout
public BetweenOperatorLayout()
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.