npm - svf-tools - Versions diffs - 1.0.618 → 1.0.620 - Mend

svf-tools 1.0.618 → 1.0.620

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 (385) hide show

package/SVF-doxygen/html/html/classOptionBase.html ADDED Viewed

@@ -0,0 +1,823 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: OptionBase Class Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
+<a href="#pro-types">Protected Types</a> &#124;
+<a href="#pro-methods">Protected Member Functions</a> &#124;
+<a href="#pro-static-methods">Static Protected Member Functions</a> &#124;
+<a href="#pro-attribs">Protected Attributes</a> &#124;
+<a href="#pri-static-methods">Static Private Member Functions</a> &#124;
+<a href="classOptionBase-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">OptionBase Class Reference<span class="mlabels"><span class="mlabel">abstract</span></span></div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for OptionBase:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classOptionBase.png" usemap="#OptionBase_map" alt=""/>
+  <map id="OptionBase_map" name="OptionBase_map">
+<area href="classOption.html" alt="Option&lt; T &gt;" shape="rect" coords="291,56,572,80"/>
+<area href="classOption.html" alt="Option&lt; bool &gt;" shape="rect" coords="291,112,572,136"/>
+<area href="classOption.html" alt="Option&lt; std::string &gt;" shape="rect" coords="291,168,572,192"/>
+<area href="classOption.html" alt="Option&lt; u32_t &gt;" shape="rect" coords="291,224,572,248"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; T &gt;" shape="rect" coords="291,280,572,304"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; BVDataPTAImpl::PTBackingType &gt;" shape="rect" coords="291,336,572,360"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; enum hclust_fast_methods &gt;" shape="rect" coords="291,392,572,416"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; enum PTAStat::ClockType &gt;" shape="rect" coords="291,448,572,472"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; MemSSA::MemPartition &gt;" shape="rect" coords="291,504,572,528"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; PointsTo::Type &gt;" shape="rect" coords="291,560,572,584"/>
+<area href="classOptionMap.html" alt="OptionMap&lt; SVF::NodeIDAllocator::Strategy &gt;" shape="rect" coords="291,616,572,640"/>
+<area href="classOptionMultiple.html" alt="OptionMultiple&lt; T &gt;" shape="rect" coords="291,672,572,696"/>
+<area href="classOptionMultiple.html" alt="OptionMultiple&lt; PointerAnalysis::PTATY &gt;" shape="rect" coords="291,728,572,752"/>
+<area href="classOptionMultiple.html" alt="OptionMultiple&lt; WPAPass::AliasCheckRule &gt;" shape="rect" coords="291,784,572,808"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
+Static Public Member Functions</h2></td></tr>
+<tr class="memitem:a4fb6c6e4a1754d702c6c1730f54457e5"><td class="memItemLeft" align="right" valign="top">static 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="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">parseOptions</a> (int argc, char *argv[], <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> callFormat)</td></tr>
+<tr class="separator:a4fb6c6e4a1754d702c6c1730f54457e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-types"></a>
+Protected Types</h2></td></tr>
+<tr class="memitem:a0a048de2a9ea404cb6b6be6276e8f91e"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">PossibilityDescription</a></td></tr>
+<tr class="memdesc:a0a048de2a9ea404cb6b6be6276e8f91e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Name/description pairs.  <a href="#a0a048de2a9ea404cb6b6be6276e8f91e">More...</a><br /></td></tr>
+<tr class="separator:a0a048de2a9ea404cb6b6be6276e8f91e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adbecc317e1c8a157456c069ca0b4679c"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; std::pair&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a></td></tr>
+<tr class="separator:adbecc317e1c8a157456c069ca0b4679c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8cc760078ccd614db2190d0f87f5da0d"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a8cc760078ccd614db2190d0f87f5da0d"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a> = std::tuple&lt; T, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;</td></tr>
+<tr class="separator:a8cc760078ccd614db2190d0f87f5da0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
+Protected Member Functions</h2></td></tr>
+<tr class="memitem:ae99500409f218ce63d4dbce537884c7f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>)</td></tr>
+<tr class="separator:ae99500409f218ce63d4dbce537884c7f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3a30161a89e5dd22b3501b6a7de3eab4"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a> <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>)</td></tr>
+<tr class="separator:a3a30161a89e5dd22b3501b6a7de3eab4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af20460d3ee3bcfbb036120339996efd8"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">parseAndSetValue</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> value)=0</td></tr>
+<tr class="memdesc:af20460d3ee3bcfbb036120339996efd8"><td class="mdescLeft">&#160;</td><td class="mdescRight">From a given string, set the value of this option.  <a href="#af20460d3ee3bcfbb036120339996efd8">More...</a><br /></td></tr>
+<tr class="separator:af20460d3ee3bcfbb036120339996efd8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd2a32f510c026154665f7d874f3f362"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">isBool</a> (void) const</td></tr>
+<tr class="separator:acd2a32f510c026154665f7d874f3f362"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad6fe65a503048686686ea6ced35a2dfd"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd">isMultiple</a> (void) const</td></tr>
+<tr class="memdesc:ad6fe65a503048686686ea6ced35a2dfd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this option is an <a class="el" href="classOptionMultiple.html">OptionMultiple</a>.  <a href="#ad6fe65a503048686686ea6ced35a2dfd">More...</a><br /></td></tr>
+<tr class="separator:ad6fe65a503048686686ea6ced35a2dfd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a41b5697dffc86139fa9341210f7233d9"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a41b5697dffc86139fa9341210f7233d9">canSet</a> (void) const =0</td></tr>
+<tr class="memdesc:a41b5697dffc86139fa9341210f7233d9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Can this option be set?  <a href="#a41b5697dffc86139fa9341210f7233d9">More...</a><br /></td></tr>
+<tr class="separator:a41b5697dffc86139fa9341210f7233d9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-static-methods"></a>
+Static Protected Member Functions</h2></td></tr>
+<tr class="memitem:a21e8ccc08eef254ceee53185a717301d"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a21e8ccc08eef254ceee53185a717301d"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a21e8ccc08eef254ceee53185a717301d">extractPossibilityDescriptions</a> (const std::vector&lt; <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a>&lt; T &gt;&gt; possibilities)</td></tr>
+<tr class="separator:a21e8ccc08eef254ceee53185a717301d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac68017dd45d05c5fe26ae04bb58f903c"><td class="memItemLeft" align="right" valign="top">static std::map&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classOptionBase.html">OptionBase</a> * &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a> (void)</td></tr>
+<tr class="separator:ac68017dd45d05c5fe26ae04bb58f903c"><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>
+<tr class="memitem:a494ea256d6484e4f7e8751de499889fc"><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="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a></td></tr>
+<tr class="separator:a494ea256d6484e4f7e8751de499889fc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8fbb1cde9e12a099617c8e8298424b5b"><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="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a></td></tr>
+<tr class="separator:a8fbb1cde9e12a099617c8e8298424b5b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa6cc4a59e5801eff5d7dcdc0137e16a1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a></td></tr>
+<tr class="memdesc:aa6cc4a59e5801eff5d7dcdc0137e16a1"><td class="mdescLeft">&#160;</td><td class="mdescRight">For when we have possibilities like in an <a class="el" href="classOptionMap.html">OptionMap</a>.  <a href="#aa6cc4a59e5801eff5d7dcdc0137e16a1">More...</a><br /></td></tr>
+<tr class="separator:aa6cc4a59e5801eff5d7dcdc0137e16a1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-methods"></a>
+Static Private Member Functions</h2></td></tr>
+<tr class="memitem:a7dbcdc9ff8df95a2c5ca4bd0723a3965"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965">buildUsage</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> argv0, const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> callFormat)</td></tr>
+<tr class="separator:a7dbcdc9ff8df95a2c5ca4bd0723a3965"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abf205790830ba8c3bb7097701ca86a69"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classOptionBase.html">OptionBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#abf205790830ba8c3bb7097701ca86a69">getOption</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> optName)</td></tr>
+<tr class="memdesc:abf205790830ba8c3bb7097701ca86a69"><td class="mdescLeft">&#160;</td><td class="mdescRight">Find option based on name in options map. Returns nullptr if not found.  <a href="#abf205790830ba8c3bb7097701ca86a69">More...</a><br /></td></tr>
+<tr class="separator:abf205790830ba8c3bb7097701ca86a69"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac6df21066e0848e26a718d81a25e2bb0"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> usage, bool <a class="el" href="structerror.html">error</a>)</td></tr>
+<tr class="memdesc:ac6df21066e0848e26a718d81a25e2bb0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Print usage and exit. If error is set, print to stderr and exits with code 1.  <a href="#ac6df21066e0848e26a718d81a25e2bb0">More...</a><br /></td></tr>
+<tr class="separator:ac6df21066e0848e26a718d81a25e2bb0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae446d8507843235d8fe71d32bc4bd04b"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">isHelpName</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>)</td></tr>
+<tr class="memdesc:ae446d8507843235d8fe71d32bc4bd04b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns whether name is one of the reserved help options.  <a href="#ae446d8507843235d8fe71d32bc4bd04b">More...</a><br /></td></tr>
+<tr class="separator:ae446d8507843235d8fe71d32bc4bd04b"><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 class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00020">20</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="a8cc760078ccd614db2190d0f87f5da0d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8cc760078ccd614db2190d0f87f5da0d">&#9670;&nbsp;</a></span>OptionPossibility</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">using <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionBase::OptionPossibility</a> =  std::tuple&lt;T, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt;</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Value/name/description tuples. If [1] is the value on the commandline for an option, we'd set the value for the associated <a class="el" href="classOption.html">Option</a> to [0]. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00030">30</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<a id="a0a048de2a9ea404cb6b6be6276e8f91e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0a048de2a9ea404cb6b6be6276e8f91e">&#9670;&nbsp;</a></span>PossibilityDescription</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::pair&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt; <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase::PossibilityDescription</a></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Name/description pairs. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00024">24</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<a id="adbecc317e1c8a157456c069ca0b4679c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adbecc317e1c8a157456c069ca0b4679c">&#9670;&nbsp;</a></span>PossibilityDescriptions</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;std::pair&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt; &gt; <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase::PossibilityDescriptions</a></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00025">25</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="ae99500409f218ce63d4dbce537884c7f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae99500409f218ce63d4dbce537884c7f">&#9670;&nbsp;</a></span>OptionBase() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">OptionBase::OptionBase </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>name</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>description</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</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="CommandLine_8h_source.html#l00033">33</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;        : <a class="code" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>(<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>, <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, {})</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    {</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_a8fbb1cde9e12a099617c8e8298424b5b"><div class="ttname"><a href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase::description</a></div><div class="ttdeci">std::string description</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00317">CommandLine.h:317</a></div></div>
+<div class="ttc" id="classOptionBase_html_a494ea256d6484e4f7e8751de499889fc"><div class="ttname"><a href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase::name</a></div><div class="ttdeci">std::string name</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00316">CommandLine.h:316</a></div></div>
+<div class="ttc" id="classOptionBase_html_ae99500409f218ce63d4dbce537884c7f"><div class="ttname"><a href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase::OptionBase</a></div><div class="ttdeci">OptionBase(std::string name, std::string description)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00033">CommandLine.h:33</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3a30161a89e5dd22b3501b6a7de3eab4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3a30161a89e5dd22b3501b6a7de3eab4">&#9670;&nbsp;</a></span>OptionBase() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">OptionBase::OptionBase </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>name</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>description</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a>&#160;</td>
+          <td class="paramname"><em>possibilityDescriptions</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</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="CommandLine_8h_source.html#l00038">38</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        : <a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>(<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>), <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>(<a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>), <a class="code" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>(<a class="code" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>)</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    {</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        assert(<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>[0] != <span class="charliteral">&#39;-&#39;</span> &amp;&amp; <span class="stringliteral">&quot;OptionBase: name starts with &#39;-&#39;&quot;</span>);</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;        assert(!<a class="code" href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">isHelpName</a>(<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>) &amp;&amp; <span class="stringliteral">&quot;OptionBase: reserved help name&quot;</span>);</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        assert(<a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>().find(<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>) == <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>().end() &amp;&amp; <span class="stringliteral">&quot;OptionBase: duplicate option&quot;</span>);</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;        <span class="comment">// Types with empty names (i.e., OptionMultiple) can handle things themselves.</span></div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>.empty())</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="comment">// Standard name=value option.</span></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;            <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>()[<a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>] = <span class="keyword">this</span>;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        }</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_aa6cc4a59e5801eff5d7dcdc0137e16a1"><div class="ttname"><a href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase::possibilityDescriptions</a></div><div class="ttdeci">PossibilityDescriptions possibilityDescriptions</div><div class="ttdoc">For when we have possibilities like in an OptionMap. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00319">CommandLine.h:319</a></div></div>
+<div class="ttc" id="classOptionBase_html_ac68017dd45d05c5fe26ae04bb58f903c"><div class="ttname"><a href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">OptionBase::getOptionsMap</a></div><div class="ttdeci">static std::map&lt; std::string, OptionBase * &gt; &amp; getOptionsMap(void)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00307">CommandLine.h:307</a></div></div>
+<div class="ttc" id="classOptionBase_html_ae446d8507843235d8fe71d32bc4bd04b"><div class="ttname"><a href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">OptionBase::isHelpName</a></div><div class="ttdeci">static bool isHelpName(const std::string name)</div><div class="ttdoc">Returns whether name is one of the reserved help options. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00285">CommandLine.h:285</a></div></div>
+<div class="ttc" id="classOptionBase_html_a8fbb1cde9e12a099617c8e8298424b5b"><div class="ttname"><a href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase::description</a></div><div class="ttdeci">std::string description</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00317">CommandLine.h:317</a></div></div>
+<div class="ttc" id="classOptionBase_html_a494ea256d6484e4f7e8751de499889fc"><div class="ttname"><a href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase::name</a></div><div class="ttdeci">std::string name</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00316">CommandLine.h:316</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a7dbcdc9ff8df95a2c5ca4bd0723a3965"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7dbcdc9ff8df95a2c5ca4bd0723a3965">&#9670;&nbsp;</a></span>buildUsage()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> OptionBase::buildUsage </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>description</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>argv0</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>callFormat</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Sets the usage member to a usage string, built from the static list of options. argv0 is argv[0] and callFormat is how the command should be used, minus the command name (e.g. "[options] &lt;input-bitcode...&gt;". </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00174">174</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    {</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="comment">// Determine longest option to split into two columns: options and descriptions.</span></div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        <span class="keywordtype">unsigned</span> longest = 0;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> std::pair&lt;std::string, OptionBase *&gt; nopt : <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>())</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        {</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a> = std::get&lt;0&gt;(nopt);</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            <span class="keyword">const</span> <a class="code" href="classOptionBase.html">OptionBase</a> *option = std::get&lt;1&gt;(nopt);</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;            <span class="keywordflow">if</span> (option-&gt;isMultiple())</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;            {</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;                <span class="comment">// For Multiple, description goes in left column.</span></div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                <span class="keywordflow">if</span> (option-&gt;description.length() &gt; longest) longest = option-&gt;<a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>.length();</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;            <span class="keywordflow">else</span></div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;            {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;                <span class="keywordflow">if</span> (name.length() &gt; longest) longest = name.length();</div><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;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">PossibilityDescription</a> &amp;pd : option-&gt;possibilityDescriptions)</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;            {</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;                <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> possibility = std::get&lt;0&gt;(pd);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;                <span class="keywordflow">if</span> (possibility.length() + 3 &gt; longest) longest = possibility.length() + 3;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;            }</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        }</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        std::stringstream ss;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        ss &lt;&lt; <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a> &lt;&lt; std::endl &lt;&lt; std::endl;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;USAGE:&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;  &quot;</span> &lt;&lt; argv0 &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; callFormat &lt;&lt; std::endl;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        ss &lt;&lt; std::endl;</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;OPTIONS:&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="comment">// Required as we have OptionMultiples doing a many-to-one in options.</span></div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        std::unordered_set&lt;const OptionBase *&gt; handled;</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> std::pair&lt;std::string, OptionBase *&gt; nopt : <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>())</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        {</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;            <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> name = std::get&lt;0&gt;(nopt);</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;            <span class="keyword">const</span> <a class="code" href="classOptionBase.html">OptionBase</a> *option = std::get&lt;1&gt;(nopt);</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;            <span class="keywordflow">if</span> (handled.find(option) != handled.end()) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;            handled.insert(option);</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;            <span class="keywordflow">if</span> (option-&gt;isMultiple())</div><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="comment">// description</span></div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;                <span class="comment">//   -name1      - description</span></div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;                <span class="comment">//   -name2      - description</span></div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                <span class="comment">//   ...</span></div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                ss &lt;&lt; <span class="stringliteral">&quot;  &quot;</span> &lt;&lt; option-&gt;<a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a> &lt;&lt; std::endl;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">PossibilityDescription</a> &amp;pd : option-&gt;possibilityDescriptions)</div><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="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> possibility = std::get&lt;0&gt;(pd);</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                    <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a> = std::get&lt;1&gt;(pd);</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;                    ss &lt;&lt; <span class="stringliteral">&quot;    -&quot;</span> &lt;&lt; possibility &lt;&lt; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(longest - possibility.length() + 2, <span class="charliteral">&#39; &#39;</span>);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;                    ss &lt;&lt; <span class="stringliteral">&quot;- &quot;</span> &lt;&lt; description &lt;&lt; std::endl;</div><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;            }</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;            <span class="keywordflow">else</span></div><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;                <span class="comment">// name  - description</span></div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;                <span class="comment">// or</span></div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;                <span class="comment">// name     - description</span></div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;                <span class="comment">//   =opt1    - description</span></div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;                <span class="comment">//   =opt2    - description</span></div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;                <span class="comment">//   ...</span></div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                ss &lt;&lt; <span class="stringliteral">&quot;  -&quot;</span> &lt;&lt; name &lt;&lt; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(longest - name.length() + 2, <span class="charliteral">&#39; &#39;</span>);</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;                ss &lt;&lt; <span class="stringliteral">&quot;- &quot;</span> &lt;&lt; option-&gt;description &lt;&lt; std::endl;</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">PossibilityDescription</a> &amp;pd : option-&gt;possibilityDescriptions)</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                {</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;                    <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> possibility = std::get&lt;0&gt;(pd);</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;                    <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a> = std::get&lt;1&gt;(pd);</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;                    ss &lt;&lt; <span class="stringliteral">&quot;    =&quot;</span> &lt;&lt; possibility &lt;&lt; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(longest - possibility.length() + 2, <span class="charliteral">&#39; &#39;</span>);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;                    ss &lt;&lt; <span class="stringliteral">&quot;- &quot;</span> &lt;&lt; description &lt;&lt; std::endl;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;                }</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;            }</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        }</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="comment">// Help message.</span></div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        ss &lt;&lt; std::endl;</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;  -help&quot;</span> &lt;&lt; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(longest - 4 + 2, <span class="charliteral">&#39; &#39;</span>) &lt;&lt; <span class="stringliteral">&quot;- show usage and exit&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;  -h&quot;</span> &lt;&lt; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(longest - 1 + 2, <span class="charliteral">&#39; &#39;</span>) &lt;&lt; <span class="stringliteral">&quot;- show usage and exit&quot;</span> &lt;&lt; std::endl;</div><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;        <span class="comment">// How to set boolean options.</span></div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        ss &lt;&lt; std::endl;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;Note: for boolean options, -name true and -name false are invalid.&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;        ss &lt;&lt; <span class="stringliteral">&quot;      Use -name, -name=true, or -name=false.&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordflow">return</span> ss.str();</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_ac68017dd45d05c5fe26ae04bb58f903c"><div class="ttname"><a href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">OptionBase::getOptionsMap</a></div><div class="ttdeci">static std::map&lt; std::string, OptionBase * &gt; &amp; getOptionsMap(void)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00307">CommandLine.h:307</a></div></div>
+<div class="ttc" id="classOptionBase_html_a8fbb1cde9e12a099617c8e8298424b5b"><div class="ttname"><a href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase::description</a></div><div class="ttdeci">std::string description</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00317">CommandLine.h:317</a></div></div>
+<div class="ttc" id="classOptionBase_html_a494ea256d6484e4f7e8751de499889fc"><div class="ttname"><a href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase::name</a></div><div class="ttdeci">std::string name</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00316">CommandLine.h:316</a></div></div>
+<div class="ttc" id="classOptionBase_html_a0a048de2a9ea404cb6b6be6276e8f91e"><div class="ttname"><a href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase::PossibilityDescription</a></div><div class="ttdeci">std::pair&lt; std::string, std::string &gt; PossibilityDescription</div><div class="ttdoc">Name/description pairs. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00024">CommandLine.h:24</a></div></div>
+<div class="ttc" id="classOptionBase_html"><div class="ttname"><a href="classOptionBase.html">OptionBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00020">CommandLine.h:20</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="a41b5697dffc86139fa9341210f7233d9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a41b5697dffc86139fa9341210f7233d9">&#9670;&nbsp;</a></span>canSet()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool OptionBase::canSet </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span><span class="mlabel">pure virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Can this option be set? </p>
+<p>Implemented in <a class="el" href="classOptionMultiple.html#aa582e95f6546ffd2fc8420699967bca9">OptionMultiple&lt; T &gt;</a>, <a class="el" href="classOptionMultiple.html#aa582e95f6546ffd2fc8420699967bca9">OptionMultiple&lt; PointerAnalysis::PTATY &gt;</a>, <a class="el" href="classOptionMultiple.html#aa582e95f6546ffd2fc8420699967bca9">OptionMultiple&lt; WPAPass::AliasCheckRule &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; T &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; PointsTo::Type &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; SVF::NodeIDAllocator::Strategy &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; BVDataPTAImpl::PTBackingType &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; enum hclust_fast_methods &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; enum PTAStat::ClockType &gt;</a>, <a class="el" href="classOptionMap.html#a9fe150111f4ef83a91c5a1a01878ffa3">OptionMap&lt; MemSSA::MemPartition &gt;</a>, <a class="el" href="classOption.html#a25507245c3b4b8d2d52ab069d756bc31">Option&lt; T &gt;</a>, <a class="el" href="classOption.html#a25507245c3b4b8d2d52ab069d756bc31">Option&lt; std::string &gt;</a>, <a class="el" href="classOption.html#a25507245c3b4b8d2d52ab069d756bc31">Option&lt; u32_t &gt;</a>, and <a class="el" href="classOption.html#a25507245c3b4b8d2d52ab069d756bc31">Option&lt; bool &gt;</a>.</p>
+</div>
+</div>
+<a id="a21e8ccc08eef254ceee53185a717301d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a21e8ccc08eef254ceee53185a717301d">&#9670;&nbsp;</a></span>extractPossibilityDescriptions()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a> OptionBase::extractPossibilityDescriptions </td>
+          <td>(</td>
+          <td class="paramtype">const std::vector&lt; <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionPossibility</a>&lt; T &gt;&gt;&#160;</td>
+          <td class="paramname"><em>possibilities</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00294">294</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;    {</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        <a class="code" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a> <a class="code" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>;</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> OptionPossibility&lt;T&gt; &amp;op : possibilities)</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        {</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;            possibilityDescriptions.push_back(std::make_pair(std::get&lt;1&gt;(op), std::get&lt;2&gt;(op)));</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        }</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">possibilityDescriptions</a>;</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_adbecc317e1c8a157456c069ca0b4679c"><div class="ttname"><a href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase::PossibilityDescriptions</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; std::string, std::string &gt; &gt; PossibilityDescriptions</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00025">CommandLine.h:25</a></div></div>
+<div class="ttc" id="classOptionBase_html_aa6cc4a59e5801eff5d7dcdc0137e16a1"><div class="ttname"><a href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase::possibilityDescriptions</a></div><div class="ttdeci">PossibilityDescriptions possibilityDescriptions</div><div class="ttdoc">For when we have possibilities like in an OptionMap. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00319">CommandLine.h:319</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="abf205790830ba8c3bb7097701ca86a69"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abf205790830ba8c3bb7097701ca86a69">&#9670;&nbsp;</a></span>getOption()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static <a class="el" href="classOptionBase.html">OptionBase</a>* OptionBase::getOption </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>optName</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Find option based on name in options map. Returns nullptr if not found. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00269">269</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    {</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keyword">auto</span> optIt = <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>().find(optName);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">if</span> (optIt == <a class="code" href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">getOptionsMap</a>().end()) <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">return</span> optIt-&gt;second;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_ac68017dd45d05c5fe26ae04bb58f903c"><div class="ttname"><a href="classOptionBase.html#ac68017dd45d05c5fe26ae04bb58f903c">OptionBase::getOptionsMap</a></div><div class="ttdeci">static std::map&lt; std::string, OptionBase * &gt; &amp; getOptionsMap(void)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00307">CommandLine.h:307</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ac68017dd45d05c5fe26ae04bb58f903c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac68017dd45d05c5fe26ae04bb58f903c">&#9670;&nbsp;</a></span>getOptionsMap()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static std::map&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>, <a class="el" href="classOptionBase.html">OptionBase</a> *&gt;&amp; OptionBase::getOptionsMap </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</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">static</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Not unordered map so we can have sorted names when building the usage string. Map of option names to their object. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00307">307</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    {</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="comment">// Not static member to avoid initialisation order problems.</span></div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        <span class="keyword">static</span> std::map&lt;std::string, OptionBase *&gt; options;</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">return</span> options;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="acd2a32f510c026154665f7d874f3f362"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acd2a32f510c026154665f7d874f3f362">&#9670;&nbsp;</a></span>isBool()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool OptionBase::isBool </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</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">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Whether this option represents a boolean. Important as such arguments don't require a value. </p>
+<p>Reimplemented in <a class="el" href="classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b">Option&lt; T &gt;</a>, <a class="el" href="classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b">Option&lt; std::string &gt;</a>, <a class="el" href="classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b">Option&lt; u32_t &gt;</a>, and <a class="el" href="classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b">Option&lt; bool &gt;</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00058">58</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><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;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ae446d8507843235d8fe71d32bc4bd04b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae446d8507843235d8fe71d32bc4bd04b">&#9670;&nbsp;</a></span>isHelpName()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static bool OptionBase::isHelpName </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>name</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Returns whether name is one of the reserved help options. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00285">285</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    {</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keyword">static</span> std::vector&lt;std::string&gt; helpNames = {<span class="stringliteral">&quot;help&quot;</span>, <span class="stringliteral">&quot;h&quot;</span>, <span class="stringliteral">&quot;-help&quot;</span>};</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordflow">return</span> std::find(helpNames.begin(), helpNames.end(), <a class="code" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">name</a>) != helpNames.end();</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_a494ea256d6484e4f7e8751de499889fc"><div class="ttname"><a href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase::name</a></div><div class="ttdeci">std::string name</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00316">CommandLine.h:316</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ad6fe65a503048686686ea6ced35a2dfd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad6fe65a503048686686ea6ced35a2dfd">&#9670;&nbsp;</a></span>isMultiple()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool OptionBase::isMultiple </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</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">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Whether this option is an <a class="el" href="classOptionMultiple.html">OptionMultiple</a>. </p>
+<p>Reimplemented in <a class="el" href="classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e">OptionMultiple&lt; T &gt;</a>, <a class="el" href="classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e">OptionMultiple&lt; PointerAnalysis::PTATY &gt;</a>, and <a class="el" href="classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e">OptionMultiple&lt; WPAPass::AliasCheckRule &gt;</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00064">64</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="af20460d3ee3bcfbb036120339996efd8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af20460d3ee3bcfbb036120339996efd8">&#9670;&nbsp;</a></span>parseAndSetValue()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual bool OptionBase::parseAndSetValue </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>value</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span><span class="mlabel">pure virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>From a given string, set the value of this option. </p>
+<p>Implemented in <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; T &gt;</a>, <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; PointerAnalysis::PTATY &gt;</a>, <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; WPAPass::AliasCheckRule &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; T &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; PointsTo::Type &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; SVF::NodeIDAllocator::Strategy &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; BVDataPTAImpl::PTBackingType &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; enum hclust_fast_methods &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; enum PTAStat::ClockType &gt;</a>, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; MemSSA::MemPartition &gt;</a>, <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; T &gt;</a>, <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; std::string &gt;</a>, <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; u32_t &gt;</a>, and <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; bool &gt;</a>.</p>
+</div>
+</div>
+<a id="a4fb6c6e4a1754d702c6c1730f54457e5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4fb6c6e4a1754d702c6c1730f54457e5">&#9670;&nbsp;</a></span>parseOptions()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static std::vector&lt;<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&gt; OptionBase::parseOptions </td>
+          <td>(</td>
+          <td class="paramtype">int&#160;</td>
+          <td class="paramname"><em>argc</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">char *&#160;</td>
+          <td class="paramname"><em>argv</em>[], </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>description</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>callFormat</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Parse all constructed <a class="el" href="classOptionBase.html">OptionBase</a> children, returning positional arguments in the order they appeared. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00075">75</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> usage = <a class="code" href="classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965">buildUsage</a>(<a class="code" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">description</a>, <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(argv[0]), callFormat);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        std::vector&lt;std::string&gt; positionalArguments;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 1; i &lt; argc; ++i)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> arg(argv[i]);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">if</span> (arg.empty()) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            <span class="keywordflow">if</span> (arg[0] != <span class="charliteral">&#39;-&#39;</span>)</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;                <span class="comment">// Positional argument. NOT a value to another argument because we</span></div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                <span class="comment">// &quot;skip&quot; over evaluating those without the corresponding argument.</span></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                positionalArguments.push_back(arg);</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            }</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="comment">// Chop off &#39;-&#39;.</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            arg = arg.substr(1);</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> argName;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> argValue;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            <a class="code" href="classOptionBase.html">OptionBase</a> *opt = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            <span class="keywordtype">size_t</span> equalsSign = arg.find(<span class="charliteral">&#39;=&#39;</span>);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            <span class="keywordflow">if</span> (equalsSign != std::string::npos)</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                <span class="comment">// Argument has an equal sign, i.e. argName=argValue</span></div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                argName = arg.substr(0, equalsSign);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">isHelpName</a>(argName)) <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">false</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;                opt = <a class="code" href="classOptionBase.html#abf205790830ba8c3bb7097701ca86a69">getOption</a>(argName);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                <span class="keywordflow">if</span> (opt == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                    std::cerr &lt;&lt; <span class="stringliteral">&quot;Unknown option: &quot;</span> &lt;&lt; argName &lt;&lt; std::endl;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                    <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">true</span>);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                }</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                argValue = arg.substr(equalsSign + 1);</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">else</span></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;                argName = arg;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">isHelpName</a>(argName)) <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">false</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;                opt = <a class="code" href="classOptionBase.html#abf205790830ba8c3bb7097701ca86a69">getOption</a>(argName);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                <span class="keywordflow">if</span> (opt == <span class="keyword">nullptr</span>)</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;                    std::cerr &lt;&lt; <span class="stringliteral">&quot;Unknown option: &quot;</span> &lt;&lt; argName &lt;&lt; std::endl;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                    <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">true</span>);</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;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                <span class="comment">// No equals sign means we may need next argument.</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                <span class="keywordflow">if</span> (opt-&gt;<a class="code" href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">isBool</a>())</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                {</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                    <span class="comment">// Booleans do not accept -arg true/-arg false.</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;                    <span class="comment">// They must be -arg=true/-arg=false.</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                    argValue = <span class="stringliteral">&quot;true&quot;</span>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (opt-&gt;<a class="code" href="classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd">isMultiple</a>())</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="comment">// Name is the value and will be converted to an enum.</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    argValue = argName;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                }</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (i + 1 &lt; argc)</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                    <span class="comment">// On iteration, we&#39;ll skip the value.</span></div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                    ++i;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;                    argValue = <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(argv[i]);</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">else</span></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;                    std::cerr &lt;&lt; <span class="stringliteral">&quot;Expected value for: &quot;</span> &lt;&lt; argName &lt;&lt; std::endl;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;                    <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">true</span>);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;                }</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            }</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            <span class="keywordflow">if</span> (!opt-&gt;<a class="code" href="classOptionBase.html#a41b5697dffc86139fa9341210f7233d9">canSet</a>())</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;            {</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                std::cerr &lt;&lt; <span class="stringliteral">&quot;Unable to set: &quot;</span> &lt;&lt; argName &lt;&lt; <span class="stringliteral">&quot;; check for duplicates&quot;</span> &lt;&lt; std::endl;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;                <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">true</span>);</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            }</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            <span class="keywordtype">bool</span> valueSet = opt-&gt;<a class="code" href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">parseAndSetValue</a>(argValue);</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;            <span class="keywordflow">if</span> (!valueSet)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;            {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;                std::cerr &lt;&lt; <span class="stringliteral">&quot;Bad value for: &quot;</span> &lt;&lt; argName &lt;&lt; std::endl;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;                <a class="code" href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">usageAndExit</a>(usage, <span class="keyword">true</span>);</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            }</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        }</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;        <span class="keywordflow">return</span> positionalArguments;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    }</div><div class="ttc" id="classOptionBase_html_ad6fe65a503048686686ea6ced35a2dfd"><div class="ttname"><a href="classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd">OptionBase::isMultiple</a></div><div class="ttdeci">virtual bool isMultiple(void) const</div><div class="ttdoc">Whether this option is an OptionMultiple. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00064">CommandLine.h:64</a></div></div>
+<div class="ttc" id="classOptionBase_html_ae446d8507843235d8fe71d32bc4bd04b"><div class="ttname"><a href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">OptionBase::isHelpName</a></div><div class="ttdeci">static bool isHelpName(const std::string name)</div><div class="ttdoc">Returns whether name is one of the reserved help options. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00285">CommandLine.h:285</a></div></div>
+<div class="ttc" id="classOptionBase_html_a8fbb1cde9e12a099617c8e8298424b5b"><div class="ttname"><a href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase::description</a></div><div class="ttdeci">std::string description</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00317">CommandLine.h:317</a></div></div>
+<div class="ttc" id="classOptionBase_html_ac6df21066e0848e26a718d81a25e2bb0"><div class="ttname"><a href="classOptionBase.html#ac6df21066e0848e26a718d81a25e2bb0">OptionBase::usageAndExit</a></div><div class="ttdeci">static void usageAndExit(const std::string usage, bool error)</div><div class="ttdoc">Print usage and exit. If error is set, print to stderr and exits with code 1. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00277">CommandLine.h:277</a></div></div>
+<div class="ttc" id="classOptionBase_html_af20460d3ee3bcfbb036120339996efd8"><div class="ttname"><a href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">OptionBase::parseAndSetValue</a></div><div class="ttdeci">virtual bool parseAndSetValue(const std::string value)=0</div><div class="ttdoc">From a given string, set the value of this option. </div></div>
+<div class="ttc" id="classOptionBase_html_a41b5697dffc86139fa9341210f7233d9"><div class="ttname"><a href="classOptionBase.html#a41b5697dffc86139fa9341210f7233d9">OptionBase::canSet</a></div><div class="ttdeci">virtual bool canSet(void) const =0</div><div class="ttdoc">Can this option be set? </div></div>
+<div class="ttc" id="classOptionBase_html"><div class="ttname"><a href="classOptionBase.html">OptionBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00020">CommandLine.h:20</a></div></div>
+<div class="ttc" id="classOptionBase_html_abf205790830ba8c3bb7097701ca86a69"><div class="ttname"><a href="classOptionBase.html#abf205790830ba8c3bb7097701ca86a69">OptionBase::getOption</a></div><div class="ttdeci">static OptionBase * getOption(const std::string optName)</div><div class="ttdoc">Find option based on name in options map. Returns nullptr if not found. </div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00269">CommandLine.h:269</a></div></div>
+<div class="ttc" id="classOptionBase_html_acd2a32f510c026154665f7d874f3f362"><div class="ttname"><a href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">OptionBase::isBool</a></div><div class="ttdeci">virtual bool isBool(void) const</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00058">CommandLine.h:58</a></div></div>
+<div class="ttc" id="classOptionBase_html_a7dbcdc9ff8df95a2c5ca4bd0723a3965"><div class="ttname"><a href="classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965">OptionBase::buildUsage</a></div><div class="ttdeci">static std::string buildUsage(const std::string description, const std::string argv0, const std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00174">CommandLine.h:174</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="ac6df21066e0848e26a718d81a25e2bb0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac6df21066e0848e26a718d81a25e2bb0">&#9670;&nbsp;</a></span>usageAndExit()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">static void OptionBase::usageAndExit </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>usage</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>error</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Print usage and exit. If error is set, print to stderr and exits with code 1. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00277">277</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="structerror.html">error</a>) std::cerr &lt;&lt; usage;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="keywordflow">else</span> std::cout &lt;&lt; usage;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        std::exit(<a class="code" href="structerror.html">error</a> ? 1 : 0);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;    }</div><div class="ttc" id="structerror_html"><div class="ttname"><a href="structerror.html">error</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00088">cJSON.cpp:88</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a8fbb1cde9e12a099617c8e8298424b5b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8fbb1cde9e12a099617c8e8298424b5b">&#9670;&nbsp;</a></span>description</h2>
+<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> OptionBase::description</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00317">317</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<a id="a494ea256d6484e4f7e8751de499889fc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a494ea256d6484e4f7e8751de499889fc">&#9670;&nbsp;</a></span>name</h2>
+<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> OptionBase::name</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00316">316</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<a id="aa6cc4a59e5801eff5d7dcdc0137e16a1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa6cc4a59e5801eff5d7dcdc0137e16a1">&#9670;&nbsp;</a></span>possibilityDescriptions</h2>
+<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="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">PossibilityDescriptions</a> OptionBase::possibilityDescriptions</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>For when we have possibilities like in an <a class="el" href="classOptionMap.html">OptionMap</a>. </p>
+<p class="definition">Definition at line <a class="el" href="CommandLine_8h_source.html#l00319">319</a> of file <a class="el" href="CommandLine_8h_source.html">CommandLine.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="CommandLine_8h_source.html">CommandLine.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>