
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().