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

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

[legend]

List of all members.

Public Member Functions
	RAG ()
CheckerError	detectDeadlock (Cycle cycle)
void	addRule (DependencyRule rule) throws RAGException
String	toDot ()

---

Detailed Description

Class represents RAG graph which determines, whether deadlock can happen

Author:

Jan Kucera

---

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::RAG::RAG

(

)

[inline]

---

Member Function Documentation

CheckerError cz::muni::stanse::threadchecker::graph::RAG::detectDeadlock

(

Cycle

cycle

)

[inline]

Analyses Cycle and tells, whether a deadlock may happen.

Parameters:

cycle

Cycle representing assignment and requirement edges

Returns:

CheckerError

void cz::muni::stanse::threadchecker::graph::RAG::addRule

(

DependencyRule

rule

)

throws RAGException [inline]

Method deletes all vertexes containing process and add all requests and assignment, which is represented by rule.

Parameters:

rule

DependencyRule

Exceptions:

RAGException

when rule cannot added to graph => no deadlock can happen

String cz::muni::stanse::threadchecker::graph::RAG::toDot

(

)

[inline]

Returns string representation of graph in toDot format

Returns:

graph in toDot format

---

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

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