fr.ove.openmath.jome.ctrlview.bidim
Class SubstitutionLayout
java.lang.Object
fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
fr.ove.openmath.jome.ctrlview.bidim.AbstractStringLayout
fr.ove.openmath.jome.ctrlview.bidim.SubstitutionLayout
- All Implemented Interfaces:
- java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, java.io.Serializable, SubstitutedDisplayManager
- public class SubstitutionLayout
- extends AbstractStringLayout
- implements SubstitutedDisplayManager
A layout manager that lays display of substitued displays.
- Version:
- 2.0 04/08/1999
- Author:
- © 1999 DIRAT Laurent
- See Also:
- Serialized Form
| Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout |
addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, initDisplay, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, removeLayoutComponent, selectDisplay, selectLeftDisplay, selectRightDisplay |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SubstitutionLayout
public SubstitutionLayout()
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.
addSubstitutedDisplay
public void addSubstitutedDisplay(Display display)
- Specified by:
addSubstitutedDisplay in interface SubstitutedDisplayManager
removeSubstitutedDisplay
public void removeSubstitutedDisplay(Display display)
- Specified by:
removeSubstitutedDisplay in interface SubstitutedDisplayManager
removeSubstitutedDisplay
public void removeSubstitutedDisplay(int rank)
- Specified by:
removeSubstitutedDisplay in interface SubstitutedDisplayManager
getSubstitutedDisplay
public Display getSubstitutedDisplay(int rank)
- Returns the substituted display at the specified rank.
- Specified by:
getSubstitutedDisplay in interface SubstitutedDisplayManager
- Parameters:
rank - the specified rank.
getNbSubstitutedDisplay
public int getNbSubstitutedDisplay()
- Returns the number of substituted displays.
- Specified by:
getNbSubstitutedDisplay in interface SubstitutedDisplayManager
Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.