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

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

[legend]

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

[legend]

List of all members.

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 ()
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

static DependencyRule cz::muni::stanse::threadchecker::graph::DependencyRule::joinRules	(	DependencyRule	sourceRule,
		DependencyRule	targetRule
	)			[inline, static]

ThreadInfo cz::muni::stanse::threadchecker::graph::DependencyRule::getThread

(

)

[inline]

LinkedList<BackTrack> cz::muni::stanse::threadchecker::graph::DependencyRule::getBackTrack

(

)

[inline]

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::setUnlockSet

(

UnlockSet

unlockSet

)

[inline]

void cz::muni::stanse::threadchecker::graph::DependencyRule::setThread

(

ThreadInfo

thread

)

[inline]

LockStack cz::muni::stanse::threadchecker::graph::DependencyRule::getLockStack

(

)

[inline]

UnlockSet cz::muni::stanse::threadchecker::graph::DependencyRule::getUnlockSet

(

)

[inline]

boolean cz::muni::stanse::threadchecker::graph::DependencyRule::equals

(

Object

obj

)

[inline]

Reimplemented from cz::muni::stanse::threadchecker::graph::AbstractDependencyRule.

int cz::muni::stanse::threadchecker::graph::DependencyRule::hashCode

(

)

[inline]

Reimplemented from cz::muni::stanse::threadchecker::graph::AbstractDependencyRule.

DependencyRule cz::muni::stanse::threadchecker::graph::DependencyRule::clone

(

)

[inline]

String cz::muni::stanse::threadchecker::graph::DependencyRule::toString

(

)

[inline]

Reimplemented from cz::muni::stanse::threadchecker::graph::AbstractDependencyRule.

---

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

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