cz.vutbr.fit.racedetector
Class ARInfo.ProblemAccess

java.lang.Object
  extended by cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
Enclosing class:
ARInfo

public class ARInfo.ProblemAccess
extends java.lang.Object

This class represents the problematic access which was detected when someone else was in atomicity section of this variable.

Author:
zdenek

Field Summary
 java.lang.String curLocation
           
 RaceDetector.Operation curOperation
           
 java.lang.Thread curThread
           
 
Constructor Summary
ARInfo.ProblemAccess(java.lang.Thread cThread, java.lang.String cLoc, RaceDetector.Operation cOper)
          Constructor - information concerning the problematic access.
 
Method Summary
 boolean equals(java.lang.Object ac)
          Returns true if the given object is of type ProblemAccess and program locations and threads are the same.
 int hashCode()
          Returns hashCode of this Object which is actually the hash code of the program location and thread.
 java.lang.String toString()
          Give a text representation of problematic access - usable also for printing warnings.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

curThread

public final java.lang.Thread curThread

curLocation

public final java.lang.String curLocation

curOperation

public final RaceDetector.Operation curOperation
Constructor Detail

ARInfo.ProblemAccess

public ARInfo.ProblemAccess(java.lang.Thread cThread,
                            java.lang.String cLoc,
                            RaceDetector.Operation cOper)
Constructor - information concerning the problematic access.

Parameters:
cThread - Thread which wanted to access the variable.
cLoc - Its location in the code.
cOper - Operation it wanted to perform.
Method Detail

toString

public java.lang.String toString()
Give a text representation of problematic access - usable also for printing warnings.

Overrides:
toString in class java.lang.Object

equals

public boolean equals(java.lang.Object ac)
Returns true if the given object is of type ProblemAccess and program locations and threads are the same. (modes are not compared because the program location should be unique with respect to operation)

Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Returns hashCode of this Object which is actually the hash code of the program location and thread.

Overrides:
hashCode in class java.lang.Object