3 // Copyright (C) 2005-2025 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the terms
7 // of the GNU General Public License as published by the Free Software
8 // Foundation; either version 3, or (at your option) any later
11 // This library is distributed in the hope that it will be useful, but
12 // WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // General Public License for more details.
16 // You should have received a copy of the GNU General Public License
17 // along with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
21 // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
23 // Permission to use, copy, modify, sell, and distribute this software
24 // is hereby granted without fee, provided that the above copyright
25 // notice appears in all copies, and that both that copyright notice
26 // and this permission notice appear in supporting documentation. None
27 // of the above authors, nor IBM Haifa Research Laboratories, make any
28 // representation about the suitability of this software for any
29 // purpose. It is provided "as is" without express or implied
33 * @file verified_cmd_line_input.hpp
34 * Contains definitions for tests - verified command line input.
37 #ifndef PB_DS_VERIFIED_CMD_LINE_INPUT_HPP
38 #define PB_DS_VERIFIED_CMD_LINE_INPUT_HPP
40 #include <io/illegal_input_error.hpp>
48 verify_argc(std::size_t given
, std::size_t required
);
51 verify_prob(double prob
);
54 get_cmd_line_str(int argc
, char* a_p_argv
[], int argn
);
57 get_cmd_line_prob(int argc
, char* a_p_argv
[], int argn
);
60 get_cmd_line_size(int argc
, char* a_p_argv
[], int argn
);
63 get_cmd_line_bool(int argc
, char* a_p_argv
[], int argn
);
65 } // namespace __gnu_pbds
67 #endif // #ifndef PB_DS_VERIFIED_CMD_LINE_INPUT_HPP