Package org.mpi_sws.jmc.strategies.trust

Class EventUtils

java.lang.Object

org.mpi_sws.jmc.strategies.trust.EventUtils

public class EventUtils
extends Object

Constructor Summary

Constructors

Constructor	Description
EventUtils()

Method Summary

Modifier and Type	Method	Description
static int	getJoinedTask(Event event)
static Long	getStartedBy(Event event)
static boolean	isBlockingLabel(Event event)
static boolean	isExclusiveRead(Event event)
static boolean	isExclusiveWrite(Event event)
static boolean	isFinalLockWrite(Event event)
static boolean	isLockAcquired(Event event)
static boolean	isLockAcquireRead(Event event)
static boolean	isLockAcquireWrite(Event event)
static boolean	isLockReleaseWrite(Event event)
static boolean	isRead(Event event)
static boolean	isRevisit(Event event)
static boolean	isThreadFinish(Event event)
static boolean	isThreadJoin(Event event)
static boolean	isThreadStart(Event event)
static boolean	isWrite(Event event)
static void	makeRevistable(Event event)
static void	makeUnRevistable(Event event)
static void	markLockWriteFinal(Event event)

Methods inherited from class java.lang.Object

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

Constructor Details

EventUtils

public EventUtils()

Method Details

isExclusiveWrite

public static boolean isExclusiveWrite(Event event)

isWrite

public static boolean isWrite(Event event)

isRead

public static boolean isRead(Event event)

isLockAcquireRead

public static boolean isLockAcquireRead(Event event)

isLockReleaseWrite

public static boolean isLockReleaseWrite(Event event)

isLockAcquireWrite

public static boolean isLockAcquireWrite(Event event)

isBlockingLabel

public static boolean isBlockingLabel(Event event)

getStartedBy

public static Long getStartedBy(Event event)

isExclusiveRead

public static boolean isExclusiveRead(Event event)

isThreadStart

public static boolean isThreadStart(Event event)

isThreadFinish

public static boolean isThreadFinish(Event event)

isThreadJoin

public static boolean isThreadJoin(Event event)

getJoinedTask

public static int getJoinedTask(Event event)

makeUnRevistable

public static void makeUnRevistable(Event event)

makeRevistable

public static void makeRevistable(Event event)

isRevisit

public static boolean isRevisit(Event event)

isFinalLockWrite

public static boolean isFinalLockWrite(Event event)

markLockWriteFinal

public static void markLockWriteFinal(Event event)

isLockAcquired

public static boolean isLockAcquired(Event event)