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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractStringDisplay, FormulaDisplay, SymbolDisplay

public class BidimDisplay

extends Display

The bidimensional display of the elements of the formula.

Version:

2.0 01/07/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

BidimDisplay(GraphicContext graphicContext)
The constructor.

Method Summary

void	consumeModelEvent(ModelEvent modelEvent) Consumes (i.e. treats) the event received from the model.
void	paint(java.awt.Graphics g) Paints the display.

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

add, addControlListener, addSelectionEventListener, adjustRank, buildDisplay, buildDisplay, computeAncestorsAttributes, computeChildrenAttributes, computeInsertionPosition, 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, scaleDisplay, 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, ToString, uniconify, uniconifyAll, updateAncestorsLevel, updateChildrenLevel, weDrawBounds, whoAmI

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

BidimDisplay

public BidimDisplay(GraphicContext graphicContext)

The constructor.

Parameters:

graphicContext - the graphic context of the display.

Method Detail

paint

public void paint(java.awt.Graphics g)

Paints the display.

Parameters:

g - where we paint the display.

consumeModelEvent

public void consumeModelEvent(ModelEvent modelEvent)

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

Parameters:

modelEvent - the event to consume.