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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          fr.ove.openmath.jome.ctrlview.bidim.UnaryOperatorLayout
              fr.ove.openmath.jome.ctrlview.bidim.PostfixedUnaryOperatorLayout
                  fr.ove.openmath.jome.ctrlview.bidim.StringPostfixedUnaryOperatorLayout

All Implemented Interfaces:

java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable

Direct Known Subclasses:

FactorialLayout

public class StringPostfixedUnaryOperatorLayout

extends PostfixedUnaryOperatorLayout

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

Version:

2.0 16/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

StringPostfixedUnaryOperatorLayout()

Method Summary

Display

createOperatorDisplay() Returns the display of the operator

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.PostfixedUnaryOperatorLayout

computeAttributes

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.UnaryOperatorLayout

initDisplay, rebuildDisplay, validateDeselection, validateSelection

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout

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

StringPostfixedUnaryOperatorLayout

public StringPostfixedUnaryOperatorLayout()

Method Detail

createOperatorDisplay

public Display createOperatorDisplay()

Returns the display of the operator