|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
fr.ove.openmath.jome.Jome
| 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 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 | |
Jome()
The default constructor. |
|
| Method Summary | |
java.awt.Color |
getBackgroundColor()
Returns the background color used. |
Display |
getDisplay()
|
boolean |
getDrawBounds()
Retuns true if we want the bounds to be drawn.
|
java.awt.Color |
getForegroundColor()
Returns the foreground color used. |
java.lang.String |
getLinear()
Returns the linear expression of the formula. |
java.lang.String |
getLinearSelection()
Returns the linear expression of the selection. |
java.lang.String |
getMathML()
Returns the MathML representation of the formula. |
java.lang.String |
getMathMLSelection()
Returns the MathML expression of the selection. |
java.lang.String |
getOpenMath()
Returns the OpenMath representation of the formula. |
java.lang.String |
getOpenMathSelection()
Returns the OpenMath expression of the selection. |
java.lang.String |
getPMML()
|
java.awt.Dimension |
getPreferredSize()
Returns the preferred size of the fr.ove.openmath.jome. |
java.awt.Color |
getSelectionColor()
Returns the selection color used. |
int |
getShiftX()
Returns the horizontal shift. |
int |
getShiftY()
Returns the vertical shift. |
void |
iconifySelection()
Iconifies the selection. |
void |
paint(java.awt.Graphics g)
The paint method. |
void |
setBackgroundColor(java.awt.Color backgroundColor)
Sets a new background color for the display. |
void |
setDrawBounds(boolean drawBounds)
Sets if we draw the bounds of fr.ove.openmath.jome. |
void |
setFont(java.awt.Font font)
Sets a new font to the context. |
void |
setForegroundColor(java.awt.Color foregroundColor)
Sets a new color to the context. |
void |
setLinear(java.lang.String exp)
Creates a formula from the specified maple-like expression. |
void |
setMathML(java.lang.String exp)
Creates a formula from the specified MathML Object. |
void |
setOpenMath(java.lang.String exp)
Creates a formula from the specified OpenMath Object. |
void |
setSelectionColor(java.awt.Color selectionColor)
Sets a new selection color to the context. |
void |
setShiftX(int shiftX)
Sets a horizontal shift to the display of the formula. |
void |
setShiftY(int shiftY)
Sets a vertical shift to the display of the formula. |
void |
substitute(java.lang.String name)
Substitutes the selection by the specified friendly name. |
void |
uniconifyAllIcons()
Uniconifies all icons in the expression. |
void |
uniconifySelectedIcons()
Uniconifies the selected icons. |
| 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, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, 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, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, 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 |
| Constructor Detail |
public Jome()
| Method Detail |
public java.awt.Dimension getPreferredSize()
public void paint(java.awt.Graphics g)
g - where the formula is painted.public void setLinear(java.lang.String exp)
exp - the specified maple-like expression.public java.lang.String getLinear()
public void setOpenMath(java.lang.String exp)
setOpenMath in interface OpenMathizableexp - the specified OpenMath Object.public java.lang.String getOpenMath()
getOpenMath in interface OpenMathizablepublic void setMathML(java.lang.String exp)
exp - the specified OpenMath Object.public java.lang.String getMathML()
public java.lang.String getPMML()
public java.lang.String getLinearSelection()
public java.lang.String getOpenMathSelection()
public java.lang.String getMathMLSelection()
public void setShiftX(int shiftX)
public int getShiftX()
public void setShiftY(int shiftY)
shiftY - the vertical shift.public int getShiftY()
public void setFont(java.awt.Font font)
font - the new font.public void setForegroundColor(java.awt.Color foregroundColor)
public java.awt.Color getForegroundColor()
public void setBackgroundColor(java.awt.Color backgroundColor)
public java.awt.Color getBackgroundColor()
public void setSelectionColor(java.awt.Color selectionColor)
selectionColor - the new color.public java.awt.Color getSelectionColor()
public void setDrawBounds(boolean drawBounds)
drawBounds - true if we want the bounds to be drawn.
false otherwise.public boolean getDrawBounds()
true if we want the bounds to be drawn.
false otherwise.
public void iconifySelection()
public void uniconifySelectedIcons()
public void uniconifyAllIcons()
public void substitute(java.lang.String name)
public Display getDisplay()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||