gov.nasa.jpf.util

Class ObjVector.Snapshot<E>

java.lang.Object

gov.nasa.jpf.util.ObjVector.Snapshot<E>

Enclosing class:

ObjVector<E>

public static class ObjVector.Snapshot<E>
extends Object

this is a block operation snapshot that stores chunks of original data with not more than DEFAULT_MAX_GAP consecutive null elements. Use this if elements can be stored directly

Method Summary

Methods

Modifier and Type	Method and Description
void	restore(ObjVector<E> v)

Methods inherited from class java.lang.Object

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

Method Detail

restore

public void restore(ObjVector<E> v)