cz::muni::stanse::automatonchecker::XMLErrorRule Class Reference

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

[legend]

List of all members.

Package Functions
	XMLErrorRule (final org.dom4j.Element XMLelement) throws XMLAutomatonSyntaxErrorException
boolean	checkForError (final Collection< AutomatonState > statesCollection, final SimpleAutomatonID simpleID)
int	getErrorLevel ()
String	getErrorDescription ()
String	getErrorEntryMessage ()
String	getErrorBeginMessage ()
String	getErrorPropagMessage ()
String	getErrorEndMessage ()
String	getPatternName ()
boolean	isExitRule ()

---

Detailed Description

See also:

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::XMLErrorRule::XMLErrorRule

(

final org.dom4j.Element

XMLelement

)

throws XMLAutomatonSyntaxErrorException [inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::XMLErrorRule::checkForError	(	final Collection< AutomatonState >	statesCollection,
		final SimpleAutomatonID	simpleID
	)			[inline, package]

int cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorLevel

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorDescription

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorEntryMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorBeginMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorPropagMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getErrorEndMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLErrorRule::getPatternName

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::XMLErrorRule::isExitRule

(

)

[inline, package]

---

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

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