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

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

inline

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

inline

Member Function Documentation

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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

inlinestatic

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

inline

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

inline

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

inline

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

inline

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