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

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

public class StringLeftAssocPrefixedUnaryOperatorLayout
extends LeftAssocPrefixedUnaryOperatorLayout

This layout manager lays prefixed unary operators.
The symbol of the operator can be rendered as a simple string (e.g. +, -)

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
StringLeftAssocPrefixedUnaryOperatorLayout()
           
 
Method Summary
 Display createOperatorDisplay()
          Returns the display of the operator
 
Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.LeftAssocPrefixedUnaryOperatorLayout
selectLeftDisplay, setSelectLeftDisplay, validateDeselection, validateSelection
 
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
 

Constructor Detail

StringLeftAssocPrefixedUnaryOperatorLayout

public StringLeftAssocPrefixedUnaryOperatorLayout()
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.