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

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

All Implemented Interfaces:

ISyncPoint

public class ThreadLeaveYieldSyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to the end of a Thread.yield call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

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

_thread

Constructor Summary

ThreadLeaveYieldSyncPoint(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

Constructor Detail

ThreadLeaveYieldSyncPoint

public ThreadLeaveYieldSyncPoint(java.lang.Thread thread)

Constructor for this synchronization point.

Parameters:

thread - current thread