fr.ove.openmath.jome.model
Class RequestVariable

java.lang.Object
  fr.ove.openmath.jome.model.Node
      fr.ove.openmath.jome.model.FormulaTreeStructure
          fr.ove.openmath.jome.model.Constant
              fr.ove.openmath.jome.model.VariableOrNumber
                  fr.ove.openmath.jome.model.RequestVariable

All Implemented Interfaces:

java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable

public class RequestVariable

extends VariableOrNumber

Variable elements in the formula.

Version:

2.0 29/09/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

RequestVariable()
The default constructor.

Method Summary

void	setValue(java.lang.String value) Sets the value.

Methods inherited from class fr.ove.openmath.jome.model.VariableOrNumber

createLinear, insert, isInteger, isNumber, isRequestVariable, setIsInteger, setIsNumber, setIsRequestVariable

Methods inherited from class fr.ove.openmath.jome.model.Constant

evaluate, getValue, isIconifiable, isOperator

Methods inherited from class fr.ove.openmath.jome.model.FormulaTreeStructure

addModelListener, consumeControlEvent, findLocation, fireModelEvent, getAreOperandsMovable, getAsOperandPriority, getAsOperatorPriority, getCrossRef, getIconName, getListeners, getResourceIdentifier, goTo, iconify, isEqual, isGreater, isGreaterOrEqual, isIcon, isLesser, isLesserOrEqual, isTemplate, isVisible, moveOperands, removeAllModelListener, removeModelListener, setAreOperandsMovable, setAsOperandPriority, setAsOperatorPriority, setCrossRef, setIconName, setIsIconifiable, setIsTemplate, setIsVisble, setResourceIdentifier, uniconify, uniconifyAll

Methods inherited from class fr.ove.openmath.jome.model.Node

addChild, addChild, clone, computeDepth, computeNbStrahler, duplicate, getChild, getChildren, getDepth, getFather, getNbChildren, getNbStrahler, getRank, hasChild, moveChildren, removeAll, removeChild, removeChild, setFather, setNbStrahler

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RequestVariable

public RequestVariable()

The default constructor.
Constructs a variable with no name. A default constuctor is needed for dynamic instantiation. The name of the variable must be set after instantiation

Method Detail

setValue

public void setValue(java.lang.String value)

Description copied from class: Constant

Sets the value.

Specified by:

setValue in interface Modifiable

Overrides:

setValue in class Constant