Public Member Functions | |
synchronized Configuration | getConfiguration () |
synchronized void | setConfiguration (Configuration configuration) |
String | getRootDirectory () |
String | getOutputDirectory () |
void | setOutputDirectory (final String dir) |
void | setVerbosityLevel (final Level level) |
synchronized void | dumpAST () |
synchronized void | dumpCFG () |
synchronized void | dumpCallGraph () |
Static Public Member Functions | |
static void | main (String[] args) |
static Stanse | getInstance () |
static UnitManager | getUnitManager () |
static void cz::muni::stanse::Stanse::main | ( | String[] | args | ) | [inline, static] |
static Stanse cz::muni::stanse::Stanse::getInstance | ( | ) | [inline, static] |
synchronized Configuration cz::muni::stanse::Stanse::getConfiguration | ( | ) | [inline] |
synchronized void cz::muni::stanse::Stanse::setConfiguration | ( | Configuration | configuration | ) | [inline] |
String cz::muni::stanse::Stanse::getRootDirectory | ( | ) | [inline] |
String cz::muni::stanse::Stanse::getOutputDirectory | ( | ) | [inline] |
static UnitManager cz::muni::stanse::Stanse::getUnitManager | ( | ) | [inline, static] |
void cz::muni::stanse::Stanse::setOutputDirectory | ( | final String | dir | ) | [inline] |
void cz::muni::stanse::Stanse::setVerbosityLevel | ( | final Level | level | ) | [inline] |
synchronized void cz::muni::stanse::Stanse::dumpAST | ( | ) | [inline] |
synchronized void cz::muni::stanse::Stanse::dumpCFG | ( | ) | [inline] |
synchronized void cz::muni::stanse::Stanse::dumpCallGraph | ( | ) | [inline] |