gov.nasa.jpf.vm

Class ThreadData

java.lang.Object

gov.nasa.jpf.vm.ThreadData

public class ThreadData
extends java.lang.Object

this is the mutable Thread data we have to keep track of for storing/restoring states

Constructor Summary

Constructors

Constructor and Description
ThreadData()

Method Summary

Modifier and Type	Method and Description
ThreadData	clone()
boolean	equals(java.lang.Object o)
java.lang.String	getFieldValues()
ThreadInfo.State	getState()
void	hash(HashData hd)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ThreadData

public ThreadData()

Method Detail

clone

public ThreadData clone()

Overrides:

clone in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hash

public void hash(HashData hd)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getFieldValues

public java.lang.String getFieldValues()

getState

public ThreadInfo.State getState()