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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ImagePostfixedUnaryOperatorLayout, StringPostfixedUnaryOperatorLayout

public abstract class PostfixedUnaryOperatorLayout

extends UnaryOperatorLayout

This layout manager lays postfixed unary operators.

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

PostfixedUnaryOperatorLayout()

Method Summary

java.awt.Dimension

computeAttributes() Computes the size of the display according to its children size (if any), and its different attributes.

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

Methods inherited from interface fr.ove.openmath.jome.ctrlview.bidim.OperatorDisplayCreator

createOperatorDisplay

Constructor Detail

PostfixedUnaryOperatorLayout

public PostfixedUnaryOperatorLayout()

Method Detail

computeAttributes

public java.awt.Dimension computeAttributes()

Computes the size of the display according to its children size (if any), and its different attributes.

Overrides:

computeAttributes in class HorizontalLayout

Returns:

the size of the display.