1 | // Copyright Vladimir Prus 2004. |
2 | // Distributed under the Boost Software License, Version 1.0. |
3 | // (See accompanying file LICENSE_1_0.txt |
4 | // or copy at http://www.boost.org/LICENSE_1_0.txt) |
5 | |
6 | #define BOOST_PROGRAM_OPTIONS_SOURCE |
7 | #include <boost/program_options/config.hpp> |
8 | #include <boost/program_options/value_semantic.hpp> |
9 | #include <boost/program_options/detail/convert.hpp> |
10 | #include <boost/program_options/detail/cmdline.hpp> |
11 | #include <set> |
12 | |
13 | #include <cctype> |
14 | |
15 | namespace boost { namespace program_options { |
16 | |
17 | using namespace std; |
18 | |
19 | |
20 | #ifndef BOOST_NO_STD_WSTRING |
21 | namespace |
22 | { |
23 | std::string convert_value(const std::wstring& s) |
24 | { |
25 | try { |
26 | return to_local_8_bit(s); |
27 | } |
28 | catch(const std::exception&) { |
29 | return "<unrepresentable unicode string>" ; |
30 | } |
31 | } |
32 | } |
33 | #endif |
34 | |
35 | void |
36 | value_semantic_codecvt_helper<char>:: |
37 | parse(boost::any& value_store, |
38 | const std::vector<std::string>& new_tokens, |
39 | bool utf8) const |
40 | { |
41 | if (utf8) { |
42 | #ifndef BOOST_NO_STD_WSTRING |
43 | // Need to convert to local encoding. |
44 | std::vector<string> local_tokens; |
45 | for (unsigned i = 0; i < new_tokens.size(); ++i) { |
46 | std::wstring w = from_utf8(new_tokens[i]); |
47 | local_tokens.push_back(to_local_8_bit(w)); |
48 | } |
49 | xparse(value_store, local_tokens); |
50 | #else |
51 | boost::throw_exception( |
52 | std::runtime_error("UTF-8 conversion not supported." )); |
53 | #endif |
54 | } else { |
55 | // Already in local encoding, pass unmodified |
56 | xparse(value_store, new_tokens); |
57 | } |
58 | } |
59 | |
60 | #ifndef BOOST_NO_STD_WSTRING |
61 | void |
62 | value_semantic_codecvt_helper<wchar_t>:: |
63 | parse(boost::any& value_store, |
64 | const std::vector<std::string>& new_tokens, |
65 | bool utf8) const |
66 | { |
67 | std::vector<wstring> tokens; |
68 | if (utf8) { |
69 | // Convert from utf8 |
70 | for (unsigned i = 0; i < new_tokens.size(); ++i) { |
71 | tokens.push_back(from_utf8(new_tokens[i])); |
72 | } |
73 | |
74 | } else { |
75 | // Convert from local encoding |
76 | for (unsigned i = 0; i < new_tokens.size(); ++i) { |
77 | tokens.push_back(from_local_8_bit(new_tokens[i])); |
78 | } |
79 | } |
80 | |
81 | xparse(value_store, tokens); |
82 | } |
83 | #endif |
84 | |
85 | BOOST_PROGRAM_OPTIONS_DECL std::string arg("arg" ); |
86 | |
87 | std::string |
88 | untyped_value::name() const |
89 | { |
90 | return arg; |
91 | } |
92 | |
93 | unsigned |
94 | untyped_value::min_tokens() const |
95 | { |
96 | if (m_zero_tokens) |
97 | return 0; |
98 | else |
99 | return 1; |
100 | } |
101 | |
102 | unsigned |
103 | untyped_value::max_tokens() const |
104 | { |
105 | if (m_zero_tokens) |
106 | return 0; |
107 | else |
108 | return 1; |
109 | } |
110 | |
111 | |
112 | void |
113 | untyped_value::xparse(boost::any& value_store, |
114 | const std::vector<std::string>& new_tokens) const |
115 | { |
116 | if (!value_store.empty()) |
117 | boost::throw_exception( |
118 | multiple_occurrences()); |
119 | if (new_tokens.size() > 1) |
120 | boost::throw_exception(multiple_values()); |
121 | value_store = new_tokens.empty() ? std::string("" ) : new_tokens.front(); |
122 | } |
123 | |
124 | BOOST_PROGRAM_OPTIONS_DECL typed_value<bool>* |
125 | bool_switch() |
126 | { |
127 | return bool_switch(0); |
128 | } |
129 | |
130 | BOOST_PROGRAM_OPTIONS_DECL typed_value<bool>* |
131 | bool_switch(bool* v) |
132 | { |
133 | typed_value<bool>* r = new typed_value<bool>(v); |
134 | r->default_value(0); |
135 | r->zero_tokens(); |
136 | |
137 | return r; |
138 | } |
139 | |
140 | /* Validates bool value. |
141 | Any of "1", "true", "yes", "on" will be converted to "1".<br> |
142 | Any of "0", "false", "no", "off" will be converted to "0".<br> |
143 | Case is ignored. The 'xs' vector can either be empty, in which |
144 | case the value is 'true', or can contain explicit value. |
145 | */ |
146 | BOOST_PROGRAM_OPTIONS_DECL void validate(any& v, const vector<string>& xs, |
147 | bool*, int) |
148 | { |
149 | check_first_occurrence(v); |
150 | string s(get_single_string(xs, true)); |
151 | |
152 | for (size_t i = 0; i < s.size(); ++i) |
153 | s[i] = char(tolower(s[i])); |
154 | |
155 | if (s.empty() || s == "on" || s == "yes" || s == "1" || s == "true" ) |
156 | v = any(true); |
157 | else if (s == "off" || s == "no" || s == "0" || s == "false" ) |
158 | v = any(false); |
159 | else |
160 | boost::throw_exception(invalid_bool_value(s)); |
161 | } |
162 | |
163 | // This is blatant copy-paste. However, templating this will cause a problem, |
164 | // since wstring can't be constructed/compared with char*. We'd need to |
165 | // create auxiliary 'widen' routine to convert from char* into |
166 | // needed string type, and that's more work. |
167 | #if !defined(BOOST_NO_STD_WSTRING) |
168 | BOOST_PROGRAM_OPTIONS_DECL |
169 | void validate(any& v, const vector<wstring>& xs, bool*, int) |
170 | { |
171 | check_first_occurrence(v); |
172 | wstring s(get_single_string(xs, true)); |
173 | |
174 | for (size_t i = 0; i < s.size(); ++i) |
175 | s[i] = wchar_t(tolower(s[i])); |
176 | |
177 | if (s.empty() || s == L"on" || s == L"yes" || s == L"1" || s == L"true" ) |
178 | v = any(true); |
179 | else if (s == L"off" || s == L"no" || s == L"0" || s == L"false" ) |
180 | v = any(false); |
181 | else |
182 | boost::throw_exception(invalid_bool_value(convert_value(s))); |
183 | } |
184 | #endif |
185 | BOOST_PROGRAM_OPTIONS_DECL |
186 | void validate(any& v, const vector<string>& xs, std::string*, int) |
187 | { |
188 | check_first_occurrence(v); |
189 | v = any(get_single_string(xs)); |
190 | } |
191 | |
192 | #if !defined(BOOST_NO_STD_WSTRING) |
193 | BOOST_PROGRAM_OPTIONS_DECL |
194 | void validate(any& v, const vector<wstring>& xs, std::string*, int) |
195 | { |
196 | check_first_occurrence(v); |
197 | v = any(get_single_string(xs)); |
198 | } |
199 | #endif |
200 | |
201 | namespace validators { |
202 | |
203 | BOOST_PROGRAM_OPTIONS_DECL |
204 | void check_first_occurrence(const boost::any& value) |
205 | { |
206 | if (!value.empty()) |
207 | boost::throw_exception( |
208 | multiple_occurrences()); |
209 | } |
210 | } |
211 | |
212 | |
213 | invalid_option_value:: |
214 | invalid_option_value(const std::string& bad_value) |
215 | : validation_error(validation_error::invalid_option_value) |
216 | { |
217 | set_substitute("value" , bad_value); |
218 | } |
219 | |
220 | #ifndef BOOST_NO_STD_WSTRING |
221 | invalid_option_value:: |
222 | invalid_option_value(const std::wstring& bad_value) |
223 | : validation_error(validation_error::invalid_option_value) |
224 | { |
225 | set_substitute("value" , convert_value(bad_value)); |
226 | } |
227 | #endif |
228 | |
229 | |
230 | |
231 | invalid_bool_value:: |
232 | invalid_bool_value(const std::string& bad_value) |
233 | : validation_error(validation_error::invalid_bool_value) |
234 | { |
235 | set_substitute("value" , bad_value); |
236 | } |
237 | |
238 | |
239 | |
240 | |
241 | |
242 | |
243 | error_with_option_name::error_with_option_name( const std::string& template_, |
244 | const std::string& option_name, |
245 | const std::string& original_token, |
246 | int option_style) : |
247 | error(template_), |
248 | m_option_style(option_style), |
249 | m_error_template(template_) |
250 | { |
251 | // parameter | placeholder | value |
252 | // --------- | ----------- | ----- |
253 | set_substitute_default("canonical_option" , "option '%canonical_option%'" , "option" ); |
254 | set_substitute_default("value" , "argument ('%value%')" , "argument" ); |
255 | set_substitute_default("prefix" , "%prefix%" , "" ); |
256 | m_substitutions["option" ] = option_name; |
257 | m_substitutions["original_token" ] = original_token; |
258 | } |
259 | |
260 | |
261 | const char* error_with_option_name::what() const throw() |
262 | { |
263 | // will substitute tokens each time what is run() |
264 | substitute_placeholders(m_error_template); |
265 | |
266 | return m_message.c_str(); |
267 | } |
268 | |
269 | void error_with_option_name::replace_token(const string& from, const string& to) const |
270 | { |
271 | for (;;) |
272 | { |
273 | std::size_t pos = m_message.find(from.c_str(), 0, from.length()); |
274 | // not found: all replaced |
275 | if (pos == std::string::npos) |
276 | return; |
277 | m_message.replace(pos, from.length(), to); |
278 | } |
279 | } |
280 | |
281 | string error_with_option_name::get_canonical_option_prefix() const |
282 | { |
283 | switch (m_option_style) |
284 | { |
285 | case command_line_style::allow_dash_for_short: |
286 | return "-" ; |
287 | case command_line_style::allow_slash_for_short: |
288 | return "/" ; |
289 | case command_line_style::allow_long_disguise: |
290 | return "-" ; |
291 | case command_line_style::allow_long: |
292 | return "--" ; |
293 | case 0: |
294 | return "" ; |
295 | } |
296 | throw std::logic_error("error_with_option_name::m_option_style can only be " |
297 | "one of [0, allow_dash_for_short, allow_slash_for_short, " |
298 | "allow_long_disguise or allow_long]" ); |
299 | } |
300 | |
301 | |
302 | string error_with_option_name::get_canonical_option_name() const |
303 | { |
304 | if (!m_substitutions.find("option" )->second.length()) |
305 | return m_substitutions.find("original_token" )->second; |
306 | |
307 | string original_token = strip_prefixes(m_substitutions.find("original_token" )->second); |
308 | string option_name = strip_prefixes(m_substitutions.find("option" )->second); |
309 | |
310 | // For long options, use option name |
311 | if (m_option_style == command_line_style::allow_long || |
312 | m_option_style == command_line_style::allow_long_disguise) |
313 | return get_canonical_option_prefix() + option_name; |
314 | |
315 | // For short options use first letter of original_token |
316 | if (m_option_style && original_token.length()) |
317 | return get_canonical_option_prefix() + original_token[0]; |
318 | |
319 | // no prefix |
320 | return option_name; |
321 | } |
322 | |
323 | |
324 | void error_with_option_name::substitute_placeholders(const string& error_template) const |
325 | { |
326 | m_message = error_template; |
327 | std::map<std::string, std::string> substitutions(m_substitutions); |
328 | substitutions["canonical_option" ] = get_canonical_option_name(); |
329 | substitutions["prefix" ] = get_canonical_option_prefix(); |
330 | |
331 | |
332 | // |
333 | // replace placeholder with defaults if values are missing |
334 | // |
335 | for (map<string, string_pair>::const_iterator iter = m_substitution_defaults.begin(); |
336 | iter != m_substitution_defaults.end(); ++iter) |
337 | { |
338 | // missing parameter: use default |
339 | if (substitutions.count(iter->first) == 0 || |
340 | substitutions[iter->first].length() == 0) |
341 | replace_token(iter->second.first, iter->second.second); |
342 | } |
343 | |
344 | |
345 | // |
346 | // replace placeholder with values |
347 | // placeholder are denoted by surrounding '%' |
348 | // |
349 | for (map<string, string>::iterator iter = substitutions.begin(); |
350 | iter != substitutions.end(); ++iter) |
351 | replace_token('%' + iter->first + '%', iter->second); |
352 | } |
353 | |
354 | |
355 | void ambiguous_option::substitute_placeholders(const string& original_error_template) const |
356 | { |
357 | // For short forms, all alternatives must be identical, by |
358 | // definition, to the specified option, so we don't need to |
359 | // display alternatives |
360 | if (m_option_style == command_line_style::allow_dash_for_short || |
361 | m_option_style == command_line_style::allow_slash_for_short) |
362 | { |
363 | error_with_option_name::substitute_placeholders(original_error_template); |
364 | return; |
365 | } |
366 | |
367 | |
368 | string error_template = original_error_template; |
369 | // remove duplicates using std::set |
370 | std::set<std::string> alternatives_set (m_alternatives.begin(), m_alternatives.end()); |
371 | std::vector<std::string> alternatives_vec (alternatives_set.begin(), alternatives_set.end()); |
372 | |
373 | error_template += " and matches " ; |
374 | // Being very cautious: should be > 1 alternative! |
375 | if (alternatives_vec.size() > 1) |
376 | { |
377 | for (unsigned i = 0; i < alternatives_vec.size() - 1; ++i) |
378 | error_template += "'%prefix%" + alternatives_vec[i] + "', " ; |
379 | error_template += "and " ; |
380 | } |
381 | |
382 | // there is a programming error if multiple options have the same name... |
383 | if (m_alternatives.size() > 1 && alternatives_vec.size() == 1) |
384 | error_template += "different versions of " ; |
385 | |
386 | error_template += "'%prefix%" + alternatives_vec.back() + "'" ; |
387 | |
388 | |
389 | // use inherited logic |
390 | error_with_option_name::substitute_placeholders(error_template); |
391 | } |
392 | |
393 | |
394 | |
395 | |
396 | |
397 | |
398 | string |
399 | validation_error::get_template(kind_t kind) |
400 | { |
401 | // Initially, store the message in 'const char*' variable, |
402 | // to avoid conversion to std::string in all cases. |
403 | const char* msg; |
404 | switch(kind) |
405 | { |
406 | case invalid_bool_value: |
407 | msg = "the argument ('%value%') for option '%canonical_option%' is invalid. Valid choices are 'on|off', 'yes|no', '1|0' and 'true|false'" ; |
408 | break; |
409 | case invalid_option_value: |
410 | msg = "the argument ('%value%') for option '%canonical_option%' is invalid" ; |
411 | break; |
412 | case multiple_values_not_allowed: |
413 | msg = "option '%canonical_option%' only takes a single argument" ; |
414 | break; |
415 | case at_least_one_value_required: |
416 | msg = "option '%canonical_option%' requires at least one argument" ; |
417 | break; |
418 | // currently unused |
419 | case invalid_option: |
420 | msg = "option '%canonical_option%' is not valid" ; |
421 | break; |
422 | default: |
423 | msg = "unknown error" ; |
424 | } |
425 | return msg; |
426 | } |
427 | |
428 | }} |
429 | |