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

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

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ThreadInterruptSyncPoint

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

ThreadInterruptSyncPoint.Translated(ThreadInfo threadInfo)
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

ThreadInterruptSyncPoint.Translated

public ThreadInterruptSyncPoint.Translated(ThreadInfo threadInfo)

Constructor for translated version on the monitor side.

Parameters:

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