cz.vutbr.fit.racedetector
Interface Detector

All Known Implementing Classes:
AtomRaceDetect, EraserDetect

public interface Detector

The interface for race detecting algorithms. This interface simplify the ConTest listeners architecture to a few methods to implement.

Author:
zdenek

Method Summary
 RDThread getNewThread()
          Returns a new structure to maintain information concerning the thread.
 RDVariable getNewVariable(java.lang.Object inst, java.lang.String str)
          Returns a new structure to maintain information concerning the variable.
 

Method Detail

getNewVariable

RDVariable getNewVariable(java.lang.Object inst,
                          java.lang.String str)
Returns a new structure to maintain information concerning the variable.

Parameters:
inst - Variable instance - according to ConTest.
str - Name of the variable - according to ConTest.
Returns:
variable object

getNewThread

RDThread getNewThread()
Returns a new structure to maintain information concerning the thread.

Returns:
thread object