cz.vutbr.fit.racedetector
Class Access

java.lang.Object
  extended by cz.vutbr.fit.racedetector.Access

public class Access
extends java.lang.Object

This class represents one access of a program. The access is defined by ConTest like program location and access flag (read or write).

Author:
zdenek

Field Summary
 RaceDetector.Operation mode
          Type of this access (read/write/...).
 java.lang.String progLoc
          Program location on which this access occurs.
 
Constructor Summary
Access(java.lang.String loc, RaceDetector.Operation mod)
          Constructor.
 
Method Summary
 boolean equals(java.lang.Object ac)
          Returns true if the given object is of type Access and program locations are the same.
 int hashCode()
          Returns hashCode of this Object which is actually the hash code of the program location.
 java.lang.String toString()
          Returns the text representation of this access.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

progLoc

public final java.lang.String progLoc
Program location on which this access occurs.


mode

public final RaceDetector.Operation mode
Type of this access (read/write/...).

Constructor Detail

Access

public Access(java.lang.String loc,
              RaceDetector.Operation mod)
Constructor.

Parameters:
loc -
mod -
Method Detail

equals

public boolean equals(java.lang.Object ac)
Returns true if the given object is of type Access and program locations 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.

Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Returns the text representation of this access.

Overrides:
toString in class java.lang.Object