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

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

All Implemented Interfaces:

ISyncPoint.Translated

Direct Known Subclasses:

ThreadDestroySyncPoint.Translated, ThreadEnterJoinSyncPoint.Translated, ThreadEnterSleepSyncPoint.Translated, ThreadEnterYieldSyncPoint.Translated, ThreadExitSyncPoint.Translated, ThreadInterruptSyncPoint.Translated, ThreadLeaveJoinSyncPoint.Translated, ThreadLeaveSleepSyncPoint.Translated, ThreadLeaveYieldSyncPoint.Translated, ThreadResumeSyncPoint.Translated, ThreadSetPrioritySyncPoint.Translated, ThreadStartSyncPoint.Translated, ThreadStopSyncPoint.Translated, ThreadSuspendSyncPoint.Translated

Enclosing class:

AThreadSyncPoint

public abstract static class AThreadSyncPoint.Translated
extends java.lang.Object
implements ISyncPoint.Translated

Class for translated versions on the monitor side.

Field Summary

(package private) ThreadInfo

_threadInfo Info about the thread.

Constructor Summary

AThreadSyncPoint.Translated(ThreadInfo threadInfo)
Constructor for translated version on the monitor side.

Method Summary

ThreadInfo	getThreadInfo() Returns the info about the thread.
java.lang.String	toString() Returns a string representation of the object.

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.rice.cs.cunit.record.syncPoints.ISyncPoint.Translated

execute

Field Detail

_threadInfo

ThreadInfo _threadInfo

Info about the thread.

Constructor Detail

AThreadSyncPoint.Translated

public AThreadSyncPoint.Translated(ThreadInfo threadInfo)

Constructor for translated version on the monitor side.

Parameters:

threadInfo - info about the thread

Method Detail

getThreadInfo

public ThreadInfo getThreadInfo()

Returns the info about the thread.

Returns:

thread info

toString

public java.lang.String toString()

Returns a string representation of the object.

Overrides:

toString in class java.lang.Object

Returns:

a string representation of the object.