From ecb7925340becfefc27d9f0b132fecf826b0030f Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Wed, 26 Apr 2023 11:08:31 +0200 Subject: [PATCH] Deactivated CheckerFramework index checker for deprecated classes --- before-refactor.txt | 1605 +++++++++++++++++ .../org/apache/commons/text/StrBuilder.java | 1 + .../org/apache/commons/text/StrLookup.java | 1 + .../org/apache/commons/text/StrMatcher.java | 1 + .../apache/commons/text/StrSubstitutor.java | 1 + .../org/apache/commons/text/StrTokenizer.java | 1 + 6 files changed, 1610 insertions(+) create mode 100644 before-refactor.txt diff --git a/before-refactor.txt b/before-refactor.txt new file mode 100644 index 0000000..da58f18 --- /dev/null +++ b/before-refactor.txt @@ -0,0 +1,1605 @@ +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeEscaper.java:[131,50] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @UpperBoundLiteral(15) int + required: @IndexFor("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") or @LTLengthOf("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") -- an integer less than org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeEscaper.java:[132,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @UpperBoundLiteral(15) int + required: @IndexFor("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") or @LTLengthOf("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") -- an integer less than org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeEscaper.java:[133,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @UpperBoundLiteral(15) int + required: @IndexFor("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") or @LTLengthOf("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") -- an integer less than org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeEscaper.java:[134,44] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @UpperBoundLiteral(15) int + required: @IndexFor("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") or @LTLengthOf("org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS") -- an integer less than org.apache.commons.text.translate.CharSequenceTranslator.HEX_DIGITS's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CodePointTranslator.java:[36,59] [argument] incompatible argument for parameter index of codePointAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CodePointTranslator.java:[36,59] [argument] incompatible argument for parameter index of codePointAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CharSequenceTranslator.java:[120,72] [argument] incompatible argument for parameter index of codePointAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CharSequenceTranslator.java:[134,17] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : CharSequenceTranslator [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CsvTranslators.java:[62,29] [argument] incompatible argument for parameter arg0 of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CsvTranslators.java:[62,76] [argument] incompatible argument for parameter arg0 of charAt. + found : @GTENegativeOne int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CsvTranslators.java:[68,55] [argument] incompatible argument for parameter arg0 of subSequence. + found : @UpperBoundLiteral(1) int + required: @LTEqLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/CsvTranslators.java:[68,73] [argument] incompatible argument for parameter arg1 of subSequence. + found : @GTENegativeOne int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/JavaUnicodeEscaper.java:[100,41] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/JavaUnicodeEscaper.java:[100,73] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : char [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[90,30] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("dpRows[1]") or @LTLengthOf("dpRows[1]") -- an integer less than dpRows[1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[90,47] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("dpRows[0]") or @LTLengthOf("dpRows[0]") -- an integer less than dpRows[0]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[92,30] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("dpRows[1]") or @LTLengthOf("dpRows[1]") -- an integer less than dpRows[1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[92,56] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("dpRows[1]") or @LTLengthOf("dpRows[1]") -- an integer less than dpRows[1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[92,72] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("dpRows[0]") or @LTLengthOf("dpRows[0]") -- an integer less than dpRows[0]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[120,44] [argument] incompatible argument for parameter arg0 of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[141,33] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("l1") or @LTLengthOf("l1") -- an integer less than l1's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[141,43] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"right", "right"}, offset={"-1", "j - 1"}) int + required: @IndexFor("l2") or @LTLengthOf("l2") -- an integer less than l2's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[197,43] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"left", "right"}, offset={"-1", "0"}) int + required: @IndexFor("org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(right, left)") or @LTLengthOf("org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(right, left)") -- an integer less than org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(right, left)'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[199,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf({"left", "right"}) int + required: @IndexFor("org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(left, right)") or @LTLengthOf("org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(left, right)") -- an integer less than org.apache.commons.text.similarity.LongestCommonSubsequence.algorithmB(left, right)'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[299,38] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("lcsLengthArray[i]") or @LTLengthOf("lcsLengthArray[i]") -- an integer less than lcsLengthArray[i]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[302,35] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="left", offset="0") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[305,37] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("left") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[305,44] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("lcsLengthArray[i + 1]") or @LTLengthOf("lcsLengthArray[i + 1]") -- an integer less than lcsLengthArray[i + 1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[305,66] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="left", offset="0") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[305,69] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("lcsLengthArray[i]") or @LTLengthOf("lcsLengthArray[i]") -- an integer less than lcsLengthArray[i]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,37] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("left") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,44] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("lcsLengthArray[i + 1]") or @LTLengthOf("lcsLengthArray[i + 1]") -- an integer less than lcsLengthArray[i + 1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,77] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("left") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,82] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("lcsLengthArray[i + 1]") or @LTLengthOf("lcsLengthArray[i + 1]") -- an integer less than lcsLengthArray[i + 1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,101] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="left", offset="0") int + required: @IndexFor("lcsLengthArray") or @LTLengthOf("lcsLengthArray") -- an integer less than lcsLengthArray's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LongestCommonSubsequence.java:[307,106] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("lcsLengthArray[i]") or @LTLengthOf("lcsLengthArray[i]") -- an integer less than lcsLengthArray[i]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/AlphabetConverter.java:[107,49] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/AlphabetConverter.java:[107,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("chars") or @LTLengthOf("chars") -- an integer less than chars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/AlphabetConverter.java:[388,46] [argument] incompatible argument for parameter index of codePointAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/AlphabetConverter.java:[400,59] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/AlphabetConverter.java:[401,26] [argument] incompatible argument for parameter endIndex of substring. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[923,36] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[923,36] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @LTEqLengthOf("source") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[923,51] [argument] incompatible argument for parameter endIndex of substring. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[923,51] [argument] incompatible argument for parameter endIndex of substring. + found : int + required: @LTEqLengthOf("source") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[1084,23] [argument] incompatible argument for parameter start of replace. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[1084,38] [argument] incompatible argument for parameter end of replace. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[1497,82] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringSubstitutor.java:[1497,82] [argument] incompatible argument for parameter beginIndex of substring. + found : @LTLengthOf(value={"varNameExpr", "varNameExpr.toCharArray()", "varNameExprChars"}, offset={"-valueDelimiterMatchLen", "-valueDelimiterMatchLen", "-valueDelimiterMatchLen"}) int + required: @LTEqLengthOf("varNameExpr") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[116,15] [override.return] Incompatible return type. + found : int + required: @GTENegativeOne int + Consequence: method in TextStringBuilder.TextStringBuilderReader + int read(TextStringBuilder.TextStringBuilderReader this) + cannot override method in Reader + @GTENegativeOne int read(Reader this) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[125,15] [override.return] Incompatible return type. + found : int + required: @GTENegativeOne int + Consequence: method in TextStringBuilder.TextStringBuilderReader + int read(TextStringBuilder.TextStringBuilderReader this, char [] p0, int p1, int p2) + cannot override method in Reader + @GTENegativeOne int read(Reader this, char [] p0, @NonNegative int p1, @NonNegative int p2) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[125,15] [override.return] Incompatible return type. + found : int + required: @LTEqLengthOf("#1") int + Consequence: method in TextStringBuilder.TextStringBuilderReader + int read(TextStringBuilder.TextStringBuilderReader this, char [] p0, int p1, int p2) + cannot override method in Reader + @LTEqLengthOf("#1") int read(Reader this, char [] p0, @LTEqLengthOf("#1") int p1, @LTLengthOf(value="#1", offset="#2 - 1") int p2) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[157,15] [override.return] Incompatible return type. + found : long + required: @NonNegative long + Consequence: method in TextStringBuilder.TextStringBuilderReader + long skip(TextStringBuilder.TextStringBuilderReader this, long p0) + cannot override method in Reader + @NonNegative long skip(Reader this, @NonNegative long p0) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[413,19] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[413,19] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[431,47] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[431,52] [argument] incompatible argument for parameter arg4 of arraycopy. + found : @LTEqLengthOf("chars") int + required: @LTLengthOf(offset={"0 - 1", "len - 1"}, value={"chars", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[462,56] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[462,61] [argument] incompatible argument for parameter arg4 of arraycopy. + found : @LTLengthOf(value={"chars", "chars"}, offset={"-1", "startIndex - 1"}) int + required: @LTLengthOf(offset={"startIndex - 1", "len - 1"}, value={"chars", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[500,77] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[500,99] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[500,104] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"buf.arrayOffset() + buf.position() + startIndex - 1", "len - 1"}, value={"buf.array()", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[647,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[647,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[696,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[696,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[733,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[733,66] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[828,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[828,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[829,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[829,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[830,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[830,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[831,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[831,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[832,15] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[832,15] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[868,61] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[868,61] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[872,32] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[872,32] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[874,53] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[874,53] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[913,47] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[913,47] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[916,48] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[916,48] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[918,41] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[918,41] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="str", offset="- i - this.size - 1") int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1167,27] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1167,27] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1349,51] [argument] incompatible argument for parameter arg2 of write. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1349,51] [argument] incompatible argument for parameter arg2 of write. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1351,59] [argument] incompatible argument for parameter len of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1351,59] [argument] incompatible argument for parameter len of append. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1353,58] [argument] incompatible argument for parameter len of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1353,58] [argument] incompatible argument for parameter len of append. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1363,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1363,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1364,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1364,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1365,20] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1365,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1366,15] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1366,15] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1544,22] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1544,22] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1574,24] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("thisBuf") or @LTLengthOf("thisBuf"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1630,23] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1630,23] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.buffer") or @LTLengthOf("this.buffer"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1633,31] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1633,31] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.buffer") or @LTLengthOf("this.buffer"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1700,23] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.buffer") or @LTLengthOf("this.buffer"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1748,33] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1748,51] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1748,68] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1748,68] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"endIndex - 1", "startIndex - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1764,30] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1764,30] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1813,23] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1813,23] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1866,24] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("thisBuf") or @LTLengthOf("thisBuf") -- an integer less than thisBuf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1866,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("otherBuf") or @LTLengthOf("otherBuf") -- an integer less than otherBuf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1890,36] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("thisBuf") or @LTLengthOf("thisBuf") -- an integer less than thisBuf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1891,37] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("otherBuf") or @LTLengthOf("otherBuf") -- an integer less than otherBuf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1913,30] [array.length.negative] Variable used in array creation could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1915,47] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1915,47] [argument] incompatible argument for parameter arg4 of arraycopy. + found : @LTEqLengthOf("target") int + required: @LTLengthOf(offset={"0 - 1", "0 - 1"}, value={"this.buffer", "target"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1939,53] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1939,75] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"startIndex - 1", "targetIndex - 1"}, value={"this.buffer", "target"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[1971,39] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("buf") or @LTLengthOf("buf"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2000,24] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("thisBuf") or @LTLengthOf("thisBuf"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2038,38] [argument] incompatible argument for parameter index of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("str") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2050,47] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="str", offset="-i") int + required: @IndexFor("thisBuf") or @LTLengthOf("thisBuf") -- an integer less than thisBuf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2111,37] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2111,58] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2111,83] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2111,83] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + org.apache.commons.text.TextStringBuilder.TRUE_STRING_SIZE - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2115,37] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2115,58] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2115,84] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2115,84] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + org.apache.commons.text.TextStringBuilder.FALSE_STRING_SIZE - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2132,33] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2132,54] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2132,64] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2132,64] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + 1 - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2133,15] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2133,15] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2154,37] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2154,58] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2154,70] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2154,70] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + len - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2155,47] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2155,54] [argument] incompatible argument for parameter arg4 of arraycopy. + found : @LTEqLengthOf("chars") int + required: @LTLengthOf(offset={"0 - 1", "index - 1"}, value={"chars", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2184,37] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2184,58] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2184,73] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2184,73] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + length - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2185,52] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2185,59] [argument] incompatible argument for parameter arg4 of arraycopy. + found : @LTLengthOf(value={"chars", "chars"}, offset={"-1", "offset - 1"}) int + required: @LTLengthOf(offset={"offset - 1", "index - 1"}, value={"chars", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2273,41] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2273,62] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2273,77] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2273,77] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"index - 1", "index + strLen - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2275,48] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2275,48] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2339,23] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2378,46] [argument] incompatible argument for parameter index of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("str") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2383,50] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="str", offset="-i") int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2451,41] [argument] incompatible argument for parameter count of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2451,41] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2453,37] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2462,11] [override.return] Incompatible return type. + found : int + required: @NonNegative int + Consequence: method in TextStringBuilder + int length(TextStringBuilder this) + cannot override method in CharSequence + @NonNegative int length(CharSequence this) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2462,11] [override.return] Incompatible return type. + found : int + required: @LTEqLengthOf("this") int + Consequence: method in TextStringBuilder + int length(TextStringBuilder this) + cannot override method in CharSequence + @LTEqLengthOf("this") int length(CharSequence this) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2487,38] [argument] incompatible argument for parameter offset of String. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2487,50] [argument] incompatible argument for parameter count of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2487,50] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="index - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2489,34] [argument] incompatible argument for parameter offset of String. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2489,41] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="index - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2567,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2567,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2567,64] [argument] incompatible argument for parameter arg2 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2574,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2574,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2574,64] [argument] incompatible argument for parameter arg2 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2598,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2598,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2598,50] [argument] incompatible argument for parameter arg2 of read. + found : int + required: @LTLengthOf(offset="this.size - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2605,44] [argument] incompatible argument for parameter arg1 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2605,44] [argument] incompatible argument for parameter arg1 of read. + found : @LTLengthOf(value="this.buffer", offset="-this.size - 1") int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2605,50] [argument] incompatible argument for parameter arg2 of read. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2605,50] [argument] incompatible argument for parameter arg2 of read. + found : int + required: @LTLengthOf(offset="this.size - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2616,44] [argument] incompatible argument for parameter newLength of copyOf. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2668,27] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.buffer") or @LTLengthOf("this.buffer"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2669,27] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2721,27] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.buffer") or @LTLengthOf("this.buffer"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2722,27] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2779,37] [argument] incompatible argument for parameter arg1 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2779,66] [argument] incompatible argument for parameter arg3 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2779,84] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2779,84] [argument] incompatible argument for parameter arg4 of arraycopy. + found : int + required: @LTLengthOf(offset={"endIndex - 1", "startIndex + insertLen - 1"}, value={"this.buffer", "this.buffer"}) int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2783,34] [argument] incompatible argument for parameter srcEnd of getChars. + found : int + required: @LTEqLengthOf("insertStr") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2783,53] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2783,53] [argument] incompatible argument for parameter dstBegin of getChars. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2836,34] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=1073741822) int + array type found: char [] + required : index of type @IndexFor("buf") or @LTLengthOf("buf"), or array of type @MinLen(1073741823) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2837,16] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buf") or @LTLengthOf("buf") -- an integer less than buf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2837,31] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2837,31] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buf") or @LTLengthOf("buf") -- an integer less than buf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2838,16] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2838,16] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buf") or @LTLengthOf("buf") -- an integer less than buf's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2858,41] [argument] incompatible argument for parameter count of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2858,41] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2860,39] [argument] incompatible argument for parameter offset of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2860,39] [argument] incompatible argument for parameter offset of String. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2860,49] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="this.size - length - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2890,15] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2890,15] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2911,32] [argument] incompatible argument for parameter fromIndex of fill. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2911,32] [argument] incompatible argument for parameter fromIndex of fill. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2911,40] [argument] incompatible argument for parameter toIndex of fill. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[2974,23] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="str", offset="0") int + required: @IndexFor("this.buffer") or @LTLengthOf("this.buffer") -- an integer less than this.buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3023,34] [argument] incompatible argument for parameter offset of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3023,34] [argument] incompatible argument for parameter offset of String. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3023,55] [argument] incompatible argument for parameter count of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3023,55] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="startIndex - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3032,79] [argument] incompatible argument for parameter newLength of copyOf. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3047,83] [argument] incompatible argument for parameter from of copyOfRange. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3047,83] [argument] incompatible argument for parameter from of copyOfRange. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3059,11] [override.return] Incompatible return type. + found : String + required: @SameLen("this") String + Consequence: method in TextStringBuilder + String toString(TextStringBuilder this) + cannot override method in CharSequence + @SameLen("this") String toString(CharSequence this) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3060,37] [argument] incompatible argument for parameter count of String. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3060,37] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3069,32] [argument] incompatible argument for parameter capacity of StringBuffer. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3069,56] [argument] incompatible argument for parameter len of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3069,56] [argument] incompatible argument for parameter len of append. + found : int + required: @LTEqLengthOf("this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3078,33] [argument] incompatible argument for parameter capacity of StringBuilder. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3078,57] [argument] incompatible argument for parameter len of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3078,57] [argument] incompatible argument for parameter len of append. + found : int + required: @LTLengthOf(offset="0 - 1", value="this.buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3093,32] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("buf") or @LTLengthOf("buf"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/TextStringBuilder.java:[3096,36] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("buf") or @LTLengthOf("buf"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[635,47] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[635,47] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("srcChars") or @LTLengthOf("srcChars") -- an integer less than srcChars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[635,75] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[635,75] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("srcChars") or @LTLengthOf("srcChars") -- an integer less than srcChars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[652,34] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[652,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.tokens") or @LTLengthOf("this.tokens") -- an integer less than this.tokens's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[663,11] [override.return] Incompatible return type. + found : int + required: @NonNegative int + Consequence: method in StringTokenizer + int nextIndex(StringTokenizer this) + cannot override method in ListIterator + @NonNegative int nextIndex(ListIterator this) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[675,34] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[675,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.tokens") or @LTLengthOf("this.tokens") -- an integer less than this.tokens's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[688,26] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[688,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.tokens") or @LTLengthOf("this.tokens") -- an integer less than this.tokens's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[699,11] [override.return] Incompatible return type. + found : int + required: @GTENegativeOne int + Consequence: method in StringTokenizer + int previousIndex(StringTokenizer this) + cannot override method in ListIterator + @GTENegativeOne int previousIndex(ListIterator this) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[710,26] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[710,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.tokens") or @LTLengthOf("this.tokens") -- an integer less than this.tokens's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[857,40] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/StringTokenizer.java:[857,40] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("srcChars") or @LTLengthOf("srcChars"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[88,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("ms1") or @LTLengthOf("ms1") -- an integer less than ms1's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[94,20] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("ms2") or @LTLengthOf("ms2") -- an integer less than ms2's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[100,31] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="ms1", offset="0") int + required: @IndexFor("ms2") or @LTLengthOf("ms2") -- an integer less than ms2's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[106,29] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("first") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[106,50] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("second") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[159,29] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[163,85] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : int [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/JaroWinklerSimilarity.java:[164,61] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 2 could be larger than the array's bound + found : int [] + required: @MinLen(3) -- an array guaranteed to have at least 3 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[75,36] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("matrix") or @LTLengthOf("matrix") -- an integer less than matrix's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[75,58] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=0, to=2147483646) int + array type found: int [] + required : index of type @IndexFor("matrix[rowIndex]") or @LTLengthOf("matrix[rowIndex]"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[80,44] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("matrix") or @LTLengthOf("matrix") -- an integer less than matrix's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[80,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("matrix[rowIndex - 1]") or @LTLengthOf("matrix[rowIndex - 1]") -- an integer less than matrix[rowIndex - 1]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[83,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value="right", offset="0") int + required: @IndexFor("matrix") or @LTLengthOf("matrix") -- an integer less than matrix's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[83,66] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=0, to=2147483646) int + array type found: int [] + required : index of type @IndexFor("matrix[rowIndex - 1]") or @LTLengthOf("matrix[rowIndex - 1]"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[90,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTEqLengthOf("right") int + required: @IndexFor("matrix") or @LTLengthOf("matrix") -- an integer less than matrix's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[90,36] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("matrix[rowIndex]") or @LTLengthOf("matrix[rowIndex]") -- an integer less than matrix[rowIndex]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[94,75] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[264,19] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[264,22] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"d", "left", "p", "right"}, offset={"0", "-1", "0", "-1"}) int + required: @IndexFor("matrix[0]") or @LTLengthOf("matrix[0]") -- an integer less than matrix[0]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[267,26] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[283,14] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[309,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"d", "left", "p", "right"}, offset={"0", "-1", "0", "-1"}) int + required: @IndexFor("matrix[j]") or @LTLengthOf("matrix[j]") -- an integer less than matrix[j]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[406,19] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[406,22] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"d", "left", "p", "right"}, offset={"0", "-1", "0", "-1"}) int + required: @IndexFor("matrix[0]") or @LTLengthOf("matrix[0]") -- an integer less than matrix[0]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[409,26] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[425,14] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDetailedDistance.java:[432,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : @LTLengthOf(value={"d", "left", "p", "right"}, offset={"0", "-1", "0", "-1"}) int + required: @IndexFor("matrix[j]") or @LTLengthOf("matrix[j]") -- an integer less than matrix[j]'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[248,50] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[249,50] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : char [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[254,38] [cast.unsafe] cast from "@LowerBoundUnknown int" to "@NonNegative char" cannot be statically verified +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[368,56] [argument] incompatible argument for parameter capacity of StringBuilder. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[455,91] [argument] incompatible argument for parameter index of codePointAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("java.lang.String.valueOf(characterList.get(this.random.nextInt(listSize)))") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/RandomStringGenerator.java:[457,111] [argument] incompatible argument for parameter index of codePointAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("java.lang.String.valueOf(characterList.get(java.util.concurrent.ThreadLocalRandom.current().nextInt(0, listSize)))") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[180,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("pattern.toCharArray()") or @LTLengthOf("pattern.toCharArray()") -- an integer less than pattern.toCharArray()'s length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[192,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("c") or @LTLengthOf("c") -- an integer less than c's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[196,39] [argument] incompatible argument for parameter offset of append. + found : int + required: @LTEqLengthOf("c") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[196,61] [argument] incompatible argument for parameter len of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[196,61] [argument] incompatible argument for parameter len of append. + found : int + required: @LTLengthOf(offset="start - 1", value="c") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[227,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("c") or @LTLengthOf("c") -- an integer less than c's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[240,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("c") or @LTLengthOf("c") -- an integer less than c's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[256,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("c") or @LTLengthOf("c") -- an integer less than c's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[262,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("c") or @LTLengthOf("c") -- an integer less than c's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[275,32] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("origFormats") or @LTLengthOf("origFormats") -- an integer less than origFormats's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[382,54] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[434,47] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[442,45] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @LTEqLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[442,63] [argument] incompatible argument for parameter endIndex of substring. + found : int + required: @LTEqLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[471,48] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[474,47] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[494,48] [argument] incompatible argument for parameter beginIndex of substring. + found : int + required: @LTEqLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[494,67] [argument] incompatible argument for parameter endIndex of substring. + found : int + required: @LTEqLengthOf("pattern") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/ExtendedMessageFormat.java:[511,40] [argument] incompatible argument for parameter index of setIndex. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[61,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[61,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[61,92] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[61,92] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[67,40] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[67,40] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[69,59] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[69,59] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[70,44] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[70,44] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[71,64] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[71,64] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[71,100] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[71,100] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[72,48] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/OctalUnescaper.java:[72,48] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/lookup/ScriptStringLookup.java:[80,35] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : String @ArrayLenRange(from=1) [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/lookup/DnsStringLookup.java:[87,56] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : String @ArrayLenRange(from=1) [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDistance.java:[184,14] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDistance.java:[193,22] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("d") or @LTLengthOf("d") -- an integer less than d's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDistance.java:[304,26] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/LevenshteinDistance.java:[306,14] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/similarity/IntersectionSimilarity.java:[76,32] [argument] incompatible argument for parameter initialCapacity of HashMap. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/lookup/ResourceBundleStringLookup.java:[103,50] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : String @ArrayLenRange(from=1) [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[36,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[36,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[36,92] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[39,68] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[43,65] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[49,69] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[49,69] [argument] incompatible argument for parameter arg0 of subSequence. + found : @LTLengthOf(value="input", offset="-i + 1") int + required: @LTEqLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[49,84] [argument] incompatible argument for parameter arg1 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[49,84] [argument] incompatible argument for parameter arg1 of subSequence. + found : @LTLengthOf(value="input", offset="-i - 3") int + required: @LTEqLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/UnicodeUnescaper.java:[60,40] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[158,42] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[161,69] [array.length.negative] Variable used in array creation could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[181,33] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("digits") or @LTLengthOf("digits") -- an integer less than digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[215,34] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[215,34] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("chars") or @LTLengthOf("chars") -- an integer less than chars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[222,57] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[266,29] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[266,29] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.outputChars") or @LTLengthOf("this.outputChars") -- an integer less than this.outputChars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[288,51] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[300,44] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[300,44] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: int [] + required : index of type @IndexFor("this.digits") or @LTLengthOf("this.digits"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[315,26] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[315,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("digitChars") or @LTLengthOf("digitChars") -- an integer less than digitChars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[332,51] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[339,44] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: int [] + required : index of type @IndexFor("this.digits") or @LTLengthOf("this.digits"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[366,51] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[375,44] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: int [] + required : index of type @IndexFor("this.digits") or @LTLengthOf("this.digits"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[471,22] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[506,31] [array.length.negative] Variable used in array creation could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[553,33] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.digits") or @LTLengthOf("this.digits") -- an integer less than this.digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[557,23] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.digits") or @LTLengthOf("this.digits") -- an integer less than this.digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[581,15] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : int [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[622,42] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[622,42] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.digits") or @LTLengthOf("this.digits") -- an integer less than this.digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[625,59] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[625,59] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.digits") or @LTLengthOf("this.digits") -- an integer less than this.digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[737,28] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[737,28] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.outputChars") or @LTLengthOf("this.outputChars") -- an integer less than this.outputChars's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[737,53] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntVal({0, 1, 2, 3, 4, 5, 6, 7, 8, 9}) int + array type found: char [] + required : index of type @IndexFor("localizedDigits") or @LTLengthOf("localizedDigits"), or array of type @MinLen(10) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/ParsedDecimal.java:[756,32] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.digits") or @LTLengthOf("this.digits") -- an integer less than this.digits's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/FormattableUtils.java:[107,34] [argument] incompatible argument for parameter start of replace. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/io/StringSubstitutorReader.java:[151,11] [override.return] Incompatible return type. + found : int + required: @GTENegativeOne int + Consequence: method in StringSubstitutorReader + int read(StringSubstitutorReader this) throws IOException + cannot override method in Reader + @GTENegativeOne int read(Reader this) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/io/StringSubstitutorReader.java:[175,11] [override.return] Incompatible return type. + found : int + required: @GTENegativeOne int + Consequence: method in StringSubstitutorReader + int read(StringSubstitutorReader this, char [] p0, int p1, int p2) throws IOException + cannot override method in FilterReader + @GTENegativeOne int read(FilterReader this, char [] p0, @NonNegative int p1, @NonNegative int p2) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/io/StringSubstitutorReader.java:[175,11] [override.return] Incompatible return type. + found : int + required: @LTEqLengthOf("#1") int + Consequence: method in StringSubstitutorReader + int read(StringSubstitutorReader this, char [] p0, int p1, int p2) throws IOException + cannot override method in FilterReader + @LTEqLengthOf("#1") int read(FilterReader this, char [] p0, @LTEqLengthOf("#1") int p1, @LTLengthOf(value="#1", offset="#2 - 1") int p2) throws IOException +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[100,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[100,25] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[100,83] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[104,48] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[117,49] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[117,77] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[118,52] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[118,80] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[119,52] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[119,80] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[123,67] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[123,67] [argument] incompatible argument for parameter arg0 of charAt. + found : @LTEqLengthOf("input") int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[137,69] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[137,76] [argument] incompatible argument for parameter arg1 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[139,69] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[139,76] [argument] incompatible argument for parameter arg1 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[147,34] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/NumericEntityUnescaper.java:[148,34] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 1 could be larger than the array's bound + found : char [] + required: @MinLen(2) -- an array guaranteed to have at least 2 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/CaseUtils.java:[87,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/CaseUtils.java:[91,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/CaseUtils.java:[96,44] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="newCodePoints") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[170,56] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[170,56] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[170,75] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[170,75] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.right") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[171,64] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[171,64] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[176,70] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[176,70] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[179,71] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[179,71] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.right") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[191,60] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[191,60] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[212,31] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[212,31] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[212,56] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[212,56] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.right") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[247,16] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[247,16] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-1073741823, to=1073741824) int + array type found: int [] + required : index of type @IndexFor("this.vDown") or @LTLengthOf("this.vDown"), or array of type @MinLen(1073741825) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[248,14] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[248,14] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-1073741823, to=1073741824) int + array type found: int [] + required : index of type @IndexFor("this.vUp") or @LTLengthOf("this.vUp"), or array of type @MinLen(1073741825) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[256,49] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : @GTENegativeOne int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[256,49] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[256,64] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[257,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[257,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[259,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[259,39] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : @GTENegativeOne int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[259,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[262,30] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[265,59] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[265,59] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[265,78] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[265,78] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.right") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[266,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[271,30] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[271,30] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[271,48] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[272,48] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[272,48] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[282,51] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[282,51] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[282,65] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[282,65] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[283,24] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[283,24] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[283,35] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[283,35] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[285,24] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[285,24] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[285,35] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[285,35] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[288,28] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[288,28] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[291,39] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[291,39] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.left") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[291,58] [argument] incompatible argument for parameter index of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[291,58] [argument] incompatible argument for parameter index of charAt. + found : int + required: @LTLengthOf("this.right") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[292,24] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[292,24] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[297,28] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[297,28] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[297,42] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[297,42] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vDown") or @LTLengthOf("this.vDown") -- an integer less than this.vDown's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[298,46] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/diff/StringsComparator.java:[298,46] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("this.vUp") or @LTLengthOf("this.vUp") -- an integer less than this.vUp's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/StringMatcherFactory.java:[104,34] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : StringMatcher [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/StringMatcherFactory.java:[131,63] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/StringMatcherFactory.java:[148,70] [argument] incompatible argument for parameter index of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("chars") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/StringMatcherFactory.java:[226,72] [array.access.unsafe.high.constant] Potentially unsafe array access: the constant index 0 could be larger than the array's bound + found : char [] + required: @MinLen(1) -- an array guaranteed to have at least 1 elements +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[141,26] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.chars") or @LTLengthOf("this.chars"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[141,39] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[141,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buffer") or @LTLengthOf("buffer") -- an integer less than buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[165,26] [array.access.unsafe.high.range] Potentially unsafe array access: the index could be larger than the array's bound + index type found: @IntRange(from=-2147483648, to=2147483646) int + array type found: char [] + required : index of type @IndexFor("this.chars") or @LTLengthOf("this.chars"), or array of type @MinLen(2147483647) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[165,46] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[165,46] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[220,32] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[220,32] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buffer") or @LTLengthOf("buffer") -- an integer less than buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[234,39] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[234,39] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[285,53] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[285,53] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buffer") or @LTLengthOf("buffer") -- an integer less than buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[299,60] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[299,60] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[403,26] [array.access.unsafe.low] Potentially unsafe array access: the index could be negative. + found : int + required: an integer >= 0 (@NonNegative or @Positive) +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[403,26] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("buffer") or @LTLengthOf("buffer") -- an integer less than buffer's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[417,33] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/matcher/AbstractStringMatcher.java:[417,33] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("buffer") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[101,34] [argument] incompatible argument for parameter end of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[107,42] [argument] incompatible argument for parameter end of append. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[184,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[188,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[192,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[196,44] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="newCodePoints") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[382,35] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[388,44] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="newCodePoints") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[481,35] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[484,44] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="newCodePoints") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[548,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[552,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[556,39] [array.access.unsafe.high] Potentially unsafe array access: the index could be larger than the array's bound + found : int + required: @IndexFor("newCodePoints") or @LTLengthOf("newCodePoints") -- an integer less than newCodePoints's length +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[560,44] [argument] incompatible argument for parameter count of String. + found : int + required: @LTLengthOf(offset="0 - 1", value="newCodePoints") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[840,48] [argument] incompatible argument for parameter end of append. + found : int + required: @LTEqLengthOf("str") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[850,40] [argument] incompatible argument for parameter start of append. + found : @GTENegativeOne int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[866,52] [argument] incompatible argument for parameter end of append. + found : int + required: @LTEqLengthOf("str") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[885,32] [argument] incompatible argument for parameter start of append. + found : @GTENegativeOne int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/WordUtils.java:[885,32] [argument] incompatible argument for parameter start of append. + found : int + required: @LTEqLengthOf("str") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[67,51] [argument] incompatible argument for parameter bitIndex of set. + found : char + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[67,52] [argument] incompatible argument for parameter arg0 of charAt. + found : @UpperBoundLiteral(0) int + required: @LTLengthOf("pair.getKey()") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[86,38] [argument] incompatible argument for parameter bitIndex of get. + found : char + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[86,39] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[86,39] [argument] incompatible argument for parameter arg0 of charAt. + found : int + required: @LTLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[93,62] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[93,62] [argument] incompatible argument for parameter arg0 of subSequence. + found : int + required: @LTEqLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[93,75] [argument] incompatible argument for parameter arg1 of subSequence. + found : int + required: @NonNegative int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/translate/LookupTranslator.java:[93,75] [argument] incompatible argument for parameter arg1 of subSequence. + found : int + required: @LTEqLengthOf("input") int +[WARNING] /Users/maggicl/git/soft-an/assignment-3/sources/src/main/java/org/apache/commons/text/numbers/DoubleFormat.java:[507,32] [cast.unsafe] cast from "@LowerBoundUnknown int" to "@NonNegative char" cannot be statically verified diff --git a/sources/src/main/java/org/apache/commons/text/StrBuilder.java b/sources/src/main/java/org/apache/commons/text/StrBuilder.java index 4f021c6..c42f6d0 100644 --- a/sources/src/main/java/org/apache/commons/text/StrBuilder.java +++ b/sources/src/main/java/org/apache/commons/text/StrBuilder.java @@ -71,6 +71,7 @@ import org.apache.commons.lang3.StringUtils; * @deprecated Deprecated as of 1.3, use {@link TextStringBuilder} instead. This class will be removed in 2.0. */ @Deprecated +@SuppressWarnings("index") // class is deprecated public class StrBuilder implements CharSequence, Appendable, Serializable, Builder { /** diff --git a/sources/src/main/java/org/apache/commons/text/StrLookup.java b/sources/src/main/java/org/apache/commons/text/StrLookup.java index d16a7ed..6035306 100644 --- a/sources/src/main/java/org/apache/commons/text/StrLookup.java +++ b/sources/src/main/java/org/apache/commons/text/StrLookup.java @@ -44,6 +44,7 @@ import org.apache.commons.text.lookup.StringLookupFactory; * @deprecated Deprecated as of 1.3, use {@link StringLookupFactory} instead. This class will be removed in 2.0. */ @Deprecated +@SuppressWarnings("index") // class is deprecated public abstract class StrLookup implements StringLookup { /** diff --git a/sources/src/main/java/org/apache/commons/text/StrMatcher.java b/sources/src/main/java/org/apache/commons/text/StrMatcher.java index 062f670..13001b3 100644 --- a/sources/src/main/java/org/apache/commons/text/StrMatcher.java +++ b/sources/src/main/java/org/apache/commons/text/StrMatcher.java @@ -33,6 +33,7 @@ import org.apache.commons.text.matcher.StringMatcherFactory; * @deprecated Deprecated as of 1.3, use {@link StringMatcherFactory} instead. This class will be removed in 2.0. */ @Deprecated +@SuppressWarnings("index") // class is deprecated public abstract class StrMatcher { /** diff --git a/sources/src/main/java/org/apache/commons/text/StrSubstitutor.java b/sources/src/main/java/org/apache/commons/text/StrSubstitutor.java index 8a71383..9aa2ee4 100644 --- a/sources/src/main/java/org/apache/commons/text/StrSubstitutor.java +++ b/sources/src/main/java/org/apache/commons/text/StrSubstitutor.java @@ -124,6 +124,7 @@ import org.apache.commons.lang3.Validate; * @deprecated Deprecated as of 1.3, use {@link StringSubstitutor} instead. This class will be removed in 2.0. */ @Deprecated +@SuppressWarnings("index") // class is deprecated public class StrSubstitutor { /** diff --git a/sources/src/main/java/org/apache/commons/text/StrTokenizer.java b/sources/src/main/java/org/apache/commons/text/StrTokenizer.java index 8940f47..e93d363 100644 --- a/sources/src/main/java/org/apache/commons/text/StrTokenizer.java +++ b/sources/src/main/java/org/apache/commons/text/StrTokenizer.java @@ -84,6 +84,7 @@ import org.apache.commons.lang3.StringUtils; * @deprecated Deprecated as of 1.3, use {@link StringTokenizer} instead. This class will be removed in 2.0. */ @Deprecated +@SuppressWarnings("index") // class is deprecated public class StrTokenizer implements ListIterator, Cloneable { /** Comma separated values tokenizer internal variable. */