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

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

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ObjectNotifyAllSyncPoint

public static class ObjectNotifyAllSyncPoint.Translated
extends AObjectSyncPoint.Translated

Class for translated versions on the monitor side.

Field Summary

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

_lockInfo, _threadInfo

Constructor Summary

ObjectNotifyAllSyncPoint.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.object.AObjectSyncPoint.Translated

getLockInfo, getThreadInfo, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectNotifyAllSyncPoint.Translated

public ObjectNotifyAllSyncPoint.Translated(LockInfo object,
                                           ThreadInfo thread)

Constructor for translated version on the monitor side.

Parameters:

object - info about the object

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