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

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

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ObjectNotifySyncPoint

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

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

ObjectNotifySyncPoint.Translated

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