svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html

@@ -68,7 +68,7 @@ $(function() {
 <div class="contents">
 <a href="GEPTypeBridgeIterator_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">// GEPTypeBridgeIterator</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#ifndef SVF_GEPTYPEBRIDGEITERATOR_H</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="preprocessor">#define SVF_GEPTYPEBRIDGEITERATOR_H</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="preprocessor">#include &quot;llvm/IR/DerivedTypes.h&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#include &quot;llvm/IR/Operator.h&quot;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &quot;llvm/IR/User.h&quot;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &quot;llvm/ADT/PointerIntPair.h&quot;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &quot;llvm/IR/GetElementPtrTypeIterator.h&quot;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespacellvm.html">llvm</a></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;{</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> ItTy = User::const_op_iterator&gt;</div><div class="line"><a name="l00017"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html">   17</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> : <span class="keyword">public</span> std::iterator&lt;std::forward_iterator_tag, Type *, ptrdiff_t&gt;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;{</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;</div><div class="line"><a name="l00020"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aba9aa299a72307833598eca0ade33504">   20</a></span>&#160;    <span class="keyword">typedef</span> std::iterator&lt;std::forward_iterator_tag,Type *, ptrdiff_t&gt; <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aba9aa299a72307833598eca0ade33504">super</a>;</div><div class="line"><a name="l00021"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">   21</a></span>&#160;    ItTy <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>;</div><div class="line"><a name="l00022"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">   22</a></span>&#160;    PointerIntPair&lt;Type *,1&gt; <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>;</div><div class="line"><a name="l00023"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">   23</a></span>&#160;    <span class="keywordtype">unsigned</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">AddrSpace</a>;</div><div class="line"><a name="l00024"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a93f554395c6f42b26bea2ba3c70442c3">   24</a></span>&#160;    <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a93f554395c6f42b26bea2ba3c70442c3">generic_bridge_gep_type_iterator</a>() {}</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">   27</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">begin</a>(<a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *Ty, ItTy It)</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    {</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;        <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> I;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Ty);</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a> = It;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;        <span class="keywordflow">return</span> I;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    }</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619">   35</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619">begin</a>(<a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *Ty, <span class="keywordtype">unsigned</span> AddrSpace,</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;            ItTy It)</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    {</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> I;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setPointer(Ty);</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509">CurTy</a>.setInt(<span class="keyword">true</span>);</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">AddrSpace</a> = <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">AddrSpace</a>;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a> = It;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        <span class="keywordflow">return</span> I;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    }</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">   46</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">end</a>(ItTy It)</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    {</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> I;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        I.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a> = It;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <span class="keywordflow">return</span> I;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    }</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">   53</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">operator==</a>(<span class="keyword">const</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a>&amp; x)<span class="keyword"> const</span></div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <span class="keywordflow">return</span> OpIt == x.<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c">   58</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a>&amp; x)<span class="keyword"> const</span></div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <span class="keywordflow">return</span> !<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">operator==</a>(x);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    }</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">   63</a></span>&#160;    <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">operator*</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordflow">if</span> ( CurTy.getInt() )</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;            <span class="keywordflow">return</span> CurTy.getPointer()-&gt;getPointerTo(AddrSpace);</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">return</span> CurTy.getPointer();</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673">   70</a></span>&#160;    <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673">getIndexedType</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;needs to be refactored&quot;</span>);</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">if</span> ( CurTy.getInt() )</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;            <span class="keywordflow">return</span> CurTy.getPointer();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = CurTy.getPointer();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            <span class="keywordflow">return</span> ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keywordflow">return</span> Array-&gt;getElementType();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;            <span class="keywordflow">return</span> Vector-&gt;getElementType();</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">return</span> CT;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        CompositeType *CT = llvm::cast&lt;CompositeType&gt;( CurTy.getPointer() );</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <span class="keywordflow">return</span> CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>());</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    <span class="comment">// non-standard operators, these may not need be bridged but seems it&#39;s</span></div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <span class="comment">// predunt to do so...</span></div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">   93</a></span>&#160;    <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">operator-&gt;</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">operator*</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    }</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">   98</a></span>&#160;    <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">const_cast&lt;</span><a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*<span class="keyword">&gt;</span>(&amp;**<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e">  104</a></span>&#160;    <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a>&amp; <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e">operator++</a>()</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">if</span> ( CurTy.getInt() )</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            CurTy.setInt(<span class="keyword">false</span>);</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * CT = CurTy.getPointer() )</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        {</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <span class="keywordflow">if</span> (<span class="keyword">auto</span> ST = dyn_cast&lt;StructType&gt;(CT))</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                CurTy.setPointer(ST-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Array = dyn_cast&lt;ArrayType&gt;(CT))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                CurTy.setPointer(Array-&gt;getElementType());</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">auto</span> Vector = dyn_cast&lt;VectorType&gt;(CT))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                CurTy.setPointer(Vector-&gt;getElementType());</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                CurTy.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        }</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> ( CompositeType * CT = dyn_cast&lt;CompositeType&gt;(CurTy.getPointer()) )</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            CurTy.setPointer(CT-&gt;getTypeAtIndex(<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31">getOperand</a>()));</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        }</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;            CurTy.setPointer(<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        ++<a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">OpIt</a>;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300">  137</a></span>&#160;    <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300">operator++</a>(<span class="keywordtype">int</span>)</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    {</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> tmp = *<span class="keyword">this</span>;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        ++*<span class="keyword">this</span>;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="keywordflow">return</span> tmp;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;};</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;</div><div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">  147</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator&lt;&gt;</a> <a class="code" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">bridge_gep_iterator</a>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;</div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">  149</a></span>&#160;<span class="keyword">inline</span> bridge_gep_iterator <a class="code" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">bridge_gep_begin</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a>* GEP)</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;{</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <span class="keyword">auto</span> *GEPOp = llvm::cast&lt;GEPOperator&gt;(GEP);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">bridge_gep_iterator::begin</a>(GEPOp-&gt;getSourceElementType(),</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;                                      llvm::cast&lt;PointerType&gt;(GEPOp-&gt;getPointerOperandType()-&gt;getScalarType())-&gt;getAddressSpace(),</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;                                      GEP-&gt;op_begin() + 1);</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;}</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">  157</a></span>&#160;<span class="keyword">inline</span> bridge_gep_iterator <a class="code" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">bridge_gep_end</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a>* GEP)</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;{</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">bridge_gep_iterator::end</a>(GEP-&gt;op_end());</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;}</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe">  162</a></span>&#160;<span class="keyword">inline</span> bridge_gep_iterator <a class="code" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">bridge_gep_begin</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a> &amp;GEP)</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;{</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    <span class="keyword">auto</span> &amp;GEPOp = llvm::cast&lt;GEPOperator&gt;(GEP);</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">bridge_gep_iterator::begin</a>( GEPOp.getSourceElementType(),</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                                       llvm::cast&lt;PointerType&gt;(GEPOp.getPointerOperandType()-&gt;getScalarType())-&gt;getAddressSpace(),</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                                       GEP.op_begin() + 1);</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;}</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8">  170</a></span>&#160;<span class="keyword">inline</span> bridge_gep_iterator <a class="code" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">bridge_gep_end</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a> &amp;GEP)</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;{</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">bridge_gep_iterator::end</a>(GEP.op_end());</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;}</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T&gt;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="namespacellvm.html#af784337dc495897cf05f28fd95f07477">  176</a></span>&#160;<span class="keyword">inline</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator&lt;const T*&gt;</a> <a class="code" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">bridge_gep_end</a>( <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * <span class="comment">/*Op0*/</span>, ArrayRef&lt;T&gt; A )</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;{</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">generic_bridge_gep_type_iterator&lt;const T*&gt;::end</a>(A.end());</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;}</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;} <span class="comment">// End namespace llvm</span></div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aef8babf0bd09f63692e99d3ec563b193"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">llvm::generic_bridge_gep_type_iterator::operator*</a></div><div class="ttdeci">Type * operator*() const</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00063">GEPTypeBridgeIterator.h:63</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_aabd833b8eca182f681462209c9f24f1a"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator::begin</a></div><div class="ttdeci">static generic_bridge_gep_type_iterator begin(Type *Ty, ItTy It)</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00027">GEPTypeBridgeIterator.h:27</a></div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00328">CHG.h:328</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00152">CFLGraph.h:152</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html_a93f554395c6f42b26bea2ba3c70442c3"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html#a93f554395c6f42b26bea2ba3c70442c3">llvm::generic_bridge_gep_type_iterator::generic_bridge_gep_type_iterator</a></div><div class="ttdeci">generic_bridge_gep_type_iterator()</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00024">GEPTypeBridgeIterator.h:24</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</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>

package/SVF-doxygen/html/html/GenericGraph_8h_source.html

@@ -76,7 +76,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a12d493d6ad2b6c89f240c9ccfa3bdf30"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">SVF::GenericGraph::EdgeType</a></div><div class="ttdeci">EdgeTy EdgeType</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00332">GenericGraph.h:332</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a29cab1426b0000bd87c026ab8c9979c0"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">SVF::GenericGraph::getTotalEdgeNum</a></div><div class="ttdeci">u32_t getTotalEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00418">GenericGraph.h:418</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a50219c203fb5a8a44fe22428699f26e7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">const_iterator OutEdgeBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00218">GenericGraph.h:218</a></div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00328">CHG.h:328</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00152">CFLGraph.h:152</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
 <div class="ttc" id="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_html_aec39caaa600f638af5e5fa57ae0b6706"><div class="ttname"><a href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;::NodeType</a></div><div class="ttdeci">NodeTy NodeType</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00454">GenericGraph.h:454</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a8c8d16036008f87c7811586047599858"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">SVF::GenericGraph::getTotalNodeNum</a></div><div class="ttdeci">u32_t getTotalNodeNum() const</div><div class="ttdoc">Get total number of node/edge. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00414">GenericGraph.h:414</a></div></div>
@@ -162,7 +162,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00053">GenericGraph.h:53</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a4ab1f2e5db301e4a37215905a22e6476"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode::directInEdgeBegin</a></div><div class="ttdeci">virtual iterator directInEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00246">GenericGraph.h:246</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
-<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
 <div class="ttc" id="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_html_af8a1cf62dc7ed9d8da15e6e92e3a433c"><div class="ttname"><a href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;::NodeType</a></div><div class="ttdeci">NodeTy NodeType</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00531">GenericGraph.h:531</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a7388dabef7300e77adf33f3999639f21"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">SVF::GenericGraph::incNodeNum</a></div><div class="ttdeci">void incNodeNum()</div><div class="ttdoc">Increase number of node/edge. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00423">GenericGraph.h:423</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>

package/SVF-doxygen/html/html/GrammarBuilder_8cpp.html

@@ -0,0 +1,94 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/lib/CFL/GrammarBuilder.cpp File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html">lib</a></li><li class="navelem"><a class="el" href="dir_98f9a352f241e0e917d4efaa4086f6e8.html">CFL</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#namespaces">Namespaces</a>  </div>
+  <div class="headertitle">
+<div class="title">GrammarBuilder.cpp File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &lt;string&gt;</code><br />
+<code>#include &lt;fstream&gt;</code><br />
+<code>#include &lt;regex&gt;</code><br />
+<code>#include &lt;sstream&gt;</code><br />
+<code>#include &lt;iostream&gt;</code><br />
+<code>#include &quot;<a class="el" href="GrammarBuilder_8h_source.html">CFL/GrammarBuilder.h</a>&quot;</code><br />
+</div>
+<p><a href="GrammarBuilder_8cpp_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
+Namespaces</h2></td></tr>
+<tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
+<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html

@@ -0,0 +1,92 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/lib/CFL/GrammarBuilder.cpp Source File</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html">lib</a></li><li class="navelem"><a class="el" href="dir_98f9a352f241e0e917d4efaa4086f6e8.html">CFL</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">GrammarBuilder.cpp</div>  </div>
+</div><!--header-->
+<div class="contents">
+<a href="GrammarBuilder_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===----- CFGNormalizer.h -- CFL Alias Analysis Client--------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * GrammarBuilder.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: April 27, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Pei Xu</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &lt;fstream&gt;</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &lt;regex&gt;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &lt;sstream&gt;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;iostream&gt;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GrammarBuilder_8h.html">CFL/GrammarBuilder.h</a>&quot;</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a>{</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">   38</a></span>&#160;    <a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a>* <a class="code" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">GrammarBuilder::build</a>(){</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a>(<span class="stringliteral">&quot;epsilon&quot;</span>);</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        std::ifstream textFile(<a class="code" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>);</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;        std::string lineString;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        std::string lines = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;        std::regex reg(<span class="stringliteral">&quot;Start:([\\s\\S]*)Productions:([\\s\\S]*)&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;        std::string startS = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;        std::regex stripReg(<span class="stringliteral">&quot;\\s*(\\S*)\\s*&quot;</span>);</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;        std::vector&lt;std::string&gt; wordProd;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        <span class="keywordflow">while</span> (getline(textFile, lineString))</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;            lines.append(lineString);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        }</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        textFile.close();</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        std::smatch matches;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> prod;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">if</span> (std::regex_search(lines, matches, reg))</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        {</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;            lines = matches.str(2);</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;            startS = matches.str(1);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;            std::regex_search(startS, matches, stripReg);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;            startS = matches.str(1);</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        }</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordtype">size_t</span> pos = 0;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        std::string delimiter = <span class="stringliteral">&quot;;&quot;</span>;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        std::string word = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <span class="keywordflow">while</span> ((pos = lines.find(<span class="stringliteral">&quot;;&quot;</span>)) != std::string::npos)</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            word = lines.substr(0, pos);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            wordProd.push_back(word);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            lines.erase(0, pos + delimiter.length());</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        }</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        std::string delimiter1 = <span class="stringliteral">&quot;-&gt;&quot;</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it : wordProd)</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <span class="keywordflow">if</span> ((pos = it.find(delimiter1)) != std::string::npos)</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            {</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;                std::string head = it.substr(0, pos);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;                std::string LHS = it.substr(pos + delimiter1.size(), it.size() - 1);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                std::regex_search(head, matches, stripReg);</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;                head = matches.str(1);<span class="comment">// Capital is Non-terminal</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.find(head) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.end())</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                {</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.insert({head, <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>});</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                    prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>++);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                }</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                    prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(head));</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                }</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>.find(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(head)) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>.end())</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>.insert({<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(head), {}});</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                }</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                std::regex LHSReg(<span class="stringliteral">&quot;\\s*(.*)&quot;</span>);</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                std::regex_search(LHS, matches, LHSReg);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                LHS = matches.str(1);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                delimiter = <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                <span class="keywordflow">while</span> ((pos = LHS.find(delimiter)) != std::string::npos)</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                    word = LHS.substr(0, pos);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                    LHS.erase(0, pos + delimiter.length());<span class="comment">//Capital is Nonterminal, Otherwise is terminal</span></div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;                    <span class="keywordflow">if</span> (isupper(word[0])){</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.find(word) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.end())</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                            <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.insert({word, <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>});</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                            prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>++);</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                        }</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                        <span class="keywordflow">else</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                            prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(word));</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;                    }</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                    <span class="keywordflow">else</span> {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.find(word) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.end())</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                        {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                            <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.insert({word, <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>});</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                            prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>++);</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                        }</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                        <span class="keywordflow">else</span></div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                            prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(word));</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                    }</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                }</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                <span class="keywordflow">if</span> (isupper(LHS[0])){</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.find(LHS) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.end())</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                    {</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a>.insert({LHS, <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>});</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                        prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>++);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                    }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                    <span class="keywordflow">else</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                        prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(LHS));</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;                }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                <span class="keywordflow">else</span> {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.find(LHS) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.end())</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                    {</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a>.insert({LHS, <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>});</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                        prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a>++);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    }</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                    <span class="keywordflow">else</span></div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                        prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(LHS));</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a>[<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(head)].insert(prod);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                prod = {};</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            }</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        }</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a> = <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(startS); </div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>; </div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    }; </div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1GrammarBuilder.html#a7134cf01048cb2d7b33931712783579e">  150</a></span>&#160;<a class="code" href="classSVF_1_1GrammarBase.html">GrammarBase</a>* <a class="code" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">GrammarBuilder::build</a>(<a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;std::string, SVF::CFLGraph::Symbol&gt;</a> *preMap){</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a> = *preMap;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a> = preMap-&gt;size();</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">build</a>();</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;};</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBuilder_html_a7b81810150ce896801e4e6a831ab98aa"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder::grammar</a></div><div class="ttdeci">GrammarBase * grammar</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00054">GrammarBuilder.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a7583350e892c62a454de8a8317e4c1b8"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase::insertTerminalSymbol</a></div><div class="ttdeci">Symbol insertTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00075">CFLGrammar.cpp:75</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a05ea6937c8afaa20914ec47c10452a95"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">SVF::GrammarBase::rawProductions</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; rawProductions</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00056">CFLGrammar.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ac17dee194615cc9f7861375f033aaa8e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">SVF::GrammarBase::totalSymbol</a></div><div class="ttdeci">Symbol totalSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00055">CFLGrammar.h:55</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ada4387512b2e18555b4c309580d4dba6"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase::str2Sym</a></div><div class="ttdeci">Symbol str2Sym(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00035">CFLGrammar.cpp:35</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a48c738beefe73184f7aed8b1ed5afb53"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">SVF::GrammarBase::startSymbol</a></div><div class="ttdeci">Symbol startSymbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00054">CFLGrammar.h:54</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af9e8e7bf4239a04002ff41885f9e5e91"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">SVF::GrammarBase::terminals</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; terminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00035">CFLGrammar.h:35</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00038">CFLGrammar.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a42edb89b4d782bfae800842f90da09ff"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">SVF::GrammarBase::nonterminals</a></div><div class="ttdeci">Map&lt; std::string, Symbol &gt; nonterminals</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00041">CFLGrammar.h:41</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00053">GrammarBuilder.h:53</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
+<div class="ttc" id="GrammarBuilder_8h_html"><div class="ttname"><a href="GrammarBuilder_8h.html">GrammarBuilder.h</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a630c90978d5fe576ca180cf04ee562f6"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6">SVF::GrammarBuilder::build</a></div><div class="ttdeci">GrammarBase * build()</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00038">GrammarBuilder.cpp:38</a></div></div>
+</div><!-- fragment --></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/GrammarBuilder_8h.html

@@ -0,0 +1,96 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/CFL/GrammarBuilder.h File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_ae8aa099e368efaa962140c6624142bc.html">CFL</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#nested-classes">Classes</a> &#124;
+<a href="#namespaces">Namespaces</a>  </div>
+  <div class="headertitle">
+<div class="title">GrammarBuilder.h File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &quot;<a class="el" href="CFLGrammar_8h_source.html">CFL/CFLGrammar.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="CFLGraph_8h_source.html">Graphs/CFLGraph.h</a>&quot;</code><br />
+</div>
+<p><a href="GrammarBuilder_8h_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
+Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
+Namespaces</h2></td></tr>
+<tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
+<tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>