gov.nasa.jpf.util

Class MutableInteger

java.lang.Object

java.lang.Number

gov.nasa.jpf.util.MutableInteger

All Implemented Interfaces:

java.io.Serializable

public class MutableInteger
extends java.lang.Number

an object that holds a mutable int. Unfortunately, java.lang.Integer is final, but we can at least be a Number

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MutableInteger(int val)

Method Summary

Modifier and Type	Method and Description
MutableInteger	add(int n)
MutableInteger	add(java.lang.Number n)
MutableInteger	dec()
MutableInteger	divide(int n)
MutableInteger	divide(java.lang.Number n)
double	doubleValue()
float	floatValue()
MutableInteger	inc()
int	intValue()
long	longValue()
MutableInteger	multiply(int n)
MutableInteger	multiply(java.lang.Number n)
void	set(int val)
MutableInteger	subtract(int n)
MutableInteger	subtract(java.lang.Number n)

Methods inherited from class java.lang.Number

byteValue, shortValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MutableInteger

public MutableInteger(int val)

Method Detail

set

public void set(int val)

inc

public MutableInteger inc()

dec

public MutableInteger dec()

add

public MutableInteger add(int n)

subtract

public MutableInteger subtract(int n)

multiply

public MutableInteger multiply(int n)

divide

public MutableInteger divide(int n)

add

public MutableInteger add(java.lang.Number n)

subtract

public MutableInteger subtract(java.lang.Number n)

multiply

public MutableInteger multiply(java.lang.Number n)

divide

public MutableInteger divide(java.lang.Number n)

doubleValue

public double doubleValue()

Specified by:

doubleValue in class java.lang.Number

floatValue

public float floatValue()

Specified by:

floatValue in class java.lang.Number

intValue

public int intValue()

Specified by:

intValue in class java.lang.Number

longValue

public long longValue()

Specified by:

longValue in class java.lang.Number