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

Packages that use ThreadList

Package	Description
gov.nasa.jpf
gov.nasa.jpf.search
gov.nasa.jpf.vm

Uses of ThreadList in gov.nasa.jpf

Constructors in gov.nasa.jpf with parameters of type ThreadList

Constructor and Description
Error(int id, Property prop, Path p, ThreadList l)

Uses of ThreadList in gov.nasa.jpf.search

Methods in gov.nasa.jpf.search with parameters of type ThreadList

Modifier and Type	Method and Description
protected void	Search.error(Property property, Path path, ThreadList threadList)

Uses of ThreadList in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
ThreadList	KernelState.threads The list of the threads

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

Modifier and Type	Method and Description
ThreadList	KernelState.getThreadList()
ThreadList	VM.getThreadList()

Methods in gov.nasa.jpf.vm that return types with arguments of type ThreadList

Modifier and Type	Method and Description
Memento<ThreadList>	ThreadList.getMemento()
Memento<ThreadList>	ThreadList.getMemento(MementoFactory factory)
Memento<ThreadList>	MementoFactory.getMemento(ThreadList tlist)
Memento<ThreadList>	DefaultMementoRestorer.getMemento(ThreadList tlist)

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

Modifier and Type	Method and Description
Memento<ThreadList>	MementoFactory.getMemento(ThreadList tlist)
Memento<ThreadList>	DefaultMementoRestorer.getMemento(ThreadList tlist)