cz::muni::stanse::automatonchecker::XMLAutomatonDefinition Class Reference

List of all members.

Package Functions
	XMLAutomatonDefinition (final Element XMLdefinition) throws XMLAutomatonSyntaxErrorException
String	getAutomatonName ()
String	getAutomatonDescription ()
String	getStartSymbol ()
Vector< XMLPattern >	getXMLpatterns ()
LinkedList< XMLTransitionRule >	getXMLtransitionRulesForPattern (final XMLPattern pattern)
LinkedList< XMLErrorRule >	getXMLerrorRulesForPattern (final XMLPattern pattern)
LinkedList< XMLErrorRule >	getExitErrorRules ()

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::XMLAutomatonDefinition

(

final Element

XMLdefinition

)

throws XMLAutomatonSyntaxErrorException [inline, package]

---

Member Function Documentation

String cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getAutomatonName

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getAutomatonDescription

(

)

[inline, package]

String cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getStartSymbol

(

)

[inline, package]

Vector<XMLPattern> cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getXMLpatterns

(

)

[inline, package]

LinkedList<XMLTransitionRule> cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getXMLtransitionRulesForPattern

(

final XMLPattern

pattern

)

[inline, package]

LinkedList<XMLErrorRule> cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getXMLerrorRulesForPattern

(

final XMLPattern

pattern

)

[inline, package]

LinkedList<XMLErrorRule> cz::muni::stanse::automatonchecker::XMLAutomatonDefinition::getExitErrorRules

(

)

[inline, package]

---

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

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