Package Functions | |
CmdLineManager (final String[] args) | |
SourceConfiguration | getSourceConfiguration () |
List< CheckerConfiguration > | getCheckerConfiguration () |
String | getOutputDir () |
Level | getVerbosityLevel () |
boolean | infoMode () |
void | printInfo (final java.io.OutputStream sink) |
boolean | dumpAST () |
boolean | dumpCFG () |
boolean | dumpCallGraph () |
boolean | statsMode () |
String | statsBuildFile () |
String | getStatsDatabase () |
boolean | doStatsGuiTracing () |
String | statsGuiTracingOutputFile () |
String | statsGuiTracingOrigSrcDir () |
String | statsGuiTracingCurrSrcDir () |
String | statsOrderingRootDir () |
Vector< String > | getStatsOrdering () |
boolean | doStatsMerge () |
String | getStatsMergeOutputFile () |
String | getStatsMergeDirsRoot () |
boolean | doStatsPerformance () |
String | getStatsPerformanceOutputFile () |
String | getStatsPerformanceOutputFormat () |
boolean | doStatsReports () |
String | getStatsReportsOutputFile () |
String | getStatsReportsOutputFormat () |
Pair< String, String > | getUIdesc () |
cz::muni::stanse::CmdLineManager::CmdLineManager | ( | final String[] | args | ) | [inline, package] |
SourceConfiguration cz::muni::stanse::CmdLineManager::getSourceConfiguration | ( | ) | [inline, package] |
List<CheckerConfiguration> cz::muni::stanse::CmdLineManager::getCheckerConfiguration | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getOutputDir | ( | ) | [inline, package] |
Level cz::muni::stanse::CmdLineManager::getVerbosityLevel | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::infoMode | ( | ) | [inline, package] |
void cz::muni::stanse::CmdLineManager::printInfo | ( | final java.io.OutputStream | sink | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::dumpAST | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::dumpCFG | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::dumpCallGraph | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::statsMode | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::statsBuildFile | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsDatabase | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::doStatsGuiTracing | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::statsGuiTracingOutputFile | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::statsGuiTracingOrigSrcDir | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::statsGuiTracingCurrSrcDir | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::statsOrderingRootDir | ( | ) | [inline, package] |
Vector<String> cz::muni::stanse::CmdLineManager::getStatsOrdering | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::doStatsMerge | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsMergeOutputFile | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsMergeDirsRoot | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::doStatsPerformance | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsPerformanceOutputFile | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsPerformanceOutputFormat | ( | ) | [inline, package] |
boolean cz::muni::stanse::CmdLineManager::doStatsReports | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsReportsOutputFile | ( | ) | [inline, package] |
String cz::muni::stanse::CmdLineManager::getStatsReportsOutputFormat | ( | ) | [inline, package] |
Pair<String,String> cz::muni::stanse::CmdLineManager::getUIdesc | ( | ) | [inline, package] |