fr.ove.openmath.jome.ctrl.amto
Class AnInteger

java.lang.Object
  fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      fr.ove.openmath.jome.ctrl.amto.MapsToTerminal
          fr.ove.openmath.jome.ctrl.amto.AnInteger

All Implemented Interfaces:

Parametrable, java.io.Serializable

public class AnInteger

extends MapsToTerminal

The abstract math tree object of an integer.

Version:

1.0 29/10/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

identifier, param, token

Constructor Summary

AnInteger()
The constructor.

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToTerminal

flush, flushChild

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

add, fireLinearParserEvent, getChild, getChildren, getEventSource, getFather, getNbChildren, getParameter, remove, remove, removeAll, setEventSource, setFather, setParameter

Methods inherited from class java.lang.Object

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

Constructor Detail

AnInteger

public AnInteger()

The constructor.