ArgsParser.cpp 27 KB

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