cz.muni.stanse.threadchecker.graph.DependencyRule Class Reference

Inheritance diagram for cz.muni.stanse.threadchecker.graph.DependencyRule:

Collaboration diagram for cz.muni.stanse.threadchecker.graph.DependencyRule:

Public Member Functions
	DependencyRule (DependencyRule rule, LockStack lockSet, UnlockSet unlockSet)
	DependencyRule (ResourceVertex sourceRule, ResourceVertex targetRule, LockStack lockedNow, UnlockSet unlockSet)
ThreadInfo	getThread ()
LinkedList< BackTrack >	getBackTrack ()
void	setBackTrack (LinkedList< BackTrack > backTrack)
void	setLockStack (LockStack lockstack)
void	setUnlockSet (UnlockSet unlockSet)
void	setThread (ThreadInfo thread)
LockStack	getLockStack ()
UnlockSet	getUnlockSet ()
boolean	equals (Object obj)
int	hashCode ()
DependencyRule	clone ()
String	toString ()
Public Member Functions inherited from cz.muni.stanse.threadchecker.graph.AbstractDependencyRule
	AbstractDependencyRule (AbstractDependencyRule rule)
	AbstractDependencyRule (ResourceVertex sourceVertex, ResourceVertex targetVertex)
ResourceVertex	getSource ()
ResourceVertex	getTarget ()
String	toString ()
boolean	equals (Object obj)
int	hashCode ()

Static Public Member Functions
static DependencyRule	joinRules (DependencyRule sourceRule, DependencyRule targetRule)

Detailed Description

Class representing one edge in dependencyGraph

Author

Jan Kučera

Constructor & Destructor Documentation

DependencyRule() [1/2]

cz.muni.stanse.threadchecker.graph.DependencyRule.DependencyRule ( DependencyRule  rule, LockStack  lockSet, UnlockSet  unlockSet  )

inline

DependencyRule() [2/2]

cz.muni.stanse.threadchecker.graph.DependencyRule.DependencyRule ( ResourceVertex  sourceRule, ResourceVertex  targetRule, LockStack  lockedNow, UnlockSet  unlockSet  )

inline

Member Function Documentation

clone()

DependencyRule cz.muni.stanse.threadchecker.graph.DependencyRule.clone ( )

inline

equals()

boolean cz.muni.stanse.threadchecker.graph.DependencyRule.equals ( Object  obj )

inline

getBackTrack()

LinkedList<BackTrack> cz.muni.stanse.threadchecker.graph.DependencyRule.getBackTrack ( )

inline

getLockStack()

LockStack cz.muni.stanse.threadchecker.graph.DependencyRule.getLockStack ( )

inline

getThread()

ThreadInfo cz.muni.stanse.threadchecker.graph.DependencyRule.getThread ( )

inline

getUnlockSet()

UnlockSet cz.muni.stanse.threadchecker.graph.DependencyRule.getUnlockSet ( )

inline

hashCode()

int cz.muni.stanse.threadchecker.graph.DependencyRule.hashCode ( )

inline

joinRules()

static DependencyRule cz.muni.stanse.threadchecker.graph.DependencyRule.joinRules ( DependencyRule  sourceRule, DependencyRule  targetRule  )

inlinestatic

setBackTrack()

void cz.muni.stanse.threadchecker.graph.DependencyRule.setBackTrack ( LinkedList< BackTrack >  backTrack )

inline

setLockStack()

void cz.muni.stanse.threadchecker.graph.DependencyRule.setLockStack ( LockStack  lockstack )

inline

setThread()

void cz.muni.stanse.threadchecker.graph.DependencyRule.setThread ( ThreadInfo  thread )

inline

setUnlockSet()

void cz.muni.stanse.threadchecker.graph.DependencyRule.setUnlockSet ( UnlockSet  unlockSet )

inline

toString()

String cz.muni.stanse.threadchecker.graph.DependencyRule.toString ( )

inline

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/threadchecker/graph/DependencyRule.java