cz::muni::stanse::automatonchecker::ErrorRule Class Reference

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

[legend]

List of all members.

Package Functions
	ErrorRule (final XMLErrorRule XMLrule, final SimpleAutomatonID automatonID)
	ErrorRule (final ErrorRule source, final SimpleAutomatonID automatonID)
String	getErrorDescription ()
int	getErrorLevel ()
String	getErrorEntryMessage ()
String	getErrorBeginMessage ()
String	getErrorPropagMessage ()
String	getErrorEndMessage ()
boolean	checkForError (final HashSet< AutomatonState > state)
boolean	isExitRule ()
SimpleAutomatonID	getAutomatonID ()

---

Detailed Description

See also:

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::ErrorRule::ErrorRule	(	final XMLErrorRule	XMLrule,
		final SimpleAutomatonID	automatonID
	)			[inline, package]

cz::muni::stanse::automatonchecker::ErrorRule::ErrorRule	(	final ErrorRule	source,
		final SimpleAutomatonID	automatonID
	)			[inline, package]

---

Member Function Documentation

String cz::muni::stanse::automatonchecker::ErrorRule::getErrorDescription

(

)

[inline, package]

int cz::muni::stanse::automatonchecker::ErrorRule::getErrorLevel

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::ErrorRule::getErrorEntryMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::ErrorRule::getErrorBeginMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::ErrorRule::getErrorPropagMessage

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::ErrorRule::getErrorEndMessage

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::ErrorRule::checkForError

(

final HashSet< AutomatonState >

state

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::ErrorRule::isExitRule

(

)

[inline, package]

SimpleAutomatonID cz::muni::stanse::automatonchecker::ErrorRule::getAutomatonID

(

)

[inline, package]

---

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

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