cz::muni::stanse::automatonchecker::PatternLocationBuilder Class Reference

List of all members.

Static Package Functions

static HashMap< CFGNode, Pair
< PatternLocation,
PatternLocation > > 
buildPatternLocations (final Collection< CFGHandle > cfgs, final XMLAutomatonDefinition automatonDefinition, final ArgumentPassingManager passingManager, final CFGsNavigator navigator, final Set< CFGHandle > startFunctions) throws XMLAutomatonSyntaxErrorException

Member Function Documentation

static HashMap<CFGNode,Pair<PatternLocation,PatternLocation> > cz::muni::stanse::automatonchecker::PatternLocationBuilder::buildPatternLocations ( final Collection< CFGHandle cfgs,
final XMLAutomatonDefinition  automatonDefinition,
final ArgumentPassingManager  passingManager,
final CFGsNavigator  navigator,
final Set< CFGHandle startFunctions 
) throws XMLAutomatonSyntaxErrorException [inline, static, package]

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

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