fr.ove.openmath.jome.model
Class AnInteger

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.AnInteger

All Implemented Interfaces:

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

public class AnInteger

extends VariableOrNumber

Integer elements in the formula.

Version:

2.0 29/09/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

AnInteger()
The default constructor.

AnInteger(java.lang.String value)
The constructor.

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, setValue

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

AnInteger

public AnInteger()

The default constructor.
Constructs a integer with no value. A default constuctor is needed for dynamic instantiation. The value must be set after instantiation.

AnInteger

public AnInteger(java.lang.String value)

The constructor.
Contstructs an integer with the specified string value.

Parameters:

value - the integer value.