cz::muni::stanse::CmdLineManager Class Reference

Collaboration diagram for cz::muni::stanse::CmdLineManager:
[legend]

List of all members.

Package Functions

 CmdLineManager (final String[] args)
SourceConfiguration getSourceConfiguration ()
List< CheckerConfigurationgetCheckerConfiguration ()
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 ()


Constructor & Destructor Documentation

cz::muni::stanse::CmdLineManager::CmdLineManager ( final String[]  args  )  [inline, package]


Member Function Documentation

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]


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

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6