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

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

All Implemented Interfaces:

ISyncPoint

public class ThreadLeaveJoinSyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to the end of a Thread.join call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

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

ThreadLeaveJoinSyncPoint

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

Constructor for this synchronization point.

Parameters:

thread - thread whose join method was left.

timeOut - timeout duration