|
FloatConstant.java
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv2/base/FloatConstant.java // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Mon Sep 02 16:47:11 2013
This is the class for floating point number constants.
|
package hlt.osf.base;
import hlt.osf.exec.Taxonomy;
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 Sun Mar 29 11:34:23 CEST 2015 from file FloatConstant.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci