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

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.StringInfixOperatorLayout
                  fr.ove.openmath.jome.ctrlview.bidim.BasicStringInfixOperatorLayout

All Implemented Interfaces:

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

public class BasicStringInfixOperatorLayout

extends StringInfixOperatorLayout

A layout manager for an infix operator which symbol can be rendered as a string (e.g. +, *)

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

BasicStringInfixOperatorLayout()

Method Summary

protected void	insertOperatorDisplay() Inserts, if necessary, a display of the operator symbol that the display laid by the instance represents.
void	validateDeselection(Display display) Checks the validity of the deselection.
void	validateSelection() Checks the validity of the selection.

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

createOperatorDisplay

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

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

BasicStringInfixOperatorLayout

public BasicStringInfixOperatorLayout()

Method Detail

insertOperatorDisplay

protected void insertOperatorDisplay()

Inserts, if necessary, a display of the operator symbol that the display laid by the instance represents.

Overrides:

insertOperatorDisplay in class InfixOperatorLayout

validateSelection

public void validateSelection()

Checks the validity of the selection.

Specified by:

validateSelection in class DisplayLayout

validateDeselection

public void validateDeselection(Display display)

Checks the validity of the deselection.

Specified by:

validateDeselection in class DisplayLayout

Parameters:

display - the display to deselect.