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

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

All Implemented Interfaces:

Parametrable, java.io.Serializable

Direct Known Subclasses:

PostfixedSpecialisation

public abstract class MapsToPostfixedUnary

extends MapsToUnary

The abstract math tree object of a postfixed 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

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

MapsToPostfixedUnary

public MapsToPostfixedUnary(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