Stanse  -1
cz.muni.stanse.configuration.CheckerConfiguration Member List

This is the complete list of members for cz.muni.stanse.configuration.CheckerConfiguration, including all inherited members.

CheckerConfiguration(final String checkerClassName, final File checkerArgument, final boolean interprocedural)cz.muni.stanse.configuration.CheckerConfigurationinline
CheckerConfiguration(final String checkerClassName, final List< File > checkerArgumentsList, final boolean interprocedural)cz.muni.stanse.configuration.CheckerConfigurationinline
getChecker()cz.muni.stanse.configuration.CheckerConfigurationinline
getCheckerArgumentsList()cz.muni.stanse.configuration.CheckerConfigurationinline
getCheckerClassName()cz.muni.stanse.configuration.CheckerConfigurationinline
isInterprocedural()cz.muni.stanse.configuration.CheckerConfigurationinline
Generated by   doxygen 1.8.6