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

java.lang.Object
  extended byfr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      extended byfr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          extended byfr.ove.openmath.jome.ctrlview.bidim.UnaryOperatorLayout
              extended byfr.ove.openmath.jome.ctrlview.bidim.LeftAssocPrefixedUnaryOperatorLayout
All Implemented Interfaces:
java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable
Direct Known Subclasses:
StringLeftAssocPrefixedUnaryOperatorLayout

public abstract class LeftAssocPrefixedUnaryOperatorLayout
extends UnaryOperatorLayout

This layout manager lays prefixed unary operators.
Basically, unary + and unary - because these operators have the particularity to select the operand located to its left when selected.

Version:
2.0 13/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
LeftAssocPrefixedUnaryOperatorLayout()
           
 
Method Summary
 boolean selectLeftDisplay()
          Returns true if during the selection, the display which is located to the left of the display that the instance lays, must be selected too.
 void setSelectLeftDisplay(boolean selectLeftDisplay)
          Sets if the display to the left of that laid by the instance have to be selected or not.
 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.UnaryOperatorLayout
initDisplay, rebuildDisplay
 
Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
computeAttributes, layoutContainer
 
Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, removeLayoutComponent, selectDisplay, 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

LeftAssocPrefixedUnaryOperatorLayout

public LeftAssocPrefixedUnaryOperatorLayout()
Method Detail

selectLeftDisplay

public boolean selectLeftDisplay()
Returns true if during the selection, the display which is located to the left of the display that the instance lays, must be selected too. false otherwise.

Overrides:
selectLeftDisplay in class DisplayLayout

setSelectLeftDisplay

public void setSelectLeftDisplay(boolean selectLeftDisplay)
Sets if the display to the left of that laid by the instance have to be selected or not.

Parameters:
selectLeftDisplay - true if the left display have to be selected. false otherwise.

validateSelection

public void validateSelection()
Checks the validity of the selection.

Overrides:
validateSelection in class UnaryOperatorLayout

validateDeselection

public void validateDeselection(Display display)
Checks the validity of the deselection.

Overrides:
validateDeselection in class UnaryOperatorLayout
Parameters:
display - the display to deselect.


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