cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator Class Reference

Inheritance diagram for cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator:

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)
Public Member Functions inherited from cz.muni.stanse.checker.CheckerCreator
abstract String	getCheckerName ()
abstract String	getCheckerCreationInfo ()
abstract List< String >	getDataFilesExtensions ()
abstract boolean	checkArgumentList (final List< File > args)
abstract Checker	createInterprocedural (final List< File > args) throws CheckerException
abstract Checker	createIntraprocedural (final List< File > args) throws CheckerException

Member Function Documentation

checkArgumentList()

boolean cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.checkArgumentList ( final List< File >  args )

inline

createInterprocedural()

Checker cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.createInterprocedural ( List< File >  args ) throws CheckerException

inline

createIntraprocedural()

Checker cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.createIntraprocedural ( final List< File >  args ) throws CheckerException

inline

getCheckerCreationInfo()

String cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.getCheckerCreationInfo ( )

inline

getCheckerName()

String cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.getCheckerName ( )

inline

getDataFilesExtensions()

List<String> cz.muni.stanse.pointeranalyzer.PointerAnalyzerCreator.getDataFilesExtensions ( )

inline

---

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

• src/cz/muni/stanse/pointeranalyzer/PointerAnalyzerCreator.java