TsToDdAut.cc File Reference

This file implements the dd-ts2ddaut command that is used to convert altarica ts-file format to ddaut format. More...

#include <cstdlib>
#include <iostream>
#include <fstream>
#include <regex>
#include <boost/program_options.hpp>
#include <diades/automata/experimental/AutFile.hh>
#include <diades/automata/experimental/DdAutFile.hh>
#include <diades/automata/experimental/TsFile.hh>
#include "../AutomataInterface.hh"
#include "diades/automata/experimental/DdAutFileDescriptor.hh"
#include <diades/automata/experimental/Io.hh>

Go to the source code of this file.

Functions
const string	program ("dd-ts2ddaut")
const string	briefcomment (": this program converts a '.ts' altarica format file to a '.ddaut' file (output file or standard output).")
void	initialiseOptions (int argc, char *argv[], Poptions::options_description &desc, Poptions::variables_map &vm)
size_t	writeDdAutComponents (ManagedTsFsms &fsms)
size_t	exportTsToDdAut2 (const std::string &fileName, const std::string &output, const std::string &dict, TsConversionMode mode, bool writeComponents)
size_t	exportTsToDdAut (const string &fileName, const string &output, const string &dict, TsConversionMode mode, bool writeComponents)
int	main (int argc, char **argv)

Variables
FileSuffixes	suffixes ({"ts", "ddaut"})

Detailed Description

This file implements the dd-ts2ddaut command that is used to convert altarica ts-file format to ddaut format.

Author

Yannick Pencolé <yannick.pencole at laas.fr>

Date

13 February 2020, 14:45:50

Definition in file TsToDdAut.cc.

Function Documentation

briefcomment()

const string briefcomment

(

": this program converts a '.ts' altarica format file to a '.ddaut' file (output file or standard output)."

)

Referenced by main().

exportTsToDdAut()

size_t exportTsToDdAut	(	const string &	fileName,
		const string &	output,
		const string &	dict,
		TsConversionMode	mode,
		bool	writeComponents
	)

Definition at line 236 of file TsToDdAut.cc.

References ERROR_UNHANDLED_EXCEPTION, exportTsToDdAut2(), Diades::CmdInterface::FileSuffixes::match(), Diades::CmdInterface::printCommandLineError(), and suffixes.

Referenced by main().

exportTsToDdAut2()

size_t exportTsToDdAut2	(	const std::string &	fileName,
		const std::string &	output,
		const std::string &	dict,
		TsConversionMode	mode,
		bool	writeComponents
	)

Definition at line 111 of file TsToDdAut.cc.

References ERROR_UNHANDLED_EXCEPTION, Diades::Automata::Experimental::fromTsFile(), Diades::Automata::Experimental::fsmToDdAutFile(), Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >::getEvent(), Diades::Automata::Experimental::StatePropertyManager< _StateProperty, _StatePropertyId, NullStProperty, NullStPropertyId, Hash >::getStateProperty(), Diades::CmdInterface::printCommandLineError(), Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >::setEvent(), Diades::Automata::Experimental::StatePropertyManager< _StateProperty, _StatePropertyId, NullStProperty, NullStPropertyId, Hash >::setStateProperty(), Diades::Automata::Experimental::tsPrettyEvent(), and writeDdAutComponents().

Referenced by exportTsToDdAut().

initialiseOptions()

void initialiseOptions	(	int	argc,
		char *	argv[],
		Poptions::options_description &	desc,
		Poptions::variables_map &	vm
	)

Initialise the options of the command present in the command line

Parameters

argc
argv
desc
vm

Definition at line 51 of file TsToDdAut.cc.

References options().

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

Main file of the dd-dot command

Parameters

argc
argv

Returns

success code (SUCCESS or ERROR_COMMAND_LINE)

Definition at line 266 of file TsToDdAut.cc.

References briefcomment(), exportTsToDdAut(), Diades::Automata::Experimental::full, initialiseOptions(), Diades::Automata::Experimental::normal, Diades::CmdInterface::printCommandLineError(), printUsage(), program(), and Diades::Automata::Experimental::update.

program()

const string program

(

"dd-ts2ddaut"

)

Referenced by main().

writeDdAutComponents()

size_t writeDdAutComponents

(

ManagedTsFsms &

fsms

)

Definition at line 78 of file TsToDdAut.cc.

References Diades::Automata::Experimental::fsmToDdAutFile(), Diades::CmdInterface::printCommandLineError(), and SUCCESS.

Referenced by exportTsToDdAut2().

Variable Documentation

suffixes

FileSuffixes suffixes({"ts", "ddaut"})

Referenced by exportTsToDdAut().