-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Latest docs on successful build 1899 auto-pushed to gh-pages
- Loading branch information
Showing
2,347 changed files
with
427,150 additions
and
855,553 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
904 changes: 319 additions & 585 deletions
904
com/ibm/wala/analysis/arraybounds/ArrayBoundsGraph.html
Large diffs are not rendered by default.
Oops, something went wrong.
398 changes: 123 additions & 275 deletions
398
com/ibm/wala/analysis/arraybounds/ArrayBoundsGraphBuilder.html
Large diffs are not rendered by default.
Oops, something went wrong.
514 changes: 170 additions & 344 deletions
514
com/ibm/wala/analysis/arraybounds/ArrayOutOfBoundsAnalysis.UnnecessaryCheck.html
Large diffs are not rendered by default.
Oops, something went wrong.
390 changes: 118 additions & 272 deletions
390
com/ibm/wala/analysis/arraybounds/ArrayOutOfBoundsAnalysis.html
Large diffs are not rendered by default.
Oops, something went wrong.
381 changes: 114 additions & 267 deletions
381
com/ibm/wala/analysis/arraybounds/BinaryOpWithConstant.html
Large diffs are not rendered by default.
Oops, something went wrong.
404 changes: 124 additions & 280 deletions
404
com/ibm/wala/analysis/arraybounds/ConditionNormalizer.html
Large diffs are not rendered by default.
Oops, something went wrong.
415 changes: 127 additions & 288 deletions
415
com/ibm/wala/analysis/arraybounds/hypergraph/DirectedHyperEdge.html
Large diffs are not rendered by default.
Oops, something went wrong.
444 changes: 139 additions & 305 deletions
444
com/ibm/wala/analysis/arraybounds/hypergraph/DirectedHyperGraph.html
Large diffs are not rendered by default.
Oops, something went wrong.
570 changes: 185 additions & 385 deletions
570
com/ibm/wala/analysis/arraybounds/hypergraph/HyperNode.html
Large diffs are not rendered by default.
Oops, something went wrong.
367 changes: 106 additions & 261 deletions
367
com/ibm/wala/analysis/arraybounds/hypergraph/SoftFinalHyperNode.html
Large diffs are not rendered by default.
Oops, something went wrong.
315 changes: 93 additions & 222 deletions
315
com/ibm/wala/analysis/arraybounds/hypergraph/algorithms/ShortestPath.html
Large diffs are not rendered by default.
Oops, something went wrong.
189 changes: 61 additions & 128 deletions
189
com/ibm/wala/analysis/arraybounds/hypergraph/algorithms/package-summary.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,164 +1,97 @@ | ||
| <!DOCTYPE HTML> | ||
| <!-- NewPage --> | ||
| <html lang="en"> | ||
| <head> | ||
| <!-- Generated by javadoc --> | ||
| <!-- Generated by javadoc (17) --> | ||
| <title>com.ibm.wala.analysis.arraybounds.hypergraph.algorithms (wala 1.6.4-SNAPSHOT API)</title> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1"> | ||
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> | ||
| <meta name="description" content="declaration: package: com.ibm.wala.analysis.arraybounds.hypergraph.algorithms"> | ||
| <meta name="generator" content="javadoc/PackageWriterImpl"> | ||
| <link rel="stylesheet" type="text/css" href="../../../../../../../stylesheet.css" title="Style"> | ||
| <link rel="stylesheet" type="text/css" href="../../../../../../../jquery/jquery-ui.min.css" title="Style"> | ||
| <link rel="stylesheet" type="text/css" href="../../../../../../../script-dir/jquery-ui.min.css" title="Style"> | ||
| <link rel="stylesheet" type="text/css" href="../../../../../../../jquery-ui.overrides.css" title="Style"> | ||
| <script type="text/javascript" src="../../../../../../../script.js"></script> | ||
| <script type="text/javascript" src="../../../../../../../jquery/jszip/dist/jszip.min.js"></script> | ||
| <script type="text/javascript" src="../../../../../../../jquery/jszip-utils/dist/jszip-utils.min.js"></script> | ||
| <!--[if IE]> | ||
| <script type="text/javascript" src="../../../../../../../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script> | ||
| <![endif]--> | ||
| <script type="text/javascript" src="../../../../../../../jquery/jquery-3.6.1.min.js"></script> | ||
| <script type="text/javascript" src="../../../../../../../jquery/jquery-ui.min.js"></script> | ||
| <script type="text/javascript" src="../../../../../../../script-dir/jquery-3.6.1.min.js"></script> | ||
| <script type="text/javascript" src="../../../../../../../script-dir/jquery-ui.min.js"></script> | ||
| </head> | ||
| <body> | ||
| <script type="text/javascript"><!-- | ||
| try { | ||
| if (location.href.indexOf('is-external=true') == -1) { | ||
| parent.document.title="com.ibm.wala.analysis.arraybounds.hypergraph.algorithms (wala 1.6.4-SNAPSHOT API)"; | ||
| } | ||
| } | ||
| catch(err) { | ||
| } | ||
| //--> | ||
| var pathtoroot = "../../../../../../../"; | ||
| var useModuleDirectories = true; | ||
| <body class="package-declaration-page"> | ||
| <script type="text/javascript">var pathtoroot = "../../../../../../../"; | ||
| loadScripts(document, 'script');</script> | ||
| <noscript> | ||
| <div>JavaScript is disabled on your browser.</div> | ||
| </noscript> | ||
| <header role="banner"> | ||
| <div class="flex-box"> | ||
| <header role="banner" class="flex-header"> | ||
| <nav role="navigation"> | ||
| <div class="fixedNav"> | ||
| <!-- ========= START OF TOP NAVBAR ======= --> | ||
| <div class="topNav"><a id="navbar.top"> | ||
| <!-- --> | ||
| </a> | ||
| <div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div> | ||
| <a id="navbar.top.firstrow"> | ||
| <!-- --> | ||
| </a> | ||
| <ul class="navList" title="Navigation"> | ||
| <div class="top-nav" id="navbar-top"> | ||
| <div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div> | ||
| <ul id="navbar-top-firstrow" class="nav-list" title="Navigation"> | ||
| <li><a href="../../../../../../../index.html">Overview</a></li> | ||
| <li class="navBarCell1Rev">Package</li> | ||
| <li class="nav-bar-cell1-rev">Package</li> | ||
| <li>Class</li> | ||
| <li><a href="package-tree.html">Tree</a></li> | ||
| <li><a href="../../../../../../../deprecated-list.html">Deprecated</a></li> | ||
| <li><a href="../../../../../../../index-all.html">Index</a></li> | ||
| <li><a href="../../../../../../../help-doc.html">Help</a></li> | ||
| <li><a href="../../../../../../../help-doc.html#package">Help</a></li> | ||
| </ul> | ||
| </div> | ||
| <div class="subNav"> | ||
| <ul class="navList" id="allclasses_navbar_top"> | ||
| <li><a href="../../../../../../../allclasses.html">All Classes</a></li> | ||
| </ul> | ||
| <ul class="navListSearch"> | ||
| <li><label for="search">SEARCH:</label> | ||
| <input type="text" id="search" value="search" disabled="disabled"> | ||
| <input type="reset" id="reset" value="reset" disabled="disabled"> | ||
| </li> | ||
| </ul> | ||
| <div class="sub-nav"> | ||
| <div> | ||
| <script type="text/javascript"><!-- | ||
| allClassesLink = document.getElementById("allclasses_navbar_top"); | ||
| if(window==top) { | ||
| allClassesLink.style.display = "block"; | ||
| } | ||
| else { | ||
| allClassesLink.style.display = "none"; | ||
| } | ||
| //--> | ||
| </script> | ||
| <noscript> | ||
| <div>JavaScript is disabled on your browser.</div> | ||
| </noscript> | ||
| <ul class="sub-nav-list"> | ||
| <li>Package: </li> | ||
| <li>Description | </li> | ||
| <li><a href="#related-package-summary">Related Packages</a> | </li> | ||
| <li><a href="#class-summary">Classes and Interfaces</a></li> | ||
| </ul> | ||
| </div> | ||
| <a id="skip.navbar.top"> | ||
| <!-- --> | ||
| </a></div> | ||
| <!-- ========= END OF TOP NAVBAR ========= --> | ||
| <div class="nav-list-search"><label for="search-input">SEARCH:</label> | ||
| <input type="text" id="search-input" value="search" disabled="disabled"> | ||
| <input type="reset" id="reset-button" value="reset" disabled="disabled"> | ||
| </div> | ||
| <div class="navPadding"> </div> | ||
| <script type="text/javascript"><!-- | ||
| $('.navPadding').css('padding-top', $('.fixedNav').css("height")); | ||
| //--> | ||
| </script> | ||
| </nav> | ||
| </div> | ||
| <!-- ========= END OF TOP NAVBAR ========= --> | ||
| <span class="skip-nav" id="skip-navbar-top"></span></nav> | ||
| </header> | ||
| <div class="flex-content"> | ||
| <main role="main"> | ||
| <div class="header"> | ||
| <h1 title="Package" class="title">Package com.ibm.wala.analysis.arraybounds.hypergraph.algorithms</h1> | ||
| <h1 title="Package com.ibm.wala.analysis.arraybounds.hypergraph.algorithms" class="title">Package com.ibm.wala.analysis.arraybounds.hypergraph.algorithms</h1> | ||
| </div> | ||
| <hr> | ||
| <div class="package-signature">package <span class="element-name">com.ibm.wala.analysis.arraybounds.hypergraph.algorithms</span></div> | ||
| <section class="summary"> | ||
| <ul class="summary-list"> | ||
| <li> | ||
| <div id="related-package-summary"> | ||
| <div class="caption"><span>Related Packages</span></div> | ||
| <div class="summary-table two-column-summary"> | ||
| <div class="table-header col-first">Package</div> | ||
| <div class="table-header col-last">Description</div> | ||
| <div class="col-first even-row-color"><a href="../package-summary.html">com.ibm.wala.analysis.arraybounds.hypergraph</a></div> | ||
| <div class="col-last even-row-color"> | ||
| <div class="block">This package contains a generic implementation of directed hypergraphs.</div> | ||
| </div> | ||
| <div class="col-first odd-row-color"><a href="../weight/package-summary.html">com.ibm.wala.analysis.arraybounds.hypergraph.weight</a></div> | ||
| <div class="col-last odd-row-color"> </div> | ||
| </div> | ||
| </div> | ||
| <div class="contentContainer"> | ||
| <ul class="blockList"> | ||
| <li class="blockList"> | ||
| <table class="typeSummary"> | ||
| <caption><span>Class Summary</span><span class="tabEnd"> </span></caption> | ||
| <tr> | ||
| <th class="colFirst" scope="col">Class</th> | ||
| <th class="colLast" scope="col">Description</th> | ||
| </tr> | ||
| <tbody> | ||
| <tr class="altColor"> | ||
| <th class="colFirst" scope="row"><a href="ShortestPath.html" title="class in com.ibm.wala.analysis.arraybounds.hypergraph.algorithms">ShortestPath</a><T></th> | ||
| <td class="colLast"> </td> | ||
| </tr> | ||
| </tbody> | ||
| </table> | ||
| </li> | ||
| </ul> | ||
| <li> | ||
| <div id="class-summary"> | ||
| <div class="caption"><span>Classes</span></div> | ||
| <div class="summary-table two-column-summary"> | ||
| <div class="table-header col-first">Class</div> | ||
| <div class="table-header col-last">Description</div> | ||
| <div class="col-first even-row-color class-summary class-summary-tab2"><a href="ShortestPath.html" title="class in com.ibm.wala.analysis.arraybounds.hypergraph.algorithms">ShortestPath</a><T></div> | ||
| <div class="col-last even-row-color class-summary class-summary-tab2"> </div> | ||
| </div> | ||
| </main> | ||
| <footer role="contentinfo"> | ||
| <nav role="navigation"> | ||
| <!-- ======= START OF BOTTOM NAVBAR ====== --> | ||
| <div class="bottomNav"><a id="navbar.bottom"> | ||
| <!-- --> | ||
| </a> | ||
| <div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div> | ||
| <a id="navbar.bottom.firstrow"> | ||
| <!-- --> | ||
| </a> | ||
| <ul class="navList" title="Navigation"> | ||
| <li><a href="../../../../../../../index.html">Overview</a></li> | ||
| <li class="navBarCell1Rev">Package</li> | ||
| <li>Class</li> | ||
| <li><a href="package-tree.html">Tree</a></li> | ||
| <li><a href="../../../../../../../deprecated-list.html">Deprecated</a></li> | ||
| <li><a href="../../../../../../../index-all.html">Index</a></li> | ||
| <li><a href="../../../../../../../help-doc.html">Help</a></li> | ||
| </ul> | ||
| </div> | ||
| <div class="subNav"> | ||
| <ul class="navList" id="allclasses_navbar_bottom"> | ||
| <li><a href="../../../../../../../allclasses.html">All Classes</a></li> | ||
| </li> | ||
| </ul> | ||
| <div> | ||
| <script type="text/javascript"><!-- | ||
| allClassesLink = document.getElementById("allclasses_navbar_bottom"); | ||
| if(window==top) { | ||
| allClassesLink.style.display = "block"; | ||
| } | ||
| else { | ||
| allClassesLink.style.display = "none"; | ||
| } | ||
| //--> | ||
| </script> | ||
| <noscript> | ||
| <div>JavaScript is disabled on your browser.</div> | ||
| </noscript> | ||
| </section> | ||
| </main> | ||
| </div> | ||
| </div> | ||
| <a id="skip.navbar.bottom"> | ||
| <!-- --> | ||
| </a></div> | ||
| <!-- ======== END OF BOTTOM NAVBAR ======= --> | ||
| </nav> | ||
| </footer> | ||
| </body> | ||
| </html> |
Oops, something went wrong.