checkArgumentList(final List< File > args) | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |
createInterprocedural(final List< File > args) | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |
createIntraprocedural(final List< File > args) | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |
getCheckerCreationInfo() | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |
getCheckerName() | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |
getDataFilesExtensions() | cz::muni::stanse::checker::CheckerCreator | [pure virtual] |