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

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

All Implemented Interfaces:

ISyncPoint

public class ObjectNotifyAllSyncPoint
extends AObjectSyncPoint

Synchronization point corresponding to an Object.notifyAll call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

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

ObjectNotifyAllSyncPoint

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

Constructor for this synchronization point.

Parameters:

object - object whose notifyAll method was called.

thread - current thread