Public Attributes | |
char * | args [1] |
int | display |
int | verbose |
int | stop |
char * | dumpErrorFile |
char * | finalDump |
int | dump |
char * | xmlSchema |
char * | loadState |
int | shutdown |
int | reset |
int | killPort |
std::list< std::string > | init_ports |
Definition at line 81 of file driver.cxx.
char* arguments::args[1] |
Definition at line 83 of file driver.cxx.
Referenced by main(), and parse_opt().
int arguments::display |
Definition at line 84 of file driver.cxx.
Referenced by main(), and parse_opt().
int arguments::dump |
Definition at line 89 of file driver.cxx.
Referenced by main(), and parse_opt().
char* arguments::dumpErrorFile |
Definition at line 87 of file driver.cxx.
Referenced by main(), and parse_opt().
char* arguments::finalDump |
Definition at line 88 of file driver.cxx.
Referenced by Handler(), main(), and parse_opt().
std::list<std::string> arguments::init_ports |
Definition at line 95 of file driver.cxx.
Referenced by main(), and parse_opt().
int arguments::killPort |
Definition at line 94 of file driver.cxx.
Referenced by Handler(), main(), and parse_opt().
char* arguments::loadState |
Definition at line 91 of file driver.cxx.
Referenced by main(), and parse_opt().
int arguments::reset |
Definition at line 93 of file driver.cxx.
Referenced by gui.graph.grid::findPath(), main(), and parse_opt().
int arguments::shutdown |
Definition at line 92 of file driver.cxx.
Referenced by Handler(), main(), and parse_opt().
int arguments::stop |
Definition at line 86 of file driver.cxx.
Referenced by main(), and parse_opt().
int arguments::verbose |
Definition at line 85 of file driver.cxx.
Referenced by main(), and parse_opt().
char* arguments::xmlSchema |
Definition at line 90 of file driver.cxx.
Referenced by main(), and parse_opt().