cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessors Class Reference

Instances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code. More...

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

[legend]

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

[legend]

List of all members.

Public Member Functions
boolean	visit (final CFGNode node, final org.dom4j.Element element)
Package Functions
	ConnectPatternLocationToSuccessors (final PatternLocation location, final HashMap< CFGNode, Pair< PatternLocation, PatternLocation >> dictionary)

---

Detailed Description

Instances are responsible for creating connections between PatternLocation instances with respect to control-flow of source code.

See also:

cz.muni.stanse.utils.CFGvisitor

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::ConnectPatternLocationToSuccessors::ConnectPatternLocationToSuccessors	(	final PatternLocation	location,
		final HashMap< CFGNode, Pair< PatternLocation, PatternLocation >>	dictionary
	)			[inline, package]

---

Member Function Documentation

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

---

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

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