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

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

public static class ThreadDestroySyncPoint.Translated
extends AThreadSyncPoint.Translated

Class for translated versions on the monitor side.


Field Summary
 
Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
_threadInfo
 
Constructor Summary
ThreadDestroySyncPoint.Translated(ThreadInfo threadInfo)
          Constructor for translated version on the monitor side.
 
Method Summary
<R,P> R
execute(ISyncPointVisitor<R,P> visitor, P param)
          Executes a visitor.
 
Methods inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
getThreadInfo, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ThreadDestroySyncPoint.Translated

public ThreadDestroySyncPoint.Translated(ThreadInfo threadInfo)
Constructor for translated version on the monitor side.

Parameters:
threadInfo - info about the thread
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