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

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

All Implemented Interfaces:

ISyncPoint

public class ObjectEnterWaitSyncPoint
extends AObjectSyncPoint

Synchronization point corresponding to an Object.wait call.

Author:

Mathias Ricken

Nested Class Summary

static class

ObjectEnterWaitSyncPoint.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

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

ObjectEnterWaitSyncPoint

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

Constructor for this synchronization point.

Parameters:

object - object whose wait method was called.

timeOut - timeout duration

thread - current thread