gov.nasa.jpf.vm

Class ThreadInfo.InvokedStackIterator

java.lang.Object

gov.nasa.jpf.vm.ThreadInfo.StackIterator

gov.nasa.jpf.vm.ThreadInfo.InvokedStackIterator

All Implemented Interfaces:

java.util.Iterator<StackFrame>

Enclosing class:

ThreadInfo

protected class ThreadInfo.InvokedStackIterator
extends ThreadInfo.StackIterator
implements java.util.Iterator<StackFrame>

Method Summary

Modifier and Type	Method and Description
StackFrame	next()

Methods inherited from class gov.nasa.jpf.vm.ThreadInfo.StackIterator

hasNext, remove

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, remove

Method Detail

next

public StackFrame next()

Specified by:

next in interface java.util.Iterator<StackFrame>

Overrides:

next in class ThreadInfo.StackIterator