cz::muni::stanse::automatonchecker::PatternLocation Class Reference

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

[legend]

List of all members.

Package Functions
	PatternLocation (final CFGNode referenceNode, final Collection< TransitionRule > transitionRules, final Collection< ErrorRule > errorRules)
	PatternLocation (final CFGNode referenceNode, final Collection< TransitionRule > transitionRules, final Collection< ErrorRule > errorRules, final AutomatonStateTransferManager transferor)
LinkedList< PatternLocation >	getSuccessorPatternLocations ()
CFGNode	getCFGreferenceNode ()
void	setInitialAutomataStates (final LinkedList< AutomatonState > initStates)
boolean	hasUnprocessedAutomataStates ()
HashSet< AutomatonState >	getProcessedAutomataStates ()
HashSet< AutomatonState >	getDeliveredAutomataStates ()
LinkedList< TransitionRule >	getTransitionRules ()
LinkedList< ErrorRule >	getErrorRules ()
AutomatonStateTransferManager	getTransferor ()
void	setTransferor (final AutomatonStateTransferManager transferor)
PatternLocation	getLocationForCallNotPassedStates ()
void	setLocationForCallNotPassedStates (final PatternLocation location)
void	fireLocalAutomataStates ()
boolean	processUnprocessedAutomataStates ()
void	reduceStateSets ()

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::PatternLocation::PatternLocation	(	final CFGNode	referenceNode,
		final Collection< TransitionRule >	transitionRules,
		final Collection< ErrorRule >	errorRules
	)			[inline, package]

cz::muni::stanse::automatonchecker::PatternLocation::PatternLocation	(	final CFGNode	referenceNode,
		final Collection< TransitionRule >	transitionRules,
		final Collection< ErrorRule >	errorRules,
		final AutomatonStateTransferManager	transferor
	)			[inline, package]

---

Member Function Documentation

LinkedList<PatternLocation> cz::muni::stanse::automatonchecker::PatternLocation::getSuccessorPatternLocations

(

)

[inline, package]

CFGNode cz::muni::stanse::automatonchecker::PatternLocation::getCFGreferenceNode

(

)

[inline, package]

void cz::muni::stanse::automatonchecker::PatternLocation::setInitialAutomataStates

(

final LinkedList< AutomatonState >

initStates

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::PatternLocation::hasUnprocessedAutomataStates

(

)

[inline, package]

HashSet<AutomatonState> cz::muni::stanse::automatonchecker::PatternLocation::getProcessedAutomataStates

(

)

[inline, package]

HashSet<AutomatonState> cz::muni::stanse::automatonchecker::PatternLocation::getDeliveredAutomataStates

(

)

[inline, package]

LinkedList<TransitionRule> cz::muni::stanse::automatonchecker::PatternLocation::getTransitionRules

(

)

[inline, package]

LinkedList<ErrorRule> cz::muni::stanse::automatonchecker::PatternLocation::getErrorRules

(

)

[inline, package]

AutomatonStateTransferManager cz::muni::stanse::automatonchecker::PatternLocation::getTransferor

(

)

[inline, package]

void cz::muni::stanse::automatonchecker::PatternLocation::setTransferor

(

final AutomatonStateTransferManager

transferor

)

[inline, package]

PatternLocation cz::muni::stanse::automatonchecker::PatternLocation::getLocationForCallNotPassedStates

(

)

[inline, package]

void cz::muni::stanse::automatonchecker::PatternLocation::setLocationForCallNotPassedStates

(

final PatternLocation

location

)

[inline, package]

void cz::muni::stanse::automatonchecker::PatternLocation::fireLocalAutomataStates

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::PatternLocation::processUnprocessedAutomataStates

(

)

[inline, package]

void cz::muni::stanse::automatonchecker::PatternLocation::reduceStateSets

(

)

[inline, package]

---

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

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