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

java.lang.Object
  extended by edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint
      extended by edu.rice.cs.cunit.record.syncPoints.thread.ThreadExitSyncPoint
All Implemented Interfaces:
ISyncPoint

public class ThreadExitSyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to a Thread.exit call.

Author:
Mathias Ricken

Nested Class Summary
static class ThreadExitSyncPoint.Translated
          Class for translated versions on the monitor side.
 
Field Summary
 
Fields inherited from class edu.rice.cs.cunit.record.syncPoints.thread.AThreadSyncPoint
_thread
 
Constructor Summary
ThreadExitSyncPoint(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

ThreadExitSyncPoint

public ThreadExitSyncPoint(java.lang.Thread thread)
Constructor for this synchronization point.

Parameters:
thread - thread whose exit method was called.