cz::muni::stanse::lockchecker::Util Class Reference

List of all members.

Static Public Member Functions

static Set< String > getIDsInElement (Element el, Configuration conf)
static List< Element > getArguments (Element el)
static double zStat (int passedChecks, int allChecks)


Detailed Description

Utility class for LockChecker
Author:
Radim Cebis

Member Function Documentation

static Set<String> cz::muni::stanse::lockchecker::Util::getIDsInElement ( Element  el,
Configuration  conf 
) [inline, static]

Get all variable IDs in provided element

Parameters:
el element
conf Configuration
Returns:
Set of variable IDs

static List<Element> cz::muni::stanse::lockchecker::Util::getArguments ( Element  el  )  [inline, static]

Get arguments of the function call in the specified element

Parameters:
el element
Returns:
list of arguments of the function call in the specified element

static double cz::muni::stanse::lockchecker::Util::zStat ( int  passedChecks,
int  allChecks 
) [inline, static]

zStatistic evaluation

Parameters:
passedChecks 
allChecks 
Returns:
zValue


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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6