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

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated
      edu.rice.cs.cunit.record.syncPoints.thread.ThreadLeaveJoinSyncPoint.Translated

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ThreadLeaveJoinSyncPoint

public static class ThreadLeaveJoinSyncPoint.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

ThreadLeaveJoinSyncPoint.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

ThreadLeaveJoinSyncPoint.Translated

public ThreadLeaveJoinSyncPoint.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.