edu.rice.cs.cunit.record.syncPoints.object
Class ObjectLeaveWaitSyncPoint

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint
      edu.rice.cs.cunit.record.syncPoints.object.ObjectLeaveWaitSyncPoint

All Implemented Interfaces:

ISyncPoint

public class ObjectLeaveWaitSyncPoint
extends AObjectSyncPoint

Synchronization point corresponding to the end of an Object.wait call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

private long

_timeOut Timeout duration.

Fields inherited from class edu.rice.cs.cunit.record.syncPoints.object.AObjectSyncPoint

_object, _thread

Constructor Summary

ObjectLeaveWaitSyncPoint(java.lang.Object object, long timeOut, 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

_timeOut

private long _timeOut

Timeout duration.

Constructor Detail

ObjectLeaveWaitSyncPoint

public ObjectLeaveWaitSyncPoint(java.lang.Object object,
                                long timeOut,
                                java.lang.Thread thread)

Constructor for this synchronization point.

Parameters:

object - object whose wait method ended.

timeOut - timeout duration

thread - current thread