edu.rice.cs.cunit.record.syncPoints.thread
Class ThreadEnterJoinSyncPoint.Translated

java.lang.Object
  extended by edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
      extended by edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterJoinSyncPoint.Translated
All Implemented Interfaces:
ISyncPoint.Translated
Enclosing class:
ThreadEnterJoinSyncPoint

public static class ThreadEnterJoinSyncPoint.Translated
extends AThreadSyncPoint.Translated

Class for translated versions on the monitor side.


Field Summary
private  long _timeOut
          Timeout duration.
 
Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
_threadInfo
 
Constructor Summary
ThreadEnterJoinSyncPoint.Translated(ThreadInfo threadInfo, long timeOut)
          Constructor for translated version on the monitor side.
 
Method Summary
<R,P> R
execute(ISyncPointVisitor<R,P> visitor, P param)
          Executes a visitor.
 java.lang.String toString()
          Returns a string representation of the object.
 
Methods inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
getThreadInfo
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_timeOut

private long _timeOut
Timeout duration.

Constructor Detail

ThreadEnterJoinSyncPoint.Translated

public ThreadEnterJoinSyncPoint.Translated(ThreadInfo threadInfo,
                                           long timeOut)
Constructor for translated version on the monitor side.

Parameters:
threadInfo - info about the thread
timeOut - timeout duration
Method Detail

execute

public <R,P> R execute(ISyncPointVisitor<R,P> visitor,
                       P param)
Executes a visitor.

Parameters:
visitor - visitor to execute
param - visitor-specific parameter
Returns:
visitor-specific return value

toString

public java.lang.String toString()
Returns a string representation of the object.

Overrides:
toString in class AThreadSyncPoint.Translated
Returns:
a string representation of the object.