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

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.StringDisplay

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 StringDisplay

extends AbstractStringDisplay

The display for variables and numbers.

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

StringDisplay(GraphicContext graphicContext, java.lang.String string, boolean isSymbolOperatorDisplay)
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

StringDisplay

public StringDisplay(GraphicContext graphicContext,
                     java.lang.String string,
                     boolean isSymbolOperatorDisplay)

The constructor.

Parameters:

graphicContext - the graphic context of the display.

string - the string to display

isSymbolOperatorDisplay - true if the instance is the display of an operator. false otherwise.

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.