DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <list>
#include <map>
#include <iostream>
#include <boost/property_tree/ptree.hpp>
#include <boost/property_tree/xml_parser.hpp>
#include <boost/foreach.hpp>
#include <utils/CmdInterface.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 () |
void | readParameters (int argc, char *argv[], string &filename) |
int | main (int argc, char *argv[]) |
Variables | |
unsigned | numberOfOptions = 1 |
unsigned | numberOfFileExtensions = 2 |
string | description ="Usage: dd-convert-supremica [--help | automaton.xml] \n\t Print the component described in the xml file (export of supremica) in the 'des_comp' format." |
enum FileExtension |
Enumerator | |
---|---|
DESCOMP | |
DESCOMP | |
RULES | |
DESCOMP | |
DESCOMP | |
RULES | |
XML | |
ABSTRACTION | |
DIAGNOSER | |
DESCOMP | |
ARCHV | |
DESCOMP | |
RULES | |
XML | |
DESCOMP | |
RULES | |
XML | |
RULES |
Definition at line 18 of file SupremicaFormat.cc.
enum Option |
Definition at line 17 of file SupremicaFormat.cc.
vector<string> fileExtensions | ( | numberOfFileExtensions | ) |
Referenced by initialiseOptions(), and readParameters().
void initialiseOptions | ( | ) |
Definition at line 29 of file SupremicaFormat.cc.
References fileExtensions(), HELP, options(), readParameters(), and XML.
Referenced by main().
vector<bool> isSet | ( | numberOfOptions | , |
false | |||
) |
Referenced by readParameters().
int main | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 43 of file SupremicaFormat.cc.
References initialiseOptions(), and readParameters().
vector<string> options | ( | numberOfOptions | ) |
Referenced by initialiseOptions(), and readParameters().
void readParameters | ( | int | argc, |
char * | argv[], | ||
string & | filename | ||
) |
Definition at line 215 of file SupremicaFormat.cc.
References description, fileExtensions(), Diades::Utils::getFileExtension(), HELP, isSet(), options(), printError(), printUsage(), and XML.
Referenced by initialiseOptions(), and main().
string description ="Usage: dd-convert-supremica [--help | automaton.xml] \n\t Print the component described in the xml file (export of supremica) in the 'des_comp' format." |
Definition at line 27 of file SupremicaFormat.cc.
Referenced by readParameters().
unsigned numberOfFileExtensions = 2 |
Definition at line 20 of file SupremicaFormat.cc.
unsigned numberOfOptions = 1 |
Definition at line 19 of file SupremicaFormat.cc.