1 package fr.ove.openmath.jome.ctrl.amto;
2
3 import fr.ove.openmath.jome.ctrl.linear.events.LinearParserEvent;
4 import fr.ove.openmath.jome.ctrl.amto.MapsToUnary;
5
6 /***
7 * The abstract math tree object of a prefixed unary operator.
8 *
9 * @author © 1999 DIRAT Laurent
10 * @version 1.0 18/11/1999
11 */
12 public abstract class MapsToPrefixedUnary extends MapsToUnary {
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 MapsToPrefixedUnary(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 LinearParserEvent linearParserEvent = new LinearParserEvent(getEventSource());
27 linearParserEvent.setToken(token, param);
28 fireLinearParserEvent(linearParserEvent);
29
30 super.flush();
31 }
32 }