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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          fr.ove.openmath.jome.ctrlview.bidim.InfixOperatorLayout
              fr.ove.openmath.jome.ctrlview.bidim.BinaryInfixOperatorLayout
                  fr.ove.openmath.jome.ctrlview.bidim.ImageBinaryInfixOperatorLayout

All Implemented Interfaces:

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

public class ImageBinaryInfixOperatorLayout

extends BinaryInfixOperatorLayout

A layout manager for a binary infix operator which symbol can be rendered as an image (e.g. the in operator which rendered as a kind of big E, which will be an image)

Version:

2.0 14/12/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrlview.bidim.InfixOperatorLayout

insertOperatorDisplay, prevNbComponent

Fields inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

displayToLay

Constructor Summary

ImageBinaryInfixOperatorLayout()

Method Summary

Display

createOperatorDisplay() Returns the display of the operator

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

validateDeselection, validateSelection

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

computeAttributes, insertOperatorDisplay, rebuildDisplay

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

ImageBinaryInfixOperatorLayout

public ImageBinaryInfixOperatorLayout()

Method Detail

createOperatorDisplay

public Display createOperatorDisplay()

Returns the display of the operator