de.up.ling.irtg.util

Class MutableInteger

java.lang.Object

de.up.ling.irtg.util.MutableInteger

public class MutableInteger
extends Object

This implements a mutable version of an integer. This is essentially an AtomicInteger, without any synchronization effort.

Author:

koller

Constructor Summary

Constructors

Constructor and Description
MutableInteger() Creates a new instance with value equal to 0.
MutableInteger(int value) Creates a new instance with value equal to what is given.

Method Summary

Modifier and Type	Method and Description
String	gensym(String prefix) Creates a string by incrementing the value and returning the concatenation of the prefix and the old value.
int	getValue() Returns the current value.
int	incValue() Increases the value by 1 and returns the old value.
void	max(int value) Returns the maximum of the current value and the one given.
void	setValue(int value) Changes the value to one given.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MutableInteger

public MutableInteger()

Creates a new instance with value equal to 0.

MutableInteger

public MutableInteger(int value)

Creates a new instance with value equal to what is given.

Parameters:

value -

Method Detail

getValue

public int getValue()

Returns the current value.

Returns:

setValue

public void setValue(int value)

Changes the value to one given.

Parameters:

value -

incValue

public int incValue()

Increases the value by 1 and returns the old value.

Returns:

max

public void max(int value)

Returns the maximum of the current value and the one given.

Parameters:

value -

toString

public String toString()

Overrides:

toString in class Object

gensym

public String gensym(String prefix)

Creates a string by incrementing the value and returning the concatenation of the prefix and the old value. This is used to generate sequences of unique symbols.

Parameters:

prefix -

Returns: