CmdInterface.hh File Reference

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 &parameter, const vector< string > &options, Option &result)
template<typename T >
void	Diades::CmdInterface::getParameter (int argc, char **argv, int &index, T &param)
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

Detailed Description

Some utilities to deal with the command line.

Author

Yannick Pencole yanni.nosp@m.ck@s.nosp@m.ocrat.nosp@m.e.la.nosp@m.as.fr

Date

Thu Jul 7 09:53:50 2011

Definition in file CmdInterface.hh.

Variable Documentation

ERROR_IN_COMMAND_LINE

const size_t ERROR_IN_COMMAND_LINE = 1

Definition at line 32 of file CmdInterface.hh.

Referenced by Diades::CmdInterface::printCommandLineError().

ERROR_UNHANDLED_EXCEPTION

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

SUCCESS

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

WARNING_IN_COMMAND_LINE

const size_t WARNING_IN_COMMAND_LINE = 3

Definition at line 33 of file CmdInterface.hh.

Referenced by Diades::CmdInterface::printCommandLineWarning().