UTJML

edu.utep.cs.utjml.rat
Class IntValue

java.lang.Object
  extended by edu.utep.cs.utjml.rat.Value
      extended by edu.utep.cs.utjml.rat.IntValue
All Implemented Interfaces:
Denotable

public class IntValue
extends Value

A class to represent int values.

Version:
$Revision: 1.1 $
Author:
Yoonsik Cheon

Field Summary
 
Fields inherited from class edu.utep.cs.utjml.rat.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.rat.Value
booleanValue, byteValue, charValue, doubleValue, floatValue, intValue, longValue, nullValue, shortValue, stringValue, toString, value
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntValue

public IntValue(int value)
Creates a new instance.

Method Detail

type

public Class type()
Returns int class object.

Specified by:
type in interface Denotable
Specified by:
type in class Value

UTJML

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.