cz::muni::stanse::lockchecker::ErrorGenerator Class Reference

Collaboration diagram for cz::muni::stanse::lockchecker::ErrorGenerator:

[legend]

List of all members.

Public Member Functions
	ErrorGenerator (FunctionStateSummary summary, boolean countFlows, boolean countPairs, int threshold, boolean generateMoreLocksErrors)
void	generateErrors (CheckerErrorFilter errReciver)
Classes
class	LocationsComparator

---

Detailed Description

Class generating possible locking errors.

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::ErrorGenerator::ErrorGenerator	(	FunctionStateSummary	summary,
		boolean	countFlows,
		boolean	countPairs,
		int	threshold,
		boolean	generateMoreLocksErrors
	)			[inline]

Creates new error generator for the given summary and configuration information

Parameters:

	summary	from which errors should be generated
	countFlows	should we count using flows?
	countPairs	should we count using pairs?
	threshold	minimal importance value
	generateMoreLocksErrors	should we generate errors when more locks are held than in common state?

See also:

Configuration

---

Member Function Documentation

void cz::muni::stanse::lockchecker::ErrorGenerator::generateErrors

(

CheckerErrorFilter

errReciver

)

[inline]

Generate errors.

Parameters:

errReciver

to put generated errors into

---

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

• src/cz/muni/stanse/lockchecker/ErrorGenerator.java