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:

• src/cz/muni/stanse/automatonchecker/PatternLocationBuilder.java