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:

Iterator<StackFrame>

Enclosing class:

ThreadInfo

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

Method Summary

Methods

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

hasNext, remove

Method Detail

next

public StackFrame next()

Specified by:

next in interface Iterator<StackFrame>

Overrides:

next in class ThreadInfo.StackIterator