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

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

All Implemented Interfaces:

ISyncPoint

Direct Known Subclasses:

SynchronizedEnterBlockSyncPoint, SynchronizedLeaveBlockSyncPoint, SynchronizedTryEnterBlockSyncPoint

public abstract class ASynchronizedObjectSyncPoint
extends java.lang.Object
implements ISyncPoint

General class for synchronized object-related synchronization points.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

protected java.lang.Object	_object Object whose lock was acquired.
protected java.lang.Thread	_thread Thread which acquired the lock.

Constructor Summary

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

Field Detail

_object

protected final java.lang.Object _object

Object whose lock was acquired.

_thread

protected final java.lang.Thread _thread

Thread which acquired the lock.

Constructor Detail

ASynchronizedObjectSyncPoint

public ASynchronizedObjectSyncPoint(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.