DiaDes
0.1
DIAgnosis of Discrete-Event System
|
Main file of the dd-scenario-info
command.
More...
#include <vector>
#include <string>
#include <list>
#include <utils/Verbose.hh>
#include <utils/CmdInterface.hh>
#include <io/xml/automata/Simulation.hh>
Go to the source code of this file.
Functions | |
vector< string > | fileExtensions (numberOfFileExtensions) |
vector< string > | options (numberOfOptions) |
vector< bool > | isSet (numberOfOptions, false) |
void | initialiseOptions () |
int | main (int argc, char **argv) |
Variables | |
unsigned | numberOfOptions = 6 |
unsigned | numberOfFileExtensions = 1 |
string | description = "Usage: dd-scenario-info --help |\n\t scenario.xml (--events | --timed_events | --observations | --timed_observations | --faults)\n\n\n\t Print on the standard output the information associated to the given option." |
Main file of the dd-scenario-info
command.
Usage: dd-scenario-info --help | scenario.xml (--events | --timed_events | --observations | --timed_observations | --faults) Print on the standard output the information associated to the given option.
Definition in file ScenarioInfo.cc.
enum Extension |
Enumerator | |
---|---|
DESCOMP | |
XML |
Definition at line 37 of file ScenarioInfo.cc.
enum Option |
Definition at line 34 of file ScenarioInfo.cc.
vector<string> fileExtensions | ( | numberOfFileExtensions | ) |
Referenced by initialiseOptions(), and main().
void initialiseOptions | ( | ) |
Definition at line 50 of file ScenarioInfo.cc.
References EVENTS, FAULTS, fileExtensions(), HELP, OBSERVATIONS, options(), TIMEDEVENTS, TIMEDOBSERVATIONS, and XML.
Referenced by main().
vector<bool> isSet | ( | numberOfOptions | , |
false | |||
) |
int main | ( | int | argc, |
char ** | argv | ||
) |
Main function of the program dd-scenario-info
Basically, this function analyses the parameters, loads the model and prints the required pieces of information.
argc | the number of parameters |
argv | the list of parameters |
Definition at line 72 of file ScenarioInfo.cc.
References description, EVENTS, FAULTS, fileExtensions(), Diades::CmdInterface::fileSuffixOk(), HELP, initialiseOptions(), OBSERVATIONS, options(), printError(), printUsage(), setVerboseLevel(), TIMEDEVENTS, TIMEDOBSERVATIONS, Diades::Utils::VbOutput, and XML.
vector<string> options | ( | numberOfOptions | ) |
Referenced by initialiseOptions(), and main().
string description = "Usage: dd-scenario-info --help |\n\t scenario.xml (--events | --timed_events | --observations | --timed_observations | --faults)\n\n\n\t Print on the standard output the information associated to the given option." |
Definition at line 47 of file ScenarioInfo.cc.
Referenced by main().
unsigned numberOfFileExtensions = 1 |
Definition at line 40 of file ScenarioInfo.cc.
unsigned numberOfOptions = 6 |
Definition at line 39 of file ScenarioInfo.cc.