cz::muni::stanse::automatonchecker::PatternLocationCreator Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::PatternLocationCreator:

[legend]

Collaboration diagram for cz::muni::stanse::automatonchecker::PatternLocationCreator:

[legend]

List of all members.

Public Member Functions
boolean	visit (final CFGNode node, final org.dom4j.Element element)
HashSet< SimpleAutomatonID >	getAutomataIDs ()
Package Functions
	PatternLocationCreator (final CFGHandle cfg, final XMLAutomatonDefinition XMLdefinition, final CFGsNavigator navigator)
HashMap< CFGNode, Pair < PatternLocation, PatternLocation > >	getNodeLocationDictionary ()

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::PatternLocationCreator::PatternLocationCreator	(	final CFGHandle	cfg,
		final XMLAutomatonDefinition	XMLdefinition,
		final CFGsNavigator	navigator
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::PatternLocationCreator::visit	(	final CFGNode	node,
		final org.dom4j.Element	element
	)			[inline]

HashMap<CFGNode,Pair<PatternLocation,PatternLocation> > cz::muni::stanse::automatonchecker::PatternLocationCreator::getNodeLocationDictionary

(

)

[inline, package]

HashSet<SimpleAutomatonID> cz::muni::stanse::automatonchecker::PatternLocationCreator::getAutomataIDs

(

)

[inline]

---

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

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