Line data Source code
1 : // Author(s): Wieger Wesselink 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : // 9 : /// \file mcrl2/utilities/detail/command.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_UTILITIES_DETAIL_COMMAND_H 13 : #define MCRL2_UTILITIES_DETAIL_COMMAND_H 14 : 15 : #include <string> 16 : #include <vector> 17 : 18 : namespace mcrl2 { 19 : 20 : namespace utilities { 21 : 22 : namespace detail { 23 : 24 : /// \brief 25 : struct command 26 : { 27 : std::string name; 28 : const std::string& input_filename; 29 : const std::string& output_filename; 30 : const std::vector<std::string>& options; 31 : 32 0 : command(const std::string& name_, 33 : const std::string& input_filename_, 34 : const std::string& output_filename_, 35 : const std::vector<std::string>& options_ 36 : ) 37 0 : : name(name_), 38 0 : input_filename(input_filename_), 39 0 : output_filename(output_filename_), 40 0 : options(options_) 41 0 : {} 42 : 43 : virtual void execute() = 0; 44 0 : virtual ~command() = default; 45 : }; 46 : 47 : } // namespace detail 48 : 49 : } // namespace utilities 50 : 51 : } // namespace mcrl2 52 : 53 : #endif // MCRL2_UTILITIES_DETAIL_COMMAND_H