cz::muni::stanse::threadchecker::FunctionState Class Reference

Inheritance diagram for cz::muni::stanse::threadchecker::FunctionState:

[legend]

Collaboration diagram for cz::muni::stanse::threadchecker::FunctionState:

[legend]

List of all members.

Public Member Functions
	FunctionState ()
	FunctionState (FunctionState other)
FunctionState	clone ()
boolean	isSubset (FunctionState others)
void	stitchFunctions (FunctionState others)
DependencyGraph	generateGraph (ThreadInfo thread)

---

Detailed Description

Class which is used in CFGTransit algorithm. Inherits all methods from AbstractFunctionState and contains methods for stitching two FunctionState to new one.

Author:

Jan Kučera

---

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::FunctionState::FunctionState

(

)

[inline]

cz::muni::stanse::threadchecker::FunctionState::FunctionState

(

FunctionState

other

)

[inline]

---

Member Function Documentation

FunctionState cz::muni::stanse::threadchecker::FunctionState::clone

(

)

[inline]

boolean cz::muni::stanse::threadchecker::FunctionState::isSubset

(

FunctionState

others

)

[inline]

Function returns boolean value comparing if this object and parameter are equal or others is a subset.

Parameters:

others

FunctionState

Returns:

true if object others is subset of this FunctionState object

void cz::muni::stanse::threadchecker::FunctionState::stitchFunctions

(

FunctionState

others

)

[inline]

Function gets FunctionState others and merge both structures. Creates new rules between locked locks if other.getJoins() holds lock(s). Also join all new data from others to this.

Parameters:

others

FunctionState which should be stitched to this object

DependencyGraph cz::muni::stanse::threadchecker::FunctionState::generateGraph

(

ThreadInfo

thread

)

[inline]

Method generate DepenencyGraph. Clone all rules, set thread to every rule and clear their unlockSet -> it's not used in RAG building and can help with merging same Cycles

Parameters:

thread

Returns:

DependencyGraph

---

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

• src/cz/muni/stanse/threadchecker/FunctionState.java