minicp.state

Class CopyInt

java.lang.Object

minicp.state.CopyInt

All Implemented Interfaces:

StateInt, Storage

public class CopyInt
extends Object
implements Storage, StateInt

Implementation of StateInt with copy strategy

See Also:

Copier, StateManager.makeStateInt(int)

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CopyInt(int initial)

Method Summary

Modifier and Type	Method and Description
int	decrement() Decrements the value
int	increment() Increments the value
StateEntry	save()
int	setValue(int v) Set the value
String	toString()
int	value() Retrieves the value

Methods inherited from class java.lang.Object

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

Constructor Detail

CopyInt

protected CopyInt(int initial)

Method Detail

setValue

public int setValue(int v)

Description copied from interface: StateInt

Set the value

Specified by:

setValue in interface StateInt

Parameters:

v - the value to set

Returns:

the new value that was set

value

public int value()

Description copied from interface: StateInt

Retrieves the value

Specified by:

value in interface StateInt

Returns:

the value

increment

public int increment()

Description copied from interface: StateInt

Increments the value

Specified by:

increment in interface StateInt

Returns:

the new value

decrement

public int decrement()

Description copied from interface: StateInt

Decrements the value

Specified by:

decrement in interface StateInt

Returns:

the new value

toString

public String toString()

Specified by:

toString in interface StateInt

Overrides:

toString in class Object

save

public StateEntry save()

Specified by:

save in interface Storage