View Javadoc

1   package fr.ove.openmath.jome.ctrl.amto;
2   
3   import fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject;
4   
5   /***
6   * The abstract math tree object of a unary operator.<BR>
7   * This class serves only as "identifier", because we have postfix or prefix unary operators.
8   *
9   * @author © 1999 DIRAT Laurent
10  * @version 1.0  18/11/1999
11  */
12  public abstract class MapsToUnary extends AbstractMathTreeObject {
13      /***
14      * The constructor.
15      * @param identifier the identifier of the instance.
16      * @param token the identifier of the instance by the mean of the event sent.
17      */
18      public MapsToUnary(String identifier, int token) {
19          super(identifier, token);
20      }
21      
22      /***
23      * "Flushes" the object as a sequence of events for the building of the model
24      */
25      public void flush() {
26          if (getNbChildren() != 0)
27              flushChild(getChild(0), 0);
28      }
29  }