Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
ImmutableList<E> |
ImmutableList.tail |
Constructor and Description |
---|
ImmutableList(E data,
ImmutableList<E> tail) |
Modifier and Type | Field and Description |
---|---|
protected ImmutableList<KState> |
DefaultBacktracker.kstack
where we keep the saved KernelState head
|
protected ImmutableList<ReleaseAction> |
ClassInfo.releaseActions
actions to be taken when an object of this type is gc'ed
|
protected ImmutableList<Object> |
DefaultBacktracker.sstack
and that adds the SystemState specifics
|