gov.nasa.jpf.vm

Interface ThreadInfoSet

All Superinterfaces:

java.lang.Cloneable

All Known Implementing Classes:

PersistentTidSet, TidSet

public interface ThreadInfoSet
extends java.lang.Cloneable

interface to abstract the referencing set of threadinfos per object/class Used to detect shared objects/classes Instances are created through a configured factory (SharedObjectPolicy) We abstract the container so that the way we identify threads is not exposed to the client, and implementations can use either ThreadInfo references or global ids.

Method Summary

Modifier and Type	Method and Description
ThreadInfoSet	add(ThreadInfo ti)
boolean	contains(ThreadInfo ti)
Memento<ThreadInfoSet>	getMemento()
boolean	hasMultipleLiveThreads()
boolean	hasMultipleRunnableThreads()
boolean	isShared(ThreadInfo ti, ElementInfo ei)
ThreadInfoSet	remove(ThreadInfo ti)
int	size()

Method Detail

add

ThreadInfoSet add(ThreadInfo ti)

Returns:

true if the thread wasn't in the set yet and was added

remove

ThreadInfoSet remove(ThreadInfo ti)

contains

boolean contains(ThreadInfo ti)

isShared

boolean isShared(ThreadInfo ti,
                 ElementInfo ei)

hasMultipleLiveThreads

boolean hasMultipleLiveThreads()

hasMultipleRunnableThreads

boolean hasMultipleRunnableThreads()

getMemento

Memento<ThreadInfoSet> getMemento()

size

int size()