|
Stanse
-1
|


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 |
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 |
Class used to create Lock Checker
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
1.8.6