mcrl2::utilities::tools::input_output_output_tool

Include file:

#include "mcrl2/utilities/input_output_output_tool.h

class mcrl2::utilities::tools::input_output_output_tool

Base class for tools that optionally takes one file as input, and writes the results to two output files.

Protected attributes

std::string mcrl2::utilities::tools::input_output_output_tool::m_input_filename

The input file name.

std::string mcrl2::utilities::tools::input_output_output_tool::m_output_filename1

The output file names.

std::string mcrl2::utilities::tools::input_output_output_tool::m_output_filename2

Protected member functions

void check_positional_options(const command_line_parser &parser)

Checks if the number of positional options is OK.

Parameters:

• parser A command line parser

std::string make_tool_description(const std::string &description) const

Adds a message about input and output files to the given description.

std::string output_file_message() const

Returns a message about the output filename.

void parse_options(const command_line_parser &parser)

Parse non-standard options.

Parameters:

• parser A command line parser

std::string synopsis() const

Returns the synopsis of the tool.

Public member functions

std::string &input_filename()

const std::string &input_filename() const

Returns a const reference to the input filename.

input_output_output_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues = "")

Constructor.

std::string &output_filename1()

const std::string &output_filename1() const

Returns a const reference to the first output filename.

std::string &output_filename2()

const std::string &output_filename2() const

Returns a const reference to the second output filename.