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

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.SuperposedOperatorLayout
              extended byfr.ove.openmath.jome.ctrlview.bidim.OverOperatorLayout
                  extended byfr.ove.openmath.jome.ctrlview.bidim.StringOverOperatorLayout
All Implemented Interfaces:
java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable

public class StringOverOperatorLayout
extends OverOperatorLayout

Layout manager that lays the display of the operator whose symbol is located over its operand.
The symbol is represented as 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
StringOverOperatorLayout()
           
 
Method Summary
 Display createOperatorDisplay()
          Returns the display of the operator
 
Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.SuperposedOperatorLayout
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

StringOverOperatorLayout

public StringOverOperatorLayout()
Method Detail

createOperatorDisplay

public Display createOperatorDisplay()
Returns the display of the operator



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