npm - svf-tools - Versions diffs - 1.0.409 → 1.0.412 - Mend

svf-tools 1.0.409 → 1.0.412

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (210) hide show

package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html CHANGED Viewed

@@ -300,7 +300,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00103">103</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    {</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba">init</a>();</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5">isext_cache</a>.clear();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ExtAPI_html_a329882c608e9a6b10a758bcd1ca7a0b5"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5">SVF::ExtAPI::isext_cache</a></div><div class="ttdeci">Map&lt; const SVFFunction *, bool &gt; isext_cache</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00099">ExtAPI.h:99</a></div></div>
-<div class="ttc" id="classSVF_1_1ExtAPI_html_ac8af2b917fcc71c0a1a66b8cb0cc55ba"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba">SVF::ExtAPI::init</a></div><div class="ttdeci">void init()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00863">ExtAPI.cpp:863</a></div></div>
+<div class="ttc" id="classSVF_1_1ExtAPI_html_ac8af2b917fcc71c0a1a66b8cb0cc55ba"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac8af2b917fcc71c0a1a66b8cb0cc55ba">SVF::ExtAPI::init</a></div><div class="ttdeci">void init()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00864">ExtAPI.cpp:864</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -516,8 +516,8 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00863">863</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;{</div><div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;    set&lt;extf_t&gt; t_seen;</div><div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">extf_t</a> prev_t= <a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a>;</div><div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;    t_seen.insert(<a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a>);</div><div class="line"><a name="l00868"></a><span class="lineno">  868</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">const</span> ei_pair *p= <a class="code" href="ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a>; p-&gt;n; ++p)</div><div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;    {</div><div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;        <span class="keywordflow">if</span>(p-&gt;t != prev_t)</div><div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;        {</div><div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;            <span class="comment">//This will detect if you move an entry to another block</span></div><div class="line"><a name="l00873"></a><span class="lineno">  873</span>&#160;            <span class="comment">//  but forget to change the type.</span></div><div class="line"><a name="l00874"></a><span class="lineno">  874</span>&#160;            <span class="keywordflow">if</span>(t_seen.count(p-&gt;t))</div><div class="line"><a name="l00875"></a><span class="lineno">  875</span>&#160;            {</div><div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;                fputs(p-&gt;n, stderr);</div><div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;                putc(<span class="charliteral">&#39;\n&#39;</span>, stderr);</div><div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;                <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<span class="stringliteral">&quot;ei_pairs not grouped by type&quot;</span>);</div><div class="line"><a name="l00879"></a><span class="lineno">  879</span>&#160;            }</div><div class="line"><a name="l00880"></a><span class="lineno">  880</span>&#160;            t_seen.insert(p-&gt;t);</div><div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;            prev_t= p-&gt;t;</div><div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;        }</div><div class="line"><a name="l00883"></a><span class="lineno">  883</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca">info</a>.count(p-&gt;n))</div><div class="line"><a name="l00884"></a><span class="lineno">  884</span>&#160;        {</div><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;            fputs(p-&gt;n, stderr);</div><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;            putc(<span class="charliteral">&#39;\n&#39;</span>, stderr);</div><div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<span class="stringliteral">&quot;duplicate name in ei_pairs&quot;</span>);</div><div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;        }</div><div class="line"><a name="l00889"></a><span class="lineno">  889</span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca">info</a>[p-&gt;n]= p-&gt;t;</div><div class="line"><a name="l00890"></a><span class="lineno">  890</span>&#160;    }</div><div class="line"><a name="l00891"></a><span class="lineno">  891</span>&#160;}</div><div class="ttc" id="ExtAPI_8cpp_html_aa5c38361a7f02befa83ea45388056ea1"><div class="ttname"><a href="ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a></div><div class="ttdeci">static const ei_pair ei_pairs[]</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00030">ExtAPI.cpp:30</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00864">864</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;{</div><div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;    set&lt;extf_t&gt; t_seen;</div><div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">extf_t</a> prev_t= <a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a>;</div><div class="line"><a name="l00868"></a><span class="lineno">  868</span>&#160;    t_seen.insert(<a class="code" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a>);</div><div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">const</span> ei_pair *p= <a class="code" href="ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a>; p-&gt;n; ++p)</div><div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;    {</div><div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;        <span class="keywordflow">if</span>(p-&gt;t != prev_t)</div><div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;        {</div><div class="line"><a name="l00873"></a><span class="lineno">  873</span>&#160;            <span class="comment">//This will detect if you move an entry to another block</span></div><div class="line"><a name="l00874"></a><span class="lineno">  874</span>&#160;            <span class="comment">//  but forget to change the type.</span></div><div class="line"><a name="l00875"></a><span class="lineno">  875</span>&#160;            <span class="keywordflow">if</span>(t_seen.count(p-&gt;t))</div><div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;            {</div><div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;                fputs(p-&gt;n, stderr);</div><div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;                putc(<span class="charliteral">&#39;\n&#39;</span>, stderr);</div><div class="line"><a name="l00879"></a><span class="lineno">  879</span>&#160;                <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<span class="stringliteral">&quot;ei_pairs not grouped by type&quot;</span>);</div><div class="line"><a name="l00880"></a><span class="lineno">  880</span>&#160;            }</div><div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;            t_seen.insert(p-&gt;t);</div><div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;            prev_t= p-&gt;t;</div><div class="line"><a name="l00883"></a><span class="lineno">  883</span>&#160;        }</div><div class="line"><a name="l00884"></a><span class="lineno">  884</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca">info</a>.count(p-&gt;n))</div><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;        {</div><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;            fputs(p-&gt;n, stderr);</div><div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;            putc(<span class="charliteral">&#39;\n&#39;</span>, stderr);</div><div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<span class="stringliteral">&quot;duplicate name in ei_pairs&quot;</span>);</div><div class="line"><a name="l00889"></a><span class="lineno">  889</span>&#160;        }</div><div class="line"><a name="l00890"></a><span class="lineno">  890</span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca">info</a>[p-&gt;n]= p-&gt;t;</div><div class="line"><a name="l00891"></a><span class="lineno">  891</span>&#160;    }</div><div class="line"><a name="l00892"></a><span class="lineno">  892</span>&#160;}</div><div class="ttc" id="ExtAPI_8cpp_html_aa5c38361a7f02befa83ea45388056ea1"><div class="ttname"><a href="ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a></div><div class="ttdeci">static const ei_pair ei_pairs[]</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00030">ExtAPI.cpp:30</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1ExtAPI_html_aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a87c4ba17ac3567a0673d6516995e06ef">SVF::ExtAPI::EFT_NOOP</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00052">ExtAPI.h:52</a></div></div>
 <div class="ttc" id="classSVF_1_1ExtAPI_html_aaf94c82d98f8ed1514ee49c9881a4094"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">SVF::ExtAPI::extf_t</a></div><div class="ttdeci">extf_t</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00050">ExtAPI.h:50</a></div></div>