Skip to content

Commit f9b7970

Browse files
msridharmsridhar
committed
Latest docs on successful build 2129 auto-pushed to gh-pages
1 parent 7bba67e commit f9b7970

File tree

2,374 files changed

+176976
-106897
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

2,374 files changed

+176976
-106897
lines changed

‎allclasses-index.html

+318-320
Large diffs are not rendered by default.

‎allpackages-index.html

+19-17
Original file line numberDiff line numberDiff line change
@@ -1,51 +1,54 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (23) -->
55
<title>All Packages (wala 1.6.7-SNAPSHOT API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
88
<meta name="description" content="package index">
99
<meta name="generator" content="javadoc/AllPackagesIndexWriter">
10-
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
11-
<link rel="stylesheet" type="text/css" href="script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="jquery-ui.overrides.css" title="Style">
13-
<script type="text/javascript" src="script.js"></script>
14-
<script type="text/javascript" src="script-dir/jquery-3.6.1.min.js"></script>
15-
<script type="text/javascript" src="script-dir/jquery-ui.min.js"></script>
10+
<link rel="stylesheet" type="text/css" href="resource-files/jquery-ui.min.css" title="Style">
11+
<link rel="stylesheet" type="text/css" href="resource-files/stylesheet.css" title="Style">
12+
<script type="text/javascript" src="script-files/script.js"></script>
13+
<script type="text/javascript" src="script-files/jquery-3.7.1.min.js"></script>
14+
<script type="text/javascript" src="script-files/jquery-ui.min.js"></script>
1615
</head>
1716
<body class="all-packages-index-page">
18-
<script type="text/javascript">var pathtoroot = "./";
17+
<script type="text/javascript">const pathtoroot = "./";
1918
loadScripts(document, 'script');</script>
2019
<noscript>
2120
<div>JavaScript is disabled on your browser.</div>
2221
</noscript>
23-
<div class="flex-box">
24-
<header role="banner" class="flex-header">
22+
<header role="banner">
2523
<nav role="navigation">
2624
<!-- ========= START OF TOP NAVBAR ======= -->
2725
<div class="top-nav" id="navbar-top">
26+
<div class="nav-content">
27+
<div class="nav-menu-button"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button></div>
2828
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
2929
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3030
<li><a href="index.html">Overview</a></li>
31-
<li>Package</li>
32-
<li>Class</li>
3331
<li><a href="overview-tree.html">Tree</a></li>
3432
<li><a href="deprecated-list.html">Deprecated</a></li>
3533
<li><a href="index-all.html">Index</a></li>
34+
<li><a href="search.html">Search</a></li>
3635
<li><a href="help-doc.html#all-packages">Help</a></li>
3736
</ul>
3837
</div>
38+
</div>
3939
<div class="sub-nav">
40-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
41-
<input type="text" id="search-input" value="search" disabled="disabled">
42-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
40+
<div class="nav-content">
41+
<ol class="sub-nav-list"></ol>
42+
<div class="nav-list-search">
43+
<input type="text" id="search-input" disabled placeholder="Search" aria-label="Search in documentation" autocomplete="off">
44+
<input type="reset" id="reset-search" disabled value="Reset">
45+
</div>
4346
</div>
4447
</div>
4548
<!-- ========= END OF TOP NAVBAR ========= -->
4649
<span class="skip-nav" id="skip-navbar-top"></span></nav>
4750
</header>
48-
<div class="flex-content">
51+
<div class="main-grid">
4952
<main role="main">
5053
<div class="header">
5154
<h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
@@ -466,6 +469,5 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
466469
</div>
467470
</main>
468471
</div>
469-
</div>
470472
</body>
471473
</html>

‎com/ibm/wala/analysis/arraybounds/ArrayBoundsGraph.html

+183-101
Large diffs are not rendered by default.

‎com/ibm/wala/analysis/arraybounds/ArrayBoundsGraphBuilder.html

+63-43
Large diffs are not rendered by default.

‎com/ibm/wala/analysis/arraybounds/ArrayOutOfBoundsAnalysis.UnnecessaryCheck.html

+86-51
Large diffs are not rendered by default.

‎com/ibm/wala/analysis/arraybounds/ArrayOutOfBoundsAnalysis.html

+57-42
Large diffs are not rendered by default.

‎com/ibm/wala/analysis/arraybounds/BinaryOpWithConstant.html

+64-46
Large diffs are not rendered by default.

‎com/ibm/wala/analysis/arraybounds/ConditionNormalizer.html

+60-40
Original file line numberDiff line numberDiff line change
@@ -1,88 +1,101 @@
11
<!DOCTYPE HTML>
22
<html lang="en">
33
<head>
4-
<!-- Generated by javadoc (17) -->
4+
<!-- Generated by javadoc (23) -->
55
<title>ConditionNormalizer (wala 1.6.7-SNAPSHOT API)</title>
66
<meta name="viewport" content="width=device-width, initial-scale=1">
77
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
88
<meta name="description" content="declaration: package: com.ibm.wala.analysis.arraybounds, class: ConditionNormalizer">
9-
<meta name="generator" content="javadoc/ClassWriterImpl">
10-
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
11-
<link rel="stylesheet" type="text/css" href="../../../../../script-dir/jquery-ui.min.css" title="Style">
12-
<link rel="stylesheet" type="text/css" href="../../../../../jquery-ui.overrides.css" title="Style">
13-
<script type="text/javascript" src="../../../../../script.js"></script>
14-
<script type="text/javascript" src="../../../../../script-dir/jquery-3.6.1.min.js"></script>
15-
<script type="text/javascript" src="../../../../../script-dir/jquery-ui.min.js"></script>
9+
<meta name="generator" content="javadoc/ClassWriter">
10+
<link rel="stylesheet" type="text/css" href="../../../../../resource-files/jquery-ui.min.css" title="Style">
11+
<link rel="stylesheet" type="text/css" href="../../../../../resource-files/stylesheet.css" title="Style">
12+
<script type="text/javascript" src="../../../../../script-files/script.js"></script>
13+
<script type="text/javascript" src="../../../../../script-files/jquery-3.7.1.min.js"></script>
14+
<script type="text/javascript" src="../../../../../script-files/jquery-ui.min.js"></script>
1615
</head>
1716
<body class="class-declaration-page">
18-
<script type="text/javascript">var evenRowColor = "even-row-color";
19-
var oddRowColor = "odd-row-color";
20-
var tableTab = "table-tab";
21-
var activeTableTab = "active-table-tab";
22-
var pathtoroot = "../../../../../";
17+
<script type="text/javascript">const pathtoroot = "../../../../../";
2318
loadScripts(document, 'script');</script>
2419
<noscript>
2520
<div>JavaScript is disabled on your browser.</div>
2621
</noscript>
27-
<div class="flex-box">
28-
<header role="banner" class="flex-header">
22+
<header role="banner">
2923
<nav role="navigation">
3024
<!-- ========= START OF TOP NAVBAR ======= -->
3125
<div class="top-nav" id="navbar-top">
26+
<div class="nav-content">
27+
<div class="nav-menu-button"><button id="navbar-toggle-button" aria-controls="navbar-top" aria-expanded="false" aria-label="Toggle navigation links"><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span><span class="nav-bar-toggle-icon">&nbsp;</span></button></div>
3228
<div class="skip-nav"><a href="#skip-navbar-top" title="Skip navigation links">Skip navigation links</a></div>
3329
<ul id="navbar-top-firstrow" class="nav-list" title="Navigation">
3430
<li><a href="../../../../../index.html">Overview</a></li>
35-
<li><a href="package-summary.html">Package</a></li>
3631
<li class="nav-bar-cell1-rev">Class</li>
3732
<li><a href="package-tree.html">Tree</a></li>
3833
<li><a href="../../../../../deprecated-list.html">Deprecated</a></li>
3934
<li><a href="../../../../../index-all.html">Index</a></li>
35+
<li><a href="../../../../../search.html">Search</a></li>
4036
<li><a href="../../../../../help-doc.html#class">Help</a></li>
4137
</ul>
4238
</div>
39+
</div>
4340
<div class="sub-nav">
44-
<div>
45-
<ul class="sub-nav-list">
46-
<li>Summary:&nbsp;</li>
47-
<li>Nested&nbsp;|&nbsp;</li>
48-
<li>Field&nbsp;|&nbsp;</li>
49-
<li><a href="#constructor-summary">Constr</a>&nbsp;|&nbsp;</li>
50-
<li><a href="#method-summary">Method</a></li>
51-
</ul>
52-
<ul class="sub-nav-list">
53-
<li>Detail:&nbsp;</li>
54-
<li>Field&nbsp;|&nbsp;</li>
55-
<li><a href="#constructor-detail">Constr</a>&nbsp;|&nbsp;</li>
56-
<li><a href="#method-detail">Method</a></li>
57-
</ul>
41+
<div class="nav-content">
42+
<ol class="sub-nav-list">
43+
<li><a href="package-summary.html">com.ibm.wala.analysis.arraybounds</a></li>
44+
<li><a href="ConditionNormalizer.html" class="current-selection">ConditionNormalizer</a></li>
45+
</ol>
46+
<div class="nav-list-search">
47+
<input type="text" id="search-input" disabled placeholder="Search" aria-label="Search in documentation" autocomplete="off">
48+
<input type="reset" id="reset-search" disabled value="Reset">
5849
</div>
59-
<div class="nav-list-search"><label for="search-input">SEARCH:</label>
60-
<input type="text" id="search-input" value="search" disabled="disabled">
61-
<input type="reset" id="reset-button" value="reset" disabled="disabled">
6250
</div>
6351
</div>
6452
<!-- ========= END OF TOP NAVBAR ========= -->
6553
<span class="skip-nav" id="skip-navbar-top"></span></nav>
6654
</header>
67-
<div class="flex-content">
55+
<div class="main-grid">
56+
<nav role="navigation" class="toc" aria-label="Table of contents">
57+
<div class="toc-header">Contents&nbsp;
58+
<input type="text" class="filter-input" disabled placeholder="Filter" aria-label="Filter table of contents" autocomplete="off">
59+
<input type="reset" class="reset-filter" disabled value="Reset">
60+
</div>
61+
<button class="hide-sidebar"><span>Hide sidebar&nbsp;</span>&#10094;</button><button class="show-sidebar">&#10095;<span>&nbsp;Show sidebar</span></button>
62+
<ol class="toc-list">
63+
<li><a href="#" tabindex="0">Description</a></li>
64+
<li><a href="#constructor-summary" tabindex="0">Constructor Summary</a></li>
65+
<li><a href="#method-summary" tabindex="0">Method Summary</a></li>
66+
<li><a href="#constructor-detail" tabindex="0">Constructor Details</a>
67+
<ol class="toc-list">
68+
<li><a href="#%3Cinit%3E(com.ibm.wala.ssa.SSAConditionalBranchInstruction,int,boolean)" tabindex="0">ConditionNormalizer(SSAConditionalBranchInstruction, int, boolean)</a></li>
69+
</ol>
70+
</li>
71+
<li><a href="#method-detail" tabindex="0">Method Details</a>
72+
<ol class="toc-list">
73+
<li><a href="#getLhs()" tabindex="0">getLhs()</a></li>
74+
<li><a href="#getOp()" tabindex="0">getOp()</a></li>
75+
<li><a href="#getRhs()" tabindex="0">getRhs()</a></li>
76+
</ol>
77+
</li>
78+
</ol>
79+
</nav>
6880
<main role="main">
6981
<!-- ======== START OF CLASS DATA ======== -->
7082
<div class="header">
71-
<div class="sub-title"><span class="package-label-in-type">Package</span>&nbsp;<a href="package-summary.html">com.ibm.wala.analysis.arraybounds</a></div>
7283
<h1 title="Class ConditionNormalizer" class="title">Class ConditionNormalizer</h1>
7384
</div>
74-
<div class="inheritance" title="Inheritance Tree"><a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">java.lang.Object</a>
85+
<div class="inheritance" title="Inheritance Tree"><a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">java.lang.Object</a>
7586
<div class="inheritance">com.ibm.wala.analysis.arraybounds.ConditionNormalizer</div>
7687
</div>
7788
<section class="class-description" id="class-description">
89+
<div class="horizontal-scroll">
7890
<hr>
7991
<div class="type-signature"><span class="modifiers">public class </span><span class="element-name type-name-label">ConditionNormalizer</span>
80-
<span class="extends-implements">extends <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">Object</a></span></div>
92+
<span class="extends-implements">extends <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">Object</a></span></div>
8193
<div class="block">ConditionNormalizer normalizes a branch condition. See Constructor for more information.</div>
8294
<dl class="notes">
8395
<dt>Author:</dt>
8496
<dd>Stephan Gocht <code>&lt;[email protected]&gt;</code></dd>
8597
</dl>
98+
</div>
8699
</section>
87100
<section class="summary">
88101
<ul class="summary-list">
@@ -127,8 +140,8 @@ <h2>Method Summary</h2>
127140
</div>
128141
</div>
129142
<div class="inherited-list">
130-
<h3 id="methods-inherited-from-class-java.lang.Object">Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">Object</a></h3>
131-
<code><a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#clone()" title="class or interface in java.lang" class="external-link">clone</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#equals(java.lang.Object)" title="class or interface in java.lang" class="external-link">equals</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#finalize()" title="class or interface in java.lang" class="external-link">finalize</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#getClass()" title="class or interface in java.lang" class="external-link">getClass</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#hashCode()" title="class or interface in java.lang" class="external-link">hashCode</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#notify()" title="class or interface in java.lang" class="external-link">notify</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#notifyAll()" title="class or interface in java.lang" class="external-link">notifyAll</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#toString()" title="class or interface in java.lang" class="external-link">toString</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#wait()" title="class or interface in java.lang" class="external-link">wait</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#wait(long)" title="class or interface in java.lang" class="external-link">wait</a>, <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Object.html#wait(long,int)" title="class or interface in java.lang" class="external-link">wait</a></code></div>
143+
<h3 id="methods-inherited-from-class-java.lang.Object">Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html" title="class or interface in java.lang" class="external-link">Object</a></h3>
144+
<code><a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#clone()" title="class or interface in java.lang" class="external-link">clone</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#equals(java.lang.Object)" title="class or interface in java.lang" class="external-link">equals</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#finalize()" title="class or interface in java.lang" class="external-link">finalize</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#getClass()" title="class or interface in java.lang" class="external-link">getClass</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#hashCode()" title="class or interface in java.lang" class="external-link">hashCode</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#notify()" title="class or interface in java.lang" class="external-link">notify</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#notifyAll()" title="class or interface in java.lang" class="external-link">notifyAll</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#toString()" title="class or interface in java.lang" class="external-link">toString</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#wait()" title="class or interface in java.lang" class="external-link">wait</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#wait(long)" title="class or interface in java.lang" class="external-link">wait</a>, <a href="https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/Object.html#wait(long,int)" title="class or interface in java.lang" class="external-link">wait</a></code></div>
132145
</section>
133146
</li>
134147
</ul>
@@ -143,6 +156,7 @@ <h2>Constructor Details</h2>
143156
<li>
144157
<section class="detail" id="&lt;init&gt;(com.ibm.wala.ssa.SSAConditionalBranchInstruction,int,boolean)">
145158
<h3>ConditionNormalizer</h3>
159+
<div class="horizontal-scroll">
146160
<div class="member-signature"><span class="modifiers">public</span>&nbsp;<span class="element-name">ConditionNormalizer</span><wbr><span class="parameters">(<a href="../../ssa/SSAConditionalBranchInstruction.html" title="class in com.ibm.wala.ssa">SSAConditionalBranchInstruction</a>&nbsp;cnd,
147161
int&nbsp;lhs,
148162
boolean&nbsp;branchIsTaken)</span></div>
@@ -158,6 +172,7 @@ <h3>ConditionNormalizer</h3>
158172
<dd><code>lhs</code> - variable, that should be on the left hand side</dd>
159173
<dd><code>branchIsTaken</code> - if the condition is for the branching case or not</dd>
160174
</dl>
175+
</div>
161176
</section>
162177
</li>
163178
</ul>
@@ -171,19 +186,25 @@ <h2>Method Details</h2>
171186
<li>
172187
<section class="detail" id="getLhs()">
173188
<h3>getLhs</h3>
189+
<div class="horizontal-scroll">
174190
<div class="member-signature"><span class="modifiers">public</span>&nbsp;<span class="return-type">int</span>&nbsp;<span class="element-name">getLhs</span>()</div>
191+
</div>
175192
</section>
176193
</li>
177194
<li>
178195
<section class="detail" id="getOp()">
179196
<h3>getOp</h3>
197+
<div class="horizontal-scroll">
180198
<div class="member-signature"><span class="modifiers">public</span>&nbsp;<span class="return-type"><a href="../../shrike/shrikeBT/IConditionalBranchInstruction.Operator.html" title="enum class in com.ibm.wala.shrike.shrikeBT">IConditionalBranchInstruction.Operator</a></span>&nbsp;<span class="element-name">getOp</span>()</div>
199+
</div>
181200
</section>
182201
</li>
183202
<li>
184203
<section class="detail" id="getRhs()">
185204
<h3>getRhs</h3>
205+
<div class="horizontal-scroll">
186206
<div class="member-signature"><span class="modifiers">public</span>&nbsp;<span class="return-type">int</span>&nbsp;<span class="element-name">getRhs</span>()</div>
207+
</div>
187208
</section>
188209
</li>
189210
</ul>
@@ -194,6 +215,5 @@ <h3>getRhs</h3>
194215
<!-- ========= END OF CLASS DATA ========= -->
195216
</main>
196217
</div>
197-
</div>
198218
</body>
199219
</html>

0 commit comments

Comments
 (0)