gov.nasa.jpf.vm

Class TidSet

java.lang.Object

gov.nasa.jpf.util.ArrayIntSet

gov.nasa.jpf.util.UnsortedArrayIntSet

gov.nasa.jpf.vm.TidSet

All Implemented Interfaces:

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

Direct Known Subclasses:

PersistentTidSet

public class TidSet
extends UnsortedArrayIntSet
implements ThreadInfoSet, Memento<ThreadInfoSet>

set that stores threads via (search global) thread ids. Used to detect shared objects/classes, created by configured SharedObjectPolicy factory Note - this class modified contents of instances, i.e. it does destructive updates and hence has state carry-over between paths

Field Summary

Fields

Modifier and Type	Field and Description
protected VM	vm

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

elements, size

Constructor Summary

Constructors

Constructor and Description
TidSet(ThreadInfo ti)

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)
ThreadInfoSet	restore(ThreadInfoSet inSitu) note that there is no guarantee the restored object will be the same that is (optionally) passed in.
java.lang.String	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

Field Detail

vm

protected VM vm

Constructor Detail

TidSet

public TidSet(ThreadInfo ti)

Method Detail

add

public ThreadInfoSet add(ThreadInfo ti)

Specified by:

add in interface ThreadInfoSet

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

contains

public boolean contains(ThreadInfo ti)

Specified by:

contains in interface ThreadInfoSet

isShared

public boolean isShared(ThreadInfo ti,
                        ElementInfo ei)

Specified by:

isShared in interface ThreadInfoSet

hasMultipleLiveThreads

public boolean hasMultipleLiveThreads()

Specified by:

hasMultipleLiveThreads in interface ThreadInfoSet

hasMultipleRunnableThreads

public boolean hasMultipleRunnableThreads()

Specified by:

hasMultipleRunnableThreads in interface ThreadInfoSet

toString

public java.lang.String toString()

Overrides:

toString in class ArrayIntSet

getMemento

public Memento<ThreadInfoSet> getMemento()

Specified by:

getMemento in interface ThreadInfoSet

restore

public ThreadInfoSet restore(ThreadInfoSet inSitu)

Description copied from interface: Memento

note that there is no guarantee the restored object will be the same that is (optionally) passed in. Implementations are free to restore in-situ or create a new object if a non-null reference is provided. Callers are responsible for identity integrity if they do provide in-situ objects The caller does not guarantee the provided in-situ object was the one the Memento was created from

Specified by:

restore in interface Memento<ThreadInfoSet>