Logo Search packages:      
Sourcecode: wims version File versions

fr::ove::openmath::jome::ctrlview::bidim::SymbolDisplay Class Reference

Inheritance diagram for fr::ove::openmath::jome::ctrlview::bidim::SymbolDisplay:

fr::ove::openmath::jome::ctrlview::bidim::BidimDisplay fr::ove::openmath::jome::ctrlview::bidim::Display fr::ove::openmath::jome::ctrlview::bidim::Displayable fr::ove::openmath::jome::ctrlview::bidim::Colorizable fr::ove::openmath::jome::behaviour::Selectable fr::ove::openmath::jome::behaviour::Iconifiable fr::ove::openmath::jome::model::events::ModelListenerController fr::ove::openmath::jome::ctrlview::bidim::Localisable fr::ove::openmath::jome::ctrlview::bidim::Sizable fr::ove::openmath::jome::model::events::ModelListener fr::ove::openmath::jome::ctrlview::bidim::IconDisplay

List of all members.

Detailed Description

The display of a symbol.

1999 DIRAT Laurent
2.0 09/07/1999

Definition at line 42 of file SymbolDisplay.java.

Public Member Functions

void add (Display display)
void addControlListener (ControlListener controlListener)
void addSelectionEventListener (SelectionEventListener selectionEventListener)
void adjustRank ()
Display buildDisplay (int indexFts)
void buildDisplay ()
void computeAncestorsAttributes ()
void computeChildrenAttributes ()
int computeInsertionPosition (int mouseX)
void consumeModelEvent (ModelEvent modelEvent)
void decLevel ()
void deselect ()
void dontDrawBounds ()
void drawBounds ()
void fireControlEvent (ControlEvent controlEvent)
void fireSelectionEvent (SelectionEvent selectionEvent)
int getAscent ()
Color getBackgroundColor ()
boolean getComputeAttributes ()
int getDescent ()
DisplayAllocator getDisplayAllocator ()
Color getForegroundColor ()
GraphicContext getGraphicContext ()
int getHeight ()
String getIconName ()
int getLevel ()
ControlListener getListener ()
Point getLocation ()
Dimension getPreferredSize ()
int getRank ()
Color getSelectionColor ()
int getShiftX ()
int getShiftY ()
Dimension getSize ()
Displayable getSymbol ()
boolean getUpdateLevel ()
int getWidth ()
int getX ()
int getY ()
boolean gotSelectedElements ()
void iconify ()
void incLevel ()
boolean isDisplay (FormulaTreeStructure fts)
boolean isIcon ()
boolean isIconifiable ()
boolean isSelected ()
boolean isSymbolOperatorDisplay ()
void moveSelectedDisplays (int mouseX)
void paint (Graphics g)
void remove (int index)
void removeAll ()
void removeAllControlListener ()
void removeAllDisplays ()
void removeControlListener (ControlListener controlListener)
void removeSelectionEventListener (SelectionEventListener selectionEventListener)
void scaleDisplay ()
void select ()
void setAscent (int ascent)
void setAttributes (int ascent, int descent, int shiftX, int shiftY)
void setBackgroundColor (Color backgroundColor)
void setComputeAttributes (boolean computeAttributes)
void setDescent (int descent)
void setDisplayAllocator (DisplayAllocator displayAllocator)
void setFont (Font font)
void setForegroundColor (Color foregroundColor)
void setGraphicContext (GraphicContext graphicContext)
void setHeight (int height)
void setIconName (String iconName)
void setIsIconifiable (boolean isIconifiable)
void setIsSymbolOperatorDisplay (boolean isSymbolOperatorDisplay)
void setLevel (int level)
void setLocation (Point location)
void setLocation (int x, int y)
void setNotSelected ()
void setRank (int rank)
void setSelected ()
void setSelectionColor (Color selectionColor)
void setShiftX (int shiftX)
void setShiftY (int shiftY)
void setSize (Dimension size)
void setSize (int width, int height)
void setSymbol (Displayable symbol)
void setUpdateLevel (boolean updateLevel)
void setWidth (int width)
void setX (int x)
void setY (int y)
void substitute (String name)
 SymbolDisplay (GraphicContext graphicContext)
 SymbolDisplay (GraphicContext graphicContext, Displayable symbol)
void ToString ()
void uniconify ()
void uniconifyAll ()
void updateAncestorsLevel ()
void updateChildrenLevel ()
boolean weDrawBounds ()
void whoAmI ()

Protected Member Functions

boolean doRemoveFromListListeners ()
void removeFromListListeners (boolean doRemoveFromListListeners)
void setDoRemoveFromListListeners (boolean doRemoveFromListListeners)
void setTheFont (Font font)

Protected Attributes

boolean dragNDrop
boolean isSelected = false

Private Attributes

Displayable symbol

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index