View Javadoc

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