cz::muni::stanse::lockchecker::Configuration Class Reference

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

[legend]

List of all members.

Public Member Functions
	Configuration (File file) throws DocumentException
Set< XMLPattern >	getAssertLocked ()
Set< XMLPattern >	getAssertUnlocked ()
Set< XMLPattern >	getLocks ()
Set< XMLPattern >	getUnlocks ()
Set< XMLPattern >	getSkipOccurrences ()
boolean	countFlows ()
boolean	countSubvars ()
Set< String >	getExprs ()
boolean	countFunctions ()
boolean	countPairs ()
int	getThreshold ()
boolean	onlyTopFunctions ()
boolean	generateDoubleErrors ()
boolean	generateMoreLocksErrors ()

---

Detailed Description

Class representing Lock Checker's configuration

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::Configuration::Configuration

(

File

file

)

throws DocumentException [inline]

Create the configuration from the file.

Parameters:

file

contains the configuration specification

Exceptions:

DocumentException

---

Member Function Documentation

Set<XMLPattern> cz::muni::stanse::lockchecker::Configuration::getAssertLocked

(

)

[inline]

Returns:

assert locked patterns

Set<XMLPattern> cz::muni::stanse::lockchecker::Configuration::getAssertUnlocked

(

)

[inline]

Returns:

assert unlocked patterns

Set<XMLPattern> cz::muni::stanse::lockchecker::Configuration::getLocks

(

)

[inline]

Returns:

lock patterns

Set<XMLPattern> cz::muni::stanse::lockchecker::Configuration::getUnlocks

(

)

[inline]

Returns:

unlock patterns

Set<XMLPattern> cz::muni::stanse::lockchecker::Configuration::getSkipOccurrences

(

)

[inline]

Returns:

skip occurrences patterns

boolean cz::muni::stanse::lockchecker::Configuration::countFlows

(

)

[inline]

Returns:

true if we should count flows, otherwise only occurrences are counted

boolean cz::muni::stanse::lockchecker::Configuration::countSubvars

(

)

[inline]

Returns:

true if we should count sub-variables

Set<String> cz::muni::stanse::lockchecker::Configuration::getExprs

(

)

[inline]

Returns:

expressions which should be considered as variable identifiers

boolean cz::muni::stanse::lockchecker::Configuration::countFunctions

(

)

[inline]

Returns:

true if we should count function identifiers

boolean cz::muni::stanse::lockchecker::Configuration::countPairs

(

)

[inline]

Returns:

true if we should count z-statistic using pairs

int cz::muni::stanse::lockchecker::Configuration::getThreshold

(

)

[inline]

Returns:

threshold - minimal importance value for possible locking errors

boolean cz::muni::stanse::lockchecker::Configuration::onlyTopFunctions

(

)

[inline]

Returns:

true if we should generate errors only for top functions

boolean cz::muni::stanse::lockchecker::Configuration::generateDoubleErrors

(

)

[inline]

Returns:

true if we should generate errors for double lock/unlock errors

boolean cz::muni::stanse::lockchecker::Configuration::generateMoreLocksErrors

(

)

[inline]

Returns:

true if we should generate errors for states which have more locks held than in common state

---

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

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