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

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.ConjugateLayout
All Implemented Interfaces:
java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, OperatorDisplayCreator, java.io.Serializable

public class ConjugateLayout
extends OverOperatorLayout

Layout manager that lays the display of the conjugate operator

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
ConjugateLayout()
           
 
Method Summary
 java.awt.Dimension computeAttributes()
          Computes the size of the display according to its children size (if any), and its different attributes.
 Display createOperatorDisplay()
          Returns the display of the operator
 
Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.SuperposedOperatorLayout
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

ConjugateLayout

public ConjugateLayout()
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 SuperposedOperatorLayout
Returns:
the size of the display.

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.