fr.ove.openmath.mathematica
Class OMWorkSheet

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjavax.swing.JComponent
              extended byjavax.swing.JPanel
                  extended byfr.ove.openmath.mathematica.WorkSheet
                      extended byfr.ove.openmath.mathematica.OMWorkSheet
All Implemented Interfaces:
javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, PanelJomesListener, java.lang.Runnable, Savable, java.io.Serializable

public class OMWorkSheet
extends WorkSheet
implements PanelJomesListener, Savable, java.lang.Runnable

See Also:
Serialized Form

Nested Class Summary
 
Nested classes inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Nested classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
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 javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
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
OMWorkSheet(WorkBook workbook, ConnectionFactory factory)
          The constructor.
 
Method Summary
 void addNewElement()
          Adds a new element to the work sheet.
 void consumePanelJomesEvent(PanelJomesEvent panelJomesEvent)
          Consumes (i.e. treats) the event received.
 Connection getConnection()
          Returns the connection.
 PanelJomes getCurrentElement()
          Returns the current element in the worksheet
 java.awt.Dimension getPreferredSize()
          Returns the preferred size.
 void initialize()
          Initializes the work sheet, i.e. removes all the existing elements and and put an empty one.
 void insertNewElement()
          Inserts a new element.
 boolean isSaveNeeded()
          Checks if the instance need to be saved.
 void remove(java.awt.Component comp)
          Removes the specified component from the instance.
 void remove(int index)
          Removes the component at the specified index from the instance.
 void removeAll()
          Removes all the components from the instance
 void removeCurrent()
          Remove the current element in the worksheet
 void run()
          run the thread
 void runCurrentRequest()
          Runs the current request
 void runWorkSheet()
          Runs the work sheet.
 java.lang.Object save()
          Saves the instance.
 java.lang.Object save(java.io.File file)
          Saves the instance into the specified file.
 java.lang.Object saveAs(java.lang.String name)
          Saves the instance with the specified name.
 void setSaveNeeded(boolean needed)
          Sets if the instance need to be saved.
 
Methods inherited from class fr.ove.openmath.mathematica.WorkSheet
add, add, getAll
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, transferFocusBackward, transferFocusDownCycle, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, 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

OMWorkSheet

public OMWorkSheet(WorkBook workbook,
                   ConnectionFactory factory)
The constructor.

Method Detail

addNewElement

public void addNewElement()
Adds a new element to the work sheet.


insertNewElement

public void insertNewElement()
Inserts a new element.


remove

public void remove(java.awt.Component comp)
Removes the specified component from the instance.

Overrides:
remove in class WorkSheet
Parameters:
comp - the component to remove

remove

public void remove(int index)
Removes the component at the specified index from the instance.

Overrides:
remove in class WorkSheet
Parameters:
index - the index of the component to remove

removeAll

public void removeAll()
Removes all the components from the instance

Overrides:
removeAll in class WorkSheet

removeCurrent

public void removeCurrent()
Remove the current element in the worksheet


initialize

public void initialize()
Initializes the work sheet, i.e. removes all the existing elements and and put an empty one.


getCurrentElement

public PanelJomes getCurrentElement()
Returns the current element in the worksheet


getPreferredSize

public java.awt.Dimension getPreferredSize()
Returns the preferred size.


getConnection

public Connection getConnection()
Returns the connection.


runCurrentRequest

public void runCurrentRequest()
Runs the current request


runWorkSheet

public void runWorkSheet()
Runs the work sheet.


consumePanelJomesEvent

public void consumePanelJomesEvent(PanelJomesEvent panelJomesEvent)
Consumes (i.e. treats) the event received.

Specified by:
consumePanelJomesEvent in interface PanelJomesListener
Parameters:
panelJomesEvent - the event to consume.

save

public java.lang.Object save()
Saves the instance.

Specified by:
save in interface Savable

save

public java.lang.Object save(java.io.File file)
Saves the instance into the specified file.

Specified by:
save in interface Savable

saveAs

public java.lang.Object saveAs(java.lang.String name)
Saves the instance with the specified name.

Specified by:
saveAs in interface Savable
Parameters:
name - the specified name.

isSaveNeeded

public boolean isSaveNeeded()
Checks if the instance need to be saved.

Specified by:
isSaveNeeded in interface Savable
Returns:
true if the instance need to be saved. false otherwise.

setSaveNeeded

public void setSaveNeeded(boolean needed)
Sets if the instance need to be saved.

Specified by:
setSaveNeeded in interface Savable
Parameters:
needed - true if the instance need to be saved. false otherwise.

run

public void run()
run the thread

Specified by:
run in interface java.lang.Runnable


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.