ArgsParser.cpp 26 KB

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