macro.do_parse.html 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. <!DOCTYPE html>
  2. <html lang="en">
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  6. <meta name="generator" content="rustdoc">
  7. <meta name="description" content="API documentation for the Rust `do_parse` macro in crate `synom`.">
  8. <meta name="keywords" content="rust, rustlang, rust-lang, do_parse">
  9. <title>synom::do_parse - Rust</title>
  10. <link rel="stylesheet" type="text/css" href="../normalize.css">
  11. <link rel="stylesheet" type="text/css" href="../rustdoc.css" id="mainThemeStyle">
  12. <link rel="stylesheet" type="text/css" href="../dark.css">
  13. <link rel="stylesheet" type="text/css" href="../main.css" id="themeStyle">
  14. <script src="../storage.js"></script>
  15. </head>
  16. <body class="rustdoc macro">
  17. <!--[if lte IE 8]>
  18. <div class="warning">
  19. This old browser is unsupported and will most likely display funky
  20. things.
  21. </div>
  22. <![endif]-->
  23. <nav class="sidebar">
  24. <div class="sidebar-menu">&#9776;</div>
  25. <p class='location'><a href='index.html'>synom</a></p><script>window.sidebarCurrent = {name: 'do_parse', ty: 'macro', relpath: ''};</script><script defer src="sidebar-items.js"></script>
  26. </nav>
  27. <div class="theme-picker">
  28. <button id="theme-picker" aria-label="Pick another theme!">
  29. <img src="../brush.svg" width="18" alt="Pick another theme!">
  30. </button>
  31. <div id="theme-choices"></div>
  32. </div>
  33. <script src="../theme.js"></script>
  34. <nav class="sub">
  35. <form class="search-form js-only">
  36. <div class="search-container">
  37. <input class="search-input" name="search"
  38. autocomplete="off"
  39. placeholder="Click or press ‘S’ to search, ‘?’ for more options…"
  40. type="search">
  41. </div>
  42. </form>
  43. </nav>
  44. <section id='main' class="content">
  45. <h1 class='fqn'><span class='in-band'>Macro <a href='index.html'>synom</a>::<wbr><a class="macro" href=''>do_parse</a></span><span class='out-of-band'><span id='render-detail'>
  46. <a id="toggle-all-docs" href="javascript:void(0)" title="collapse all docs">
  47. [<span class='inner'>&#x2212;</span>]
  48. </a>
  49. </span><a class='srclink' href='../src/synom/lib.rs.html#1181-1225' title='goto source code'>[src]</a></span></h1>
  50. <pre class="rust macro">
  51. <span class="macro">macro_rules</span><span class="macro">!</span> <span class="ident">do_parse</span> {
  52. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, ( $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">expr</span>),<span class="op">*</span> )) <span class="op">=&gt;</span> { ... };
  53. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">e</span>:<span class="ident">ident</span> <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  54. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">submac</span>:<span class="macro">ident</span><span class="macro">!</span>( $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">args</span>:<span class="ident">tt</span>)<span class="op">*</span> ) <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  55. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">field</span>:<span class="ident">ident</span> : <span class="macro-nonterminal">$</span><span class="macro-nonterminal">e</span>:<span class="ident">ident</span> <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  56. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">field</span>:<span class="ident">ident</span> : <span class="macro-nonterminal">$</span><span class="macro-nonterminal">submac</span>:<span class="macro">ident</span><span class="macro">!</span>( $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">args</span>:<span class="ident">tt</span>)<span class="op">*</span> ) <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  57. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="kw-2">mut</span> <span class="macro-nonterminal">$</span><span class="macro-nonterminal">field</span>:<span class="ident">ident</span> : <span class="macro-nonterminal">$</span><span class="macro-nonterminal">e</span>:<span class="ident">ident</span> <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  58. (<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="kw-2">mut</span> <span class="macro-nonterminal">$</span><span class="macro-nonterminal">field</span>:<span class="ident">ident</span> : <span class="macro-nonterminal">$</span><span class="macro-nonterminal">submac</span>:<span class="macro">ident</span><span class="macro">!</span>( $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">args</span>:<span class="ident">tt</span>)<span class="op">*</span> ) <span class="op">&gt;&gt;</span> $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">rest</span>:<span class="ident">tt</span>)<span class="kw-2">*</span>) <span class="op">=&gt;</span> { ... };
  59. }</pre>
  60. <div class='docblock'><p>Run a series of parsers, one after another, optionally assigning the results
  61. a name. Fail if any of the parsers fails.</p>
  62. <p>Produces the result of evaluating the final expression in parentheses with
  63. all of the previously named results bound.</p>
  64. <ul>
  65. <li><strong>Syntax:</strong> <code>do_parse!(name: THING1 &gt;&gt; THING2 &gt;&gt; (RESULT))</code></li>
  66. <li><strong>Output:</strong> <code>RESULT</code></li>
  67. </ul>
  68. <pre class="rust rust-example-rendered">
  69. <span class="kw">extern</span> <span class="kw">crate</span> <span class="ident">syn</span>;
  70. <span class="attribute">#[<span class="ident">macro_use</span>]</span> <span class="kw">extern</span> <span class="kw">crate</span> <span class="ident">synom</span>;
  71. <span class="kw">use</span> <span class="ident">syn</span>::{<span class="ident">Ident</span>, <span class="ident">TokenTree</span>};
  72. <span class="kw">use</span> <span class="ident">syn</span>::<span class="ident">parse</span>::{<span class="ident">ident</span>, <span class="ident">tt</span>};
  73. <span class="comment">// Parse a macro invocation like `stringify!($args)`.</span>
  74. <span class="macro">named</span><span class="macro">!</span>(<span class="ident">simple_mac</span> <span class="op">-&gt;</span> (<span class="ident">Ident</span>, <span class="ident">TokenTree</span>), <span class="macro">do_parse</span><span class="macro">!</span>(
  75. <span class="ident">name</span>: <span class="ident">ident</span> <span class="op">&gt;&gt;</span>
  76. <span class="macro">punct</span><span class="macro">!</span>(<span class="string">&quot;!&quot;</span>) <span class="op">&gt;&gt;</span>
  77. <span class="ident">body</span>: <span class="ident">tt</span> <span class="op">&gt;&gt;</span>
  78. (<span class="ident">name</span>, <span class="ident">body</span>)
  79. ));
  80. <span class="kw">fn</span> <span class="ident">main</span>() {
  81. <span class="kw">let</span> <span class="ident">input</span> <span class="op">=</span> <span class="string">&quot;stringify!($args)&quot;</span>;
  82. <span class="kw">let</span> (<span class="ident">name</span>, <span class="ident">body</span>) <span class="op">=</span> <span class="ident">simple_mac</span>(<span class="ident">input</span>).<span class="ident">expect</span>(<span class="string">&quot;macro invocation&quot;</span>);
  83. <span class="macro">println</span><span class="macro">!</span>(<span class="string">&quot;{:?}&quot;</span>, <span class="ident">name</span>);
  84. <span class="macro">println</span><span class="macro">!</span>(<span class="string">&quot;{:?}&quot;</span>, <span class="ident">body</span>);
  85. }</pre>
  86. </div></section>
  87. <section id='search' class="content hidden"></section>
  88. <section class="footer"></section>
  89. <aside id="help" class="hidden">
  90. <div>
  91. <h1 class="hidden">Help</h1>
  92. <div class="shortcuts">
  93. <h2>Keyboard Shortcuts</h2>
  94. <dl>
  95. <dt><kbd>?</kbd></dt>
  96. <dd>Show this help dialog</dd>
  97. <dt><kbd>S</kbd></dt>
  98. <dd>Focus the search field</dd>
  99. <dt><kbd>↑</kbd></dt>
  100. <dd>Move up in search results</dd>
  101. <dt><kbd>↓</kbd></dt>
  102. <dd>Move down in search results</dd>
  103. <dt><kbd>↹</kbd></dt>
  104. <dd>Switch tab</dd>
  105. <dt><kbd>&#9166;</kbd></dt>
  106. <dd>Go to active search result</dd>
  107. <dt><kbd>+</kbd></dt>
  108. <dd>Expand all sections</dd>
  109. <dt><kbd>-</kbd></dt>
  110. <dd>Collapse all sections</dd>
  111. </dl>
  112. </div>
  113. <div class="infos">
  114. <h2>Search Tricks</h2>
  115. <p>
  116. Prefix searches with a type followed by a colon (e.g.
  117. <code>fn:</code>) to restrict the search to a given type.
  118. </p>
  119. <p>
  120. Accepted types are: <code>fn</code>, <code>mod</code>,
  121. <code>struct</code>, <code>enum</code>,
  122. <code>trait</code>, <code>type</code>, <code>macro</code>,
  123. and <code>const</code>.
  124. </p>
  125. <p>
  126. Search functions by type signature (e.g.
  127. <code>vec -> usize</code> or <code>* -> vec</code>)
  128. </p>
  129. </div>
  130. </div>
  131. </aside>
  132. <script>
  133. window.rootPath = "../";
  134. window.currentCrate = "synom";
  135. </script>
  136. <script src="../main.js"></script>
  137. <script defer src="../search-index.js"></script>
  138. </body>
  139. </html>