|
IntegerConstant.java
|
// FILE. . . . . /home/hak/hlt/src/hlt/osfv1/base/IntegerConstant.java // EDIT BY . . . Hassan Ait-Kaci // ON MACHINE. . Hak-Laptop // STARTED ON. . Mon Sep 02 16:47:11 2013
This is the class for integer constants.
|
package hlt.osf.base;
import hlt.osf.exec.Taxonomy;
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 Thu Sep 19 11:57:09 CEST 2013 from file IntegerConstant.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci