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

java.lang.Object
  fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      fr.ove.openmath.jome.ctrl.amto.MapsToUnary
          fr.ove.openmath.jome.ctrl.amto.MapsToPrefixedUnary

All Implemented Interfaces:

Parametrable, java.io.Serializable

Direct Known Subclasses:

Specialisation, UnaryMinus

public abstract class MapsToPrefixedUnary

extends MapsToUnary

The abstract math tree object of a prefixed unary operator.

Version:

1.0 18/11/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

MapsToPrefixedUnary(java.lang.String identifier, int token)
The constructor.

Method Summary

void	flush() "Flushes" the object as a sequence of events for the building of the model

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

add, fireLinearParserEvent, flushChild, 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

MapsToPrefixedUnary

public MapsToPrefixedUnary(java.lang.String identifier,
                           int token)

The constructor.

Parameters:

identifier - the identifier of the instance.

token - the identifier of the instance by the mean of the event sent.

Method Detail

flush

public void flush()

"Flushes" the object as a sequence of events for the building of the model

Overrides:

flush in class MapsToUnary