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

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

All Implemented Interfaces:

ISyncPoint

public class ThreadSetPrioritySyncPoint
extends AThreadSyncPoint

Synchronization point corresponding to a Thread.setPriority call.

Author:

Mathias Ricken

Nested Class Summary

static class

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

Field Summary

private int

_newPriority New priority that was set.

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

_thread

Constructor Summary

ThreadSetPrioritySyncPoint(java.lang.Thread thread, int newPriority)
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

_newPriority

private int _newPriority

New priority that was set.

Constructor Detail

ThreadSetPrioritySyncPoint

public ThreadSetPrioritySyncPoint(java.lang.Thread thread,
                                  int newPriority)

Constructor for this synchronization point.

Parameters:

thread - thread whose setPriority method was called.

newPriority - new priority that was set