mcrl2::utilities::tools::input_input_tool

Include file:

#include "mcrl2/utilities/input_input_tool.h

class mcrl2::utilities::tools::input_input_tool

Base class for tools that take two files as input.

Protected attributes

std::string mcrl2::utilities::tools::input_input_tool::m_input_filename1

The first input file name.

std::string mcrl2::utilities::tools::input_input_tool::m_input_filename2

The second input 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 input_file_message() const

Returns a message about the input filename.

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

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

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_filename1()

Returns a reference to the first input filename.

const std::string &input_filename1() const

Returns a const reference to the first input filename.

std::string &input_filename2()

Returns a reference to the first second filename.

const std::string &input_filename2() const

Returns a const reference to the second input filename.

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

Constructor.