cz::muni::stanse::lockchecker::Occurrences Class Reference

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

[legend]

List of all members.

Public Member Functions
	Occurrences (StateRepository repos)
Map< CFGNode, Counter >	get (State state)
void	addOccurrence (State state, CFGNode node, int increment)
Collection< State >	getAllStates ()
void	addOcurrences (Occurrences occurrencesToAdd, VarTransformations varTransformations)
Collection< Pair< Pair< State, Double >, Pair< State, Double > > >	getZStatsPairs (boolean countZStatisticUsingFlows)

---

Detailed Description

Class representing variable's occurrences

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::Occurrences::Occurrences

(

StateRepository

repos

)

[inline]

Construct occurrences

Parameters:

repos

state repostiory

---

Member Function Documentation

Map<CFGNode, Counter> cz::muni::stanse::lockchecker::Occurrences::get

(

State

state

)

[inline]

Returns map (node, counter) of occurrences in given state

Parameters:

state

Returns:

map (node, counter) of occurrences in given state

void cz::muni::stanse::lockchecker::Occurrences::addOccurrence	(	State	state,
		CFGNode	node,
		int	increment
	)			[inline]

Add occurrence in the given state and node

Parameters:

	state	of the occurrence
	node	of the occurrence
	increment	how much increment the occurrence - should be 1 or -1

Collection<State> cz::muni::stanse::lockchecker::Occurrences::getAllStates

(

)

[inline]

Returns:

states for all occurrences

void cz::muni::stanse::lockchecker::Occurrences::addOcurrences	(	Occurrences	occurrencesToAdd,
		VarTransformations	varTransformations
	)			[inline]

Joins this occurrences with occurrencesToAdd while transforming identifiers

Parameters:

	occurrencesToAdd	occurrences to be added to this occurrences
	varTransformations	variable identifiers transformations between caller and callee

Collection<Pair<Pair<State,Double>, Pair<State,Double> > > cz::muni::stanse::lockchecker::Occurrences::getZStatsPairs

(

boolean

countZStatisticUsingFlows

)

[inline]

Counts z-statistic using pairs. Only two pairs are used to count z-statistic and to be compared.

Parameters:

countZStatisticUsingFlows

should we count z-statistic using flows?

Returns:

collection of pairs of state,z-stat pairs whith relevant z-statistic

---

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

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