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

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

All Implemented Interfaces:

ISyncPoint

public class ThreadDestroySyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to a Thread.destroy call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

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

ThreadDestroySyncPoint

public ThreadDestroySyncPoint(java.lang.Thread thread)

Constructor for this synchronization point.

Parameters:

thread - thread whose destroy method was called.