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

java.lang.Object
  extended by edu.rice.cs.cunit.record.syncPoints.sync.ASynchronizedObjectSyncPoint
      extended by edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedEnterBlockSyncPoint
All Implemented Interfaces:
ISyncPoint

public class SynchronizedEnterBlockSyncPoint
extends ASynchronizedObjectSyncPoint

Synchronization point corresponding to the beginning of a synchronized block.

Author:
Mathias Ricken

Nested Class Summary
static class SynchronizedEnterBlockSyncPoint.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
SynchronizedEnterBlockSyncPoint(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

SynchronizedEnterBlockSyncPoint

public SynchronizedEnterBlockSyncPoint(java.lang.Object object,
                                       java.lang.Thread thread)
Constructor for this synchronization point.

Parameters:
object - object whose lock was acquired.
thread - thread that acquired the lock