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

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

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ThreadEnterYieldSyncPoint

public static class ThreadEnterYieldSyncPoint.Translated
extends AThreadSyncPoint.Translated

Class for translated versions on the monitor side.

Field Summary

Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint.Translated

_threadInfo

Constructor Summary

ThreadEnterYieldSyncPoint.Translated(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.thread.AThreadSyncPoint.Translated

getThreadInfo, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ThreadEnterYieldSyncPoint.Translated

public ThreadEnterYieldSyncPoint.Translated(ThreadInfo thread)

Constructor for translated version on the monitor side.

Parameters:

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