cz::muni::stanse::codestructures::traversal::CFGPathVisitor Class Reference

Inheritance diagram for cz::muni::stanse::codestructures::traversal::CFGPathVisitor:

[legend]

List of all members.

Public Member Functions
abstract boolean	visit (List< CFGNode > path, Stack< CFGNode > cfgContext)
boolean	onCFGchange (CFGNode from, CFGNode to)
Protected Member Functions
boolean	forceEnd ()
Package Functions
boolean	visitInternal (final List< CFGNode > path, final Stack< CFGNode > cfgContext)

---

Member Function Documentation

abstract boolean cz::muni::stanse::codestructures::traversal::CFGPathVisitor::visit	(	List< CFGNode >	path,
		Stack< CFGNode >	cfgContext
	)			[pure virtual]

boolean cz::muni::stanse::codestructures::traversal::CFGPathVisitor::onCFGchange	(	CFGNode	from,
		CFGNode	to
	)			[inline]

Reimplemented in cz::muni::stanse::automatonchecker::ErrorTracesListCreator.

boolean cz::muni::stanse::codestructures::traversal::CFGPathVisitor::forceEnd

(

)

[inline, protected]

boolean cz::muni::stanse::codestructures::traversal::CFGPathVisitor::visitInternal	(	final List< CFGNode >	path,
		final Stack< CFGNode >	cfgContext
	)			[inline, package]

---

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

• src/cz/muni/stanse/codestructures/traversal/CFGPathVisitor.java