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

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

All Implemented Interfaces:

ISyncPoint

public class ThreadLeaveSleepSyncPoint
extends AThreadSyncPoint

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

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

private long

_duration Duration of sleep.

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

_thread

Constructor Summary

ThreadLeaveSleepSyncPoint(java.lang.Thread thread, long duration)
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

_duration

private long _duration

Duration of sleep.

Constructor Detail

ThreadLeaveSleepSyncPoint

public ThreadLeaveSleepSyncPoint(java.lang.Thread thread,
                                 long duration)

Constructor for this synchronization point.

Parameters:

thread - current thread

duration - duration of sleep