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

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

All Implemented Interfaces:

ISyncPoint.Translated

Enclosing class:

ThreadSetPrioritySyncPoint

public static class ThreadSetPrioritySyncPoint.Translated
extends AThreadSyncPoint.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.Translated

_threadInfo

Constructor Summary

ThreadSetPrioritySyncPoint.Translated(ThreadInfo threadInfo, int newPriority)
Constructor for translated version on the monitor side.

Method Summary

<R,P> R	execute(ISyncPointVisitor<R,P> visitor, P param) Executes a visitor.
int	getNewPriority() Returns the new priority that was set.
java.lang.String	toString() Returns a string representation of the object.

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

getThreadInfo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_newPriority

private int _newPriority

New priority that was set.

Constructor Detail

ThreadSetPrioritySyncPoint.Translated

public ThreadSetPrioritySyncPoint.Translated(ThreadInfo threadInfo,
                                             int newPriority)

Constructor for translated version on the monitor side.

Parameters:

threadInfo - info about the thread

newPriority - new priority that was set

Method Detail

execute

public <R,P> R execute(ISyncPointVisitor<R,P> visitor,
                       P param)

Executes a visitor.

Parameters:

visitor - visitor to execute

param - visitor-specific parameter

Returns:

visitor-specific return value

getNewPriority

public int getNewPriority()

Returns the new priority that was set.

Returns:

new priority

toString

public java.lang.String toString()

Returns a string representation of the object.

Overrides:

toString in class AThreadSyncPoint.Translated

Returns:

a string representation of the object.