gov.nasa.jpf.vm

Class ArrayOffset

java.lang.Object

gov.nasa.jpf.vm.ArrayOffset

public final class ArrayOffset
extends java.lang.Object

data encapsulation for backtracking. It's actually a Stream (offset being incremented by get()) so it probably should be renamed

Field Summary

Fields

Modifier and Type	Field and Description
int[]	data

Constructor Summary

Constructors

Constructor and Description
ArrayOffset(int[] d)

Method Summary

Modifier and Type	Method and Description
void	advance(int n)
int	get()
int	peek()

Methods inherited from class java.lang.Object

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

Field Detail

data

public int[] data

Constructor Detail

ArrayOffset

public ArrayOffset(int[] d)

Method Detail

advance

public void advance(int n)

get

public int get()

peek

public int peek()