DiaDes  0.1
DIAgnosis of Discrete-Event System
Enumerations | Functions | Variables
ScenarioInfo.cc File Reference

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.

Enumerations

enum  Option {
  OUTPUT =0, VERBOSE =1, EVENTS =2, NOTEVENTS =3,
  HELP =4, STATEABSTRACTIONS = 5, EVENT = 0, HELP = 1,
  OUTPUT =0, HELP = 0, EVENTS = 1, EVENTNB = 2,
  STATES = 3, STATENB = 4, TRANSITIONS = 5, TRANSITIONNB = 6,
  OBSERVABLES = 7, OBSERVABLENB = 8, UNOBSERVABLES = 9, UNOBSERVABLENB =10,
  INITIALSTATES = 11, INITIALSTATENB = 12, NAME = 13, STATISTICS = 14,
  STATEMIN = 0, STATEMAX = 1, OBSMIN = 2, OBSMAX = 3,
  EVTMIN = 4, EVTMAX = 5, SEED = 6, DIRNAME = 7,
  LATEXFILENAME = 8, TOPOLOGYFILENAME = 9, OBSINTERACTIONMIN = 10, OBSINTERACTIONMAX = 11,
  NODEBEHAVIOUR = 12, HELP = 13, OUTPUTDEGREEMAX = 14, PETRINET = 15,
  STATISTICS =0, HELP =1, FAULTS = 2, NOFAILURES =0,
  FAILURES =1, OBSERVABLES =2, HDFILE =3, DOTFILE =4,
  CPPFILE =5, WITHSILENTCLOSURE =6, HELP =7, FAULTMAX =0,
  SEED =1, HELP =2, HELP =0, FAULTS = 0,
  ALGORITHMS = 1, HELP = 0, EVENTS = 1, TIMEDEVENTS = 2,
  OBSERVATIONS = 3, TIMEDOBSERVATIONS = 4, FAULTS = 5, OBSMIN = 0,
  OBSMAX = 1, TIMEMIN = 2, TIMEMAX = 3, NOEVT = 4,
  SEED = 5, XML = 6, GENERATEFAULTS = 7, HELP = 8,
  INTERACTIVE = 9, PTALOG = 10, NBSIM = 11, HELP =0,
  COMPONENTS =0, EVENTS =1, NUMBER =2, CONNECTIONWITHEVENT =3,
  HELP =4
}
 
enum  Extension { DESCOMP = 0, XML = 0 }
 

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."
 

Detailed Description

Main file of the dd-scenario-info command.

Author
Yannick Pencole yanni.nosp@m.ck@s.nosp@m.ocrat.nosp@m.e.la.nosp@m.as.fr
Date
Tue Jul 17 12:35:53 2012
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.

Enumeration Type Documentation

◆ Extension

enum Extension
Enumerator
DESCOMP 
XML 

Definition at line 37 of file ScenarioInfo.cc.

◆ Option

enum Option
Enumerator
OUTPUT 
VERBOSE 
EVENTS 
NOTEVENTS 
HELP 
STATEABSTRACTIONS 
EVENT 
HELP 
OUTPUT 
HELP 
EVENTS 
EVENTNB 
STATES 
STATENB 
TRANSITIONS 
TRANSITIONNB 
OBSERVABLES 
OBSERVABLENB 
UNOBSERVABLES 
UNOBSERVABLENB 
INITIALSTATES 
INITIALSTATENB 
NAME 
STATISTICS 
STATEMIN 
STATEMAX 
OBSMIN 
OBSMAX 
EVTMIN 
EVTMAX 
SEED 
DIRNAME 
LATEXFILENAME 
TOPOLOGYFILENAME 
OBSINTERACTIONMIN 
OBSINTERACTIONMAX 
NODEBEHAVIOUR 
HELP 
OUTPUTDEGREEMAX 
PETRINET 
STATISTICS 
HELP 
FAULTS 
NOFAILURES 
FAILURES 
OBSERVABLES 
HDFILE 
DOTFILE 
CPPFILE 
WITHSILENTCLOSURE 
HELP 
FAULTMAX 
SEED 
HELP 
HELP 
FAULTS 
ALGORITHMS 
HELP 
EVENTS 
TIMEDEVENTS 
OBSERVATIONS 
TIMEDOBSERVATIONS 
FAULTS 
OBSMIN 
OBSMAX 
TIMEMIN 
TIMEMAX 
NOEVT 
SEED 
XML 
GENERATEFAULTS 
HELP 
INTERACTIVE 
PTALOG 
NBSIM 
HELP 
COMPONENTS 
EVENTS 
NUMBER 
CONNECTIONWITHEVENT 
HELP 

Definition at line 34 of file ScenarioInfo.cc.

Function Documentation

◆ fileExtensions()

vector<string> fileExtensions ( numberOfFileExtensions  )

Referenced by initialiseOptions(), and main().

◆ initialiseOptions()

void initialiseOptions ( )

Definition at line 50 of file ScenarioInfo.cc.

References EVENTS, FAULTS, fileExtensions(), HELP, OBSERVATIONS, options(), TIMEDEVENTS, TIMEDOBSERVATIONS, and XML.

Referenced by main().

◆ isSet()

vector<bool> isSet ( numberOfOptions  ,
false   
)

◆ main()

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.

Parameters
argcthe number of parameters
argvthe list of parameters
Returns
0 if success

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.

◆ options()

vector<string> options ( numberOfOptions  )

Referenced by initialiseOptions(), and main().

Variable Documentation

◆ description

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

◆ numberOfFileExtensions

unsigned numberOfFileExtensions = 1

Definition at line 40 of file ScenarioInfo.cc.

◆ numberOfOptions

unsigned numberOfOptions = 6

Definition at line 39 of file ScenarioInfo.cc.