View Javadoc

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.MapsToTerminal;
5   
6   /***
7   * The abstract math tree object of an integer.
8   *
9   * @author © 1999 DIRAT Laurent
10  * @version 1.0  29/10/1999
11  */
12  public class AnInteger extends MapsToTerminal {
13      /***
14      * The constructor.
15      */
16      public AnInteger() {
17          super("integer", LinearParserEvent.INTEGER);
18      }
19  }