DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <iostream>
#include <fstream>
#include <list>
#include <string>
#include <set>
#include <utils/Exceptions.hh>
#include <utils/CmdInterface.hh>
#include <automata/SyncRulesLightLexer.hpp>
#include <automata/SyncRulesLightParser.hpp>
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 &rulesFile, string &eventLabel) |
int | main (int argc, char *argv[]) |
Variables | |
unsigned | numberOfOptions = 5 |
unsigned | numberOfFileExtensions = 1 |
string | description ="Usage: dd-sync-info sync.rules [--help | --components | --events | --number | --connection-with-event event]\n\t Print information about the synchronization law in 'sync.rules\n\t\t'--help' print this usage message\n\t\t'--components' the list of component names involved in this law\n\t\t- '--events' the list of synchronized events\n\t\t'--number' the number of connections\n\t\t'--connection-with-event event' the list of events involved in a connection with 'event'" |
This file is the main file of the command dd-sync-info
.
Usage: dd-sync-info sync.rules [--help | --components | --events | --number | --connection-with-event event]
Print some information about the synchronisation rules
Definition in file sync-info.cc.
enum FileExtension |
Enumerator | |
---|---|
DESCOMP | |
DESCOMP | |
RULES | |
DESCOMP | |
DESCOMP | |
RULES | |
XML | |
ABSTRACTION | |
DIAGNOSER | |
DESCOMP | |
ARCHV | |
DESCOMP | |
RULES | |
XML | |
DESCOMP | |
RULES | |
XML | |
RULES |
Definition at line 28 of file sync-info.cc.
enum Option |
Definition at line 27 of file sync-info.cc.
vector<string> fileExtensions | ( | numberOfFileExtensions | ) |
Referenced by initialiseOptions(), and readParameters().
void initialiseOptions | ( | ) |
Definition at line 39 of file sync-info.cc.
References COMPONENTS, CONNECTIONWITHEVENT, EVENTS, fileExtensions(), HELP, NUMBER, options(), readParameters(), and RULES.
Referenced by main().
vector<bool> isSet | ( | numberOfOptions | , |
false | |||
) |
Referenced by main(), and readParameters().
int main | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 56 of file sync-info.cc.
References COMPONENTS, CONNECTIONWITHEVENT, description, EVENTS, HELP, initialiseOptions(), isSet(), NUMBER, printError(), printUsage(), and readParameters().
vector<string> options | ( | numberOfOptions | ) |
Referenced by initialiseOptions(), and readParameters().
void readParameters | ( | int | argc, |
char * | argv[], | ||
string & | rulesFile, | ||
string & | eventLabel | ||
) |
Definition at line 149 of file sync-info.cc.
References COMPONENTS, CONNECTIONWITHEVENT, description, EVENTS, fileExtensions(), Diades::Utils::getFileExtension(), HELP, isSet(), NUMBER, options(), printError(), printUsage(), and RULES.
Referenced by initialiseOptions(), and main().
string description ="Usage: dd-sync-info sync.rules [--help | --components | --events | --number | --connection-with-event event]\n\t Print information about the synchronization law in 'sync.rules\n\t\t'--help' print this usage message\n\t\t'--components' the list of component names involved in this law\n\t\t- '--events' the list of synchronized events\n\t\t'--number' the number of connections\n\t\t'--connection-with-event event' the list of events involved in a connection with 'event'" |
Definition at line 37 of file sync-info.cc.
Referenced by main(), and readParameters().
unsigned numberOfFileExtensions = 1 |
Definition at line 30 of file sync-info.cc.
unsigned numberOfOptions = 5 |
Definition at line 29 of file sync-info.cc.