cz::muni::stanse::automatonchecker::AutomatonStateTransferManager Class Reference

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

[legend]

List of all members.

Package Functions
	AutomatonStateTransferManager (final ArgumentPassingManager passingManager, final CallSiteDetector callDetector)
AutomatonState	transfer (final CFGNode from, final AutomatonState state, final CFGNode to)
ComposedAutomatonID	transfer (final CFGNode from, final ComposedAutomatonID id, final CFGNode to)
SimpleAutomatonID	transfer (final CFGNode from, final SimpleAutomatonID id, final CFGNode to)

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::AutomatonStateTransferManager::AutomatonStateTransferManager	(	final ArgumentPassingManager	passingManager,
		final CallSiteDetector	callDetector
	)			[inline, package]

---

Member Function Documentation

AutomatonState cz::muni::stanse::automatonchecker::AutomatonStateTransferManager::transfer	(	final CFGNode	from,
		final AutomatonState	state,
		final CFGNode	to
	)			[inline, package]

ComposedAutomatonID cz::muni::stanse::automatonchecker::AutomatonStateTransferManager::transfer	(	final CFGNode	from,
		final ComposedAutomatonID	id,
		final CFGNode	to
	)			[inline, package]

SimpleAutomatonID cz::muni::stanse::automatonchecker::AutomatonStateTransferManager::transfer	(	final CFGNode	from,
		final SimpleAutomatonID	id,
		final CFGNode	to
	)			[inline, package]

---

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

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