edu.rice.cs.cunit.record.syncPoints.thread
Class ThreadEnterJoinSyncPoint

java.lang.Object
  edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint
      edu.rice.cs.cunit.record.syncPoints.thread.ThreadEnterJoinSyncPoint

All Implemented Interfaces:

ISyncPoint

public class ThreadEnterJoinSyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to a Thread.join call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

private long

_timeOut Timeout duration.

Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint

_thread

Constructor Summary

ThreadEnterJoinSyncPoint(java.lang.Thread thread, long timeOut)
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

_timeOut

private long _timeOut

Timeout duration.

Constructor Detail

ThreadEnterJoinSyncPoint

public ThreadEnterJoinSyncPoint(java.lang.Thread thread,
                                long timeOut)

Constructor for this synchronization point.

Parameters:

thread - thread whose join method was called.

timeOut - timeout duration