edu.rice.cs.cunit.record.syncPoints
Interface ISyncPointVisitor<R,P>

public interface ISyncPointVisitor<R,P>

Interface for a synchronization point visitor.

Author:

Mathias Ricken

Method Summary

R	objectNotifyAllCase(ObjectNotifyAllSyncPoint.Translated host, P param) Executed if the host is an ObjectNotifyAllSyncPoint.
R	objectNotifyCase(ObjectNotifySyncPoint.Translated host, P param) Executed if the host is an ObjectNotifySyncPoint.
R	objectWaitCase(ObjectEnterWaitSyncPoint.Translated host, P param) Executed if the host is an ObjectEnterWaitSyncPoint.
R	objectWaitEndCase(ObjectLeaveWaitSyncPoint.Translated host, P param) Executed if the host is an ObjectLeaveWaitSyncPoint.
R	synchronizedBlockBeginCase(SynchronizedEnterBlockSyncPoint.Translated host, P param) Executed if the host is an SynchronizedEnterBlockSyncPoint.
R	synchronizedBlockEndCase(SynchronizedLeaveBlockSyncPoint.Translated host, P param) Executed if the host is an SynchronizedLeaveBlockSyncPoint.
R	synchronizedBlockTryCase(SynchronizedTryEnterBlockSyncPoint.Translated host, P param) Executed if the host is an SynchronizedTryEnterBlockSyncPoint.
R	threadDestroyCase(ThreadDestroySyncPoint.Translated host, P param) Executed if the host is a ThreadDestroySyncPoint.
R	threadExitCase(ThreadExitSyncPoint.Translated host, P param) Executed if the host is a ThreadExitSyncPoint.
R	threadInterruptCase(ThreadInterruptSyncPoint.Translated host, P param) Executed if the host is a ThreadInterruptSyncPoint.
R	threadJoinCase(ThreadEnterJoinSyncPoint.Translated host, P param) Executed if the host is a ThreadEnterJoinSyncPoint.
R	threadJoinEndCase(ThreadLeaveJoinSyncPoint.Translated host, P param) Executed if the host is a ThreadLeaveJoinSyncPoint.
R	threadResumeCase(ThreadResumeSyncPoint.Translated host, P param) Executed if the host is a ThreadResumeSyncPoint.
R	threadSetPriorityCase(ThreadSetPrioritySyncPoint.Translated host, P param) Executed if the host is a ThreadSetPrioritySyncPoint.
R	threadSleepCase(ThreadEnterSleepSyncPoint.Translated host, P param) Executed if the host is a ThreadEnterSleepSyncPoint.
R	threadSleepEndCase(ThreadLeaveSleepSyncPoint.Translated host, P param) Executed if the host is a ThreadLeaveSleepSyncPoint.
R	threadStartCase(ThreadStartSyncPoint.Translated host, P param) Executed if the host is a ThreadStartSyncPoint.
R	threadStopCase(ThreadStopSyncPoint.Translated host, P param) Executed if the host is a ThreadStopSyncPoint.
R	threadSuspendCase(ThreadSuspendSyncPoint.Translated host, P param) Executed if the host is a ThreadSuspendSyncPoint.
R	threadYieldCase(ThreadEnterYieldSyncPoint.Translated host, P param) Executed if the host is a ThreadEnterYieldSyncPoint.
R	threadYieldEndCase(ThreadLeaveYieldSyncPoint.Translated host, P param) Executed if the host is a ThreadLeaveYieldSyncPoint.

Method Detail

threadStartCase

R threadStartCase(ThreadStartSyncPoint.Translated host,
                  P param)

Executed if the host is a ThreadStartSyncPoint.

Parameters:

host - ThreadStartSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadExitCase

R threadExitCase(ThreadExitSyncPoint.Translated host,
                 P param)

Executed if the host is a ThreadExitSyncPoint.

Parameters:

host - ThreadExitSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadDestroyCase

R threadDestroyCase(ThreadDestroySyncPoint.Translated host,
                    P param)

Executed if the host is a ThreadDestroySyncPoint.

Parameters:

host - ThreadDestroySyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadInterruptCase

R threadInterruptCase(ThreadInterruptSyncPoint.Translated host,
                      P param)

Executed if the host is a ThreadInterruptSyncPoint.

Parameters:

host - ThreadInterruptSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadJoinCase

R threadJoinCase(ThreadEnterJoinSyncPoint.Translated host,
                 P param)

Executed if the host is a ThreadEnterJoinSyncPoint.

Parameters:

host - ThreadEnterJoinSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadJoinEndCase

R threadJoinEndCase(ThreadLeaveJoinSyncPoint.Translated host,
                    P param)

Executed if the host is a ThreadLeaveJoinSyncPoint.

Parameters:

host - ThreadLeaveJoinSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadResumeCase

R threadResumeCase(ThreadResumeSyncPoint.Translated host,
                   P param)

Executed if the host is a ThreadResumeSyncPoint.

Parameters:

host - ThreadResumeSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadStopCase

R threadStopCase(ThreadStopSyncPoint.Translated host,
                 P param)

Executed if the host is a ThreadStopSyncPoint.

Parameters:

host - ThreadStopSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadSuspendCase

R threadSuspendCase(ThreadSuspendSyncPoint.Translated host,
                    P param)

Executed if the host is a ThreadSuspendSyncPoint.

Parameters:

host - ThreadSuspendSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadSetPriorityCase

R threadSetPriorityCase(ThreadSetPrioritySyncPoint.Translated host,
                        P param)

Executed if the host is a ThreadSetPrioritySyncPoint.

Parameters:

host - ThreadSetPrioritySyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadSleepCase

R threadSleepCase(ThreadEnterSleepSyncPoint.Translated host,
                  P param)

Executed if the host is a ThreadEnterSleepSyncPoint.

Parameters:

host - ThreadEnterSleepSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadSleepEndCase

R threadSleepEndCase(ThreadLeaveSleepSyncPoint.Translated host,
                     P param)

Executed if the host is a ThreadLeaveSleepSyncPoint.

Parameters:

host - ThreadLeaveSleepSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadYieldCase

R threadYieldCase(ThreadEnterYieldSyncPoint.Translated host,
                  P param)

Executed if the host is a ThreadEnterYieldSyncPoint.

Parameters:

host - ThreadEnterYieldSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

threadYieldEndCase

R threadYieldEndCase(ThreadLeaveYieldSyncPoint.Translated host,
                     P param)

Executed if the host is a ThreadLeaveYieldSyncPoint.

Parameters:

host - ThreadLeaveYieldSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

objectNotifyCase

R objectNotifyCase(ObjectNotifySyncPoint.Translated host,
                   P param)

Executed if the host is an ObjectNotifySyncPoint.

Parameters:

host - ObjectNotifySyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

objectNotifyAllCase

R objectNotifyAllCase(ObjectNotifyAllSyncPoint.Translated host,
                      P param)

Executed if the host is an ObjectNotifyAllSyncPoint.

Parameters:

host - ObjectNotifyAllSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

objectWaitCase

R objectWaitCase(ObjectEnterWaitSyncPoint.Translated host,
                 P param)

Executed if the host is an ObjectEnterWaitSyncPoint.

Parameters:

host - ObjectEnterWaitSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

objectWaitEndCase

R objectWaitEndCase(ObjectLeaveWaitSyncPoint.Translated host,
                    P param)

Executed if the host is an ObjectLeaveWaitSyncPoint.

Parameters:

host - ObjectLeaveWaitSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

synchronizedBlockTryCase

R synchronizedBlockTryCase(SynchronizedTryEnterBlockSyncPoint.Translated host,
                           P param)

Executed if the host is an SynchronizedTryEnterBlockSyncPoint.

Parameters:

host - SynchronizedTryEnterBlockSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

synchronizedBlockBeginCase

R synchronizedBlockBeginCase(SynchronizedEnterBlockSyncPoint.Translated host,
                             P param)

Executed if the host is an SynchronizedEnterBlockSyncPoint.

Parameters:

host - SynchronizedEnterBlockSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value

synchronizedBlockEndCase

R synchronizedBlockEndCase(SynchronizedLeaveBlockSyncPoint.Translated host,
                           P param)

Executed if the host is an SynchronizedLeaveBlockSyncPoint.

Parameters:

host - SynchronizedLeaveBlockSyncPoint

param - visitor-specific parameter

Returns:

visitor-specific return value