cz.muni.stanse.threadchecker.CodeAnalyzer Class Reference

Static Public Member Functions
static void	analyzeFunction (CFGNode node, Function caller, Element parameter, final CheckerProgressMonitor mon) throws CheckerException
static String	parseStringVariable (Node node)

Detailed Description

Class with static methods designed to analyse Dom4J Element and perform appropriate actions like creating new thread, execute function analysis and "stitch" caller and calle (see analyzeFunction) or marking lock as free/locked etc.

Author

Jan Kučera

Member Function Documentation

static void cz.muni.stanse.threadchecker.CodeAnalyzer.analyzeFunction ( CFGNode  node, Function  caller, Element  parameter, final CheckerProgressMonitor  mon  ) throws CheckerException

inlinestatic

Gets callee's name and looks up whether it's already analysed, if not, it executes analyseCFG and result is stitched with caller.

Parameters

node	CFGNode where function gets an Element
caller	Function which CFGNode represents callee's execution
parameter	Element where callee name is included.

static String cz.muni.stanse.threadchecker.CodeAnalyzer.parseStringVariable ( Node  node )

inlinestatic

Returns string representation of XML element, which represents some variable in source code.

Parameters

node

Returns

String name of variable

---

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

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