edu.rice.cs.cunit.record.syncPoints.sync
Class SynchronizedLeaveBlockSyncPoint

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint
      edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedLeaveBlockSyncPoint

All Implemented Interfaces:

ISyncPoint

public class SynchronizedLeaveBlockSyncPoint
extends ASynchronizedObjectSyncPoint

Synchronization point corresponding to the end of a synchronized block.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

Fields inherited from class edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint

_object, _thread

Constructor Summary

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

SynchronizedLeaveBlockSyncPoint

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

Constructor for this synchronization point.

Parameters:

object - object whose lock was released.

thread - thread that acquired the lock