svf-tools 1.0.628 → 1.0.630

package/SVF-doxygen/html/html/SVFType_8h.html

@@ -72,16 +72,16 @@ $(function() {
 <div class="title">SVFType.h File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &lt;<a class="el" href="SparseBitVector_8h_source.html">Util/SparseBitVector.h</a>&gt;</code><br />
+<div class="textblock"><code>#include &quot;<a class="el" href="SparseBitVector_8h_source.html">Util/SparseBitVector.h</a>&quot;</code><br />
+<code>#include &lt;deque&gt;</code><br />
 <code>#include &lt;iostream&gt;</code><br />
-<code>#include &lt;vector&gt;</code><br />
 <code>#include &lt;list&gt;</code><br />
-<code>#include &lt;set&gt;</code><br />
-<code>#include &lt;unordered_set&gt;</code><br />
 <code>#include &lt;map&gt;</code><br />
-<code>#include &lt;unordered_map&gt;</code><br />
+<code>#include &lt;set&gt;</code><br />
 <code>#include &lt;stack&gt;</code><br />
-<code>#include &lt;deque&gt;</code><br />
+<code>#include &lt;unordered_map&gt;</code><br />
+<code>#include &lt;unordered_set&gt;</code><br />
+<code>#include &lt;vector&gt;</code><br />
 </div>
 <p><a href="SVFType_8h_source.html">Go to the source code of this file.</a></p>
 <table class="memberdecls">
@@ -129,7 +129,9 @@ Namespaces</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="define-members"></a>
 Macros</h2></td></tr>
-<tr class="memitem:a173ce1b9b505fdadf5613b663749d3b0"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(TYPE,  X)&#160;&#160;&#160;DEBUG_WITH_TYPE(TYPE, X)</td></tr>
+<tr class="memitem:a0e760853102aabaceef5ef82347c593c"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a0e760853102aabaceef5ef82347c593c">DEBUG_WITH_TYPE</a>(TYPE,  X)</td></tr>
+<tr class="separator:a0e760853102aabaceef5ef82347c593c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a173ce1b9b505fdadf5613b663749d3b0"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(TYPE,  X)&#160;&#160;&#160;<a class="el" href="SVFType_8h.html#a0e760853102aabaceef5ef82347c593c">DEBUG_WITH_TYPE</a>(TYPE, X)</td></tr>
 <tr class="memdesc:a173ce1b9b505fdadf5613b663749d3b0"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM debug macros, define type of your DEBUG model of each pass.  <a href="#a173ce1b9b505fdadf5613b663749d3b0">More...</a><br /></td></tr>
 <tr class="separator:a173ce1b9b505fdadf5613b663749d3b0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6c9e2209a2c38607a9e3b7fab242886a"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a">DOSTAT</a>(X)&#160;&#160;&#160;X</td></tr>
@@ -137,7 +139,6 @@ Macros</h2></td></tr>
 <tr class="memitem:ab6f41e9db3675dc689c5492418885041"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a>(X)&#160;&#160;&#160;X</td></tr>
 <tr class="separator:ab6f41e9db3675dc689c5492418885041"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2c64190a065f342897573a3ef4973adb"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>&#160;&#160;&#160;&quot;general&quot;</td></tr>
-<tr class="memdesc:a2c64190a065f342897573a3ef4973adb"><td class="mdescLeft">&#160;</td><td class="mdescRight">General debug flag is for each phase of a pass, it is often in a colorful output format.  <a href="#a2c64190a065f342897573a3ef4973adb">More...</a><br /></td></tr>
 <tr class="separator:a2c64190a065f342897573a3ef4973adb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7a295e02c56a93cf9206dd9d3b18dd17"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a>&#160;&#160;&#160;&quot;pag&quot;</td></tr>
 <tr class="separator:a7a295e02c56a93cf9206dd9d3b18dd17"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -221,8 +222,8 @@ Typedefs</h2></td></tr>
 <tr class="separator:a212231734fa43d5c7414137deaac7df3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac82022f3f81965c3ce9b26c299f537a7"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; NodePair &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></td></tr>
 <tr class="separator:ac82022f3f81965c3ce9b26c299f537a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a56a7d652fccf3134748f3cb8e8334b76"><td class="memItemLeft" align="right" valign="top">typedef Map&lt; NodePair, NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76">SVF::NodePairMap</a></td></tr>
-<tr class="separator:a56a7d652fccf3134748f3cb8e8334b76"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5aaae6def1049304d855101a0d4b0b1c"><td class="memItemLeft" align="right" valign="top">typedef Map&lt; NodePair, NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></td></tr>
+<tr class="separator:a5aaae6def1049304d855101a0d4b0b1c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a39d27055a14d9d6363c668ee215a4676"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></td></tr>
 <tr class="separator:a39d27055a14d9d6363c668ee215a4676"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4831992588252dc51c102e9e3f7d5e2e"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; EdgeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></td></tr>
@@ -277,7 +278,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00445">445</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00464">464</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -293,7 +294,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00435">435</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00454">454</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -318,14 +319,14 @@ Enumerations</h2></td></tr>
         <tr>
           <td></td>
           <td>)</td>
-          <td></td><td>&#160;&#160;&#160;DEBUG_WITH_TYPE(TYPE, X)</td>
+          <td></td><td>&#160;&#160;&#160;<a class="el" href="SVFType_8h.html#a0e760853102aabaceef5ef82347c593c">DEBUG_WITH_TYPE</a>(TYPE, X)</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
 <p>LLVM debug macros, define type of your DEBUG model of each pass. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00417">417</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00435">435</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -341,7 +342,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00431">431</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00450">450</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -357,7 +358,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00438">438</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00457">457</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -373,7 +374,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00427">427</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00446">446</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -389,7 +390,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00428">428</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00447">447</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -405,7 +406,37 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00429">429</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00448">448</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+
+</div>
+</div>
+<a id="a0e760853102aabaceef5ef82347c593c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0e760853102aabaceef5ef82347c593c">&#9670;&nbsp;</a></span>DEBUG_WITH_TYPE</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">#define DEBUG_WITH_TYPE</td>
+          <td>(</td>
+          <td class="paramtype">&#160;</td>
+          <td class="paramname">TYPE, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">&#160;</td>
+          <td class="paramname">X&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<b>Value:</b><div class="fragment"><div class="line"><span class="keywordflow">do</span>                                                                 \</div><div class="line">            {                                                                  \</div><div class="line">                X;                                                             \</div><div class="line">            } <span class="keywordflow">while</span> (<span class="keyword">false</span>)</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00421">421</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -420,10 +451,9 @@ Enumerations</h2></td></tr>
         </tr>
       </table>
 </div><div class="memdoc">
+<p>General debug flag is for each phase of a pass, it is often in a colorful output format </p>
 
-<p>General debug flag is for each phase of a pass, it is often in a colorful output format. </p>
-
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00422">422</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00441">441</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -439,7 +469,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00434">434</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00453">453</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -455,7 +485,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00425">425</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00444">444</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -471,7 +501,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00426">426</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00445">445</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -487,7 +517,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00433">433</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00452">452</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -503,7 +533,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00437">437</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00456">456</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -523,7 +553,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00418">418</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00436">436</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -543,7 +573,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00419">419</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00437">437</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -559,7 +589,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00424">424</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00443">443</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -575,7 +605,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00430">430</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00449">449</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -591,7 +621,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00436">436</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00455">455</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -607,7 +637,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00432">432</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00451">451</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -625,7 +655,7 @@ Enumerations</h2></td></tr>
 
 <p>Size of native integer that we'll use for bit vectors, in bits. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00448">448</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00467">467</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -641,7 +671,7 @@ Enumerations</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00444">444</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00463">463</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>