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

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.StringPrefixedUnaryOperatorLayout

All Implemented Interfaces:

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

public class StringPrefixedUnaryOperatorLayout

extends UnaryOperatorLayout

This layout manager lays prefixed unary operators.
The symbol of the operator can be rendered as a simple string

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

StringPrefixedUnaryOperatorLayout()

Method Summary

Display

createOperatorDisplay() Returns the display of the operator

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

computeAttributes, 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

StringPrefixedUnaryOperatorLayout

public StringPrefixedUnaryOperatorLayout()

Method Detail

createOperatorDisplay

public Display createOperatorDisplay()

Returns the display of the operator