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

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

All Implemented Interfaces:

ISyncPoint

Direct Known Subclasses:

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

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

General class for thread-related synchronization points.

Author:

Mathias Ricken

Nested Class Summary

static class

AThreadSyncPoint.Translated Class for translated versions on the monitor side.

Field Summary

protected java.lang.Thread

_thread Thread that whose method was called.

Constructor Summary

AThreadSyncPoint(java.lang.Thread thread)
Constructor for this synchronization point.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

_thread

protected final java.lang.Thread _thread

Thread that whose method was called.

Constructor Detail

AThreadSyncPoint

public AThreadSyncPoint(java.lang.Thread thread)

Constructor for this synchronization point.

Parameters:

thread - thread whose method was called.