|
IntegerConstant.java
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv3/base/IntegerConstant.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 integer constants. |
public class IntegerConstant extends Constant {
| Constructs a new IntegerConstant with the given value. |
public IntegerConstant (int value)
{
_sort = Taxonomy.INTEGER;
_value = value;
}
| The value if this constant. |
private int _value;
| Return the integer value of this IntegerConstant. |
public int value ()
{
return _value;
}
| Returns true iff the specified object is an IntegerConstant carrying the same value as this one. |
public boolean equals (Object other)
{
if (!(other instanceof IntegerConstant))
return false;
return _value == ((IntegerConstant)other).value();
}
| Returns a String representation of this IntegerConstant. |
public String toString ()
{
return Integer.toString(_value);
}
public String displayForm ()
{
return toString();
}
}
This file was generated on Mon Sep 09 09:17:59 PDT 2019 from file IntegerConstant.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci