Skip to content

Commit

Permalink
Update website, javadoc, jars to 4.13.2
Browse files Browse the repository at this point in the history
  • Loading branch information
@parrt
parrt committed Aug 3, 2024
1 parent 8f2bf27 commit 79f2de3
Show file tree
Hide file tree
Showing 1,346 changed files with 7,507 additions and 7,507 deletions.
10 changes: 5 additions & 5 deletions api/Java/allclasses-index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>All Classes (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>All Classes (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Classes (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="All Classes (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -1242,7 +1242,7 @@ <h1 title="All&amp;nbsp;Classes" class="title">All&nbsp;Classes</h1>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
6 changes: 3 additions & 3 deletions api/Java/allclasses.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>All Classes (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>All Classes (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand Down
10 changes: 5 additions & 5 deletions api/Java/allpackages-index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>All Packages (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>All Packages (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="All Packages (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="All Packages (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -186,7 +186,7 @@ <h1 title="All&amp;nbsp;Packages" class="title">All&nbsp;Packages</h1>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
12 changes: 6 additions & 6 deletions api/Java/constant-values.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>Constant Field Values (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>Constant Field Values (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Constant Field Values (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="Constant Field Values (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -255,7 +255,7 @@ <h2 title="org.antlr">org.antlr.*</h2>
<!-- -->
</a><code>public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/String.html?is-external=true" title="class or interface in java.lang" class="externalLink">String</a></code></td>
<th class="colSecond" scope="row"><code><a href="org/antlr/v4/runtime/RuntimeMetaData.html#VERSION">VERSION</a></code></th>
<td class="colLast"><code>"4.13.1"</code></td>
<td class="colLast"><code>"4.13.2"</code></td>
</tr>
</tbody>
</table>
Expand Down Expand Up @@ -884,7 +884,7 @@ <h2 title="org.antlr">org.antlr.*</h2>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/deprecated-list.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>Deprecated List (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>Deprecated List (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Deprecated List (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="Deprecated List (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -372,7 +372,7 @@ <h2 title="Contents">Contents</h2>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/help-doc.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>API Help (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>API Help (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="API Help (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="API Help (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -276,7 +276,7 @@ <h2>Search</h2>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/index-all.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>Index (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>Index (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Index (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="Index (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -6837,7 +6837,7 @@ <h2 class="title">_</h2>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
12 changes: 6 additions & 6 deletions api/Java/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>Overview (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>Overview (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Overview (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="Overview (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -94,7 +94,7 @@
</nav>
</header>
<div class="header">
<h1 class="title">ANTLR 4 Runtime 4.13.1 API</h1>
<h1 class="title">ANTLR 4 Runtime 4.13.2 API</h1>
</div>
<main role="main">
<div class="contentContainer">
Expand Down Expand Up @@ -182,7 +182,7 @@ <h1 class="title">ANTLR 4 Runtime 4.13.1 API</h1>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
Binary file modified api/Java/member-search-index.zip
View file
Binary file not shown.
10 changes: 5 additions & 5 deletions api/Java/org/antlr/v4/runtime/ANTLRErrorListener.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>ANTLRErrorListener (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>ANTLRErrorListener (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ANTLRErrorListener (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="ANTLRErrorListener (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -474,7 +474,7 @@ <h4>reportContextSensitivity</h4>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/org/antlr/v4/runtime/ANTLRErrorStrategy.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>ANTLRErrorStrategy (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>ANTLRErrorStrategy (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ANTLRErrorStrategy (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="ANTLRErrorStrategy (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -458,7 +458,7 @@ <h4>reportError</h4>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/org/antlr/v4/runtime/ANTLRFileStream.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>ANTLRFileStream (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>ANTLRFileStream (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ANTLRFileStream (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="ANTLRFileStream (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -452,7 +452,7 @@ <h4>getSourceName</h4>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
10 changes: 5 additions & 5 deletions api/Java/org/antlr/v4/runtime/ANTLRInputStream.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.17) on Mon Sep 04 15:12:06 PDT 2023 -->
<title>ANTLRInputStream (ANTLR 4 Runtime 4.13.1 API)</title>
<!-- Generated by javadoc (11.0.17) on Sat Aug 03 11:44:34 PDT 2024 -->
<title>ANTLRInputStream (ANTLR 4 Runtime 4.13.2 API)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2023-09-04">
<meta name="dc.created" content="2024-08-03">
<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="../../../../jquery-ui.overrides.css" title="Style">
Expand All @@ -22,7 +22,7 @@
<script type="text/javascript"><!--
try {
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="ANTLRInputStream (ANTLR 4 Runtime 4.13.1 API)";
parent.document.title="ANTLRInputStream (ANTLR 4 Runtime 4.13.2 API)";
}
}
catch(err) {
Expand Down Expand Up @@ -1015,7 +1015,7 @@ <h4>toString</h4>
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2023 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
<p class="legalCopy"><small>Copyright &#169; 1992&#x2013;2024 <a href="https://www.antlr.org/">ANTLR</a>. All rights reserved.</small></p>
</footer>
</body>
</html>
Loading

0 comments on commit 79f2de3

Please sign in to comment.