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

java.lang.Object
  java.awt.Component
      java.awt.Container
          fr.ove.openmath.jome.ctrlview.bidim.Display
              fr.ove.openmath.jome.ctrlview.bidim.BidimDisplay
                  fr.ove.openmath.jome.ctrlview.bidim.AbstractStringDisplay
                      fr.ove.openmath.jome.ctrlview.bidim.SubstitutionDisplay

All Implemented Interfaces:

Colorizable, Displayable, java.util.EventListener, Iconifiable, java.awt.image.ImageObserver, Localisable, java.awt.MenuContainer, ModelListener, ModelListenerController, Selectable, java.io.Serializable, Sizable

public class SubstitutionDisplay

extends AbstractStringDisplay

The display for subsitution of parts of a expression with frienfly name.

Version:

2.0 04/08/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

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

dragNDrop, isSelected

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

SubstitutionDisplay(GraphicContext graphicContext, java.lang.String string)
The constructor.

Method Summary

void	consumeModelEvent(ModelEvent modelEvent) Consumes (i.e. treats) the event received from the model.

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

computeInsertionPosition, getString, paint, scaleDisplay, setString, ToString, whoAmI

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

add, addControlListener, addSelectionEventListener, adjustRank, buildDisplay, buildDisplay, computeAncestorsAttributes, computeChildrenAttributes, decLevel, deselect, dontDrawBounds, doRemoveFromListListeners, drawBounds, fireControlEvent, fireSelectionEvent, getAscent, getBackgroundColor, getComputeAttributes, getDescent, getDisplayAllocator, getForegroundColor, getGraphicContext, getHeight, getIconName, getLevel, getListener, getRank, getSelectionColor, getShiftX, getShiftY, getUpdateLevel, getWidth, getX, getY, gotSelectedElements, iconify, incLevel, isDisplay, isIcon, isIconifiable, isSelected, isSymbolOperatorDisplay, moveSelectedDisplays, remove, removeAll, removeAllControlListener, removeAllDisplays, removeControlListener, removeFromListListeners, removeSelectionEventListener, select, setAscent, setAttributes, setBackgroundColor, setChildrenBackground, setComputeAttributes, setDescent, setDisplayAllocator, setDoRemoveFromListListeners, setFont, setForegroundColor, setGraphicContext, setHeight, setIconName, setIsIconifiable, setIsSymbolOperatorDisplay, setLevel, setMouseListener, setNotSelected, setRank, setSelected, setSelectionColor, setShiftX, setShiftY, setTheFont, setUpdateLevel, setWidth, setX, setY, substitute, uniconify, uniconifyAll, updateAncestorsLevel, updateChildrenLevel, weDrawBounds

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addNotify, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, removeContainerListener, removeNotify, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, transferFocusBackward, transferFocusDownCycle, update, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getAccessibleContext, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getLocation, setLocation, setLocation

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

getPreferredSize, getSize, setSize, setSize

Constructor Detail

SubstitutionDisplay

public SubstitutionDisplay(GraphicContext graphicContext,
                           java.lang.String string)

The constructor.

Parameters:

graphicContext - the graphic context of the display.

string - the string to display

Method Detail

consumeModelEvent

public void consumeModelEvent(ModelEvent modelEvent)

Consumes (i.e. treats) the event received from the model.

Specified by:

consumeModelEvent in interface ModelListener

Overrides:

consumeModelEvent in class BidimDisplay

Parameters:

modelEvent - the event to consume.