minicp.state

Interface StateInt

All Known Implementing Classes:

CopyInt, TrailInt

public interface StateInt

Object that wraps an integer value that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

See Also:

for the creation.

Method Summary

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

Method Detail

setValue

int setValue(int v)

Set the value

Parameters:

v - the value to set

Returns:

the new value that was set

value

int value()

Retrieves the value

Returns:

the value

increment

int increment()

Increments the value

Returns:

the new value

decrement

int decrement()

Decrements the value

Returns:

the new value

toString

String toString()

Overrides:

toString in class Object