mcrl2::utilities::tools::input_tool

Include file:

#include "mcrl2/utilities/input_tool.h

class mcrl2::utilities::tools::input_tool

Base class for tools that take a file as input.

Protected attributes

std::string mcrl2::utilities::tools::input_tool::m_input_filename

The input file name.

Protected member functions

void check_positional_options(const command_line_parser &parser) override

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 files to the given description.

void parse_options(const command_line_parser &parser) override

Parse non-standard options.

Parameters:

• parser A command line parser

std::string synopsis() const override

Returns the synopsis of the tool.

Returns: The string “[OPTION]… [INFILE]n”

Public member functions

std::string &input_filename()

Returns a reference to the input filename.

const std::string &input_filename() const

Returns a const reference to the input filename.

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.