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

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

All Implemented Interfaces:

ISyncPoint

public class ObjectNotifySyncPoint
extends AObjectSyncPoint

Synchronization point corresponding to an Object.notify call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

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

_object, _thread

Constructor Summary

ObjectNotifySyncPoint(java.lang.Object object, 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

ObjectNotifySyncPoint

public ObjectNotifySyncPoint(java.lang.Object object,
                             java.lang.Thread thread)

Constructor for this synchronization point.

Parameters:

object - object whose notify method was called.

thread - current thread