edu.rice.cs.cunit.record.syncPoints.object
Class ObjectLeaveWaitSyncPoint.Translated

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint.Translated
      edu.rice.cs.cunit.record.syncPoints.object.ObjectLeaveWaitSyncPoint.Translated

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ObjectLeaveWaitSyncPoint

public static class ObjectLeaveWaitSyncPoint.Translated
extends AObjectSyncPoint.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.object.AObjectSyncPoint.Translated

_lockInfo, _threadInfo

Constructor Summary

ObjectLeaveWaitSyncPoint.Translated(LockInfo object, long timeOut, ThreadInfo thread)
Constructor for translated version on the monitor side.

Method Summary

<R,P> R	execute(ISyncPointVisitor<R,P> visitor, P param) Executes a visitor.
long	getTimeOut() Returns the timeout duration.
java.lang.String	toString() Returns a string representation of the object.

Methods inherited from class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint.Translated

getLockInfo, 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

ObjectLeaveWaitSyncPoint.Translated

public ObjectLeaveWaitSyncPoint.Translated(LockInfo object,
                                           long timeOut,
                                           ThreadInfo thread)

Constructor for translated version on the monitor side.

Parameters:

object - info about the object

timeOut - timeout duration

thread - info about the current 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

getTimeOut

public long getTimeOut()

Returns the timeout duration.

Returns:

timeout duration

toString

public java.lang.String toString()

Returns a string representation of the object.

Overrides:

toString in class AObjectSyncPoint.Translated

Returns:

a string representation of the object.