fr.ove.openmath.jome.model
Class AFloat

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

All Implemented Interfaces:

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

public class AFloat

extends VariableOrNumber

Float elements in the formula.

Version:

2.0 29/09/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

AFloat()
The default constructor.

AFloat(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

AFloat

public AFloat()

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

AFloat

public AFloat(java.lang.String value)

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

Parameters:

value - the float value.