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

Constructor & Destructor Documentation

cz.muni.stanse.threadchecker.graph.RAG.RAG ( )

inline

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

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

String cz.muni.stanse.threadchecker.graph.RAG.toDot ( )

inline

Returns string representation of graph in toDot format

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