CheckerConfiguration(final String checkerClassName, final File checkerArgument, final boolean interprocedural) | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |
CheckerConfiguration(final String checkerClassName, final List< File > checkerArgumentsList, final boolean interprocedural) | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |
getChecker() | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |
getCheckerArgumentsList() | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |
getCheckerClassName() | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |
isInterprocedural() | cz::muni::stanse::configuration::CheckerConfiguration | [inline] |