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

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

All Implemented Interfaces:

ISyncPoint

public class SynchronizedTryEnterBlockSyncPoint
extends ASynchronizedObjectSyncPoint

Synchronization point corresponding to the attempt to enter a synchronized block.

Author:

Mathias Ricken

Nested Class Summary

static class

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

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

SynchronizedTryEnterBlockSyncPoint

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

Constructor for this synchronization point.

Parameters:

object - object whose lock is to be acquired.

thread - thread that acquired the lock