gov.nasa.jpf.vm

Class AtomicData

java.lang.Object

gov.nasa.jpf.vm.AtomicData

public class AtomicData
extends java.lang.Object

helper object to store per thread information about atomic line execution <2do> check if we can't do this less expensive. atomic-lines is not the default anymore

Field Summary

Fields

Modifier and Type	Field and Description
MethodInfo	currentMethod The method in which the line step started.
boolean	inSameMethod Set to true if we still are in the same method in which we were when the line step started.
int	line The line at which the line step started.

Constructor Summary

Constructors

Constructor and Description
AtomicData()

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
boolean	equals(java.lang.Object o)
void	hash(HashData hd) Computes a hash code with the object data.
int	hashCode() Returns a hash code for the object.

Methods inherited from class java.lang.Object

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

Field Detail

currentMethod

public MethodInfo currentMethod

The method in which the line step started.

line

public int line

The line at which the line step started.

inSameMethod

public boolean inSameMethod

Set to true if we still are in the same method in which we were when the line step started.

Constructor Detail

AtomicData

public AtomicData()

Method Detail

clone

public java.lang.Object 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)

Computes a hash code with the object data.

hashCode

public int hashCode()

Returns a hash code for the object.

Overrides:

hashCode in class java.lang.Object