|
| |
|
| java.lang.Object
 gov.nasa.jpf.jvm.AtomicData
| AtomicData | | public class AtomicData (Code) | | 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 | |
| public MethodInfo | currentMethod
The method in which the line step started. | | public boolean | inSameMethod
Set to true if we still are in the same method in which we were
when the line step started. | | public int | line
The line at which the line step started. |
| currentMethod | | public MethodInfo currentMethod(Code) | | The method in which the line step started.
|
| inSameMethod | | public boolean inSameMethod(Code) | | Set to true if we still are in the same method in which we were
when the line step started.
|
| line | | public int line(Code) | | The line at which the line step started.
|
| hash | | public void hash(HashData hd)(Code) | | Computes a hash code with the object data.
|
| hashCode | | public int hashCode()(Code) | | Returns a hash code for the object.
|
|
|
|