diff options
Diffstat (limited to 'src/regex_macros/lib.rs.html')
| -rw-r--r-- | src/regex_macros/lib.rs.html | 1215 |
1 files changed, 1215 insertions, 0 deletions
diff --git a/src/regex_macros/lib.rs.html b/src/regex_macros/lib.rs.html new file mode 100644 index 0000000..6a743da --- /dev/null +++ b/src/regex_macros/lib.rs.html @@ -0,0 +1,1215 @@ +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="utf-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0"> + <meta name="generator" content="rustdoc"> + <meta name="description" content="Source to the Rust file `/home/travis/.cargo/registry/src/github.com-0a35038f75765ae4/regex_macros-0.1.20/src/lib.rs`."> + <meta name="keywords" content="rust, rustlang, rust-lang"> + + <title>lib.rs.html -- source</title> + + <link rel="stylesheet" type="text/css" href="../../main.css"> + + <link rel="shortcut icon" href="http://www.rust-lang.org/favicon.ico"> + +</head> +<body class="rustdoc"> + <!--[if lte IE 8]> + <div class="warning"> + This old browser is unsupported and will most likely display funky + things. + </div> + <![endif]--> + + + + <section class="sidebar"> + <a href='../../regex_macros/index.html'><img src='http://www.rust-lang.org/logos/rust-logo-128x128-blk-v2.png' alt='' width='100'></a> + + </section> + + <nav class="sub"> + <form class="search-form js-only"> + <div class="search-container"> + <input class="search-input" name="search" + autocomplete="off" + placeholder="Click or press 'S' to search, '?' for more options..." + type="search"> + </div> + </form> + </nav> + + <section id='main' class="content source"><pre class="line-numbers"><span id="1"> 1</span> +<span id="2"> 2</span> +<span id="3"> 3</span> +<span id="4"> 4</span> +<span id="5"> 5</span> +<span id="6"> 6</span> +<span id="7"> 7</span> +<span id="8"> 8</span> +<span id="9"> 9</span> +<span id="10"> 10</span> +<span id="11"> 11</span> +<span id="12"> 12</span> +<span id="13"> 13</span> +<span id="14"> 14</span> +<span id="15"> 15</span> +<span id="16"> 16</span> +<span id="17"> 17</span> +<span id="18"> 18</span> +<span id="19"> 19</span> +<span id="20"> 20</span> +<span id="21"> 21</span> +<span id="22"> 22</span> +<span id="23"> 23</span> +<span id="24"> 24</span> +<span id="25"> 25</span> +<span id="26"> 26</span> +<span id="27"> 27</span> +<span id="28"> 28</span> +<span id="29"> 29</span> +<span id="30"> 30</span> +<span id="31"> 31</span> +<span id="32"> 32</span> +<span id="33"> 33</span> +<span id="34"> 34</span> +<span id="35"> 35</span> +<span id="36"> 36</span> +<span id="37"> 37</span> +<span id="38"> 38</span> +<span id="39"> 39</span> +<span id="40"> 40</span> +<span id="41"> 41</span> +<span id="42"> 42</span> +<span id="43"> 43</span> +<span id="44"> 44</span> +<span id="45"> 45</span> +<span id="46"> 46</span> +<span id="47"> 47</span> +<span id="48"> 48</span> +<span id="49"> 49</span> +<span id="50"> 50</span> +<span id="51"> 51</span> +<span id="52"> 52</span> +<span id="53"> 53</span> +<span id="54"> 54</span> +<span id="55"> 55</span> +<span id="56"> 56</span> +<span id="57"> 57</span> +<span id="58"> 58</span> +<span id="59"> 59</span> +<span id="60"> 60</span> +<span id="61"> 61</span> +<span id="62"> 62</span> +<span id="63"> 63</span> +<span id="64"> 64</span> +<span id="65"> 65</span> +<span id="66"> 66</span> +<span id="67"> 67</span> +<span id="68"> 68</span> +<span id="69"> 69</span> +<span id="70"> 70</span> +<span id="71"> 71</span> +<span id="72"> 72</span> +<span id="73"> 73</span> +<span id="74"> 74</span> +<span id="75"> 75</span> +<span id="76"> 76</span> +<span id="77"> 77</span> +<span id="78"> 78</span> +<span id="79"> 79</span> +<span id="80"> 80</span> +<span id="81"> 81</span> +<span id="82"> 82</span> +<span id="83"> 83</span> +<span id="84"> 84</span> +<span id="85"> 85</span> +<span id="86"> 86</span> +<span id="87"> 87</span> +<span id="88"> 88</span> +<span id="89"> 89</span> +<span id="90"> 90</span> +<span id="91"> 91</span> +<span id="92"> 92</span> +<span id="93"> 93</span> +<span id="94"> 94</span> +<span id="95"> 95</span> +<span id="96"> 96</span> +<span id="97"> 97</span> +<span id="98"> 98</span> +<span id="99"> 99</span> +<span id="100">100</span> +<span id="101">101</span> +<span id="102">102</span> +<span id="103">103</span> +<span id="104">104</span> +<span id="105">105</span> +<span id="106">106</span> +<span id="107">107</span> +<span id="108">108</span> +<span id="109">109</span> +<span id="110">110</span> +<span id="111">111</span> +<span id="112">112</span> +<span id="113">113</span> +<span id="114">114</span> +<span id="115">115</span> +<span id="116">116</span> +<span id="117">117</span> +<span id="118">118</span> +<span id="119">119</span> +<span id="120">120</span> +<span id="121">121</span> +<span id="122">122</span> +<span id="123">123</span> +<span id="124">124</span> +<span id="125">125</span> +<span id="126">126</span> +<span id="127">127</span> +<span id="128">128</span> +<span id="129">129</span> +<span id="130">130</span> +<span id="131">131</span> +<span id="132">132</span> +<span id="133">133</span> +<span id="134">134</span> +<span id="135">135</span> +<span id="136">136</span> +<span id="137">137</span> +<span id="138">138</span> +<span id="139">139</span> +<span id="140">140</span> +<span id="141">141</span> +<span id="142">142</span> +<span id="143">143</span> +<span id="144">144</span> +<span id="145">145</span> +<span id="146">146</span> +<span id="147">147</span> +<span id="148">148</span> +<span id="149">149</span> +<span id="150">150</span> +<span id="151">151</span> +<span id="152">152</span> +<span id="153">153</span> +<span id="154">154</span> +<span id="155">155</span> +<span id="156">156</span> +<span id="157">157</span> +<span id="158">158</span> +<span id="159">159</span> +<span id="160">160</span> +<span id="161">161</span> +<span id="162">162</span> +<span id="163">163</span> +<span id="164">164</span> +<span id="165">165</span> +<span id="166">166</span> +<span id="167">167</span> +<span id="168">168</span> +<span id="169">169</span> +<span id="170">170</span> +<span id="171">171</span> +<span id="172">172</span> +<span id="173">173</span> +<span id="174">174</span> +<span id="175">175</span> +<span id="176">176</span> +<span id="177">177</span> +<span id="178">178</span> +<span id="179">179</span> +<span id="180">180</span> +<span id="181">181</span> +<span id="182">182</span> +<span id="183">183</span> +<span id="184">184</span> +<span id="185">185</span> +<span id="186">186</span> +<span id="187">187</span> +<span id="188">188</span> +<span id="189">189</span> +<span id="190">190</span> +<span id="191">191</span> +<span id="192">192</span> +<span id="193">193</span> +<span id="194">194</span> +<span id="195">195</span> +<span id="196">196</span> +<span id="197">197</span> +<span id="198">198</span> +<span id="199">199</span> +<span id="200">200</span> +<span id="201">201</span> +<span id="202">202</span> +<span id="203">203</span> +<span id="204">204</span> +<span id="205">205</span> +<span id="206">206</span> +<span id="207">207</span> +<span id="208">208</span> +<span id="209">209</span> +<span id="210">210</span> +<span id="211">211</span> +<span id="212">212</span> +<span id="213">213</span> +<span id="214">214</span> +<span id="215">215</span> +<span id="216">216</span> +<span id="217">217</span> +<span id="218">218</span> +<span id="219">219</span> +<span id="220">220</span> +<span id="221">221</span> +<span id="222">222</span> +<span id="223">223</span> +<span id="224">224</span> +<span id="225">225</span> +<span id="226">226</span> +<span id="227">227</span> +<span id="228">228</span> +<span id="229">229</span> +<span id="230">230</span> +<span id="231">231</span> +<span id="232">232</span> +<span id="233">233</span> +<span id="234">234</span> +<span id="235">235</span> +<span id="236">236</span> +<span id="237">237</span> +<span id="238">238</span> +<span id="239">239</span> +<span id="240">240</span> +<span id="241">241</span> +<span id="242">242</span> +<span id="243">243</span> +<span id="244">244</span> +<span id="245">245</span> +<span id="246">246</span> +<span id="247">247</span> +<span id="248">248</span> +<span id="249">249</span> +<span id="250">250</span> +<span id="251">251</span> +<span id="252">252</span> +<span id="253">253</span> +<span id="254">254</span> +<span id="255">255</span> +<span id="256">256</span> +<span id="257">257</span> +<span id="258">258</span> +<span id="259">259</span> +<span id="260">260</span> +<span id="261">261</span> +<span id="262">262</span> +<span id="263">263</span> +<span id="264">264</span> +<span id="265">265</span> +<span id="266">266</span> +<span id="267">267</span> +<span id="268">268</span> +<span id="269">269</span> +<span id="270">270</span> +<span id="271">271</span> +<span id="272">272</span> +<span id="273">273</span> +<span id="274">274</span> +<span id="275">275</span> +<span id="276">276</span> +<span id="277">277</span> +<span id="278">278</span> +<span id="279">279</span> +<span id="280">280</span> +<span id="281">281</span> +<span id="282">282</span> +<span id="283">283</span> +<span id="284">284</span> +<span id="285">285</span> +<span id="286">286</span> +<span id="287">287</span> +<span id="288">288</span> +<span id="289">289</span> +<span id="290">290</span> +<span id="291">291</span> +<span id="292">292</span> +<span id="293">293</span> +<span id="294">294</span> +<span id="295">295</span> +<span id="296">296</span> +<span id="297">297</span> +<span id="298">298</span> +<span id="299">299</span> +<span id="300">300</span> +<span id="301">301</span> +<span id="302">302</span> +<span id="303">303</span> +<span id="304">304</span> +<span id="305">305</span> +<span id="306">306</span> +<span id="307">307</span> +<span id="308">308</span> +<span id="309">309</span> +<span id="310">310</span> +<span id="311">311</span> +<span id="312">312</span> +<span id="313">313</span> +<span id="314">314</span> +<span id="315">315</span> +<span id="316">316</span> +<span id="317">317</span> +<span id="318">318</span> +<span id="319">319</span> +<span id="320">320</span> +<span id="321">321</span> +<span id="322">322</span> +<span id="323">323</span> +<span id="324">324</span> +<span id="325">325</span> +<span id="326">326</span> +<span id="327">327</span> +<span id="328">328</span> +<span id="329">329</span> +<span id="330">330</span> +<span id="331">331</span> +<span id="332">332</span> +<span id="333">333</span> +<span id="334">334</span> +<span id="335">335</span> +<span id="336">336</span> +<span id="337">337</span> +<span id="338">338</span> +<span id="339">339</span> +<span id="340">340</span> +<span id="341">341</span> +<span id="342">342</span> +<span id="343">343</span> +<span id="344">344</span> +<span id="345">345</span> +<span id="346">346</span> +<span id="347">347</span> +<span id="348">348</span> +<span id="349">349</span> +<span id="350">350</span> +<span id="351">351</span> +<span id="352">352</span> +<span id="353">353</span> +<span id="354">354</span> +<span id="355">355</span> +<span id="356">356</span> +<span id="357">357</span> +<span id="358">358</span> +<span id="359">359</span> +<span id="360">360</span> +<span id="361">361</span> +<span id="362">362</span> +<span id="363">363</span> +<span id="364">364</span> +<span id="365">365</span> +<span id="366">366</span> +<span id="367">367</span> +<span id="368">368</span> +<span id="369">369</span> +<span id="370">370</span> +<span id="371">371</span> +<span id="372">372</span> +<span id="373">373</span> +<span id="374">374</span> +<span id="375">375</span> +<span id="376">376</span> +<span id="377">377</span> +<span id="378">378</span> +<span id="379">379</span> +<span id="380">380</span> +<span id="381">381</span> +<span id="382">382</span> +<span id="383">383</span> +<span id="384">384</span> +<span id="385">385</span> +<span id="386">386</span> +<span id="387">387</span> +<span id="388">388</span> +<span id="389">389</span> +<span id="390">390</span> +<span id="391">391</span> +<span id="392">392</span> +<span id="393">393</span> +<span id="394">394</span> +<span id="395">395</span> +<span id="396">396</span> +<span id="397">397</span> +<span id="398">398</span> +<span id="399">399</span> +<span id="400">400</span> +<span id="401">401</span> +<span id="402">402</span> +<span id="403">403</span> +<span id="404">404</span> +<span id="405">405</span> +<span id="406">406</span> +<span id="407">407</span> +<span id="408">408</span> +<span id="409">409</span> +<span id="410">410</span> +<span id="411">411</span> +<span id="412">412</span> +<span id="413">413</span> +<span id="414">414</span> +<span id="415">415</span> +<span id="416">416</span> +<span id="417">417</span> +<span id="418">418</span> +<span id="419">419</span> +<span id="420">420</span> +<span id="421">421</span> +<span id="422">422</span> +<span id="423">423</span> +<span id="424">424</span> +<span id="425">425</span> +<span id="426">426</span> +<span id="427">427</span> +<span id="428">428</span> +<span id="429">429</span> +<span id="430">430</span> +<span id="431">431</span> +<span id="432">432</span> +<span id="433">433</span> +<span id="434">434</span> +<span id="435">435</span> +<span id="436">436</span> +<span id="437">437</span> +<span id="438">438</span> +<span id="439">439</span> +<span id="440">440</span> +<span id="441">441</span> +<span id="442">442</span> +<span id="443">443</span> +<span id="444">444</span> +<span id="445">445</span> +<span id="446">446</span> +<span id="447">447</span> +<span id="448">448</span> +<span id="449">449</span> +<span id="450">450</span> +<span id="451">451</span> +<span id="452">452</span> +<span id="453">453</span> +<span id="454">454</span> +<span id="455">455</span> +<span id="456">456</span> +<span id="457">457</span> +<span id="458">458</span> +<span id="459">459</span> +<span id="460">460</span> +<span id="461">461</span> +<span id="462">462</span> +<span id="463">463</span> +<span id="464">464</span> +<span id="465">465</span> +<span id="466">466</span> +<span id="467">467</span> +<span id="468">468</span> +<span id="469">469</span> +<span id="470">470</span> +<span id="471">471</span> +<span id="472">472</span> +<span id="473">473</span> +<span id="474">474</span> +<span id="475">475</span> +<span id="476">476</span> +<span id="477">477</span> +<span id="478">478</span> +<span id="479">479</span> +<span id="480">480</span> +<span id="481">481</span> +<span id="482">482</span> +<span id="483">483</span> +<span id="484">484</span> +<span id="485">485</span> +<span id="486">486</span> +<span id="487">487</span> +<span id="488">488</span> +<span id="489">489</span> +<span id="490">490</span> +<span id="491">491</span> +<span id="492">492</span> +<span id="493">493</span> +<span id="494">494</span> +<span id="495">495</span> +<span id="496">496</span> +<span id="497">497</span> +<span id="498">498</span> +<span id="499">499</span> +<span id="500">500</span> +<span id="501">501</span> +<span id="502">502</span> +<span id="503">503</span> +<span id="504">504</span> +<span id="505">505</span> +<span id="506">506</span> +<span id="507">507</span> +<span id="508">508</span> +<span id="509">509</span> +<span id="510">510</span> +<span id="511">511</span> +<span id="512">512</span> +<span id="513">513</span> +<span id="514">514</span> +<span id="515">515</span> +<span id="516">516</span> +<span id="517">517</span> +<span id="518">518</span> +<span id="519">519</span> +<span id="520">520</span> +<span id="521">521</span> +<span id="522">522</span> +<span id="523">523</span> +<span id="524">524</span> +<span id="525">525</span> +<span id="526">526</span> +<span id="527">527</span> +<span id="528">528</span> +<span id="529">529</span> +<span id="530">530</span> +<span id="531">531</span> +<span id="532">532</span> +<span id="533">533</span> +<span id="534">534</span> +<span id="535">535</span> +<span id="536">536</span> +<span id="537">537</span> +<span id="538">538</span> +<span id="539">539</span> +<span id="540">540</span> +<span id="541">541</span> +<span id="542">542</span> +<span id="543">543</span> +<span id="544">544</span> +<span id="545">545</span> +<span id="546">546</span> +<span id="547">547</span> +<span id="548">548</span> +<span id="549">549</span> +<span id="550">550</span> +<span id="551">551</span> +<span id="552">552</span> +<span id="553">553</span> +<span id="554">554</span> +<span id="555">555</span> +<span id="556">556</span> +<span id="557">557</span> +<span id="558">558</span> +<span id="559">559</span> +</pre><pre class='rust '> +<span class='comment'>// Copyright 2014 The Rust Project Developers. See the COPYRIGHT</span> +<span class='comment'>// file at the top-level directory of this distribution and at</span> +<span class='comment'>// http://rust-lang.org/COPYRIGHT.</span> +<span class='comment'>//</span> +<span class='comment'>// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or</span> +<span class='comment'>// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license</span> +<span class='comment'>// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your</span> +<span class='comment'>// option. This file may not be copied, modified, or distributed</span> +<span class='comment'>// except according to those terms.</span> + +<span class='doccomment'>//! This crate provides the `regex!` macro. Its use is documented in the</span> +<span class='doccomment'>//! `regex` crate.</span> + +<span class='attribute'>#<span class='op'>!</span>[<span class='ident'>doc</span>(<span class='ident'>html_logo_url</span> <span class='op'>=</span> <span class='string'>"http://www.rust-lang.org/logos/rust-logo-128x128-blk-v2.png"</span>, + <span class='ident'>html_favicon_url</span> <span class='op'>=</span> <span class='string'>"http://www.rust-lang.org/favicon.ico"</span>, + <span class='ident'>html_root_url</span> <span class='op'>=</span> <span class='string'>"http://doc.rust-lang.org/nightly/"</span>)]</span> + +<span class='attribute'>#<span class='op'>!</span>[<span class='ident'>feature</span>(<span class='ident'>plugin_registrar</span>, <span class='ident'>quote</span>, <span class='ident'>rustc_private</span>)]</span> + +<span class='kw'>extern</span> <span class='kw'>crate</span> <span class='ident'>regex</span>; +<span class='kw'>extern</span> <span class='kw'>crate</span> <span class='ident'>syntax</span>; +<span class='kw'>extern</span> <span class='kw'>crate</span> <span class='ident'>rustc</span>; + +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>ast</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>codemap</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>ext</span>::<span class='ident'>build</span>::<span class='ident'>AstBuilder</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>ext</span>::<span class='ident'>base</span>::{<span class='ident'>ExtCtxt</span>, <span class='ident'>MacResult</span>, <span class='ident'>MacEager</span>, <span class='ident'>DummyResult</span>}; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>parse</span>::<span class='ident'>token</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>print</span>::<span class='ident'>pprust</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>fold</span>::<span class='ident'>Folder</span>; +<span class='kw'>use</span> <span class='ident'>syntax</span>::<span class='ident'>ptr</span>::<span class='ident'>P</span>; + +<span class='kw'>use</span> <span class='ident'>rustc</span>::<span class='ident'>plugin</span>::<span class='ident'>Registry</span>; + +<span class='kw'>use</span> <span class='ident'>regex</span>::<span class='ident'>Regex</span>; +<span class='kw'>use</span> <span class='ident'>regex</span>::<span class='ident'>internal</span>::{ + <span class='ident'>Inst</span>, <span class='ident'>LookInst</span>, <span class='ident'>OneChar</span>, <span class='ident'>CharRanges</span>, <span class='ident'>Program</span>, <span class='ident'>Dynamic</span>, <span class='ident'>Native</span>, +}; + +<span class='doccomment'>/// For the `regex!` syntax extension. Do not use.</span> +<span class='attribute'>#[<span class='ident'>plugin_registrar</span>]</span> +<span class='attribute'>#[<span class='ident'>doc</span>(<span class='ident'>hidden</span>)]</span> +<span class='kw'>pub</span> <span class='kw'>fn</span> <span class='ident'>plugin_registrar</span>(<span class='ident'>reg</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>Registry</span>) { + <span class='ident'>reg</span>.<span class='ident'>register_macro</span>(<span class='string'>"regex"</span>, <span class='ident'>native</span>); +} + +<span class='doccomment'>/// Generates specialized code for the Pike VM for a particular regular</span> +<span class='doccomment'>/// expression.</span> +<span class='doccomment'>///</span> +<span class='doccomment'>/// There are two primary differences between the code generated here and the</span> +<span class='doccomment'>/// general code in vm.rs.</span> +<span class='doccomment'>///</span> +<span class='doccomment'>/// 1. All heap allocation is removed. Sized vector types are used instead.</span> +<span class='doccomment'>/// Care must be taken to make sure that these vectors are not copied</span> +<span class='doccomment'>/// gratuitously. (If you're not sure, run the benchmarks. They will yell</span> +<span class='doccomment'>/// at you if you do.)</span> +<span class='doccomment'>/// 2. The main `match instruction { ... }` expressions are replaced with more</span> +<span class='doccomment'>/// direct `match pc { ... }`. The generators can be found in</span> +<span class='doccomment'>/// `step_insts` and `add_insts`.</span> +<span class='doccomment'>///</span> +<span class='doccomment'>/// It is strongly recommended to read the dynamic implementation in vm.rs</span> +<span class='doccomment'>/// first before trying to understand the code generator. The implementation</span> +<span class='doccomment'>/// strategy is identical and vm.rs has comments and will be easier to follow.</span> +<span class='kw'>fn</span> <span class='ident'>native</span>(<span class='ident'>cx</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>ExtCtxt</span>, <span class='ident'>sp</span>: <span class='ident'>codemap</span>::<span class='ident'>Span</span>, <span class='ident'>tts</span>: <span class='kw-2'>&</span>[<span class='ident'>ast</span>::<span class='ident'>TokenTree</span>]) + <span class='op'>-></span> <span class='ident'>Box</span><span class='op'><</span><span class='ident'>MacResult</span><span class='op'>+</span><span class='lifetime'>'static</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='ident'>regex</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='ident'>parse</span>(<span class='ident'>cx</span>, <span class='ident'>tts</span>) { + <span class='prelude-val'>Some</span>(<span class='ident'>r</span>) <span class='op'>=></span> <span class='ident'>r</span>, + <span class='comment'>// error is logged in 'parse' with cx.span_err</span> + <span class='prelude-val'>None</span> <span class='op'>=></span> <span class='kw'>return</span> <span class='ident'>DummyResult</span>::<span class='ident'>any</span>(<span class='ident'>sp</span>), + }; + <span class='comment'>// We use the largest possible size limit because this is happening at</span> + <span class='comment'>// compile time. We trust the programmer.</span> + <span class='kw'>let</span> <span class='ident'>re</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='ident'>Regex</span>::<span class='ident'>with_size_limit</span>(::<span class='ident'>std</span>::<span class='ident'>usize</span>::<span class='ident'>MAX</span>, <span class='kw-2'>&</span><span class='ident'>regex</span>) { + <span class='prelude-val'>Ok</span>(<span class='ident'>re</span>) <span class='op'>=></span> <span class='ident'>re</span>, + <span class='prelude-val'>Err</span>(<span class='ident'>err</span>) <span class='op'>=></span> { + <span class='ident'>cx</span>.<span class='ident'>span_err</span>(<span class='ident'>sp</span>, <span class='kw-2'>&</span><span class='ident'>err</span>.<span class='ident'>to_string</span>()); + <span class='kw'>return</span> <span class='ident'>DummyResult</span>::<span class='ident'>any</span>(<span class='ident'>sp</span>) + } + }; + <span class='kw'>let</span> <span class='ident'>prog</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='ident'>re</span> { + <span class='ident'>Dynamic</span>(<span class='kw-2'>ref</span> <span class='ident'>prog</span>) <span class='op'>=></span> <span class='ident'>prog</span>.<span class='ident'>clone</span>(), + <span class='ident'>Native</span>(_) <span class='op'>=></span> <span class='macro'>unreachable</span><span class='macro'>!</span>(), + }; + + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>gen</span> <span class='op'>=</span> <span class='ident'>NfaGen</span> { + <span class='ident'>cx</span>: <span class='kw-2'>&</span><span class='op'>*</span><span class='ident'>cx</span>, <span class='ident'>sp</span>: <span class='ident'>sp</span>, <span class='ident'>prog</span>: <span class='ident'>prog</span>, + <span class='ident'>names</span>: <span class='ident'>re</span>.<span class='ident'>names_iter</span>().<span class='ident'>collect</span>(), <span class='ident'>original</span>: <span class='ident'>re</span>.<span class='ident'>as_str</span>().<span class='ident'>to_string</span>(), + }; + <span class='ident'>MacEager</span>::<span class='ident'>expr</span>(<span class='ident'>gen</span>.<span class='ident'>code</span>()) +} + +<span class='kw'>struct</span> <span class='ident'>NfaGen</span><span class='op'><</span><span class='lifetime'>'a</span><span class='op'>></span> { + <span class='ident'>cx</span>: <span class='kw-2'>&</span><span class='lifetime'>'a</span> <span class='ident'>ExtCtxt</span><span class='op'><</span><span class='lifetime'>'a</span><span class='op'>></span>, + <span class='ident'>sp</span>: <span class='ident'>codemap</span>::<span class='ident'>Span</span>, + <span class='ident'>prog</span>: <span class='ident'>Program</span>, + <span class='ident'>names</span>: <span class='ident'>Vec</span><span class='op'><</span><span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>String</span><span class='op'>>></span>, + <span class='ident'>original</span>: <span class='ident'>String</span>, +} + +<span class='kw'>impl</span><span class='op'><</span><span class='lifetime'>'a</span><span class='op'>></span> <span class='ident'>NfaGen</span><span class='op'><</span><span class='lifetime'>'a</span><span class='op'>></span> { + <span class='kw'>fn</span> <span class='ident'>code</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='comment'>// Most or all of the following things are used in the quasiquoted</span> + <span class='comment'>// expression returned.</span> + <span class='kw'>let</span> <span class='ident'>num_cap_locs</span> <span class='op'>=</span> <span class='number'>2</span> <span class='op'>*</span> <span class='self'>self</span>.<span class='ident'>prog</span>.<span class='ident'>num_captures</span>(); + <span class='kw'>let</span> <span class='ident'>num_insts</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>prog</span>.<span class='ident'>insts</span>.<span class='ident'>len</span>(); + <span class='kw'>let</span> <span class='ident'>cap_names</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>vec_expr</span>(<span class='self'>self</span>.<span class='ident'>names</span>.<span class='ident'>iter</span>(), + <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='op'>|</span><span class='ident'>cx</span>, <span class='ident'>name</span><span class='op'>|</span> <span class='kw'>match</span> <span class='op'>*</span><span class='ident'>name</span> { + <span class='prelude-val'>Some</span>(<span class='kw-2'>ref</span> <span class='ident'>name</span>) <span class='op'>=></span> { + <span class='kw'>let</span> <span class='ident'>name</span> <span class='op'>=</span> <span class='kw-2'>&</span><span class='op'>*</span><span class='op'>*</span><span class='ident'>name</span>; + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='ident'>cx</span>, <span class='prelude-val'>Some</span>(<span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>name</span>)) + } + <span class='prelude-val'>None</span> <span class='op'>=></span> <span class='ident'>cx</span>.<span class='ident'>expr_none</span>(<span class='self'>self</span>.<span class='ident'>sp</span>), + } + ); + <span class='kw'>let</span> <span class='ident'>prefix_anchor</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>prog</span>.<span class='ident'>anchored_begin</span>; + + <span class='comment'>// let prefix_lit = Rc::new(self.prog.prefix.as_bytes().to_vec());</span> + <span class='comment'>// let prefix_bytes = self.cx.expr_lit(self.sp, ast::LitBinary(prefix_lit));</span> + + <span class='comment'>// let check_prefix = self.check_prefix();</span> + <span class='kw'>let</span> <span class='ident'>step_insts</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>step_insts</span>(); + <span class='kw'>let</span> <span class='ident'>add_insts</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>add_insts</span>(); + <span class='kw'>let</span> <span class='ident'>regex</span> <span class='op'>=</span> <span class='kw-2'>&</span><span class='op'>*</span><span class='self'>self</span>.<span class='ident'>original</span>; + + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { +<span class='comment'>// When `regex!` is bound to a name that is not used, we have to make sure</span> +<span class='comment'>// that dead_code warnings don't bubble up to the user from the generated</span> +<span class='comment'>// code. Therefore, we suppress them by allowing dead_code. The effect is that</span> +<span class='comment'>// the user is only warned about *their* unused variable/code, and not the</span> +<span class='comment'>// unused code generated by regex!. See #14185 for an example.</span> +<span class='attribute'>#[<span class='ident'>allow</span>(<span class='ident'>dead_code</span>)]</span> +<span class='kw'>static</span> <span class='ident'>CAP_NAMES</span>: <span class='kw-2'>&</span><span class='lifetime'>'static</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='kw-2'>&</span><span class='lifetime'>'static</span> <span class='ident'>str</span><span class='op'>></span>] <span class='op'>=</span> <span class='kw-2'>&</span><span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>cap_names</span>; + +<span class='attribute'>#[<span class='ident'>allow</span>(<span class='ident'>dead_code</span>)]</span> +<span class='kw'>fn</span> <span class='ident'>exec</span><span class='op'><</span><span class='lifetime'>'t</span><span class='op'>></span>( + <span class='kw-2'>mut</span> <span class='ident'>caps</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>], + <span class='ident'>input</span>: <span class='kw-2'>&</span><span class='lifetime'>'t</span> <span class='ident'>str</span>, + <span class='ident'>start</span>: <span class='ident'>usize</span>, +) <span class='op'>-></span> <span class='ident'>bool</span> { + <span class='attribute'>#<span class='op'>!</span>[<span class='ident'>allow</span>(<span class='ident'>unused_imports</span>)]</span> + <span class='attribute'>#<span class='op'>!</span>[<span class='ident'>allow</span>(<span class='ident'>unused_mut</span>)]</span> + + <span class='kw'>use</span> <span class='ident'>regex</span>::<span class='ident'>internal</span>::{<span class='ident'>Char</span>, <span class='ident'>CharInput</span>, <span class='ident'>InputAt</span>, <span class='ident'>Input</span>, <span class='ident'>Inst</span>}; + + <span class='kw'>let</span> <span class='ident'>input</span> <span class='op'>=</span> <span class='ident'>CharInput</span>::<span class='ident'>new</span>(<span class='ident'>input</span>); + <span class='kw'>let</span> <span class='ident'>at</span> <span class='op'>=</span> <span class='ident'>input</span>.<span class='ident'>at</span>(<span class='ident'>start</span>); + <span class='kw'>return</span> <span class='ident'>Nfa</span> { + <span class='ident'>input</span>: <span class='ident'>input</span>, + <span class='ident'>ncaps</span>: <span class='ident'>caps</span>.<span class='ident'>len</span>(), + }.<span class='ident'>exec</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>NfaThreads</span>::<span class='ident'>new</span>(), <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>caps</span>, <span class='ident'>at</span>); + + <span class='kw'>struct</span> <span class='ident'>Nfa</span><span class='op'><</span><span class='lifetime'>'t</span><span class='op'>></span> { + <span class='ident'>input</span>: <span class='ident'>CharInput</span><span class='op'><</span><span class='lifetime'>'t</span><span class='op'>></span>, + <span class='ident'>ncaps</span>: <span class='ident'>usize</span>, + } + + <span class='kw'>impl</span><span class='op'><</span><span class='lifetime'>'t</span><span class='op'>></span> <span class='ident'>Nfa</span><span class='op'><</span><span class='lifetime'>'t</span><span class='op'>></span> { + <span class='attribute'>#[<span class='ident'>allow</span>(<span class='ident'>unused_variables</span>)]</span> + <span class='kw'>fn</span> <span class='ident'>exec</span>( + <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>, + <span class='kw-2'>mut</span> <span class='ident'>q</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>NfaThreads</span>, + <span class='kw-2'>mut</span> <span class='ident'>caps</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>], + <span class='kw-2'>mut</span> <span class='ident'>at</span>: <span class='ident'>InputAt</span>, + ) <span class='op'>-></span> <span class='ident'>bool</span> { + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>matched</span> <span class='op'>=</span> <span class='boolval'>false</span>; + <span class='kw'>let</span> (<span class='kw-2'>mut</span> <span class='ident'>clist</span>, <span class='kw-2'>mut</span> <span class='ident'>nlist</span>) <span class='op'>=</span> (<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>q</span>.<span class='ident'>clist</span>, <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>q</span>.<span class='ident'>nlist</span>); + <span class='ident'>clist</span>.<span class='ident'>empty</span>(); <span class='ident'>nlist</span>.<span class='ident'>empty</span>(); +<span class='lifetime'>'LOOP</span>: <span class='kw'>loop</span> { + <span class='kw'>if</span> <span class='ident'>clist</span>.<span class='ident'>size</span> <span class='op'>==</span> <span class='number'>0</span> { + <span class='kw'>if</span> <span class='ident'>matched</span> <span class='op'>||</span> (<span class='op'>!</span><span class='ident'>at</span>.<span class='ident'>is_beginning</span>() <span class='op'>&&</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>prefix_anchor</span>) { + <span class='kw'>break</span>; + } + <span class='comment'>// TODO: Prefix matching... Hmm.</span> + <span class='comment'>// Prefix matching now uses a DFA, so I think this is</span> + <span class='comment'>// going to require encoding that DFA statically.</span> + } + <span class='kw'>if</span> <span class='ident'>clist</span>.<span class='ident'>size</span> <span class='op'>==</span> <span class='number'>0</span> <span class='op'>||</span> (<span class='op'>!</span><span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>prefix_anchor</span> <span class='op'>&&</span> <span class='op'>!</span><span class='ident'>matched</span>) { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>clist</span>, <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>caps</span>, <span class='number'>0</span>, <span class='ident'>at</span>); + } + <span class='kw'>let</span> <span class='ident'>at_next</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>input</span>.<span class='ident'>at</span>(<span class='ident'>at</span>.<span class='ident'>next_pos</span>()); + <span class='kw'>for</span> <span class='ident'>i</span> <span class='kw'>in</span> <span class='number'>0</span>..<span class='ident'>clist</span>.<span class='ident'>size</span> { + <span class='kw'>let</span> <span class='ident'>pc</span> <span class='op'>=</span> <span class='ident'>clist</span>.<span class='ident'>pc</span>(<span class='ident'>i</span>); + <span class='kw'>let</span> <span class='ident'>tcaps</span> <span class='op'>=</span> <span class='ident'>clist</span>.<span class='ident'>caps</span>(<span class='ident'>i</span>); + <span class='kw'>if</span> <span class='self'>self</span>.<span class='ident'>step</span>(<span class='ident'>nlist</span>, <span class='ident'>caps</span>, <span class='ident'>tcaps</span>, <span class='ident'>pc</span>, <span class='ident'>at</span>, <span class='ident'>at_next</span>) { + <span class='ident'>matched</span> <span class='op'>=</span> <span class='boolval'>true</span>; + <span class='kw'>if</span> <span class='ident'>caps</span>.<span class='ident'>len</span>() <span class='op'>==</span> <span class='number'>0</span> { + <span class='kw'>break</span> <span class='lifetime'>'LOOP</span>; + } + <span class='kw'>break</span>; + } + } + <span class='kw'>if</span> <span class='ident'>at</span>.<span class='ident'>char</span>().<span class='ident'>is_none</span>() { + <span class='kw'>break</span>; + } + <span class='ident'>at</span> <span class='op'>=</span> <span class='ident'>at_next</span>; + ::<span class='ident'>std</span>::<span class='ident'>mem</span>::<span class='ident'>swap</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>clist</span>, <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>nlist</span>); + <span class='ident'>nlist</span>.<span class='ident'>empty</span>(); + } + <span class='ident'>matched</span> + } + + <span class='comment'>// Sometimes `nlist` is never used (for empty regexes).</span> + <span class='attribute'>#[<span class='ident'>allow</span>(<span class='ident'>unused_variables</span>)]</span> + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>step</span>( + <span class='kw-2'>&</span><span class='self'>self</span>, + <span class='ident'>nlist</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>Threads</span>, + <span class='ident'>caps</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>], + <span class='ident'>thread_caps</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>], + <span class='ident'>pc</span>: <span class='ident'>usize</span>, + <span class='ident'>at</span>: <span class='ident'>InputAt</span>, + <span class='ident'>at_next</span>: <span class='ident'>InputAt</span>, + ) <span class='op'>-></span> <span class='ident'>bool</span> { + <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>step_insts</span>; + <span class='boolval'>false</span> + } + + <span class='kw'>fn</span> <span class='ident'>add</span>( + <span class='kw-2'>&</span><span class='self'>self</span>, + <span class='ident'>nlist</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>Threads</span>, + <span class='ident'>thread_caps</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>], + <span class='ident'>pc</span>: <span class='ident'>usize</span>, + <span class='ident'>at</span>: <span class='ident'>InputAt</span>, + ) { + <span class='kw'>if</span> <span class='ident'>nlist</span>.<span class='ident'>contains</span>(<span class='ident'>pc</span>) { + <span class='kw'>return</span>; + } + <span class='kw'>let</span> <span class='ident'>ti</span> <span class='op'>=</span> <span class='ident'>nlist</span>.<span class='ident'>add</span>(<span class='ident'>pc</span>); + <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>add_insts</span> + } + } + + <span class='kw'>struct</span> <span class='ident'>NfaThreads</span> { + <span class='ident'>clist</span>: <span class='ident'>Threads</span>, + <span class='ident'>nlist</span>: <span class='ident'>Threads</span>, + } + + <span class='kw'>struct</span> <span class='ident'>Threads</span> { + <span class='ident'>dense</span>: [<span class='ident'>Thread</span>; <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>num_insts</span>], + <span class='ident'>sparse</span>: [<span class='ident'>usize</span>; <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>num_insts</span>], + <span class='ident'>size</span>: <span class='ident'>usize</span>, + } + + <span class='kw'>struct</span> <span class='ident'>Thread</span> { + <span class='ident'>pc</span>: <span class='ident'>usize</span>, + <span class='ident'>caps</span>: [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>; <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>num_cap_locs</span>], + } + + <span class='kw'>impl</span> <span class='ident'>NfaThreads</span> { + <span class='kw'>fn</span> <span class='ident'>new</span>() <span class='op'>-></span> <span class='ident'>NfaThreads</span> { + <span class='ident'>NfaThreads</span> { + <span class='ident'>clist</span>: <span class='ident'>Threads</span>::<span class='ident'>new</span>(), + <span class='ident'>nlist</span>: <span class='ident'>Threads</span>::<span class='ident'>new</span>(), + } + } + + <span class='kw'>fn</span> <span class='ident'>swap</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>) { + ::<span class='ident'>std</span>::<span class='ident'>mem</span>::<span class='ident'>swap</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>.<span class='ident'>clist</span>, <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>.<span class='ident'>nlist</span>); + } + } + + <span class='kw'>impl</span> <span class='ident'>Threads</span> { + <span class='kw'>fn</span> <span class='ident'>new</span>() <span class='op'>-></span> <span class='ident'>Threads</span> { + <span class='ident'>Threads</span> { + <span class='comment'>// These unsafe blocks are used for performance reasons, as it</span> + <span class='comment'>// gives us a zero-cost initialization of a sparse set. The</span> + <span class='comment'>// trick is described in more detail here:</span> + <span class='comment'>// http://research.swtch.com/sparse</span> + <span class='comment'>// The idea here is to avoid initializing threads that never</span> + <span class='comment'>// need to be initialized, particularly for larger regexs with</span> + <span class='comment'>// a lot of instructions.</span> + <span class='ident'>dense</span>: <span class='kw'>unsafe</span> { ::<span class='ident'>std</span>::<span class='ident'>mem</span>::<span class='ident'>uninitialized</span>() }, + <span class='ident'>sparse</span>: <span class='kw'>unsafe</span> { ::<span class='ident'>std</span>::<span class='ident'>mem</span>::<span class='ident'>uninitialized</span>() }, + <span class='ident'>size</span>: <span class='number'>0</span>, + } + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>add</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>, <span class='ident'>pc</span>: <span class='ident'>usize</span>) <span class='op'>-></span> <span class='ident'>usize</span> { + <span class='kw'>let</span> <span class='ident'>i</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>size</span>; + <span class='self'>self</span>.<span class='ident'>dense</span>[<span class='ident'>i</span>].<span class='ident'>pc</span> <span class='op'>=</span> <span class='ident'>pc</span>; + <span class='self'>self</span>.<span class='ident'>sparse</span>[<span class='ident'>pc</span>] <span class='op'>=</span> <span class='ident'>i</span>; + <span class='self'>self</span>.<span class='ident'>size</span> <span class='op'>+=</span> <span class='number'>1</span>; + <span class='ident'>i</span> + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>thread</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>, <span class='ident'>i</span>: <span class='ident'>usize</span>) <span class='op'>-></span> <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>Thread</span> { + <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>.<span class='ident'>dense</span>[<span class='ident'>i</span>] + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>contains</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>pc</span>: <span class='ident'>usize</span>) <span class='op'>-></span> <span class='ident'>bool</span> { + <span class='kw'>let</span> <span class='ident'>s</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>sparse</span>[<span class='ident'>pc</span>]; + <span class='ident'>s</span> <span class='op'><</span> <span class='self'>self</span>.<span class='ident'>size</span> <span class='op'>&&</span> <span class='self'>self</span>.<span class='ident'>dense</span>[<span class='ident'>s</span>].<span class='ident'>pc</span> <span class='op'>==</span> <span class='ident'>pc</span> + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>empty</span>(<span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>) { + <span class='self'>self</span>.<span class='ident'>size</span> <span class='op'>=</span> <span class='number'>0</span>; + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>pc</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>i</span>: <span class='ident'>usize</span>) <span class='op'>-></span> <span class='ident'>usize</span> { + <span class='self'>self</span>.<span class='ident'>dense</span>[<span class='ident'>i</span>].<span class='ident'>pc</span> + } + + <span class='attribute'>#[<span class='ident'>inline</span>]</span> + <span class='kw'>fn</span> <span class='ident'>caps</span><span class='op'><</span><span class='lifetime'>'r</span><span class='op'>></span>(<span class='kw-2'>&</span><span class='lifetime'>'r</span> <span class='kw-2'>mut</span> <span class='self'>self</span>, <span class='ident'>i</span>: <span class='ident'>usize</span>) <span class='op'>-></span> <span class='kw-2'>&</span><span class='lifetime'>'r</span> <span class='kw-2'>mut</span> [<span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>usize</span><span class='op'>></span>] { + <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='self'>self</span>.<span class='ident'>dense</span>[<span class='ident'>i</span>].<span class='ident'>caps</span> + } + } +} + +::<span class='ident'>regex</span>::<span class='ident'>internal</span>::<span class='ident'>Native</span>(::<span class='ident'>regex</span>::<span class='ident'>internal</span>::<span class='ident'>ExNative</span> { + <span class='ident'>original</span>: <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>regex</span>, + <span class='ident'>names</span>: <span class='kw-2'>&</span><span class='ident'>CAP_NAMES</span>, + <span class='ident'>prog</span>: <span class='ident'>exec</span>, +}) + }) + } + + <span class='comment'>// Generates code for the `add` method, which is responsible for adding</span> + <span class='comment'>// zero-width states to the next queue of states to visit.</span> + <span class='kw'>fn</span> <span class='ident'>add_insts</span>(<span class='kw-2'>&</span><span class='self'>self</span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='ident'>arms</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>prog</span>.<span class='ident'>insts</span>.<span class='ident'>iter</span>().<span class='ident'>enumerate</span>().<span class='ident'>map</span>(<span class='op'>|</span>(<span class='ident'>pc</span>, <span class='ident'>inst</span>)<span class='op'>|</span> { + <span class='kw'>let</span> <span class='ident'>nextpc</span> <span class='op'>=</span> <span class='ident'>pc</span> <span class='op'>+</span> <span class='number'>1</span>; + <span class='kw'>let</span> <span class='ident'>body</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='op'>*</span><span class='ident'>inst</span> { + <span class='ident'>Inst</span>::<span class='ident'>EmptyLook</span>(<span class='ident'>LookInst</span>::<span class='ident'>StartLine</span>) <span class='op'>=></span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>let</span> <span class='ident'>prev</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>input</span>.<span class='ident'>previous_at</span>(<span class='ident'>at</span>.<span class='ident'>pos</span>()); + <span class='kw'>if</span> <span class='ident'>prev</span>.<span class='ident'>char</span>().<span class='ident'>is_none</span>() <span class='op'>||</span> <span class='ident'>prev</span>.<span class='ident'>char</span>() <span class='op'>==</span> <span class='string'>'\n'</span> { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } + }) + } + <span class='ident'>Inst</span>::<span class='ident'>EmptyLook</span>(<span class='ident'>LookInst</span>::<span class='ident'>EndLine</span>) <span class='op'>=></span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>if</span> <span class='ident'>at</span>.<span class='ident'>char</span>().<span class='ident'>is_none</span>() <span class='op'>||</span> <span class='ident'>at</span>.<span class='ident'>char</span>() <span class='op'>==</span> <span class='string'>'\n'</span> { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } + }) + } + <span class='ident'>Inst</span>::<span class='ident'>EmptyLook</span>(<span class='ident'>LookInst</span>::<span class='ident'>StartText</span>) <span class='op'>=></span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>let</span> <span class='ident'>prev</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>input</span>.<span class='ident'>previous_at</span>(<span class='ident'>at</span>.<span class='ident'>pos</span>()); + <span class='kw'>if</span> <span class='ident'>prev</span>.<span class='ident'>char</span>().<span class='ident'>is_none</span>() { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } + }) + } + <span class='ident'>Inst</span>::<span class='ident'>EmptyLook</span>(<span class='ident'>LookInst</span>::<span class='ident'>EndText</span>) <span class='op'>=></span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>if</span> <span class='ident'>at</span>.<span class='ident'>char</span>().<span class='ident'>is_none</span>() { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } + }) + } + <span class='ident'>Inst</span>::<span class='ident'>EmptyLook</span>(<span class='kw-2'>ref</span> <span class='ident'>wbty</span>) <span class='op'>=></span> { + <span class='kw'>let</span> <span class='ident'>m</span> <span class='op'>=</span> <span class='kw'>if</span> <span class='op'>*</span><span class='ident'>wbty</span> <span class='op'>==</span> <span class='ident'>LookInst</span>::<span class='ident'>WordBoundary</span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { <span class='ident'>w1</span> <span class='op'>^</span> <span class='ident'>w2</span> }) + } <span class='kw'>else</span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { <span class='op'>!</span>(<span class='ident'>w1</span> <span class='op'>^</span> <span class='ident'>w2</span>) }) + }; + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>let</span> <span class='ident'>prev</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>input</span>.<span class='ident'>previous_at</span>(<span class='ident'>at</span>.<span class='ident'>pos</span>()); + <span class='kw'>let</span> <span class='ident'>w1</span> <span class='op'>=</span> <span class='ident'>prev</span>.<span class='ident'>char</span>().<span class='ident'>is_word_char</span>(); + <span class='kw'>let</span> <span class='ident'>w2</span> <span class='op'>=</span> <span class='ident'>at</span>.<span class='ident'>char</span>().<span class='ident'>is_word_char</span>(); + <span class='kw'>if</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>m</span> { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } + }) + } + <span class='ident'>Inst</span>::<span class='ident'>Save</span>(<span class='ident'>slot</span>) <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>if</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>slot</span> <span class='op'>>=</span> <span class='self'>self</span>.<span class='ident'>ncaps</span> { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + } <span class='kw'>else</span> { + <span class='kw'>let</span> <span class='ident'>old</span> <span class='op'>=</span> <span class='ident'>thread_caps</span>[<span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>slot</span>]; + <span class='ident'>thread_caps</span>[<span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>slot</span>] <span class='op'>=</span> <span class='prelude-val'>Some</span>(<span class='ident'>at</span>.<span class='ident'>pos</span>()); + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at</span>); + <span class='ident'>thread_caps</span>[<span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>slot</span>] <span class='op'>=</span> <span class='ident'>old</span>; + } + }), + <span class='ident'>Inst</span>::<span class='ident'>Jump</span>(<span class='ident'>to</span>) <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>to</span>, <span class='ident'>at</span>); + }), + <span class='ident'>Inst</span>::<span class='ident'>Split</span>(<span class='ident'>x</span>, <span class='ident'>y</span>) <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>x</span>, <span class='ident'>at</span>); + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>y</span>, <span class='ident'>at</span>); + }), + <span class='comment'>// For Match, OneChar, CharClass, Any, AnyNoNL</span> + _ <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>t</span> <span class='op'>=</span> <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>nlist</span>.<span class='ident'>thread</span>(<span class='ident'>ti</span>); + <span class='kw'>for</span> (<span class='ident'>slot</span>, <span class='ident'>val</span>) <span class='kw'>in</span> <span class='ident'>t</span>.<span class='ident'>caps</span>.<span class='ident'>iter_mut</span>().<span class='ident'>zip</span>(<span class='ident'>thread_caps</span>.<span class='ident'>iter</span>()) { + <span class='op'>*</span><span class='ident'>slot</span> <span class='op'>=</span> <span class='op'>*</span><span class='ident'>val</span>; + } + }), + }; + <span class='self'>self</span>.<span class='ident'>arm_inst</span>(<span class='ident'>pc</span>, <span class='ident'>body</span>) + }).<span class='ident'>collect</span>::<span class='op'><</span><span class='ident'>Vec</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Arm</span><span class='op'>>></span>(); + <span class='self'>self</span>.<span class='ident'>match_insts</span>(<span class='ident'>arms</span>) + } + + <span class='comment'>// Generates the code for the `step` method, which processes all states</span> + <span class='comment'>// in the current queue that consume a single character.</span> + <span class='kw'>fn</span> <span class='ident'>step_insts</span>(<span class='kw-2'>&</span><span class='self'>self</span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='ident'>arms</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>prog</span>.<span class='ident'>insts</span>.<span class='ident'>iter</span>().<span class='ident'>enumerate</span>().<span class='ident'>map</span>(<span class='op'>|</span>(<span class='ident'>pc</span>, <span class='ident'>inst</span>)<span class='op'>|</span> { + <span class='kw'>let</span> <span class='ident'>nextpc</span> <span class='op'>=</span> <span class='ident'>pc</span> <span class='op'>+</span> <span class='number'>1</span>; + <span class='kw'>let</span> <span class='ident'>body</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='op'>*</span><span class='ident'>inst</span> { + <span class='ident'>Inst</span>::<span class='ident'>Match</span> <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>for</span> (<span class='ident'>slot</span>, <span class='ident'>val</span>) <span class='kw'>in</span> <span class='ident'>caps</span>.<span class='ident'>iter_mut</span>().<span class='ident'>zip</span>(<span class='ident'>thread_caps</span>.<span class='ident'>iter</span>()) { + <span class='op'>*</span><span class='ident'>slot</span> <span class='op'>=</span> <span class='op'>*</span><span class='ident'>val</span>; + } + <span class='kw'>return</span> <span class='boolval'>true</span>; + }), + <span class='ident'>Inst</span>::<span class='ident'>Char</span>(<span class='ident'>OneChar</span> { <span class='ident'>c</span>, <span class='ident'>casei</span> }) <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>if</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>c</span> <span class='op'>==</span> <span class='ident'>at</span>.<span class='ident'>char</span>() <span class='op'>||</span> (<span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>casei</span> <span class='op'>&&</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>c</span> <span class='op'>==</span> <span class='ident'>at</span>.<span class='ident'>char</span>().<span class='ident'>case_fold</span>()) { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at_next</span>); + } + <span class='kw'>return</span> <span class='boolval'>false</span>; + }), + <span class='ident'>Inst</span>::<span class='ident'>Ranges</span>(<span class='ident'>CharRanges</span> { <span class='kw-2'>ref</span> <span class='ident'>ranges</span>, <span class='ident'>casei</span> }) <span class='op'>=></span> { + <span class='kw'>let</span> <span class='ident'>match_class</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>match_class</span>(<span class='ident'>ranges</span>); + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>c</span> <span class='op'>=</span> <span class='ident'>at</span>.<span class='ident'>char</span>(); + <span class='kw'>if</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>casei</span> { + <span class='ident'>c</span> <span class='op'>=</span> <span class='ident'>c</span>.<span class='ident'>case_fold</span>(); + } + <span class='kw'>if</span> <span class='kw'>let</span> <span class='prelude-val'>Some</span>(<span class='ident'>c</span>) <span class='op'>=</span> <span class='ident'>c</span>.<span class='ident'>as_char</span>() { + <span class='kw'>if</span> <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>match_class</span> { + <span class='self'>self</span>.<span class='ident'>add</span>(<span class='ident'>nlist</span>, <span class='ident'>thread_caps</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>nextpc</span>, <span class='ident'>at_next</span>); + } + } + <span class='kw'>return</span> <span class='boolval'>false</span>; + }) + } + <span class='comment'>// EmptyLook, Save, Jump, Split</span> + _ <span class='op'>=></span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, { <span class='kw'>return</span> <span class='boolval'>false</span>; }), + }; + <span class='self'>self</span>.<span class='ident'>arm_inst</span>(<span class='ident'>pc</span>, <span class='ident'>body</span>) + }).<span class='ident'>collect</span>::<span class='op'><</span><span class='ident'>Vec</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Arm</span><span class='op'>>></span>(); + + <span class='self'>self</span>.<span class='ident'>match_insts</span>(<span class='ident'>arms</span>) + } + + <span class='comment'>// Translates a character class into a match expression.</span> + <span class='comment'>// This avoids a binary search (and is hopefully replaced by a jump</span> + <span class='comment'>// table).</span> + <span class='kw'>fn</span> <span class='ident'>match_class</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>ranges</span>: <span class='kw-2'>&</span>[(<span class='ident'>char</span>, <span class='ident'>char</span>)]) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>arms</span> <span class='op'>=</span> <span class='ident'>ranges</span>.<span class='ident'>iter</span>().<span class='ident'>map</span>(<span class='op'>|</span><span class='kw-2'>&</span>(<span class='ident'>start</span>, <span class='ident'>end</span>)<span class='op'>|</span> { + <span class='kw'>let</span> <span class='ident'>pat</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>pat</span>( + <span class='self'>self</span>.<span class='ident'>sp</span>, <span class='ident'>ast</span>::<span class='ident'>PatRange</span>( + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>start</span>), <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>end</span>))); + <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>arm</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='macro'>vec</span><span class='macro'>!</span>(<span class='ident'>pat</span>), <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='boolval'>true</span>)) + }).<span class='ident'>collect</span>::<span class='op'><</span><span class='ident'>Vec</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Arm</span><span class='op'>>></span>(); + + <span class='ident'>arms</span>.<span class='ident'>push</span>(<span class='self'>self</span>.<span class='ident'>wild_arm_expr</span>(<span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='boolval'>false</span>))); + <span class='kw'>let</span> <span class='ident'>match_on</span> <span class='op'>=</span> <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='ident'>c</span>); + <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>expr_match</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='ident'>match_on</span>, <span class='ident'>arms</span>) + } + + <span class='comment'>// Generates code for checking a literal prefix of the search string.</span> + <span class='comment'>// The code is only generated if the regex *has* a literal prefix.</span> + <span class='comment'>// Otherwise, a no-op is returned.</span> + <span class='comment'>// fn check_prefix(&self) -> P<ast::Expr> {</span> + <span class='comment'>// if self.prog.prefixes.len() == 0 {</span> + <span class='comment'>// self.empty_block()</span> + <span class='comment'>// } else {</span> + <span class='comment'>// quote_expr!(self.cx,</span> + <span class='comment'>// if clist.size == 0 {</span> + <span class='comment'>// let haystack = &self.input.as_bytes()[self.ic..];</span> + <span class='comment'>// match find_prefix(prefix_bytes, haystack) {</span> + <span class='comment'>// None => break,</span> + <span class='comment'>// Some(i) => {</span> + <span class='comment'>// self.ic += i;</span> + <span class='comment'>// next_ic = self.chars.set(self.ic);</span> + <span class='comment'>// }</span> + <span class='comment'>// }</span> + <span class='comment'>// }</span> + <span class='comment'>// )</span> + <span class='comment'>// }</span> + <span class='comment'>// }</span> + + <span class='comment'>// Builds a `match pc { ... }` expression from a list of arms, specifically</span> + <span class='comment'>// for matching the current program counter with an instruction.</span> + <span class='comment'>// A wild-card arm is automatically added that executes a no-op. It will</span> + <span class='comment'>// never be used, but is added to satisfy the compiler complaining about</span> + <span class='comment'>// non-exhaustive patterns.</span> + <span class='kw'>fn</span> <span class='ident'>match_insts</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='kw-2'>mut</span> <span class='ident'>arms</span>: <span class='ident'>Vec</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Arm</span><span class='op'>></span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='ident'>arms</span>.<span class='ident'>push</span>(<span class='self'>self</span>.<span class='ident'>wild_arm_expr</span>(<span class='self'>self</span>.<span class='ident'>empty_block</span>())); + <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>expr_match</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='ident'>pc</span>), <span class='ident'>arms</span>) + } + + <span class='kw'>fn</span> <span class='ident'>empty_block</span>(<span class='kw-2'>&</span><span class='self'>self</span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, {}) + } + + <span class='comment'>// Creates a match arm for the instruction at `pc` with the expression</span> + <span class='comment'>// `body`.</span> + <span class='kw'>fn</span> <span class='ident'>arm_inst</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>pc</span>: <span class='ident'>usize</span>, <span class='ident'>body</span>: <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span>) <span class='op'>-></span> <span class='ident'>ast</span>::<span class='ident'>Arm</span> { + <span class='kw'>let</span> <span class='ident'>pc_pat</span> <span class='op'>=</span> <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>pat_lit</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='macro'>quote_expr</span><span class='macro'>!</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='macro-nonterminal'>$</span><span class='macro-nonterminal'>pc</span>)); + + <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>arm</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='macro'>vec</span><span class='macro'>!</span>(<span class='ident'>pc_pat</span>), <span class='ident'>body</span>) + } + + <span class='comment'>// Creates a wild-card match arm with the expression `body`.</span> + <span class='kw'>fn</span> <span class='ident'>wild_arm_expr</span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>body</span>: <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span>) <span class='op'>-></span> <span class='ident'>ast</span>::<span class='ident'>Arm</span> { + <span class='ident'>ast</span>::<span class='ident'>Arm</span> { + <span class='ident'>attrs</span>: <span class='macro'>vec</span><span class='macro'>!</span>(), + <span class='ident'>pats</span>: <span class='macro'>vec</span><span class='macro'>!</span>(<span class='ident'>P</span>(<span class='ident'>ast</span>::<span class='ident'>Pat</span>{ + <span class='ident'>id</span>: <span class='ident'>ast</span>::<span class='ident'>DUMMY_NODE_ID</span>, + <span class='ident'>span</span>: <span class='self'>self</span>.<span class='ident'>sp</span>, + <span class='ident'>node</span>: <span class='ident'>ast</span>::<span class='ident'>PatWild</span>(<span class='ident'>ast</span>::<span class='ident'>PatWildSingle</span>), + })), + <span class='ident'>guard</span>: <span class='prelude-val'>None</span>, + <span class='ident'>body</span>: <span class='ident'>body</span>, + } + } + + <span class='comment'>// Converts `xs` to a `[x1, x2, .., xN]` expression by calling `to_expr`</span> + <span class='comment'>// on each element in `xs`.</span> + <span class='kw'>fn</span> <span class='ident'>vec_expr</span><span class='op'><</span><span class='ident'>T</span>, <span class='ident'>It</span>: <span class='ident'>Iterator</span><span class='op'><</span><span class='ident'>Item</span><span class='op'>=</span><span class='ident'>T</span><span class='op'>>></span>(<span class='kw-2'>&</span><span class='self'>self</span>, <span class='ident'>xs</span>: <span class='ident'>It</span>, + <span class='ident'>to_expr</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>FnMut</span>(<span class='kw-2'>&</span><span class='ident'>ExtCtxt</span>, <span class='ident'>T</span>) <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span>) + <span class='op'>-></span> <span class='ident'>P</span><span class='op'><</span><span class='ident'>ast</span>::<span class='ident'>Expr</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='ident'>exprs</span> <span class='op'>=</span> <span class='ident'>xs</span>.<span class='ident'>map</span>(<span class='op'>|</span><span class='ident'>x</span><span class='op'>|</span> <span class='ident'>to_expr</span>(<span class='self'>self</span>.<span class='ident'>cx</span>, <span class='ident'>x</span>)).<span class='ident'>collect</span>(); + <span class='self'>self</span>.<span class='ident'>cx</span>.<span class='ident'>expr_vec</span>(<span class='self'>self</span>.<span class='ident'>sp</span>, <span class='ident'>exprs</span>) + } +} + +<span class='doccomment'>/// Looks for a single string literal and returns it.</span> +<span class='doccomment'>/// Otherwise, logs an error with cx.span_err and returns None.</span> +<span class='kw'>fn</span> <span class='ident'>parse</span>(<span class='ident'>cx</span>: <span class='kw-2'>&</span><span class='kw-2'>mut</span> <span class='ident'>ExtCtxt</span>, <span class='ident'>tts</span>: <span class='kw-2'>&</span>[<span class='ident'>ast</span>::<span class='ident'>TokenTree</span>]) <span class='op'>-></span> <span class='prelude-ty'>Option</span><span class='op'><</span><span class='ident'>String</span><span class='op'>></span> { + <span class='kw'>let</span> <span class='kw-2'>mut</span> <span class='ident'>parser</span> <span class='op'>=</span> <span class='ident'>cx</span>.<span class='ident'>new_parser_from_tts</span>(<span class='ident'>tts</span>); + <span class='kw'>let</span> <span class='ident'>entry</span> <span class='op'>=</span> <span class='ident'>cx</span>.<span class='ident'>expander</span>().<span class='ident'>fold_expr</span>(<span class='ident'>parser</span>.<span class='ident'>parse_expr</span>()); + <span class='kw'>let</span> <span class='ident'>regex</span> <span class='op'>=</span> <span class='kw'>match</span> <span class='ident'>entry</span>.<span class='ident'>node</span> { + <span class='ident'>ast</span>::<span class='ident'>ExprLit</span>(<span class='kw-2'>ref</span> <span class='ident'>lit</span>) <span class='op'>=></span> { + <span class='kw'>match</span> <span class='ident'>lit</span>.<span class='ident'>node</span> { + <span class='ident'>ast</span>::<span class='ident'>LitStr</span>(<span class='kw-2'>ref</span> <span class='ident'>s</span>, _) <span class='op'>=></span> <span class='ident'>s</span>.<span class='ident'>to_string</span>(), + _ <span class='op'>=></span> { + <span class='ident'>cx</span>.<span class='ident'>span_err</span>(<span class='ident'>entry</span>.<span class='ident'>span</span>, <span class='kw-2'>&</span><span class='macro'>format</span><span class='macro'>!</span>( + <span class='string'>"expected string literal but got `{}`"</span>, + <span class='ident'>pprust</span>::<span class='ident'>lit_to_string</span>(<span class='kw-2'>&</span><span class='op'>*</span><span class='op'>*</span><span class='ident'>lit</span>))); + <span class='kw'>return</span> <span class='prelude-val'>None</span> + } + } + } + _ <span class='op'>=></span> { + <span class='ident'>cx</span>.<span class='ident'>span_err</span>(<span class='ident'>entry</span>.<span class='ident'>span</span>, <span class='kw-2'>&</span><span class='macro'>format</span><span class='macro'>!</span>( + <span class='string'>"expected string literal but got `{}`"</span>, + <span class='ident'>pprust</span>::<span class='ident'>expr_to_string</span>(<span class='kw-2'>&</span><span class='op'>*</span><span class='ident'>entry</span>))); + <span class='kw'>return</span> <span class='prelude-val'>None</span> + } + }; + <span class='kw'>if</span> <span class='op'>!</span><span class='ident'>parser</span>.<span class='ident'>eat</span>(<span class='kw-2'>&</span><span class='ident'>token</span>::<span class='ident'>Eof</span>).<span class='ident'>ok</span>().<span class='ident'>unwrap</span>() { + <span class='ident'>cx</span>.<span class='ident'>span_err</span>(<span class='ident'>parser</span>.<span class='ident'>span</span>, <span class='string'>"only one string literal allowed"</span>); + <span class='kw'>return</span> <span class='prelude-val'>None</span>; + } + <span class='prelude-val'>Some</span>(<span class='ident'>regex</span>) +} +</pre> +</section> + <section id='search' class="content hidden"></section> + + <section class="footer"></section> + + <div id="help" class="hidden"> + <div class="shortcuts"> + <h1>Keyboard shortcuts</h1> + <dl> + <dt>?</dt> + <dd>Show this help dialog</dd> + <dt>S</dt> + <dd>Focus the search field</dd> + <dt>⇤</dt> + <dd>Move up in search results</dd> + <dt>⇥</dt> + <dd>Move down in search results</dd> + <dt>⏎</dt> + <dd>Go to active search result</dd> + </dl> + </div> + <div class="infos"> + <h1>Search tricks</h1> + <p> + Prefix searches with a type followed by a colon (e.g. + <code>fn:</code>) to restrict the search to a given type. + </p> + <p> + Accepted types are: <code>fn</code>, <code>mod</code>, + <code>struct</code>, <code>enum</code>, + <code>trait</code>, <code>typedef</code> (or + <code>tdef</code>). + </p> + <p> + Search functions by type signature (e.g. + <code>vec -> usize</code>) + </p> + </div> + </div> + + + + <script> + window.rootPath = "../../"; + window.currentCrate = "regex_macros"; + window.playgroundUrl = ""; + </script> + <script src="../../jquery.js"></script> + <script src="../../main.js"></script> + + <script async src="../../search-index.js"></script> +</body> +</html>
\ No newline at end of file |