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

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

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.

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.

others FunctionState
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.

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


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

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