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

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

public static class ThreadLeaveSleepSyncPoint.Translated
extends AThreadSyncPoint.Translated

Class for translated versions on the monitor side.


Field Summary
private  long _duration
          Duration of sleep.
 
Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
_threadInfo
 
Constructor Summary
ThreadLeaveSleepSyncPoint.Translated(ThreadInfo thread, long duration)
          Constructor for translated version on the monitor side.
 
Method Summary
<R,P> R
execute(ISyncPointVisitor<R,P> visitor, P param)
          Executes a visitor.
 long getDuration()
          Returns the duration of the sleep
 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

_duration

private long _duration
Duration of sleep.

Constructor Detail

ThreadLeaveSleepSyncPoint.Translated

public ThreadLeaveSleepSyncPoint.Translated(ThreadInfo thread,
                                            long duration)
Constructor for translated version on the monitor side.

Parameters:
thread - current thread
duration - duration of sleep
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

getDuration

public long getDuration()
Returns the duration of the sleep

Returns:
duration

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.