cz::muni::stanse::automatonchecker::AutomatonCheckerCreator Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::AutomatonCheckerCreator:

[legend]

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

[legend]

List of all members.

Public Member Functions
String	getCheckerName ()
String	getCheckerCreationInfo ()
LinkedList< String >	getDataFilesExtensions ()
boolean	checkArgumentList (final List< File > args)
Checker	createIntraprocedural (final List< File > args) throws CheckerException
Checker	createInterprocedural (final List< File > args) throws CheckerException
Static Package Functions
static String	getNameForCheckerFactory ()

---

Member Function Documentation

String cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::getCheckerName

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

String cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::getCheckerCreationInfo

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

LinkedList<String> cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::getDataFilesExtensions

(

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

boolean cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::checkArgumentList

(

final List< File >

args

)

[inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

Checker cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::createIntraprocedural

(

final List< File >

args

)

throws CheckerException [inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

Checker cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::createInterprocedural

(

final List< File >

args

)

throws CheckerException [inline, virtual]

Implements cz::muni::stanse::checker::CheckerCreator.

static String cz::muni::stanse::automatonchecker::AutomatonCheckerCreator::getNameForCheckerFactory

(

)

[inline, static, package]

---

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

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