mcrl2::utilities::tools::input_input_output_tool

Include file:

#include "mcrl2/utilities/input_input_output_tool.h

class mcrl2::utilities::tools::input_input_output_tool

Base class for tools that take two files as input, and write the results to a file.

Protected attributes

std::string mcrl2::utilities::tools::input_input_output_tool::m_output_filename

The output file name.

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

input_input_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_filename()

Returns a reference to the output filename.

const std::string &output_filename() const

Returns a const reference to the output filename.