Skip to content

Commit 8c88744

Browse files
committed
Update links.
1 parent 9b44985 commit 8c88744

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

checker/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
* different lengths.
1212
*
1313
* <p>The <a
14-
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/String.html#charAt-int-">
14+
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/String.html#charAt(int)">
1515
* {@code String.charAt(int)}</a> method is declared as
1616
*
1717
* <pre>{@code

checker/src/main/java/org/checkerframework/checker/index/qual/IndexOrHigh.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
* sequence's length.
99
*
1010
* <p>The <a
11-
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/Arrays.html#binarySearch-java.lang.Object:A-int-int-java.lang.Object-">
11+
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/Arrays.html#binarySearch(java.lang.Object%5B%5D,int,int,java.lang.Object)">
1212
* {@code Arrays.binarySearch}</a> method is declared as
1313
*
1414
* <pre>{@code

checker/src/main/java/org/checkerframework/checker/index/qual/IndexOrLow.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
* An integer that is either -1 or is a valid index for each of the given sequences.
88
*
99
* <p>The <a
10-
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/String.html#indexOf-java.lang.String-">
10+
* href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/String.html#indexOf(java.lang.String)">
1111
* {@code String.indexOf(String)}</a> method is declared as
1212
*
1313
* <pre><code>

docs/tutorial/webpages/user-input-cmd.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -166,7 +166,7 @@ <h4>3. Run the Regex Checker</h4>
166166

167167
<p>The "incompatible types" warning indicates that variable
168168
<code>regex</code> is not of type <code>@Regex String</code> which
169-
is required for strings passed to <a href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/regex/Pattern.html#compile-java.lang.String-"><code>Pattern.compile()</code></a>.</p>
169+
is required for strings passed to <a href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/regex/Pattern.html#compile(java.lang.String)"><code>Pattern.compile()</code></a>.</p>
170170
</div>
171171

172172
<div id="validate">

0 commit comments

Comments
 (0)