ArgsParser.cpp 29 KB

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