Uses of Class
gov.nasa.jpf.vm.ThreadData

Packages that use ThreadData

Package	Description
gov.nasa.jpf.vm

Uses of ThreadData in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as ThreadData

Modifier and Type	Field and Description
protected ThreadData	ThreadInfo.threadData

Methods in gov.nasa.jpf.vm that return ThreadData

Modifier and Type	Method and Description
ThreadData	ThreadData.clone()
protected ThreadData	ThreadInfo.threadDataClone() Returns a clone of the thread data.

Methods in gov.nasa.jpf.vm with parameters of type ThreadData

Modifier and Type	Method and Description
void	ThreadInfo.restoreThreadData(ThreadData td)