svf-tools 1.0.477 → 1.0.480

package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html

@@ -64,8 +64,8 @@ $(function() {
 <div class="header">
   <div class="summary">
 <a href="#pub-methods">Public Member Functions</a> &#124;
-<a href="#pub-attribs">Public Attributes</a> &#124;
 <a href="#pri-methods">Private Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
 <a href="classSVF_1_1GrammarBuilder-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">SVF::GrammarBuilder Class Reference</div>  </div>
@@ -79,37 +79,38 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a423310118382fa2d5afe169a290a355b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b">GrammarBuilder</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>)</td></tr>
 <tr class="separator:a423310118382fa2d5afe169a290a355b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a23d03b2cd348d85bda1ee582dded6505"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">build</a> () const</td></tr>
-<tr class="memdesc:a23d03b2cd348d85bda1ee582dded6505"><td class="mdescLeft">&#160;</td><td class="mdescRight">build grammarbase from textfile  <a href="#a23d03b2cd348d85bda1ee582dded6505">More...</a><br /></td></tr>
+<tr class="memdesc:a23d03b2cd348d85bda1ee582dded6505"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build grammarBase from fileName.  <a href="#a23d03b2cd348d85bda1ee582dded6505">More...</a><br /></td></tr>
 <tr class="separator:a23d03b2cd348d85bda1ee582dded6505"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a96bbf4a3b10d1c962c1750af24e17bab"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a96bbf4a3b10d1c962c1750af24e17bab">build</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3">SVF::CFLGraph::Symbol</a> &gt; &amp;preMap) const</td></tr>
-<tr class="separator:a96bbf4a3b10d1c962c1750af24e17bab"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
-Public Attributes</h2></td></tr>
-<tr class="memitem:aa0f5135a232adc1ca42d4f51a3c70704"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a></td></tr>
-<tr class="separator:aa0f5135a232adc1ca42d4f51a3c70704"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7b81810150ce896801e4e6a831ab98aa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a></td></tr>
-<tr class="separator:a7b81810150ce896801e4e6a831ab98aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a11bd8225be12650c811ba968cc3935b3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">build</a> (<a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a> &gt; &amp;preMap) const</td></tr>
+<tr class="memdesc:a11bd8225be12650c811ba968cc3935b3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build grammarBase from fileName with preset str2KindMap.  <a href="#a11bd8225be12650c811ba968cc3935b3">More...</a><br /></td></tr>
+<tr class="separator:a11bd8225be12650c811ba968cc3935b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
 Private Member Functions</h2></td></tr>
-<tr class="memitem:a34bd036f78713dc9b016e32ce4458942"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942">loadFileString</a> () const</td></tr>
-<tr class="memdesc:a34bd036f78713dc9b016e32ce4458942"><td class="mdescLeft">&#160;</td><td class="mdescRight">Load whole file content to string.  <a href="#a34bd036f78713dc9b016e32ce4458942">More...</a><br /></td></tr>
-<tr class="separator:a34bd036f78713dc9b016e32ce4458942"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aec359cdc61c47fbd5ef1341e8ef4a556"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#aec359cdc61c47fbd5ef1341e8ef4a556">parseProduction</a> () const</td></tr>
-<tr class="memdesc:aec359cdc61c47fbd5ef1341e8ef4a556"><td class="mdescLeft">&#160;</td><td class="mdescRight">Parse start symbol and production from file string.  <a href="#aec359cdc61c47fbd5ef1341e8ef4a556">More...</a><br /></td></tr>
-<tr class="separator:aec359cdc61c47fbd5ef1341e8ef4a556"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a34166b4b1ce1dcc985f4619f4a2bbc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">parseProductionsString</a> () const</td></tr>
+<tr class="memdesc:a5a34166b4b1ce1dcc985f4619f4a2bbc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Parse start symbol and production from file string.  <a href="#a5a34166b4b1ce1dcc985f4619f4a2bbc">More...</a><br /></td></tr>
+<tr class="separator:a5a34166b4b1ce1dcc985f4619f4a2bbc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abad6b574d9f88e2b4ebb6372dc903f62"><td class="memItemLeft" align="right" valign="top">const std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">loadWordProductions</a> () const</td></tr>
 <tr class="memdesc:abad6b574d9f88e2b4ebb6372dc903f62"><td class="mdescLeft">&#160;</td><td class="mdescRight">Parse whole production string to production vector.  <a href="#abad6b574d9f88e2b4ebb6372dc903f62">More...</a><br /></td></tr>
 <tr class="separator:abad6b574d9f88e2b4ebb6372dc903f62"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6de372fbe80d33a5688cada0adca0bb8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> s) const</td></tr>
-<tr class="memdesc:a6de372fbe80d33a5688cada0adca0bb8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Strip frond and tail space.  <a href="#a6de372fbe80d33a5688cada0adca0bb8">More...</a><br /></td></tr>
+<tr class="memdesc:a6de372fbe80d33a5688cada0adca0bb8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Strip front and tail space.  <a href="#a6de372fbe80d33a5688cada0adca0bb8">More...</a><br /></td></tr>
 <tr class="separator:a6de372fbe80d33a5688cada0adca0bb8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:aa0f5135a232adc1ca42d4f51a3c70704"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a></td></tr>
+<tr class="separator:aa0f5135a232adc1ca42d4f51a3c70704"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7b81810150ce896801e4e6a831ab98aa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a></td></tr>
+<tr class="separator:a7b81810150ce896801e4e6a831ab98aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
-<div class="textblock"><p>Build Grammar from a user specified grammar text Input Format: Start: // Special string 'epsilon' for empty RHS M // Specify Start Symbol in Second Line Productions: // Each Symbol seperate by 'Space', production end with ';' M -&gt; V d; // Terminal in NonCapital M -&gt; dbar V d; // NonTerminal in Capital V -&gt; M abar M a M; // LHS and RHS, Seperate by '-&gt;' V -&gt; ( M ? abar ) * M ? ( a M ? ) *; // Support '(' ')' '?' '*' four regular expression sign Note: When provide EBNF form text (i.e Last production above), Please specify -ebnf flag, otherwise regular experssion sign will treat as NonTerminal. </p>
+<div class="textblock"><p>Build Grammar from a user specified grammar text</p>
+<p>Symbol Format: &lt;kind&gt; [bar] [ _alpha | _number ] kind: any nonspace string start with alphabet, epsilon stand for empty string bar: stand for reverse edge alpha: any single alpha number: any number start with capital: nonterminal start with noncapital: terminal</p>
+<p>Production Format: &lt;symbol&gt; -&gt; &lt;symbol&gt; *; LHS and RHS, Seperate by '-&gt;', symbol seperate by ' ', end by ';' support '*', '?', '(', ')'</p>
+<p>Input Format: Start: M // Specify Start Symbol in Second Line Terminal: Addr Copy Store Load Gep Vgep // Specify the order of terminal Addr-&gt;0, Copy-&gt;1 .. Productions: // Each Symbol seperate by 'Space', production end with ';' M -&gt; V d; // Terminal in NonCapital M -&gt; dbar V d; // NonTerminal in Capital V -&gt; M abar M a M; // LHS and RHS, Seperate by '-&gt;' V -&gt; ( M ? abar ) * M ? ( a M ? ) *; // Support '(' ')' '?' '*' four regular expression sign Gep_j -&gt; Gep_i F vgep; // Support variable attribute with variable attribute Gep_1 -&gt; Gep_2; // Support fix number attribute </p>
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00051">51</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00070">70</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a423310118382fa2d5afe169a290a355b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a423310118382fa2d5afe169a290a355b">&#9670;&nbsp;</a></span>GrammarBuilder()</h2>
@@ -135,9 +136,9 @@ Private Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00070">70</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                                      : <a class="code" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>(<a class="code" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>), <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a> = <span class="keyword">new</span> GrammarBase();</div><div class="line"><a name="l00073"></a><span class="lineno">   73</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#l00068">GrammarBuilder.h:68</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#l00067">GrammarBuilder.h:67</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00086">86</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                                      : <a class="code" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>(<a class="code" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">fileName</a>), <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>(<span class="keyword">nullptr</span>)</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;        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a> = <span class="keyword">new</span> GrammarBase();</div><div class="line"><a name="l00089"></a><span class="lineno">   89</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#l00074">GrammarBuilder.h:74</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#l00073">GrammarBuilder.h:73</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -157,74 +158,40 @@ Private Member Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
+<p>Build grammarBase from fileName. </p>
 <p>build grammarbase from textfile </p>
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00097">97</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;{</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    std::smatch matches;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter = <span class="stringliteral">&quot;;&quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    <span class="keywordtype">size_t</span> pos = 0;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> word = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> prod;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    std::vector&lt;std::string&gt; wordProd = <a class="code" href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">loadWordProductions</a>();</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter1 = <span class="stringliteral">&quot;-&gt;&quot;</span>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it : wordProd)</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    {</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">if</span> ((pos = it.find(delimiter1)) != std::string::npos)</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;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> head = it.substr(0, pos);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> LHS = it.substr(pos + delimiter1.size(), it.size() - 1);</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            head = <a class="code" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(head);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</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#ad3351ced90fd47212bb776f7ab8ea7ca">insertNonTerminalKind</a>(head));</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#a1418337120e80b792627883d10f93ff1">getRawProductions</a>().find(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(head)) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a1418337120e80b792627883d10f93ff1">getRawProductions</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#a1418337120e80b792627883d10f93ff1">getRawProductions</a>().insert({<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(head), {}});</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            }</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;            std::regex LHSReg(<span class="stringliteral">&quot;\\s*(.*)&quot;</span>);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            std::regex_search(LHS, matches, LHSReg);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            LHS = matches.str(1);</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            delimiter = <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">while</span> ((pos = LHS.find(delimiter)) != std::string::npos)</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            {</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                word = LHS.substr(0, pos);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                LHS.erase(0, pos + delimiter.length()); <span class="comment">//Capital is Nonterminal, Otherwise is terminal</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                <span class="keywordflow">if</span> (isupper(word[0]))</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;                    prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca">insertNonTerminalKind</a>(word));</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;                <span class="keywordflow">else</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</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#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(word));</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">  137</span>&#160;            <span class="keywordflow">if</span> (isupper(LHS[0]))</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;                prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca">insertNonTerminalKind</a>(LHS));</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            }</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            <span class="keywordflow">else</span></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;                prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(LHS));</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;            <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a1418337120e80b792627883d10f93ff1">getRawProductions</a>().at(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(head)).insert(prod);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            prod = {};</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        }</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">  150</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;};</div><div class="ttc" id="classSVF_1_1GrammarBase_html_ad3351ced90fd47212bb776f7ab8ea7ca"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca">SVF::GrammarBase::insertNonTerminalKind</a></div><div class="ttdeci">Kind insertNonTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00146">CFLGrammar.cpp:146</a></div></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#l00068">GrammarBuilder.h:68</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00071">GrammarBuilder.cpp:71</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2d56d8cdc4539d4201d1995fb36e772"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase::str2Kind</a></div><div class="ttdeci">Kind str2Kind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00053">CFLGrammar.cpp:53</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#l00039">CFLGrammar.h:39</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip frond and tail space. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00087">GrammarBuilder.cpp:87</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a1418337120e80b792627883d10f93ff1"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1418337120e80b792627883d10f93ff1">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00064">CFLGrammar.h:64</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00104">104</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
+<div class="fragment"><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;    std::smatch matches;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter = <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter1 = <span class="stringliteral">&quot;-&gt;&quot;</span>;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> word = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <span class="keywordtype">size_t</span> pos;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">GrammarBase::Production</a> prod;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    std::vector&lt;std::string&gt; wordProdVec = <a class="code" href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">loadWordProductions</a>();</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">for</span> (<span class="keyword">auto</span> wordProd : wordProdVec)</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">if</span> ((pos = wordProd.find(delimiter1)) != std::string::npos)</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> RHS = <a class="code" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(wordProd.substr(0, pos));</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> LHS = wordProd.substr(pos + delimiter1.size(), wordProd.size() - 1);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;            <a class="code" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">GrammarBase::Symbol</a> RHSSymbol = <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(RHS);</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            prod.push_back(RHSSymbol);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</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#a4561438149716c91178ea013686f66ae">getRawProductions</a>().find(RHSSymbol) == <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>().end())  <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>().insert({RHSSymbol, {}});</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            std::regex LHSRegEx(<span class="stringliteral">&quot;\\s*(.*)&quot;</span>);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            std::regex_search(LHS, matches, LHSRegEx);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            LHS = matches.str(1);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <span class="keywordflow">while</span> ((pos = LHS.find(delimiter)) != std::string::npos)</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            {</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                word = LHS.substr(0, pos);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                LHS.erase(0, pos + delimiter.length()); <span class="comment">//Capital is Nonterminal, Otherwise is terminal</span></div><div class="line"><a name="l00130"></a><span class="lineno">  130</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#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(word));</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;            prod.push_back(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(LHS));</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;            <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>().at(RHSSymbol).insert(prod);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            prod = {};</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">  137</span>&#160;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</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#l00074">GrammarBuilder.h:74</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00199">CFLGrammar.h:199</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00078">GrammarBuilder.cpp:78</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a63389968c8d246a84562a8d17e08790b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase::insertNonTerminalSymbol</a></div><div class="ttdeci">Symbol insertNonTerminalSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00231">CFLGrammar.cpp:231</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#l00175">CFLGrammar.h:175</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ad4f53184d04d9f7a737b19f63d002550"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">struct SVF::GrammarBase::Symbol Symbol</div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip front and tail space. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00094">GrammarBuilder.cpp:94</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00132">CFLGrammar.cpp:132</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00217">CFLGrammar.cpp:217</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a96bbf4a3b10d1c962c1750af24e17bab"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a96bbf4a3b10d1c962c1750af24e17bab">&#9670;&nbsp;</a></span>build() <span class="overload">[2/2]</span></h2>
+<a id="a11bd8225be12650c811ba968cc3935b3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a11bd8225be12650c811ba968cc3935b3">&#9670;&nbsp;</a></span>build() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> * SVF::GrammarBuilder::build </td>
+          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a>* SVF::GrammarBuilder::build </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3">SVF::CFLGraph::Symbol</a> &gt; &amp;&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a> &gt; &amp;&#160;</td>
           <td class="paramname"><em>preMap</em></td><td>)</td>
           <td> const</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00153">153</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><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;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(preMap);</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(preMap.size());</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">build</a>();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</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#l00068">GrammarBuilder.h:68</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a37a31f03501a11e7951d56dbf1cb146a"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase::setTotalKind</a></div><div class="ttdeci">void setTotalKind(Kind totalKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00089">CFLGrammar.h:89</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_afc9635e14b5871df457bf64fae6ad8cf"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">SVF::GrammarBase::setNonterminals</a></div><div class="ttdeci">void setNonterminals(Map&lt; std::string, Kind &gt; &amp;nonterminals)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00049">CFLGrammar.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a23d03b2cd348d85bda1ee582dded6505"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder::build</a></div><div class="ttdeci">GrammarBase * build() const</div><div class="ttdoc">build grammarbase from textfile </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00097">GrammarBuilder.cpp:97</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a34bd036f78713dc9b016e32ce4458942"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a34bd036f78713dc9b016e32ce4458942">&#9670;&nbsp;</a></span>loadFileString()</h2>
+<p>Build grammarBase from fileName with preset str2KindMap. </p>
 
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::GrammarBuilder::loadFileString </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Load whole file content to string. </p>
-
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00039">39</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><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;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lineString;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lines = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <span class="keywordflow">while</span> (getline(textFile, lineString))</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">   46</span>&#160;        lines.append(lineString);</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;    textFile.close();</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">return</span> lines;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;}</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#l00067">GrammarBuilder.h:67</a></div></div>
-<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-</div><!-- fragment -->
 </div>
 </div>
 <a id="abad6b574d9f88e2b4ebb6372dc903f62"></a>
@@ -252,14 +219,14 @@ Private Member Functions</h2></td></tr>
 
 <p>Parse whole production string to production vector. </p>
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00071">71</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><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;    <span class="keywordtype">size_t</span> pos = 0;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lines = <a class="code" href="classSVF_1_1GrammarBuilder.html#aec359cdc61c47fbd5ef1341e8ef4a556">parseProduction</a>();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> word = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    std::vector&lt;std::string&gt; wordProd;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter = <span class="stringliteral">&quot;;&quot;</span>;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</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="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        word = lines.substr(0, pos);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        wordProd.push_back(word);</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        lines.erase(0, pos + delimiter.length());</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    }</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <span class="keywordflow">return</span> wordProd;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBuilder_html_aec359cdc61c47fbd5ef1341e8ef4a556"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aec359cdc61c47fbd5ef1341e8ef4a556">SVF::GrammarBuilder::parseProduction</a></div><div class="ttdeci">const std::string parseProduction() const</div><div class="ttdoc">Parse start symbol and production from file string. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00052">GrammarBuilder.cpp:52</a></div></div>
-<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00078">78</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;{</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordtype">size_t</span> pos = 0;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lines = <a class="code" href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">parseProductionsString</a>();</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> word = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    std::vector&lt;std::string&gt; wordProds;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> delimiter = <span class="stringliteral">&quot;;&quot;</span>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</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="l00086"></a><span class="lineno">   86</span>&#160;    {</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        word = lines.substr(0, pos);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        wordProds.push_back(word);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        lines.erase(0, pos + delimiter.length());</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="keywordflow">return</span> wordProds;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;}</div><div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a5a34166b4b1ce1dcc985f4619f4a2bbc"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">SVF::GrammarBuilder::parseProductionsString</a></div><div class="ttdeci">const std::string parseProductionsString() const</div><div class="ttdoc">Parse start symbol and production from file string. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00039">GrammarBuilder.cpp:39</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aec359cdc61c47fbd5ef1341e8ef4a556"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aec359cdc61c47fbd5ef1341e8ef4a556">&#9670;&nbsp;</a></span>parseProduction()</h2>
+<a id="a5a34166b4b1ce1dcc985f4619f4a2bbc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5a34166b4b1ce1dcc985f4619f4a2bbc">&#9670;&nbsp;</a></span>parseProductionsString()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -268,7 +235,7 @@ Private Member Functions</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::GrammarBuilder::parseProduction </td>
+          <td class="memname">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::GrammarBuilder::parseProductionsString </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -283,15 +250,14 @@ Private Member Functions</h2></td></tr>
 
 <p>Parse start symbol and production from file string. </p>
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00052">52</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;{</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    std::regex reg(<span class="stringliteral">&quot;Start:([\\s\\S]*)Productions:([\\s\\S]*)&quot;</span>);</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    std::smatch matches;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> startS = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lines = <a class="code" href="classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942">loadFileString</a>();</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keywordflow">if</span> (std::regex_search(lines, matches, reg))</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        lines = matches.str(2);</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        startS = matches.str(1);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        startS = <a class="code" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(startS);</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;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(<span class="stringliteral">&quot;epsilon&quot;</span>);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca">insertNonTerminalKind</a>(startS);</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(startS));</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <span class="keywordflow">return</span> lines;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;}</div><div class="ttc" id="classSVF_1_1GrammarBase_html_ad3351ced90fd47212bb776f7ab8ea7ca"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca">SVF::GrammarBase::insertNonTerminalKind</a></div><div class="ttdeci">Kind insertNonTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00146">CFLGrammar.cpp:146</a></div></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#l00068">GrammarBuilder.h:68</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00084">CFLGrammar.h:84</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2d56d8cdc4539d4201d1995fb36e772"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase::str2Kind</a></div><div class="ttdeci">Kind str2Kind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00053">CFLGrammar.cpp:53</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip frond and tail space. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00087">GrammarBuilder.cpp:87</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a34bd036f78713dc9b016e32ce4458942"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942">SVF::GrammarBuilder::loadFileString</a></div><div class="ttdeci">const std::string loadFileString() const</div><div class="ttdoc">Load whole file content to string. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00039">GrammarBuilder.cpp:39</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00039">39</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
+<div class="fragment"><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;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lineString;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> lines = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> startString;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="keywordtype">int</span> lineNum = 0;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    <span class="keywordflow">while</span> (getline(textFile, lineString))</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;        <span class="keywordflow">if</span>(lineNum == 1)</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        {</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;            startString = <a class="code" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(lineString);</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;        lines.append(lineString);</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        lineNum++;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    }</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    std::regex reg(<span class="stringliteral">&quot;Start:([\\s\\S]*)Terminal:[\\s]*([\\s\\S]*)Productions:([\\s\\S]*)&quot;</span>);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    std::smatch matches;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    <span class="keywordflow">if</span> (std::regex_search(lines, matches, reg))</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    {</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        lines = matches.str(3);</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;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> terminalString = matches.str(2);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> symbolString;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="keywordtype">size_t</span> pos;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordflow">while</span> ((pos = terminalString.find(<span class="stringliteral">&quot; &quot;</span>)) != std::string::npos)</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        symbolString = <a class="code" href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">stripSpace</a>(terminalString.substr(0, pos));</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        terminalString.erase(0, pos + 1); <span class="comment">//Capital is Nonterminal, Otherwise is terminal</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(symbolString);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    }</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(symbolString);</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(<a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(startString));</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <a class="code" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">insertTerminalKind</a>(<span class="stringliteral">&quot;epsilon&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">return</span> lines;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</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#l00074">GrammarBuilder.h:74</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00219">CFLGrammar.h:219</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#l00073">GrammarBuilder.h:73</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip front and tail space. </div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00094">GrammarBuilder.cpp:94</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00132">CFLGrammar.cpp:132</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00217">CFLGrammar.cpp:217</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00163">CFLGrammar.cpp:163</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -319,10 +285,10 @@ Private Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Strip frond and tail space. </p>
+<p>Strip front and tail space. </p>
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00087">87</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;{</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    std::smatch matches;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    std::regex stripReg(<span class="stringliteral">&quot;\\s*(\\S*)\\s*&quot;</span>);</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    std::regex_search(s, matches, stripReg);</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <span class="keywordflow">return</span> matches.str(1);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8cpp_source.html#l00094">94</a> of file <a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a>.</p>
+<div class="fragment"><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;    std::smatch matches;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    std::regex stripReg(<span class="stringliteral">&quot;\\s*(\\S*)\\s*&quot;</span>);</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    std::regex_search(s, matches, stripReg);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <span class="keywordflow">return</span> matches.str(1);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
@@ -331,14 +297,22 @@ Private Member Functions</h2></td></tr>
 
 <div class="memitem">
 <div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
       <table class="memname">
         <tr>
           <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::GrammarBuilder::fileName</td>
         </tr>
       </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00067">67</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00073">73</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
 
 </div>
 </div>
@@ -347,14 +321,22 @@ Private Member Functions</h2></td></tr>
 
 <div class="memitem">
 <div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
       <table class="memname">
         <tr>
           <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a>* SVF::GrammarBuilder::grammar</td>
         </tr>
       </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00068">68</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GrammarBuilder_8h_source.html#l00074">74</a> of file <a class="el" href="GrammarBuilder_8h_source.html">GrammarBuilder.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html

@@ -429,7 +429,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html_a498f84068ef643a94970aeb171607e31"><div class="ttname"><a href="classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31">SVF::ICFG::iterator</a></div><div class="ttdeci">ICFGNodeIDToNodeMapTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00056">ICFG.h:56</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="classSVF_1_1GepStmt_html_a959a9c95d25f90fd7acc8e6e36056b56"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a959a9c95d25f90fd7acc8e6e36056b56">SVF::GepStmt::getConstantFieldIdx</a></div><div class="ttdeci">s32_t getConstantFieldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00459">SVFStatements.h:459</a></div></div>
 <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00363">ICFGNode.h:363</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_a5a148eccec266a67e4ff5364d7268fff"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff">SVF::ICFGNode::iterator</a></div><div class="ttdeci">ICFGEdge::ICFGEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00065">ICFGNode.h:65</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html

@@ -1247,7 +1247,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_a8afb7ab3ee4632e78d546e549110e74c"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">SVF::LLVMModuleSet::getModule</a></div><div class="ttdeci">Module * getModule(u32_t idx) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00100">LLVMModule.h:100</a></div></div>
-<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00014">CFLGrammar.txt:14</a></div></div>
+<div class="ttc" id="CFLGrammar_8txt_html_acc7b4cf736579c4d83be2316d5a9e5f2"><div class="ttname"><a href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></div><div class="ttdeci">V Fbar V F</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00013">CFLGrammar.txt:13</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00070">LLVMModule.h:70</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html

@@ -349,7 +349,7 @@ Friends</h2></td></tr>
 <p>Return accumulated constant offset given OffsetValueVec. </p>
 <p>For example,.</p>
 <p>Return accumulated constant offset</p>
-<p>"value" is the offset variable (must be a constant) "type" is the location where we want to compute offset Given a vector: [(value1,type1), (value2,type2), (value3,type3)] totalConstOffset = flattenOffset(value1,type1) * flattenOffset(type2,type2) + flattenOffset(type3,type3) For a pointer type (e.g., t1 is PointerType), we will retrieve the pointee type and times the offset, i.e., getElementNum(t1) X off1%5 = getelementptr inbounds struct.Student, struct.Student* %4, i64 1 value1: i64 1 type1: struct.Student* accumulateConstantOffset = 32 %6 = getelementptr inbounds struct.Student, struct.Student* %5, i32 0, i32 1 value1: i32 0 type1: struct.Student* value2: i32 1 type2: struct.Student = type { struct.inner, [10 x [3 x i8]] } accumulateConstantOffset = 2 %7 = getelementptr inbounds [10 x [3 x i8]], [10 x [3 x i8]]* %6, i64 0, i64 3 value1: i64 0 type1: [10 x [3 x i8]]* value2: i64 3 type2: [10 x [3 x i8]] accumulateConstantOffset = 9 %8 = getelementptr inbounds [3 x i8], [3 x i8]* %7, i64 0, i64 2 value1: i64 0 type1: [3 x i8]* value2: i64 2 type2: [3 x i8] accumulateConstantOffset = 2 </p>
+<p>"value" is the offset variable (must be a constant) "type" is the location where we want to compute offset Given a vector: [(value1,type1), (value2,type2), (value3,type3)] totalConstOffset = flattenOffset(value1,type1) * flattenOffset(value2,type2) + flattenOffset(value3,type3) For a pointer type (e.g., t1 is PointerType), we will retrieve the pointee type and times the offset, i.e., getElementNum(t1) X off1%5 = getelementptr inbounds struct.Student, struct.Student* %4, i64 1 value1: i64 1 type1: struct.Student* accumulateConstantOffset = 32 %6 = getelementptr inbounds struct.Student, struct.Student* %5, i32 0, i32 1 value1: i32 0 type1: struct.Student* value2: i32 1 type2: struct.Student = type { struct.inner, [10 x [3 x i8]] } accumulateConstantOffset = 2 %7 = getelementptr inbounds [10 x [3 x i8]], [10 x [3 x i8]]* %6, i64 0, i64 3 value1: i64 0 type1: [10 x [3 x i8]]* value2: i64 3 type2: [10 x [3 x i8]] accumulateConstantOffset = 9 %8 = getelementptr inbounds [3 x i8], [3 x i8]* %7, i64 0, i64 2 value1: i64 0 type1: [3 x i8]* value2: i64 2 type2: [3 x i8] accumulateConstantOffset = 2 </p>
 
 <p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00116">116</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;{</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">isConstantOffset</a>() &amp;&amp; <span class="stringliteral">&quot;not a constant offset&quot;</span>);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>.empty())</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a63c5c8e03b35e0d0cea94137d309c853">accumulateConstantFieldIdx</a>();</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;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> totalConstOffset = 0;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    <span class="keywordflow">for</span>(<span class="keywordtype">int</span> i = <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>.size() - 1; i &gt;= 0; i--)</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="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* value = <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>[i].first;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>[i].second;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a> *op = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>&gt;(value);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(op &amp;&amp; <span class="stringliteral">&quot;not a constant offset?&quot;</span>);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keywordflow">if</span>(type==<span class="keyword">nullptr</span>)</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;            totalConstOffset += op-&gt;getSExtValue();</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            <span class="keywordflow">continue</span>;</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">  137</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a>* pty = SVFUtil::dyn_cast&lt;PointerType&gt;(type))</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            totalConstOffset += op-&gt;getSExtValue() * <a class="code" href="classSVF_1_1LocationSet.html#ac66b56e1fa180be9b09d7bfe653ff311">getElementNum</a>(<a class="code" href="namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870">getPtrElementType</a>(pty));</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;        {</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-&gt;getSExtValue();</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;            <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8">getFlattenedElemIdx</a>(type, offset);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            totalConstOffset += flattenOffset;</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;    <span class="keywordflow">return</span> totalConstOffset;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a4a9185282308c50f86fdf66f7060373d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">SVF::LocationSet::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00051">LocationSet.cpp:51</a></div></div>