gov.nasa.jpf.vm

Class ThreadInfo.StackIterator

java.lang.Object

gov.nasa.jpf.vm.ThreadInfo.StackIterator

All Implemented Interfaces:

Iterator<StackFrame>

Direct Known Subclasses:

ThreadInfo.InvokedStackIterator

Enclosing class:

ThreadInfo

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ThreadInfo.StackIterator()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasNext()
StackFrame	next()
void	remove()

Methods inherited from class java.lang.Object

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

Constructor Detail

ThreadInfo.StackIterator

protected ThreadInfo.StackIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<StackFrame>

next

public StackFrame next()

Specified by:

next in interface Iterator<StackFrame>

remove

public void remove()

Specified by:

remove in interface Iterator<StackFrame>