npm - svf-tools - Versions diffs - 1.0.596 → 1.0.597 - Mend

svf-tools 1.0.596 → 1.0.597

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

Files changed (801) hide show

package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html CHANGED Viewed

@@ -75,8 +75,6 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">has_name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -87,32 +85,31 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">ptrInUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">setConstDataOrAggData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a>(const std::string &amp;sourceCodeInfo)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a1265c0a8df08e03cc4c2f48ee6e338ee">SVFValue</a>(const std::string &amp;val, const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a>(const std::string &amp;sourceCodeInfo)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a1265c0a8df08e03cc4c2f48ee6e338ee">SVFValue</a>(const std::string &amp;val, const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

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

@@ -149,8 +149,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:acb5d0311477899abb4c222cd44376c73"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac29e2f5e75cc6916be6a663ca6d51177"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a> () const</td></tr>
 <tr class="separator:ac29e2f5e75cc6916be6a663ca6d51177"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c46c11c4b1c0f43c80818cf7408703a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a> () const</td></tr>
-<tr class="separator:a4c46c11c4b1c0f43c80818cf7408703a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a588acec1904d440797ca4500f63f7d28"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;sourceCodeInfo)</td></tr>
 <tr class="separator:a588acec1904d440797ca4500f63f7d28"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7effb0f37f486745e0cdc3ae5e9c732b"><td class="memItemLeft" align="right" valign="top">virtual 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_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a> () const</td></tr>
@@ -170,8 +168,6 @@ Protected Member Functions</h2></td></tr>
 <tr class="separator:afe1de41ca3215b325d0ca61814c6bd6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac2e5c42d0ac92375c88ef5b3f1b65dc4"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a> ()</td></tr>
 <tr class="separator:ac2e5c42d0ac92375c88ef5b3f1b65dc4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe3fb992ad104c32520172ebd92c2588"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a> ()</td></tr>
-<tr class="separator:afe3fb992ad104c32520172ebd92c2588"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
 Protected Attributes</h2></td></tr>
@@ -192,9 +188,6 @@ Private Attributes</h2></td></tr>
 <tr class="memitem:ab9dc800239cb906c1a044b05568f5fec"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a></td></tr>
 <tr class="memdesc:ab9dc800239cb906c1a044b05568f5fec"><td class="mdescLeft">&#160;</td><td class="mdescRight">true if this pointer is in an uncalled function  <a href="#ab9dc800239cb906c1a044b05568f5fec">More...</a><br /></td></tr>
 <tr class="separator:ab9dc800239cb906c1a044b05568f5fec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a89e13c82c6f302704838b9496a288aea"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">has_name</a></td></tr>
-<tr class="memdesc:a89e13c82c6f302704838b9496a288aea"><td class="mdescLeft">&#160;</td><td class="mdescRight">true if this value has a name  <a href="#a89e13c82c6f302704838b9496a288aea">More...</a><br /></td></tr>
-<tr class="separator:a89e13c82c6f302704838b9496a288aea"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:afc657036de9342fae6223077c10fcb01"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a></td></tr>
 <tr class="memdesc:afc657036de9342fae6223077c10fcb01"><td class="mdescLeft">&#160;</td><td class="mdescRight">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate  <a href="#afc657036de9342fae6223077c10fcb01">More...</a><br /></td></tr>
 <tr class="separator:afc657036de9342fae6223077c10fcb01"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -322,15 +315,14 @@ Friends</h2></td></tr>
 <p>Constructor. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00185">185</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;                                                                   : <a class="code" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">kind</a>(k),</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">has_name</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a>(<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a>==k), <a class="code" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a>(ty),</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a>(val), <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a>(<span class="stringliteral">&quot;No source code Info&quot;</span>)</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00178">SVFValue.h:178</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_aba56a2dc0ad508bf0ab2bbe52d557f07"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Short name of this value for debugging. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00182">SVFValue.h:182</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_a89e13c82c6f302704838b9496a288aea"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">SVF::SVFValue::has_name</a></div><div class="ttdeci">bool has_name</div><div class="ttdoc">true if this value has a name </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00184">184</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;                                                                   : <a class="code" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">kind</a>(k),</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a>(<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a>==k), <a class="code" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a>(ty),</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a>(val), <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a>(<span class="stringliteral">&quot;No source code Info&quot;</span>)</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;    {</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_aba56a2dc0ad508bf0ab2bbe52d557f07"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Short name of this value for debugging. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00181">SVFValue.h:181</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_ab9dc800239cb906c1a044b05568f5fec"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">SVF::SVFValue::ptrInUncalledFun</a></div><div class="ttdeci">bool ptrInUncalledFun</div><div class="ttdoc">true if this pointer is in an uncalled function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00176">SVFValue.h:176</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_afcbdd027f9e6e35a7269f04f5fc77a78"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">SVF::SVFValue::type</a></div><div class="ttdeci">const SVFType * type</div><div class="ttdoc">Type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00181">SVFValue.h:181</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_afcbdd027f9e6e35a7269f04f5fc77a78"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">SVF::SVFValue::type</a></div><div class="ttdeci">const SVFType * type</div><div class="ttdoc">Type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00180">SVFValue.h:180</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_af9f71a3c0d055f5fed6831a6ecf40d67"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">SVF::SVFValue::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00175">SVFValue.h:175</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVF::SVFValue::SVFConstData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00165">SVFValue.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00183">SVFValue.h:183</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00182">SVFValue.h:182</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -412,8 +404,8 @@ Friends</h2></td></tr>
 <p>Get the type of this <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00210">210</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">kind</a>;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_af9f71a3c0d055f5fed6831a6ecf40d67"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">SVF::SVFValue::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00175">SVFValue.h:175</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00205">205</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">kind</a>;</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_af9f71a3c0d055f5fed6831a6ecf40d67"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">SVF::SVFValue::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00175">SVFValue.h:175</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -440,8 +432,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00215">215</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    {</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_aba56a2dc0ad508bf0ab2bbe52d557f07"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Short name of this value for debugging. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00182">SVFValue.h:182</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00210">210</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a>;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_aba56a2dc0ad508bf0ab2bbe52d557f07"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Short name of this value for debugging. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00181">SVFValue.h:181</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -468,8 +460,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00248">248</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    {</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a>;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00183">SVFValue.h:183</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00239">239</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    {</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a>;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00182">SVFValue.h:182</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -497,36 +489,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00220">220</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    {</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a>;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afcbdd027f9e6e35a7269f04f5fc77a78"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">SVF::SVFValue::type</a></div><div class="ttdeci">const SVFType * type</div><div class="ttdoc">Type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00181">SVFValue.h:181</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a4c46c11c4b1c0f43c80818cf7408703a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4c46c11c4b1c0f43c80818cf7408703a">&#9670;&nbsp;</a></span>hasName()</h2>
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::SVFValue::hasName </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>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00240">240</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    {</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">has_name</a>;</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a89e13c82c6f302704838b9496a288aea"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">SVF::SVFValue::has_name</a></div><div class="ttdeci">bool has_name</div><div class="ttdoc">true if this value has a name </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00215">215</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    {</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afcbdd027f9e6e35a7269f04f5fc77a78"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">SVF::SVFValue::type</a></div><div class="ttdeci">const SVFType * type</div><div class="ttdoc">Type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00180">SVFValue.h:180</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -553,9 +517,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00232">232</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a>() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_a2ba3206a8461ef82713264e235128826"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdoc">Get the type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00210">SVFValue.h:210</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00227">227</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    {</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a>() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;;</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_a2ba3206a8461ef82713264e235128826"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdoc">Get the type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00205">SVFValue.h:205</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -582,8 +546,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00224">224</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a>;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00178">SVFValue.h:178</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00219">219</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    {</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -610,9 +574,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00236">236</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    {</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a>() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVF::SVFValue::SVFNullPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00168">SVFValue.h:168</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_a2ba3206a8461ef82713264e235128826"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdoc">Get the type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00210">SVFValue.h:210</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00231">231</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    {</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a>() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVF::SVFValue::SVFNullPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00168">SVFValue.h:168</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_a2ba3206a8461ef82713264e235128826"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdoc">Get the type of this SVFValue. </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00205">SVFValue.h:205</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -639,8 +603,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00228">228</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    {</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a>;</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_ab9dc800239cb906c1a044b05568f5fec"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">SVF::SVFValue::ptrInUncalledFun</a></div><div class="ttdeci">bool ptrInUncalledFun</div><div class="ttdoc">true if this pointer is in an uncalled function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00176">SVFValue.h:176</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00223">223</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    {</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a>;</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_ab9dc800239cb906c1a044b05568f5fec"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">SVF::SVFValue::ptrInUncalledFun</a></div><div class="ttdeci">bool ptrInUncalledFun</div><div class="ttdoc">true if this pointer is in an uncalled function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00176">SVFValue.h:176</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -669,36 +633,8 @@ Friends</h2></td></tr>
 <p>attributes to be set only through Module builders e.g., LLVMModule </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00192">192</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00178">SVFValue.h:178</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="afe3fb992ad104c32520172ebd92c2588"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe3fb992ad104c32520172ebd92c2588">&#9670;&nbsp;</a></span>setHasName()</h2>
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::SVFValue::setHasName </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00200">200</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;    {</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">has_name</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a89e13c82c6f302704838b9496a288aea"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">SVF::SVFValue::has_name</a></div><div class="ttdeci">bool has_name</div><div class="ttdoc">true if this value has a name </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00191">191</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    {</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afc657036de9342fae6223077c10fcb01"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">SVF::SVFValue::constDataOrAggData</a></div><div class="ttdeci">bool constDataOrAggData</div><div class="ttdoc">true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -725,8 +661,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00196">196</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    {</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_ab9dc800239cb906c1a044b05568f5fec"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">SVF::SVFValue::ptrInUncalledFun</a></div><div class="ttdeci">bool ptrInUncalledFun</div><div class="ttdoc">true if this pointer is in an uncalled function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00176">SVFValue.h:176</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00195">195</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    {</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a> = <span class="keyword">true</span>;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_ab9dc800239cb906c1a044b05568f5fec"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">SVF::SVFValue::ptrInUncalledFun</a></div><div class="ttdeci">bool ptrInUncalledFun</div><div class="ttdoc">true if this pointer is in an uncalled function </div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00176">SVFValue.h:176</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -754,8 +690,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00244">244</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a> = sourceCodeInfo;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00183">SVFValue.h:183</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00235">235</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    {</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a> = sourceCodeInfo;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_a88b280a4377ee8e7c633bfa963cc45fd"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">SVF::SVFValue::sourceLoc</a></div><div class="ttdeci">std::string sourceLoc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00182">SVFValue.h:182</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -784,11 +720,11 @@ Friends</h2></td></tr>
 <p>Needs to be implemented by a specific <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> front end (e.g., the implementation in <a class="el" href="namespaceSVF_1_1LLVMUtil.html">LLVMUtil</a>) </p>
-<p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00641">641</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;{</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;    llvm::raw_string_ostream rawstr(str);</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;    <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<span class="keyword">this</span>))</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Function: &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = SVFUtil::dyn_cast&lt;SVFBasicBlock&gt;(<span class="keyword">this</span>))</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;BasicBlock: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(<span class="keyword">this</span>);</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *val &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;    }</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;    rawstr &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00266">SVFValue.h:266</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00248">SVFValue.h:248</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00681">681</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;{</div><div class="line"><a name="l00683"></a><span class="lineno">  683</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;    llvm::raw_string_ostream rawstr(str);</div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;    <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<span class="keyword">this</span>))</div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Function: &quot;</span> &lt;&lt; fun-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = SVFUtil::dyn_cast&lt;SVFBasicBlock&gt;(<span class="keyword">this</span>))</div><div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;BasicBlock: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;    {</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(<span class="keyword">this</span>);</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *val &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    }</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    rawstr &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00257">SVFValue.h:257</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00239">SVFValue.h:239</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#l00095">LLVMModule.h:95</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00480">SVFValue.h:480</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_aaf9b679407f12b93afc53c157d37b444"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">SVF::LLVMModuleSet::getLLVMValue</a></div><div class="ttdeci">const Value * getLLVMValue(const SVFValue *value) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00187">LLVMModule.h:187</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="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00056">BasicTypes.h:56</a></div></div>
@@ -856,8 +792,8 @@ Friends</h2></td></tr>
 <p>Overloading operator &lt;&lt; for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00258">258</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    {</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        o &lt;&lt; node.toString();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00249">249</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        o &lt;&lt; node.toString();</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
@@ -883,32 +819,6 @@ Friends</h2></td></tr>
 <p>true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00178">178</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-</div>
-</div>
-<a id="a89e13c82c6f302704838b9496a288aea"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a89e13c82c6f302704838b9496a288aea">&#9670;&nbsp;</a></span>has_name</h2>
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::SVFValue::has_name</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>true if this value has a name </p>
 <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00177">177</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
@@ -961,7 +871,7 @@ Friends</h2></td></tr>
 <p>Short name of this value for debugging. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00182">182</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00181">181</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
 </div>
@@ -1012,7 +922,7 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 <p>Source code information of this value </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00183">183</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00182">182</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
 </div>
@@ -1038,7 +948,7 @@ Friends</h2></td></tr>
 <p>Type of this <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00181">181</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00180">180</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div>
 </div>