1 package fr.ove.openmath.jome.model;
2
3 import fr.ove.openmath.jome.model.VariableOrNumber;
4
5 /***
6 * Integer elements in the formula.
7 *
8 * @author © 1999 DIRAT Laurent
9 * @version 2.0 29/09/1999
10 */
11 public class AnInteger extends VariableOrNumber {
12 /***
13 * The default constructor.<BR>
14 * Constructs a integer with no value. A default constuctor is needed for dynamic instantiation.
15 * The value must be set after instantiation.
16 */
17 public AnInteger() {
18 this("");
19 }
20
21 /***
22 * The constructor.<BR>
23 * Contstructs an integer with the specified string value.
24 * @param value the integer value.
25 */
26 public AnInteger(String value) {
27 super("INTEGER", value, true, true);
28 }
29 }