#include <iostream>
#include <fstream>
#include <list>
#include <string>
#include <set>
#include <boost/date_time/posix_time/posix_time.hpp>
#include <utils/Exceptions.hh>
#include <utils/CmdInterface.hh>
#include <automata/Event.hh>
#include <automata/ObservableComponent.hh>

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	FileExtension { DESCOMP =0, DESCOMP =0, RULES =1, DESCOMP =0, DESCOMP =0, RULES =1, XML =2, ABSTRACTION = 3, DIAGNOSER = 4, DESCOMP =0, ARCHV = 0, DESCOMP =0, RULES =1, XML =2, DESCOMP = 0, RULES = 1, XML =0, RULES =0 }

Functions
vector< string >	fileExtensions (numberOfFileExtensions)

vector< string >	options (numberOfOptions)

vector< bool >	isSet (numberOfOptions, false)

void	initialiseOptions ()

void	readParameters (int argc, char *argv[], string &modelFile, string &outputFile, string &logFile, string &stateAbstractionFile, unordered_set< Event > &abstractedEvents)

int	main (int argc, char *argv[])

Variables
unsigned	numberOfOptions = 6

unsigned	numberOfFileExtensions = 1

string	description ="Usage: abstract --help \|\n\t [file.des_comp] [ [--events \| --notevents] evt1 evt2 ....] [--output result.des_comp] [--verbose trace.log] [--state-abstractions filename]\n\n\t Compute the model resulting from the abstraction of evt1, evt2 on the standard output\n\tunless the optional output file is setup.\n\tAccept model from standard input\n\tThe option --state-abstractions allows to write in a file the resulting state abstractions"

Detailed Description

This file is the main file of the command abstract.

Usage: abstract [file1.des_comp] [ [--events | --notevents] evt1 evt2 ....] [--output result.des_comp] [--verbose trace.log] [--state-abstractions filename]

Compute the model resulting from the abstraction of evt1, evt2 on the standard output unless the optional output file is setup. Accept models from the standard input The option –state-abstractions allows to write in a file the resulting state abstractions

Definition in file abstract.cc.

Enumeration Type Documentation

◆ FileExtension

enum FileExtension

Enumerator
DESCOMP
DESCOMP
RULES
DESCOMP
DESCOMP
RULES
XML
ABSTRACTION
DIAGNOSER
DESCOMP
ARCHV
DESCOMP
RULES
XML
DESCOMP
RULES
XML
RULES

Definition at line 33 of file abstract.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 32 of file abstract.cc.

Function Documentation

◆ fileExtensions()

vector<string> fileExtensions ( numberOfFileExtensions )

Referenced by initialiseOptions(), and readParameters().

◆ initialiseOptions()

void initialiseOptions ( )

Definition at line 44 of file abstract.cc.

References DESCOMP, EVENTS, fileExtensions(), HELP, Diades::Utils::LgProcess, Diades::Utils::log(), NOTEVENTS, options(), OUTPUT, readParameters(), STATEABSTRACTIONS, and VERBOSE.

Referenced by main().

◆ isSet()

vector<bool> isSet	(	numberOfOptions	,
		false
	)

Referenced by main(), and readParameters().

◆ main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 71 of file abstract.cc.

References Diades::Automata::Component::importDesCompModel(), initialiseOptions(), isSet(), NOTEVENTS, readParameters(), Diades::Utils::saveLog(), and toStream().

◆ options()

vector<string> options ( numberOfOptions )

Referenced by initialiseOptions(), main(), and readParameters().

◆ readParameters()

void readParameters	(	int	argc,
		char *	argv[],
		string &	modelFile,
		string &	outputFile,
		string &	logFile,
		string &	stateAbstractionFile,
		unordered_set< Event > &	abstractedEvents
	)

Definition at line 207 of file abstract.cc.

References DESCOMP, description, EVENTS, fileExtensions(), Diades::Utils::getFileExtension(), HELP, isSet(), NOTEVENTS, options(), OUTPUT, printError(), printUsage(), STATEABSTRACTIONS, and VERBOSE.

Referenced by initialiseOptions(), and main().

Variable Documentation

◆ description

string description ="Usage: abstract --help |\n\t [file.des_comp] [ [--events | --notevents] evt1 evt2 ....] [--output result.des_comp] [--verbose trace.log] [--state-abstractions filename]\n\n\t Compute the model resulting from the abstraction of evt1, evt2 on the standard output\n\tunless the optional output file is setup.\n\tAccept model from standard input\n\tThe option --state-abstractions allows to write in a file the resulting state abstractions"

Definition at line 42 of file abstract.cc.

Referenced by readParameters().

◆ numberOfFileExtensions

unsigned numberOfFileExtensions = 1

Definition at line 35 of file abstract.cc.

◆ numberOfOptions

unsigned numberOfOptions = 6

Definition at line 34 of file abstract.cc.

Enumerations

Functions

Variables