input_input_output_tool.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// 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_INPUT_INPUT_OUTPUT_TOOL_H
#define MCRL2_UTILITIES_INPUT_INPUT_OUTPUT_TOOL_H
 
#include "mcrl2/utilities/input_input_tool.h"
 
namespace mcrl2
{
 
namespace utilities
{
 
namespace tools
{
 
class input_input_output_tool: public input_input_tool
{
  protected:
    std::string m_output_filename;
 
    void check_positional_options(const command_line_parser& parser)
    {
      if (3 < parser.arguments.size())
      {
        parser.error("too many file arguments");
      }
    }
 
    std::string synopsis() const
    {
      return "[OPTION]... INFILE1 [INFILE2 [OUTFILE]]\n";
    }
 
    void parse_options(const command_line_parser& parser)
    {
      input_input_tool::parse_options(parser);
      if (2 < parser.arguments.size())
      {
        m_output_filename = parser.arguments[2];
      }
    }
 
    std::string output_file_message() const
    {
      std::ostringstream out;
      out << "Output written to " << ((m_output_filename.empty())? "standard output" : ("'" + m_output_filename + "'"));
      return out.str();
    }
 
    std::string make_tool_description(const std::string& description) const
    {
      return description + " If INFILE2 is not present, standard input is used. If OUTFILE is not present, standard output is used.";
    }
 
  public:
    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 = ""
                           )
      : input_input_tool(name, author, what_is, tool_description, known_issues)
    {
    }
 
    const std::string& output_filename() const
    {
      return m_output_filename;
    }
 
    std::string& output_filename()
    {
      return m_output_filename;
    }
};
 
} // namespace tools
 
} // namespace utilities
 
} // namespace mcrl2
 
#endif // MCRL2_UTILITIES_INPUT_INPUT_OUTPUT_TOOL_H