gov.nasa.jpf.util

Class MutableIntegerRestorer

java.lang.Object

gov.nasa.jpf.util.MutableIntegerRestorer

All Implemented Interfaces:

ClosedMemento

public class MutableIntegerRestorer
extends Object
implements ClosedMemento

on-demand restorer for MutableInteger instances

Constructor Summary

Constructors

Constructor and Description
MutableIntegerRestorer(MutableInteger restoree)

Method Summary

Methods

Modifier and Type	Method and Description
void	restore()

Methods inherited from class java.lang.Object

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

Constructor Detail

MutableIntegerRestorer

public MutableIntegerRestorer(MutableInteger restoree)

Method Detail

restore

public void restore()

Specified by:

restore in interface ClosedMemento