ToDot.cc File Reference

This file implements the dd-dot command that is used to perform any kind of automata export in dot 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 "../AutomataInterface.hh"
#include "diades/automata/experimental/DdAutFileDescriptor.hh"
#include <diades/automata/experimental/DdSyncDescriptor.hh>
#include <diades/automata/experimental/Io.hh>

Go to the source code of this file.

Functions
const string	program ("dd-dot")
const string	briefcomment (": this program exports any input as a dot file (output file or standard output).")
void	initialiseOptions (int argc, char *argv[], Poptions::options_description &desc, Poptions::variables_map &vm)
size_t	exportAutToDot (const std::string &fileName, const std::string &output)
size_t	exportDdAutToDot (const std::string &fileName, const std::string &output)
size_t	exportDdSyncToDot (const std::string &fileName, const std::string &output)
size_t	exportToDot (const string &fileName, const string &output)
int	main (int argc, char **argv)

Variables
FileSuffixes	suffixes ({"aut", "ddaut", "ddsync", "dot"})

Detailed Description

This file implements the dd-dot command that is used to perform any kind of automata export in dot format.

Author

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

Date

14 August 2019, 22:52

Definition in file ToDot.cc.

Function Documentation

briefcomment()

const string briefcomment

(

": this program exports any input as a dot file (output file or standard output)."

)

Referenced by main().

exportAutToDot()

size_t exportAutToDot	(	const std::string &	fileName,
		const std::string &	output
	)

Definition at line 75 of file ToDot.cc.

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

Referenced by exportToDot().

exportDdAutToDot()

size_t exportDdAutToDot	(	const std::string &	fileName,
		const std::string &	output
	)

Definition at line 113 of file ToDot.cc.

References ERROR_UNHANDLED_EXCEPTION, Diades::Automata::Experimental::faFromDescriptor(), Diades::CmdInterface::printCommandLineError(), Diades::Automata::Experimental::DdAutFileDescriptor::readStream(), and Diades::Automata::Experimental::toDot().

Referenced by exportToDot().

exportDdSyncToDot()

size_t exportDdSyncToDot	(	const std::string &	fileName,
		const std::string &	output
	)

Definition at line 163 of file ToDot.cc.

References ERROR_UNHANDLED_EXCEPTION, Diades::CmdInterface::printCommandLineError(), Diades::Automata::Experimental::DdSyncDescriptor::readStream(), and Diades::Automata::Experimental::toDot().

Referenced by exportToDot().

exportToDot()

size_t exportToDot	(	const string &	fileName,
		const string &	output
	)

Definition at line 200 of file ToDot.cc.

References ERROR_UNHANDLED_EXCEPTION, exportAutToDot(), exportDdAutToDot(), exportDdSyncToDot(), Diades::CmdInterface::FileSuffixes::match(), Diades::CmdInterface::printCommandLineError(), and suffixes.

Referenced by main().

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 ToDot.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 242 of file ToDot.cc.

References briefcomment(), exportToDot(), initialiseOptions(), Diades::CmdInterface::printCommandLineError(), printUsage(), and program().

program()

const string program

(

"dd-dot"

)

Referenced by main().

Variable Documentation

suffixes

FileSuffixes suffixes({"aut", "ddaut", "ddsync", "dot"})

Referenced by exportToDot().