|
FloatConstant.java
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv3/base/FloatConstant.java // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Mon Sep 02 16:47:11 2013
|
package hlt.osf.base; import hlt.osf.exec.Taxonomy;
| This is the class for floating point number constants. |
public class FloatConstant extends Constant {
| Constructs a new FloatConstant with the given value. |
public FloatConstant (double value)
{
_sort = Taxonomy.FLOAT;
_value = value;
}
| The value if this constant. |
private double _value;
| Return the value of this FloatConstant. |
public double value ()
{
return _value;
}
| Returns true iff the specified object is a FloatConstant carrying the same value as this one. |
public boolean equals (Object other)
{
if (!(other instanceof FloatConstant))
return false;
return _value == ((FloatConstant)other).value();
}
| Returns a String representation of this FloatConstant. |
public String toString ()
{
return Double.toString(_value);
}
public String displayForm ()
{
return toString();
}
}
This file was generated on Mon Sep 09 09:17:59 PDT 2019 from file FloatConstant.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci