edu.utep.cs.utjml.tgen
Class IntValue
java.lang.Object
edu.utep.cs.utjml.tgen.Value
edu.utep.cs.utjml.tgen.IntValue
- All Implemented Interfaces:
- Denotable
public class IntValue
- extends Value
A class to represent int values.
- Version:
- $Revision: 1.5 $
- Author:
- Yoonsik Cheon
| Fields inherited from class edu.utep.cs.utjml.tgen.Value |
value |
|
Constructor Summary |
IntValue(int value)
Creates a new instance. |
|
Method Summary |
Class |
type()
Returns int class object. |
| Methods inherited from class edu.utep.cs.utjml.tgen.Value |
booleanValue, byteValue, charValue, doubleValue, floatValue, intValue, longValue, nullValue, shortValue, stringValue, toString, value |
IntValue
public IntValue(int value)
- Creates a new instance.
type
public Class type()
- Returns int class object.
- Specified by:
type in interface Denotable- Specified by:
type in class Value
UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.