DiaDes
0.1
DIAgnosis of Discrete-Event System
|
Some utilities to deal with the command line. More...
#include <iostream>
#include <string>
#include <vector>
#include <set>
#include <sstream>
#include <regex>
#include <unordered_map>
#include <boost/program_options.hpp>
#include <diades/utils/Assertion.hh>
#include <diades/utils/StringTools.hh>
Go to the source code of this file.
Classes | |
class | Diades::CmdInterface::FileSuffixes |
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::CmdInterface | |
Functions | |
size_t | Diades::CmdInterface::printUsage (const string &programName, boost::program_options::options_description &desc) |
size_t | Diades::CmdInterface::printUsage (const string &description) |
size_t | Diades::CmdInterface::printCommandLineError (const string &msg) |
size_t | Diades::CmdInterface::printCommandLineError (const Diades::Utils::Msg &msg) |
size_t | Diades::CmdInterface::printCommandLineWarning (const string &msg) |
size_t | Diades::CmdInterface::printCommandLineWarning (const Diades::Utils::Msg &msg) |
string | Diades::CmdInterface::getSuffix (const string &name) |
bool | Diades::CmdInterface::fileSuffixOk (const string &modelFile, const string &suffix) |
template<typename Option > | |
bool | Diades::CmdInterface::getOption (const string ¶meter, const vector< string > &options, Option &result) |
template<typename T > | |
void | Diades::CmdInterface::getParameter (int argc, char **argv, int &index, T ¶m) |
template<typename T > | |
void | Diades::CmdInterface::getParameterList (int argc, char **argv, const vector< string > &options, const vector< string > &fileExtensions, int &index, set< T > &records) |
Variables | |
const size_t | ERROR_IN_COMMAND_LINE = 1 |
const size_t | WARNING_IN_COMMAND_LINE = 3 |
const size_t | SUCCESS = 0 |
const size_t | ERROR_UNHANDLED_EXCEPTION = 2 |
Some utilities to deal with the command line.
Definition in file CmdInterface.hh.
const size_t ERROR_IN_COMMAND_LINE = 1 |
Definition at line 32 of file CmdInterface.hh.
Referenced by Diades::CmdInterface::printCommandLineError().
const size_t ERROR_UNHANDLED_EXCEPTION = 2 |
Definition at line 35 of file CmdInterface.hh.
Referenced by completeFsm(), determineFsm(), exportDdAutToDot(), exportDdSyncToDot(), exportToDot(), exportTsToDdAut(), exportTsToDdAut2(), insertFsms(), minimizeFsm(), projectFsm(), runFsm(), synchroniseFsm(), tagDdAutStates(), tagDdAutStates2(), trimDdAutStates(), and trimDdAutStates2().
const size_t SUCCESS = 0 |
Definition at line 34 of file CmdInterface.hh.
Referenced by Diades::CmdInterface::checkAutFile(), Diades::CmdInterface::checkDdAutFile(), Diades::CmdInterface::checkFileNameSuffix(), exportAutToDot(), interactiveDdAut(), Diades::CmdInterface::isOpenableFile(), Diades::CmdInterface::loadFiniteStateAutomaton(), Diades::CmdInterface::loadFiniteStateMachine(), main(), prepareSimulation(), Diades::CmdInterface::printUsage(), readControllableEvents(), runAut(), setOptions(), trimDdAutStates2(), Diades::CmdInterface::writeAut(), writeDdAutComponents(), Diades::CmdInterface::writeFiniteAutomaton(), and Diades::CmdInterface::writeFiniteStateMachine().
const size_t WARNING_IN_COMMAND_LINE = 3 |
Definition at line 33 of file CmdInterface.hh.
Referenced by Diades::CmdInterface::printCommandLineWarning().