cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator Class Reference

Inheritance diagram for cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator:

[legend]

Collaboration diagram for cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator:

[legend]

List of all members.

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

---

Member Function Documentation

String cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::getCheckerName

(

)

[inline, virtual]

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

String cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::getCheckerCreationInfo

(

)

[inline, virtual]

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

Checker cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::createIntraprocedural

(

final List< File >

args

)

throws CheckerException [inline, virtual]

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

Checker cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::createInterprocedural

(

List< File >

args

)

throws CheckerException [inline]

List<String> cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::getDataFilesExtensions

(

)

[inline, virtual]

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

boolean cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::checkArgumentList

(

final List< File >

args

)

[inline, virtual]

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

static String cz::muni::stanse::reachabilitychecker::ReachabilityCheckerCreator::getNameForCheckerFactory

(

)

[inline, static, package]

---

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

• src/cz/muni/stanse/reachabilitychecker/ReachabilityCheckerCreator.java