edu.rice.cs.cunit.record.syncPoints.sync
Class SynchronizedLeaveBlockSyncPoint.Translated

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated
      edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedLeaveBlockSyncPoint.Translated

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

SynchronizedLeaveBlockSyncPoint

public static class SynchronizedLeaveBlockSyncPoint.Translated
extends ASynchronizedObjectSyncPoint.Translated

Class for translated versions on the monitor side.

Field Summary

Fields inherited from class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated

_lockInfo, _threadInfo

Constructor Summary

SynchronizedLeaveBlockSyncPoint.Translated(LockInfo object, 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.

Methods inherited from class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint.Translated

getLockInfo, getThreadInfo, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SynchronizedLeaveBlockSyncPoint.Translated

public SynchronizedLeaveBlockSyncPoint.Translated(LockInfo object,
                                                  ThreadInfo thread)

Constructor for translated version on the monitor side.

Parameters:

object - info about the object

thread - 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