ArgsParser.cpp 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848
  1. /*
  2. * Copyright (c) 2020, Sergey Bugaev <bugaevc@serenityos.org>
  3. * Copyright (c) 2022, Matthias Zimmerman <matthias291999@gmail.com>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include "AK/JsonObject.h"
  8. #include <AK/Format.h>
  9. #include <AK/StringBuilder.h>
  10. #include <LibCore/ArgsParser.h>
  11. #include <LibCore/Version.h>
  12. #include <getopt.h>
  13. #include <limits.h>
  14. #include <math.h>
  15. #include <stdio.h>
  16. #include <string.h>
  17. static Optional<double> convert_to_double(char const* s)
  18. {
  19. char* p;
  20. double v = strtod(s, &p);
  21. if (isnan(v) || p == s)
  22. return {};
  23. return v;
  24. }
  25. namespace Core {
  26. ArgsParser::ArgsParser()
  27. {
  28. add_option(m_show_help, "Display help message and exit", "help", 0, OptionHideMode::Markdown);
  29. add_option(m_show_version, "Print version", "version", 0, OptionHideMode::Markdown);
  30. add_option(m_perform_autocomplete, "Perform autocompletion", "complete", 0, OptionHideMode::CommandLineAndMarkdown);
  31. }
  32. bool ArgsParser::parse(int argc, char* const* argv, FailureBehavior failure_behavior)
  33. {
  34. auto fail = [this, argv, failure_behavior] {
  35. if (failure_behavior == FailureBehavior::PrintUsage || failure_behavior == FailureBehavior::PrintUsageAndExit)
  36. print_usage(stderr, argv[0]);
  37. if (failure_behavior == FailureBehavior::Exit || failure_behavior == FailureBehavior::PrintUsageAndExit)
  38. exit(1);
  39. };
  40. Vector<option> long_options;
  41. StringBuilder short_options_builder;
  42. if (m_stop_on_first_non_option)
  43. short_options_builder.append('+');
  44. int index_of_found_long_option = -1;
  45. // Tell getopt() to reset its internal state, and start scanning from optind = 1.
  46. // We could also set optreset = 1, but the host platform may not support that.
  47. optind = 0;
  48. for (size_t i = 0; i < m_options.size(); i++) {
  49. auto& opt = m_options[i];
  50. if (opt.long_name) {
  51. option long_opt {
  52. opt.long_name,
  53. opt.argument_mode == OptionArgumentMode::Required ? required_argument : (opt.argument_mode == OptionArgumentMode::Optional ? optional_argument : no_argument),
  54. &index_of_found_long_option,
  55. static_cast<int>(i)
  56. };
  57. long_options.append(long_opt);
  58. }
  59. if (opt.short_name) {
  60. short_options_builder.append(opt.short_name);
  61. if (opt.argument_mode != OptionArgumentMode::None)
  62. short_options_builder.append(':');
  63. // Note: This is a GNU extension.
  64. if (opt.argument_mode == OptionArgumentMode::Optional)
  65. short_options_builder.append(':');
  66. }
  67. }
  68. long_options.append({ 0, 0, 0, 0 });
  69. DeprecatedString short_options = short_options_builder.build();
  70. while (true) {
  71. int c = getopt_long(argc, argv, short_options.characters(), long_options.data(), nullptr);
  72. if (c == -1) {
  73. // We have reached the end.
  74. break;
  75. } else if (c == '?') {
  76. // There was an error, and getopt() has already
  77. // printed its error message.
  78. fail();
  79. return false;
  80. }
  81. // Let's see what option we just found.
  82. Option* found_option = nullptr;
  83. if (c == 0) {
  84. // It was a long option.
  85. VERIFY(index_of_found_long_option >= 0);
  86. found_option = &m_options[index_of_found_long_option];
  87. index_of_found_long_option = -1;
  88. } else {
  89. // It was a short option, look it up.
  90. auto it = m_options.find_if([c](auto& opt) { return c == opt.short_name; });
  91. VERIFY(!it.is_end());
  92. found_option = &*it;
  93. }
  94. VERIFY(found_option);
  95. char const* arg = found_option->argument_mode != OptionArgumentMode::None ? optarg : nullptr;
  96. if (!found_option->accept_value(arg)) {
  97. warnln("\033[31mInvalid value for option \033[1m{}\033[22m\033[0m", found_option->name_for_display());
  98. fail();
  99. return false;
  100. }
  101. }
  102. // We're done processing options.
  103. // Now let's show version or help if requested, or perform autocompletion if needed.
  104. if (m_show_version) {
  105. print_version(stdout);
  106. if (failure_behavior == FailureBehavior::Exit || failure_behavior == FailureBehavior::PrintUsageAndExit)
  107. exit(0);
  108. return false;
  109. }
  110. if (m_show_help) {
  111. print_usage(stdout, argv[0]);
  112. if (failure_behavior == FailureBehavior::Exit || failure_behavior == FailureBehavior::PrintUsageAndExit)
  113. exit(0);
  114. return false;
  115. }
  116. if (m_perform_autocomplete) {
  117. autocomplete(stdout, { argv[0], strlen(argv[0]) }, Span<char const* const> { argv + optind, static_cast<size_t>(argc - optind) });
  118. if (failure_behavior == FailureBehavior::Exit || failure_behavior == FailureBehavior::PrintUsageAndExit)
  119. exit(0);
  120. return false;
  121. }
  122. // Now let's parse positional arguments.
  123. int values_left = argc - optind;
  124. Vector<int, 16> num_values_for_arg;
  125. num_values_for_arg.resize(m_positional_args.size(), true);
  126. int total_values_required = 0;
  127. for (size_t i = 0; i < m_positional_args.size(); i++) {
  128. auto& arg = m_positional_args[i];
  129. num_values_for_arg[i] = arg.min_values;
  130. total_values_required += arg.min_values;
  131. }
  132. if (total_values_required > values_left) {
  133. fail();
  134. return false;
  135. }
  136. int extra_values_to_distribute = values_left - total_values_required;
  137. for (size_t i = 0; i < m_positional_args.size(); i++) {
  138. auto& arg = m_positional_args[i];
  139. int extra_values_to_this_arg = min(arg.max_values - arg.min_values, extra_values_to_distribute);
  140. num_values_for_arg[i] += extra_values_to_this_arg;
  141. extra_values_to_distribute -= extra_values_to_this_arg;
  142. if (extra_values_to_distribute == 0)
  143. break;
  144. }
  145. if (extra_values_to_distribute > 0) {
  146. // We still have too many values :(
  147. fail();
  148. return false;
  149. }
  150. for (size_t i = 0; i < m_positional_args.size(); i++) {
  151. auto& arg = m_positional_args[i];
  152. for (int j = 0; j < num_values_for_arg[i]; j++) {
  153. char const* value = argv[optind++];
  154. if (!arg.accept_value(value)) {
  155. warnln("Invalid value for argument {}", arg.name);
  156. fail();
  157. return false;
  158. }
  159. }
  160. }
  161. return true;
  162. }
  163. void ArgsParser::print_usage(FILE* file, char const* argv0)
  164. {
  165. char const* env_preference = getenv("ARGSPARSER_EMIT_MARKDOWN");
  166. if (env_preference != nullptr && env_preference[0] == '1' && env_preference[1] == 0) {
  167. print_usage_markdown(file, argv0);
  168. } else {
  169. print_usage_terminal(file, argv0);
  170. }
  171. }
  172. void ArgsParser::print_usage_terminal(FILE* file, char const* argv0)
  173. {
  174. out(file, "Usage:\n\t\033[1m{}\033[0m", argv0);
  175. for (auto& opt : m_options) {
  176. if (opt.hide_mode != OptionHideMode::None)
  177. continue;
  178. if (opt.argument_mode == OptionArgumentMode::Required)
  179. out(file, " [{} {}]", opt.name_for_display(), opt.value_name);
  180. else if (opt.argument_mode == OptionArgumentMode::Optional)
  181. out(file, " [{}[{}{}]]", opt.name_for_display(), opt.long_name ? "="sv : ""sv, opt.value_name);
  182. else
  183. out(file, " [{}]", opt.name_for_display());
  184. }
  185. for (auto& arg : m_positional_args) {
  186. bool required = arg.min_values > 0;
  187. bool repeated = arg.max_values > 1;
  188. if (required && repeated)
  189. out(file, " <{}...>", arg.name);
  190. else if (required && !repeated)
  191. out(file, " <{}>", arg.name);
  192. else if (!required && repeated)
  193. out(file, " [{}...]", arg.name);
  194. else if (!required && !repeated)
  195. out(file, " [{}]", arg.name);
  196. }
  197. outln(file);
  198. if (m_general_help != nullptr && m_general_help[0] != '\0') {
  199. outln(file, "\nDescription:");
  200. outln(file, "{}", m_general_help);
  201. }
  202. if (!m_options.is_empty())
  203. outln(file, "\nOptions:");
  204. for (auto& opt : m_options) {
  205. if (opt.hide_mode == OptionHideMode::CommandLineAndMarkdown)
  206. continue;
  207. auto print_argument = [&](StringView value_delimiter) {
  208. if (opt.value_name) {
  209. if (opt.argument_mode == OptionArgumentMode::Required)
  210. out(file, " {}", opt.value_name);
  211. if (opt.argument_mode == OptionArgumentMode::Optional)
  212. out(file, "[{}{}]", value_delimiter, opt.value_name);
  213. }
  214. };
  215. out(file, "\t");
  216. if (opt.short_name) {
  217. out(file, "\033[1m-{}\033[0m", opt.short_name);
  218. print_argument(""sv);
  219. }
  220. if (opt.short_name && opt.long_name)
  221. out(file, ", ");
  222. if (opt.long_name) {
  223. out(file, "\033[1m--{}\033[0m", opt.long_name);
  224. print_argument("="sv);
  225. }
  226. if (opt.help_string)
  227. out(file, "\t{}", opt.help_string);
  228. outln(file);
  229. }
  230. if (!m_positional_args.is_empty())
  231. outln(file, "\nArguments:");
  232. for (auto& arg : m_positional_args) {
  233. out(file, "\t\033[1m{}\033[0m", arg.name);
  234. if (arg.help_string)
  235. out(file, "\t{}", arg.help_string);
  236. outln(file);
  237. }
  238. }
  239. void ArgsParser::print_usage_markdown(FILE* file, char const* argv0)
  240. {
  241. outln(file, "## Name\n\n{}", argv0);
  242. out(file, "\n## Synopsis\n\n```sh\n$ {}", argv0);
  243. for (auto& opt : m_options) {
  244. if (opt.hide_mode != OptionHideMode::None)
  245. continue;
  246. // FIXME: We allow opt.value_name to be empty even if the option
  247. // requires an argument. This should be disallowed as it will
  248. // currently display a blank name after the option.
  249. if (opt.argument_mode == OptionArgumentMode::Required)
  250. out(file, " [{} {}]", opt.name_for_display(), opt.value_name ?: "");
  251. else if (opt.argument_mode == OptionArgumentMode::Optional)
  252. out(file, " [{}[{}{}]]", opt.name_for_display(), opt.long_name ? "="sv : ""sv, opt.value_name);
  253. else
  254. out(file, " [{}]", opt.name_for_display());
  255. }
  256. for (auto& arg : m_positional_args) {
  257. bool required = arg.min_values > 0;
  258. bool repeated = arg.max_values > 1;
  259. if (required && repeated)
  260. out(file, " <{}...>", arg.name);
  261. else if (required && !repeated)
  262. out(file, " <{}>", arg.name);
  263. else if (!required && repeated)
  264. out(file, " [{}...]", arg.name);
  265. else if (!required && !repeated)
  266. out(file, " [{}]", arg.name);
  267. }
  268. outln(file, "\n```");
  269. if (m_general_help != nullptr && m_general_help[0] != '\0') {
  270. outln(file, "\n## Description\n\n{}", m_general_help);
  271. }
  272. auto should_display_option = [](Option& opt) {
  273. return !(opt.hide_mode == OptionHideMode::Markdown || opt.hide_mode == OptionHideMode::CommandLineAndMarkdown);
  274. };
  275. size_t options_to_display = 0;
  276. for (auto& opt : m_options) {
  277. if (!should_display_option(opt))
  278. continue;
  279. options_to_display++;
  280. }
  281. if (options_to_display > 0)
  282. outln(file, "\n## Options:\n");
  283. for (auto& opt : m_options) {
  284. if (!should_display_option(opt))
  285. continue;
  286. auto print_argument = [&](StringView value_delimiter) {
  287. if (opt.value_name != nullptr) {
  288. if (opt.argument_mode == OptionArgumentMode::Required)
  289. out(file, " {}", opt.value_name);
  290. if (opt.argument_mode == OptionArgumentMode::Optional)
  291. out(file, "[{}{}]", value_delimiter, opt.value_name);
  292. }
  293. };
  294. out(file, "* ");
  295. if (opt.short_name != '\0') {
  296. out(file, "`-{}", opt.short_name);
  297. print_argument(""sv);
  298. out(file, "`");
  299. }
  300. if (opt.short_name != '\0' && opt.long_name != nullptr)
  301. out(file, ", ");
  302. if (opt.long_name != nullptr) {
  303. out(file, "`--{}", opt.long_name);
  304. print_argument("="sv);
  305. out(file, "`");
  306. }
  307. if (opt.help_string != nullptr)
  308. out(file, ": {}", opt.help_string);
  309. outln(file);
  310. }
  311. if (!m_positional_args.is_empty())
  312. outln(file, "\n## Arguments:\n");
  313. for (auto& arg : m_positional_args) {
  314. out(file, "* `{}`", arg.name);
  315. if (arg.help_string != nullptr)
  316. out(file, ": {}", arg.help_string);
  317. outln(file);
  318. }
  319. }
  320. void ArgsParser::print_version(FILE* file)
  321. {
  322. outln(file, Core::Version::read_long_version_string());
  323. }
  324. void ArgsParser::add_option(Option&& option)
  325. {
  326. m_options.append(move(option));
  327. }
  328. void ArgsParser::add_ignored(char const* long_name, char short_name, OptionHideMode hide_mode)
  329. {
  330. Option option {
  331. OptionArgumentMode::None,
  332. "Ignored",
  333. long_name,
  334. short_name,
  335. nullptr,
  336. [](char const*) {
  337. return true;
  338. },
  339. hide_mode,
  340. };
  341. add_option(move(option));
  342. }
  343. void ArgsParser::add_option(bool& value, char const* help_string, char const* long_name, char short_name, OptionHideMode hide_mode)
  344. {
  345. Option option {
  346. OptionArgumentMode::None,
  347. help_string,
  348. long_name,
  349. short_name,
  350. nullptr,
  351. [&value](char const* s) {
  352. VERIFY(s == nullptr);
  353. value = true;
  354. return true;
  355. },
  356. hide_mode,
  357. };
  358. add_option(move(option));
  359. }
  360. void ArgsParser::add_option(char const*& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  361. {
  362. Option option {
  363. OptionArgumentMode::Required,
  364. help_string,
  365. long_name,
  366. short_name,
  367. value_name,
  368. [&value](char const* s) {
  369. value = s;
  370. return true;
  371. },
  372. hide_mode,
  373. };
  374. add_option(move(option));
  375. }
  376. void ArgsParser::add_option(DeprecatedString& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  377. {
  378. Option option {
  379. OptionArgumentMode::Required,
  380. help_string,
  381. long_name,
  382. short_name,
  383. value_name,
  384. [&value](char const* s) {
  385. value = s;
  386. return true;
  387. },
  388. hide_mode,
  389. };
  390. add_option(move(option));
  391. }
  392. void ArgsParser::add_option(StringView& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  393. {
  394. Option option {
  395. OptionArgumentMode::Required,
  396. help_string,
  397. long_name,
  398. short_name,
  399. value_name,
  400. [&value](char const* s) {
  401. value = { s, strlen(s) };
  402. return true;
  403. },
  404. hide_mode,
  405. };
  406. add_option(move(option));
  407. }
  408. template<Integral I>
  409. void ArgsParser::add_option(I& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  410. {
  411. Option option {
  412. OptionArgumentMode::Required,
  413. help_string,
  414. long_name,
  415. short_name,
  416. value_name,
  417. [&value](char const* s) {
  418. auto view = StringView { s, strlen(s) };
  419. Optional<I> opt;
  420. if constexpr (IsSigned<I>)
  421. opt = view.to_int<I>();
  422. else
  423. opt = view.to_uint<I>();
  424. value = opt.value_or(0);
  425. return opt.has_value();
  426. },
  427. hide_mode,
  428. };
  429. add_option(move(option));
  430. }
  431. template void ArgsParser::add_option(int&, char const*, char const*, char, char const*, OptionHideMode);
  432. template void ArgsParser::add_option(long&, char const*, char const*, char, char const*, OptionHideMode);
  433. template void ArgsParser::add_option(long long&, char const*, char const*, char, char const*, OptionHideMode);
  434. template void ArgsParser::add_option(unsigned&, char const*, char const*, char, char const*, OptionHideMode);
  435. template void ArgsParser::add_option(unsigned long&, char const*, char const*, char, char const*, OptionHideMode);
  436. template void ArgsParser::add_option(unsigned long long&, char const*, char const*, char, char const*, OptionHideMode);
  437. void ArgsParser::add_option(double& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  438. {
  439. Option option {
  440. OptionArgumentMode::Required,
  441. help_string,
  442. long_name,
  443. short_name,
  444. value_name,
  445. [&value](char const* s) {
  446. auto opt = convert_to_double(s);
  447. value = opt.value_or(0.0);
  448. return opt.has_value();
  449. },
  450. hide_mode,
  451. };
  452. add_option(move(option));
  453. }
  454. void ArgsParser::add_option(Optional<double>& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  455. {
  456. Option option {
  457. OptionArgumentMode::Required,
  458. help_string,
  459. long_name,
  460. short_name,
  461. value_name,
  462. [&value](char const* s) {
  463. value = convert_to_double(s);
  464. return value.has_value();
  465. },
  466. hide_mode,
  467. };
  468. add_option(move(option));
  469. }
  470. void ArgsParser::add_option(Optional<size_t>& value, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  471. {
  472. Option option {
  473. OptionArgumentMode::Required,
  474. help_string,
  475. long_name,
  476. short_name,
  477. value_name,
  478. [&value](char const* s) {
  479. value = AK::StringUtils::convert_to_uint<size_t>({ s, strlen(s) });
  480. return value.has_value();
  481. },
  482. hide_mode,
  483. };
  484. add_option(move(option));
  485. }
  486. void ArgsParser::add_option(Vector<size_t>& values, char const* help_string, char const* long_name, char short_name, char const* value_name, char separator, OptionHideMode hide_mode)
  487. {
  488. Option option {
  489. OptionArgumentMode::Required,
  490. help_string,
  491. long_name,
  492. short_name,
  493. value_name,
  494. [&values, separator](char const* s) {
  495. bool parsed_all_values = true;
  496. StringView { s, strlen(s) }.for_each_split_view(separator, SplitBehavior::Nothing, [&](auto value) {
  497. if (auto maybe_value = AK::StringUtils::convert_to_uint<size_t>(value); maybe_value.has_value())
  498. values.append(*maybe_value);
  499. else
  500. parsed_all_values = false;
  501. });
  502. return parsed_all_values;
  503. },
  504. hide_mode
  505. };
  506. add_option(move(option));
  507. }
  508. void ArgsParser::add_option(Vector<DeprecatedString>& values, char const* help_string, char const* long_name, char short_name, char const* value_name, OptionHideMode hide_mode)
  509. {
  510. Option option {
  511. OptionArgumentMode::Optional,
  512. help_string,
  513. long_name,
  514. short_name,
  515. value_name,
  516. [&values](char const* s) {
  517. DeprecatedString value = s;
  518. values.append(value);
  519. return true;
  520. },
  521. hide_mode
  522. };
  523. add_option(move(option));
  524. }
  525. void ArgsParser::add_positional_argument(Arg&& arg)
  526. {
  527. m_positional_args.append(move(arg));
  528. }
  529. void ArgsParser::add_positional_argument(char const*& value, char const* help_string, char const* name, Required required)
  530. {
  531. Arg arg {
  532. help_string,
  533. name,
  534. required == Required::Yes ? 1 : 0,
  535. 1,
  536. [&value](char const* s) {
  537. value = s;
  538. return true;
  539. }
  540. };
  541. add_positional_argument(move(arg));
  542. }
  543. void ArgsParser::add_positional_argument(DeprecatedString& value, char const* help_string, char const* name, Required required)
  544. {
  545. Arg arg {
  546. help_string,
  547. name,
  548. required == Required::Yes ? 1 : 0,
  549. 1,
  550. [&value](char const* s) {
  551. value = s;
  552. return true;
  553. }
  554. };
  555. add_positional_argument(move(arg));
  556. }
  557. void ArgsParser::add_positional_argument(StringView& value, char const* help_string, char const* name, Required required)
  558. {
  559. Arg arg {
  560. help_string,
  561. name,
  562. required == Required::Yes ? 1 : 0,
  563. 1,
  564. [&value](char const* s) {
  565. value = { s, strlen(s) };
  566. return true;
  567. }
  568. };
  569. add_positional_argument(move(arg));
  570. }
  571. void ArgsParser::add_positional_argument(int& value, char const* help_string, char const* name, Required required)
  572. {
  573. Arg arg {
  574. help_string,
  575. name,
  576. required == Required::Yes ? 1 : 0,
  577. 1,
  578. [&value](char const* s) {
  579. auto opt = StringView { s, strlen(s) }.to_int();
  580. value = opt.value_or(0);
  581. return opt.has_value();
  582. }
  583. };
  584. add_positional_argument(move(arg));
  585. }
  586. void ArgsParser::add_positional_argument(unsigned& value, char const* help_string, char const* name, Required required)
  587. {
  588. Arg arg {
  589. help_string,
  590. name,
  591. required == Required::Yes ? 1 : 0,
  592. 1,
  593. [&value](char const* s) {
  594. auto opt = StringView { s, strlen(s) }.to_uint();
  595. value = opt.value_or(0);
  596. return opt.has_value();
  597. }
  598. };
  599. add_positional_argument(move(arg));
  600. }
  601. void ArgsParser::add_positional_argument(double& value, char const* help_string, char const* name, Required required)
  602. {
  603. Arg arg {
  604. help_string,
  605. name,
  606. required == Required::Yes ? 1 : 0,
  607. 1,
  608. [&value](char const* s) {
  609. auto opt = convert_to_double(s);
  610. value = opt.value_or(0.0);
  611. return opt.has_value();
  612. }
  613. };
  614. add_positional_argument(move(arg));
  615. }
  616. void ArgsParser::add_positional_argument(Vector<char const*>& values, char const* help_string, char const* name, Required required)
  617. {
  618. Arg arg {
  619. help_string,
  620. name,
  621. required == Required::Yes ? 1 : 0,
  622. INT_MAX,
  623. [&values](char const* s) {
  624. values.append(s);
  625. return true;
  626. }
  627. };
  628. add_positional_argument(move(arg));
  629. }
  630. void ArgsParser::add_positional_argument(Vector<DeprecatedString>& values, char const* help_string, char const* name, Required required)
  631. {
  632. Arg arg {
  633. help_string,
  634. name,
  635. required == Required::Yes ? 1 : 0,
  636. INT_MAX,
  637. [&values](char const* s) {
  638. values.append(s);
  639. return true;
  640. }
  641. };
  642. add_positional_argument(move(arg));
  643. }
  644. void ArgsParser::add_positional_argument(Vector<StringView>& values, char const* help_string, char const* name, Required required)
  645. {
  646. Arg arg {
  647. help_string,
  648. name,
  649. required == Required::Yes ? 1 : 0,
  650. INT_MAX,
  651. [&values](char const* s) {
  652. values.append({ s, strlen(s) });
  653. return true;
  654. }
  655. };
  656. add_positional_argument(move(arg));
  657. }
  658. void ArgsParser::autocomplete(FILE* file, StringView program_name, Span<char const* const> remaining_arguments)
  659. {
  660. // We expect the full invocation of the program to be available as positional args,
  661. // e.g. `foo --bar arg -b` (program invoked as `foo --complete -- foo --bar arg -b`)
  662. auto first = true;
  663. auto seen_all_options = false;
  664. auto skip_next = false;
  665. StringView argument_to_complete;
  666. StringView option_to_complete;
  667. auto completing_option = false;
  668. for (auto& arg : remaining_arguments) {
  669. StringView argument { arg, strlen(arg) };
  670. completing_option = false;
  671. if (skip_next) {
  672. argument_to_complete = argument;
  673. skip_next = false;
  674. continue;
  675. }
  676. // Skip over the program name.
  677. if (first && program_name == argument) {
  678. first = false;
  679. continue;
  680. }
  681. if (seen_all_options) {
  682. argument_to_complete = argument;
  683. continue;
  684. }
  685. if (argument.starts_with("--"sv)) {
  686. option_to_complete = argument;
  687. completing_option = true;
  688. if (argument == "--") {
  689. seen_all_options = true;
  690. continue;
  691. }
  692. // Look for a long option
  693. auto option_pattern = argument.substring_view(2);
  694. auto it = m_options.find_if([&](auto& option) { return option.hide_mode != OptionHideMode::None && StringView { option.long_name, strlen(option.long_name) } == option_pattern; });
  695. if (it.is_end())
  696. continue;
  697. if (it->argument_mode == OptionArgumentMode::Required)
  698. skip_next = true;
  699. continue;
  700. }
  701. if (argument.starts_with('-')) {
  702. option_to_complete = argument;
  703. completing_option = true;
  704. if (argument == "-") {
  705. option_to_complete = argument;
  706. continue;
  707. }
  708. // Look for a short option
  709. auto option_pattern = argument[argument.length() - 1];
  710. auto it = m_options.find_if([&](auto& option) { return option.hide_mode != OptionHideMode::None && option.short_name == option_pattern; });
  711. if (it.is_end())
  712. continue;
  713. if (it->argument_mode == OptionArgumentMode::Required)
  714. skip_next = true;
  715. continue;
  716. }
  717. }
  718. // We don't know how to complete arguments quite yet.
  719. if (!completing_option)
  720. return;
  721. auto write_completion = [&](auto format, auto& option, auto has_invariant, auto... args) {
  722. JsonObject object;
  723. object.set("completion", DeprecatedString::formatted(StringView { format, strlen(format) }, args...));
  724. object.set("static_offset", 0);
  725. object.set("invariant_offset", has_invariant ? option_to_complete.length() : 0u);
  726. object.set("display_trivia", option.help_string);
  727. object.set("trailing_trivia", option.argument_mode == OptionArgumentMode::Required ? " " : "");
  728. outln(file, "{}", object.to_deprecated_string());
  729. };
  730. if (option_to_complete.starts_with("--"sv)) {
  731. // Complete a long option.
  732. auto option_pattern = option_to_complete.substring_view(2);
  733. for (auto& option : m_options) {
  734. if (option.hide_mode != OptionHideMode::None)
  735. continue;
  736. StringView option_string { option.long_name, strlen(option.long_name) };
  737. if (option_string.starts_with(option_pattern)) {
  738. write_completion("--{}", option, true, option_string);
  739. }
  740. }
  741. } else {
  742. // Complete a short option, note that we're not going to attempt to 'match' anything here.
  743. for (auto& option : m_options) {
  744. if (option.hide_mode != OptionHideMode::None)
  745. continue;
  746. if (option.short_name == 0)
  747. continue;
  748. auto has_invariant = option_to_complete == "-";
  749. write_completion("{}{}", option, has_invariant, has_invariant ? "-" : "", option.short_name);
  750. }
  751. }
  752. }
  753. }