gov.nasa.jpf.vm

Class PersistentTidSet

java.lang.Object

gov.nasa.jpf.util.ArrayIntSet

gov.nasa.jpf.util.UnsortedArrayIntSet

gov.nasa.jpf.vm.TidSet

gov.nasa.jpf.vm.PersistentTidSet

All Implemented Interfaces:

IntSet, Memento<ThreadInfoSet>, ThreadInfoSet, java.lang.Cloneable

public class PersistentTidSet
extends TidSet

set that stores threads via (search global) thread ids. Used to detect shared objects/classes, created by configured SharedObjectPolicy factory. This set is persistent, i.e. does not modify contents of existing set instances to avoid introducing search global state

Field Summary

Fields inherited from class gov.nasa.jpf.vm.TidSet

vm

Fields inherited from class gov.nasa.jpf.util.ArrayIntSet

elements, size

Constructor Summary

Constructors

Constructor and Description
PersistentTidSet(ThreadInfo ti)

Method Summary

Modifier and Type	Method and Description
ThreadInfoSet	add(ThreadInfo ti)
ThreadInfoSet	remove(ThreadInfo ti)

Methods inherited from class gov.nasa.jpf.vm.TidSet

contains, getMemento, hasMultipleLiveThreads, hasMultipleRunnableThreads, isShared, restore, toString

Methods inherited from class gov.nasa.jpf.util.UnsortedArrayIntSet

add, contains, remove

Methods inherited from class gov.nasa.jpf.util.ArrayIntSet

clear, clone, equals, hashCode, intIterator, isEmpty, size

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.vm.ThreadInfoSet

size

Constructor Detail

PersistentTidSet

public PersistentTidSet(ThreadInfo ti)

Method Detail

add

public ThreadInfoSet add(ThreadInfo ti)

Specified by:

add in interface ThreadInfoSet

Overrides:

add in class TidSet

Returns:

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

remove

public ThreadInfoSet remove(ThreadInfo ti)

Specified by:

remove in interface ThreadInfoSet

Overrides:

remove in class TidSet