fr.ove.openmath.jome.ctrlview.events
Class ControlEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byfr.ove.openmath.jome.ctrlview.events.ControlEvent
All Implemented Interfaces:
java.io.Serializable

public class ControlEvent
extends java.util.EventObject

The event to send to all objects that implements the interface ControlListener and which want to execute the control actions.

Version:
1.0 09/07/98
Author:
© 1998 DIRAT Laurent
See Also:
Serialized Form

Field Summary
static int ADD
          Add the element which produces the event.
static int GIVE_MAPLE
           
static int GIVE_OPENMATH
          Ask the OpenMath object of the formula.
static int ICONIFY
          Iconify the element which produces the event.
static int REMOVE
          Remove the element which produces the event.
static int SUBSTITUTE
          Substitue the selection by a friendly name.
static int UNICONIFY
          Uniconify the element which produces the event.
static int UNICONIFY_ALL
          Recursive iconification
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
ControlEvent(java.lang.Object src)
          The constructor.
 
Method Summary
 int getAction()
          Returns the action associated with the event.
 java.lang.Object getArgument()
          Returns the argument of the action.
 void setAction(int action, java.lang.Object argument)
          Sets the action and its argument, if necessary, to execute to the event.
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

ADD

public static final int ADD
Add the element which produces the event.

See Also:
Constant Field Values

REMOVE

public static final int REMOVE
Remove the element which produces the event.

See Also:
Constant Field Values

ICONIFY

public static final int ICONIFY
Iconify the element which produces the event.

See Also:
Constant Field Values

UNICONIFY

public static final int UNICONIFY
Uniconify the element which produces the event.

See Also:
Constant Field Values

UNICONIFY_ALL

public static final int UNICONIFY_ALL
Recursive iconification

See Also:
Constant Field Values

SUBSTITUTE

public static final int SUBSTITUTE
Substitue the selection by a friendly name.

See Also:
Constant Field Values

GIVE_OPENMATH

public static final int GIVE_OPENMATH
Ask the OpenMath object of the formula.

See Also:
Constant Field Values

GIVE_MAPLE

public static final int GIVE_MAPLE
See Also:
Constant Field Values
Constructor Detail

ControlEvent

public ControlEvent(java.lang.Object src)
The constructor.

Parameters:
src - the object which produces this event.
Method Detail

setAction

public void setAction(int action,
                      java.lang.Object argument)
Sets the action and its argument, if necessary, to execute to the event.

Parameters:
action - the action to execute.
argument - the action argument. If the action don't need an argument, it must be sets to null.

getAction

public int getAction()
Returns the action associated with the event.


getArgument

public java.lang.Object getArgument()
Returns the argument of the action.



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