xinput_tool.h

Go to the documentation of this file.

// Author(s): Willem Rietdijk
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_XINPUT_TOOL_H
#define MCRL2_UTILITIES_XINPUT_TOOL_H
 
#include "mcrl2/utilities/tool.h"
 
namespace mcrl2
{
 
namespace utilities
{
 
namespace tools
{
 
class xinput_tool: public tool
{
  protected:
    std::vector<std::string> m_input_filenames;
 
    // The minimum and maximum number of files
    std::size_t min_input_files;
    std::size_t max_input_files;
 
    void check_positional_options(const command_line_parser& parser) override
    {
      if (max_input_files > 0 && max_input_files < parser.arguments.size())
      {
        parser.error("too many file arguments");
      }
      else if (min_input_files > parser.arguments.size())
      {
        parser.error("too few file arguments");
      }
    }
 
    std::string synopsis() const override
    {
      return "[OPTION]... [INFILES]\n";
    }
 
    void parse_options(const command_line_parser& parser) override
    {
      tool::parse_options(parser);
 
      // Read input filenames from the given arguments
      for (auto& input : parser.arguments)
      {
        m_input_filenames.push_back(input);
      }
    }
 
    std::string input_file_message() const
    {
      std::ostringstream out;
      out << "Input read from ";
      for (auto& filename : m_input_filenames)
      {
        out << "'" + filename + "', ";
      }
      return out.str();
    }
 
    std::string make_tool_description(const std::string& description) const
    {
      // return utilities::word_wrap_text(description + " If INFILE is not present, standard input is used.");
      return description;
    }
 
  public:
    xinput_tool(const std::string& name,
                const std::string& author,
                const std::string& what_is,
                const std::string& tool_description,
                std::string known_issues = "",
                uint16_t min = 0,
                uint16_t max = 0
              )
      : tool(name, author, what_is, tool_description, known_issues)
    {
      min_input_files = min;
      max_input_files = max;
    }
 
    const std::vector<std::string>& input_filenames() const
    {
      return m_input_filenames;
    }
 
    std::vector<std::string>& input_filenames()
    {
      return m_input_filenames;
    }
};
 
} // namespace tools
 
} // namespace utilities
 
} // namespace mcrl2
 
#endif // MCRL2_UTILITIES_XINPUT_TOOL_H