checker-index-suppressions.xml

<?xml version="1.0" encoding="UTF-8"?>
<suppressedErrors>
  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/AstTreeStringPrinter.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>baseIndentation = baseIndentation.substring(0, baseIndentation.length() - 2);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/AuditEventDefaultFormatter.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter capacity of StringBuilder.</message>
    <lineContent>final StringBuilder sb = new StringBuilder(bufLen);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/DetailAstImpl.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return getBranchTokenTypes().get(tokenType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/DetailAstImpl.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>branchTokenTypes.set(type);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return className.substring(0, className.length() - contextLength);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String ruleName = recognizer.getRuleNames()[ruleIndex];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;recognizer.getRuleNames()&quot;) or @LTLengthOf(&quot;recognizer.getRuleNames()&quot;) -- an integer less than recognizer.getRuleNames()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>array.access.unsafe.high.range</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>children[i] = child;</lineContent>
    <details>
      index type found: @IntRange(from=-2147483648) int
      array type found: DetailNode []
      required        : index of type @IndexFor(&quot;children&quot;) or @LTLengthOf(&quot;children&quot;), or array of type @MinLen(-9223372036854775808)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final String ruleName = recognizer.getRuleNames()[ruleIndex];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>array.length.negative</specifier>
    <message>Variable used in array creation could be negative.</message>
    <lineContent>new JavadocNodeImpl[parseTreeNode.getChildCount()];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/JavadocDetailNodeParser.java</fileName>
    <specifier>array.length.negative</specifier>
    <message>Variable used in array creation could be negative.</message>
    <lineContent>node.setChildren(new JavadocNodeImpl[parseTree.getChildCount()]);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String name = ent.substring(1, ent.length() - 1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;ent&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>ent.substring(prefixLength, ent.length() - 1), radix);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;ent&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>ent.substring(prefixLength, ent.length() - 1), radix);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>final String name = ent.substring(1, ent.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (ent.charAt(0) == &apos;&amp;&apos; &amp;&amp; CommonUtil.endsWithChar(ent, &apos;;&apos;)) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(0) int
      required: @LTLengthOf(&quot;ent&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (ent.charAt(1) == &apos;#&apos;) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTLengthOf(&quot;ent&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XMLLogger.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (ent.charAt(2) == &apos;x&apos;) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(2) int
      required: @LTLengthOf(&quot;ent&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/AbstractCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>getLines()[ast.getLineNo() - 1], ast.getColumnNo(), tabWidth);</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.getLines()&quot;) or @LTLengthOf(&quot;this.getLines()&quot;) -- an integer less than this.getLines()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/AbstractCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>getLines()[lineNo - 1], colNo, tabWidth);</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.getLines()&quot;) or @LTLengthOf(&quot;this.getLines()&quot;) -- an integer less than this.getLines()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/AbstractCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>getLines()[ast.getLineNo() - 1], ast.getColumnNo(), tabWidth);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/AbstractCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>getLines()[lineNo - 1], colNo, tabWidth);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String[] txt = {line.substring(startColNo)};</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnValue[0] = line(startLineNo - 1).substring(startColNo);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.line(startLineNo - 1)&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnValue[0] = line(startLineNo - 1).substring(startColNo,</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.line(startLineNo - 1)&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String[] txt = {line.substring(startColNo)};</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnValue[0] = line(startLineNo - 1).substring(startColNo);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnValue[0] = line(startLineNo - 1).substring(startColNo,</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>endColNo + 1);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.line(endLineNo - 1)&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>endColNo + 1);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.line(startLineNo - 1)&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>endColNo + 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>endColNo + 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>returnValue[i - startLineNo + 1] = line(i);</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;returnValue&quot;) or @LTLengthOf(&quot;returnValue&quot;) -- an integer less than returnValue&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>returnValue[0] = line(startLineNo - 1).substring(startColNo);</lineContent>
    <details>
      found   : String []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>returnValue[returnValue.length - 1] = line(endLineNo - 1).substring(0,</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>returnValue[i - startLineNo + 1] = line(i);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileContents.java</fileName>
    <specifier>array.length.negative</specifier>
    <message>Variable used in array creation could be negative.</message>
    <lineContent>returnValue = new String[endLineNo - startLineNo + 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final int startOfLine = lineBreakPositions[lineNo];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;lineBreakPositions&quot;) or @LTLengthOf(&quot;lineBreakPositions&quot;) -- an integer less than lineBreakPositions&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>return lines[lineNo];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.lines&quot;) or @LTLengthOf(&quot;this.lines&quot;) -- an integer less than this.lines&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>lineBreakPositions[0] = 0;</lineContent>
    <details>
      found   : int []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.high.range</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>lineBreakPositions[lineNo] = matcher.end();</lineContent>
    <details>
      index type found: @IntRange(from=-2147483648) int
      array type found: int []
      required        : index of type @IndexFor(&quot;lineBreakPositions&quot;) or @LTLengthOf(&quot;lineBreakPositions&quot;), or array of type @MinLen(-9223372036854775808)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final int startOfLine = lineBreakPositions[lineNo];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>return lines[lineNo];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FileText.java</fileName>
    <specifier>array.length.negative</specifier>
    <message>Variable used in array creation could be negative.</message>
    <lineContent>final int[] lineBreakPositions = new int[size() + 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/AvoidEscapedUnicodeCharactersCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>comment.getEndColNo() + 1, codePoints.length));</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;codePoints&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/AvoidEscapedUnicodeCharactersCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>comment.getEndColNo() + 1, codePoints.length));</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/DescendantTokenCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final int tokenCount = counts[element - 1];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.counts&quot;) or @LTLengthOf(&quot;this.counts&quot;) -- an integer less than this.counts&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/DescendantTokenCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>total += counts[element - 1];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.counts&quot;) or @LTLengthOf(&quot;this.counts&quot;) -- an integer less than this.counts&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/DescendantTokenCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>counts[type - 1]++;</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/DescendantTokenCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final int tokenCount = counts[element - 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/DescendantTokenCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>total += counts[element - 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/FinalParametersCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>&amp;&amp; primitiveDataTypes.get(parameterType.getType())) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/NewlineAtEndOfFileCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter pos of seek.</message>
    <lineContent>file.seek(file.length() - len);</lineContent>
    <details>
      found   : long
      required: @NonNegative long
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/NewlineAtEndOfFileCheck.java</fileName>
    <specifier>array.length.negative</specifier>
    <message>Variable used in array creation could be negative.</message>
    <lineContent>final byte[] lastBytes = new byte[len];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/SuppressWarningsHolder.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>expr = quotedText.substring(1, quotedText.length() - 1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;quotedText&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/SuppressWarningsHolder.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>expr = quotedText.substring(1, quotedText.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/SuppressWarningsHolder.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return sourceNameLower.substring(startIndex, endIndex);</lineContent>
    <details>
      found   : @LTEqLengthOf(&quot;sourceName&quot;) int
      required: @LTEqLengthOf(&quot;sourceNameLower&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/SuppressWarningsHolder.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return sourceNameLower.substring(startIndex, endIndex);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/TrailingCommentCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>lastChild.getColumnNo() + 2, lineCodePoints.length);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;lineCodePoints&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/TrailingCommentCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>lastChild.getColumnNo() + 2, lineCodePoints.length);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/TranslationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String removePattern = regexp.substring(&quot;^.+&quot;.length());</lineContent>
    <details>
      found   : @LTEqLengthOf(&quot;&quot;^.+&quot;&quot;) int
      required: @LTEqLengthOf(&quot;regexp&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/TranslationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>.substring(0, fileNameWithPath.lastIndexOf(File.separator));</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/annotation/MissingDeprecatedCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>if (TYPES_HASH_SET.get(type)) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/annotation/MissingDeprecatedCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; child.getChildren()[0].getType() == JavadocTokenTypes.DEPRECATED_LITERAL) {</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/annotation/SuppressWarningsCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>return warning.substring(1, warning.length() - 1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;warning&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/annotation/SuppressWarningsCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return warning.substring(1, warning.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/EmptyBlockCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>slistColNo + 1, codePointsFirstLine.length);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;codePointsFirstLine&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/EmptyBlockCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>slistColNo + 1, rcurlyColNo);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.getLineCodePoints(slistLineNo - 1)&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/EmptyBlockCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>slistColNo + 1, codePointsFirstLine.length);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/EmptyBlockCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>slistColNo + 1, rcurlyColNo);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/LeftCurlyCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>|| braceLine.charAt(brace.getColumnNo() + 1) != &apos;}&apos;) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;braceLine&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/blocks/LeftCurlyCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>|| braceLine.charAt(brace.getColumnNo() + 1) != &apos;}&apos;) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/AvoidDoubleBraceInitializationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>token -&gt; !IGNORED_TYPES.get(token.getType());</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/FinalLocalVariableCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return ASSIGN_OPERATOR_TYPES.get(parentType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/FinalLocalVariableCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return LOOP_TYPES.get(ast);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/HiddenFieldCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>setterName = name.substring(0, 1).toUpperCase(Locale.ENGLISH) + name.substring(1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;name&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/HiddenFieldCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>setterName = name.substring(0, 1).toUpperCase(Locale.ENGLISH) + name.substring(1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;name&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/HiddenFieldCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (name.length() == 1 || !Character.isUpperCase(name.charAt(1))) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTLengthOf(&quot;name&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/IllegalInstantiationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; illegal.charAt(pkgNameLen) == &apos;.&apos;</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;illegal&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/IllegalInstantiationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; illegal.charAt(pkgNameLen) == &apos;.&apos;</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/IllegalTypeCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>if (memberModifiers.get(modifier.getType())) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/InnerAssignmentCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return COMPARISON_TYPES.get(astType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/InnerAssignmentCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>while (skipTokens.get(result.getType())) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/MagicNumberCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>if (!constantWaiverParentToken.get(type)) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/ModifiedControlVariableCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return MUTATION_OPERATIONS.get(iteratingExpressionAST.getType());</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/MultipleStringLiteralsCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>if (ignoreOccurrenceContext.get(type)) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/MultipleStringLiteralsCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>ignoreOccurrenceContext.set(type);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/PackageDeclarationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return fileName.substring(0, lastSeparatorPos);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/RequireThisCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return ASSIGN_TOKENS.get(tokenType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/RequireThisCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return COMPOUND_ASSIGN_TOKENS.get(tokenType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/RequireThisCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DECLARATION_TOKENS.get(parentType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/design/InnerTypeLastCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>&amp;&amp; CLASS_MEMBER_TOKENS.get(nextSibling.getType())) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/header/HeaderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return ignoreLines.get(lineNo);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/header/RegexpHeaderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return multiLines.get(lineNo + 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/AvoidStaticImportCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>excludeMinusDotStar.length() + 1);</lineContent>
    <details>
      found   : @LTLengthOf(value={&quot;exclude.substring(0, exclude.length() - 2)&quot;, &quot;excludeMinusDotStar&quot;}, offset={&quot;-2&quot;, &quot;-2&quot;}) int
      required: @LTEqLengthOf(&quot;classOrStaticMember&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/CustomImportOrderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>ruleStr.indexOf(&apos;)&apos;));</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/CustomImportOrderCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String import1Token = import1Tokens[i];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;import1Tokens&quot;) or @LTLengthOf(&quot;import1Tokens&quot;) -- an integer less than import1Tokens&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/CustomImportOrderCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>if (CommonUtil.isBlank(lines[i - 1])) {</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;lines&quot;) or @LTLengthOf(&quot;lines&quot;) -- an integer less than lines&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/CustomImportOrderCheck.java</fileName>
    <specifier>array.access.unsafe.high.range</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String import2Token = import2Tokens[i];</lineContent>
    <details>
      index type found: @IntRange(from=-2147483648) int
      array type found: String @ArrayLenRange(from=1) []
      required        : index of type @IndexFor(&quot;import2Tokens&quot;) or @LTLengthOf(&quot;import2Tokens&quot;), or array of type @MinLen(-9223372036854775808)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/CustomImportOrderCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>if (CommonUtil.isBlank(lines[i - 1])) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/ImportOrderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>pkg = pkg.substring(1, pkg.length() - 1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;pkg&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/ImportOrderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>pkg = pkg.substring(1, pkg.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/ImportOrderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return qualifiedImportName.substring(0, lastDotIndex);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/PkgImportControl.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; (pkg.length() == length || pkg.charAt(length) == &apos;.&apos;);</lineContent>
    <details>
      found   : @LTEqLengthOf(&quot;this.fullPackageName&quot;) int
      required: @LTLengthOf(&quot;pkg&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/imports/RedundantImportCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>final String front = importName.substring(0, index);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/AbstractExpressionHandler.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>while (Character.isWhitespace(line.charAt(index))) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/AnnotationArrayInitHandler.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; Character.isWhitespace(line.charAt(realColumnNo))) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/AnnotationArrayInitHandler.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String line = getIndentCheck().getLines()[lineNo - 1];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.getIndentCheck().getLines()&quot;) or @LTLengthOf(&quot;this.getIndentCheck().getLines()&quot;) -- an integer less than this.getIndentCheck().getLines()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/AnnotationArrayInitHandler.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final String line = getIndentCheck().getLines()[lineNo - 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/ArrayInitHandler.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; Character.isWhitespace(line.charAt(realColumnNo))) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/ArrayInitHandler.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String line = getIndentCheck().getLines()[lineNo - 1];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.getIndentCheck().getLines()&quot;) or @LTLengthOf(&quot;this.getIndentCheck().getLines()&quot;) -- an integer less than this.getIndentCheck().getLines()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/ArrayInitHandler.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final String line = getIndentCheck().getLines()[lineNo - 1];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/CommentsIndentationCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>while (Character.isWhitespace(line[lineStart])) {</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/CommentsIndentationCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final char[] line = getLines()[lineNo - 1].toCharArray();</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;this.getLines()&quot;) or @LTLengthOf(&quot;this.getLines()&quot;) -- an integer less than this.getLines()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/CommentsIndentationCheck.java</fileName>
    <specifier>array.access.unsafe.high.range</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>if (CommonUtil.isBlank(lines[lineNo])) {</lineContent>
    <details>
      index type found: @IntRange(from=-2147483648, to=2147483646) int
      array type found: String []
      required        : index of type @IndexFor(&quot;lines&quot;) or @LTLengthOf(&quot;lines&quot;), or array of type @MinLen(2147483647)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/CommentsIndentationCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final char[] line = getLines()[lineNo - 1].toCharArray();</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/CommentsIndentationCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>if (CommonUtil.isBlank(lines[lineNo])) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/HandlerFactory.java</fileName>
    <specifier>array.access.unsafe.high.range</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>types[index] = val;</lineContent>
    <details>
      index type found: @IntRange(from=-2147483648) int
      array type found: int []
      required        : index of type @IndexFor(&quot;types&quot;) or @LTLengthOf(&quot;types&quot;), or array of type @MinLen(-9223372036854775808)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return levels.get(indent);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>levels.set(i + offset);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>levels.set(indent);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>result.levels.set(addition);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/LineWrappingHandler.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>while (Character.isWhitespace(line.charAt(index))) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/SlistHandler.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return PARENT_TOKEN_TYPES.get(parentType);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/AtclauseOrderCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>if (target.get(parentType)) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>return text.substring(startOfText, endOfText);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;this.text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>return text.substring(startOfText, endOfText);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return text.substring(startOfText, endOfText);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>return position != text.length() - 1 &amp;&amp; text.charAt(position + 1) == &apos;/&apos;;</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;this.text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>return position != text.length() - 1 &amp;&amp; text.charAt(position + 1) == &apos;/&apos;;</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>arg1.substring(1, arg1.length() - 1));</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;arg1&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>arg1.substring(1, arg1.length() - 1));</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>currentClassName = currentClassName.substring(0, dotIdx);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>multilineCont = MATCH_JAVADOC_MULTILINE_CONT.matcher(lines[remIndex]);</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;lines&quot;) or @LTLengthOf(&quot;lines&quot;) -- an integer less than lines&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>multilineCont = MATCH_JAVADOC_MULTILINE_CONT.matcher(lines[remIndex]);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMissingWhitespaceAfterAsteriskCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; !Character.isWhitespace(text.charAt(lastAsteriskPosition + 1))) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMissingWhitespaceAfterAsteriskCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; !Character.isWhitespace(text.charAt(lastAsteriskPosition + 1))) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>builder.append(line.substring(textStart));</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>builder.append(line.substring(textStart));</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (line.charAt(textStart) == &apos;@&apos;) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (Character.isWhitespace(builder.charAt(index))) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (line.charAt(textStart) == &apos;@&apos;) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>while (builder.charAt(index - 1) == &apos;*&apos;) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of deleteCharAt.</message>
    <lineContent>builder.deleteCharAt(index - 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of deleteCharAt.</message>
    <lineContent>builder.deleteCharAt(index);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>text[tag.getLineNo() - lineNo]);</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocStyleCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>text[tag.getLineNo() - lineNo]);</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagContinuationIndentationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>else if (!CommonUtil.isBlank(text.substring(1, offset + 1))) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagContinuationIndentationCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>else if (!CommonUtil.isBlank(text.substring(1, offset + 1))) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return DEF_TOKEN_TYPES_DEPRECATED.get(astType)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/RequireEmptyLineBeforeBlockTagGroupCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>tagNode.getChildren()[0].getText());</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>&amp;&amp; ALLOWED_TYPES.get(child.getType())) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter end of append.</message>
    <lineContent>result.append(text, 0, text.indexOf(periodSuffix) + 1);</lineContent>
    <details>
      found   : @LTLengthOf(value=&quot;text&quot;, offset=&quot;-2&quot;) int
      required: @LTEqLengthOf(&quot;text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final DetailNode child = children[i];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;children&quot;) or @LTLengthOf(&quot;children&quot;) -- an integer less than children&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; node.getChildren()[0].getChildren().length &gt; 1) {</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>child.getChildren()[0].getChildren()[0]));</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>child.getChildren()[0].getChildren()[0]));</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>node = node.getChildren()[0].getChildren()[1];</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 1 could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; child.getChildren()[1].getType() == JavadocTokenTypes.INHERIT_DOC_LITERAL) {</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(2) -- an array guaranteed to have at least 2 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 1 could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; name.equals(child[1].getText());</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(2) -- an array guaranteed to have at least 2 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 1 could be larger than the array&apos;s bound</message>
    <lineContent>node = node.getChildren()[0].getChildren()[1];</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(2) -- an array guaranteed to have at least 2 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 1 could be larger than the array&apos;s bound</message>
    <lineContent>node = node.getChildren()[1];</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(2) -- an array guaranteed to have at least 2 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 1 could be larger than the array&apos;s bound</message>
    <lineContent>return child[1].getType() == JavadocTokenTypes.CUSTOM_NAME</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(2) -- an array guaranteed to have at least 2 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/SummaryJavadocCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 3 could be larger than the array&apos;s bound</message>
    <lineContent>DetailNode currentNode = childrenOfInlineTag[indexOfContentOfSummaryTag];</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(4) -- an array guaranteed to have at least 4 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>text = text.substring(column).trim();</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>tagId = text.substring(0, position);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>.substring(0, toPoint.getColumnNo() + 1).endsWith(&quot;--&gt;&quot;)) {</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;text[toPoint.getLineNo()]&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>.substring(0, toPoint.getColumnNo() + 1).endsWith(&quot;--&gt;&quot;)) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; text[curr.getLineNo()].charAt(curr.getColumnNo()) != character) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;text[curr.getLineNo()]&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>.charAt(endTag.getColumnNo() - 1) == &apos;/&apos;;</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;text[endTag.getLineNo()]&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>&amp;&amp; text[curr.getLineNo()].charAt(curr.getColumnNo()) != character) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>.charAt(endTag.getColumnNo() - 1) == &apos;/&apos;;</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (text.charAt(column) == &apos;/&apos;) {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>|| Character.isJavaIdentifierStart(text.charAt(column))</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>|| text.charAt(column) == &apos;/&apos;;</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>String text = javadocText[tagStart.getLineNo()];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;javadocText&quot;) or @LTLengthOf(&quot;javadocText&quot;) -- an integer less than javadocText&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final String text = javadocText[pos.getLineNo()];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;javadocText&quot;) or @LTLengthOf(&quot;javadocText&quot;) -- an integer less than javadocText&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; text[curr.getLineNo()].charAt(curr.getColumnNo()) != character) {</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; text[endTag.getLineNo()]</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>return text[pos.getLineNo()].startsWith(&quot;&lt;!--&quot;, pos.getColumnNo());</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>text[position.getLineNo()]));</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>while (toPoint.getLineNo() &lt; text.length &amp;&amp; !text[toPoint.getLineNo()]</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;text&quot;) or @LTLengthOf(&quot;text&quot;) -- an integer less than text&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>&amp;&amp; text[curr.getLineNo()].charAt(curr.getColumnNo()) != character) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>&amp;&amp; text[endTag.getLineNo()]</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>String text = javadocText[tagStart.getLineNo()];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final String text = javadocText[pos.getLineNo()];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>return text[pos.getLineNo()].startsWith(&quot;&lt;!--&quot;, pos.getColumnNo());</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>text[position.getLineNo()]));</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>while (line &lt; text.length &amp;&amp; column &gt;= text[line].length()) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/TagParser.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>while (toPoint.getLineNo() &lt; text.length &amp;&amp; !text[toPoint.getLineNo()]</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/WriteTagCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String content = commentValue.substring(contentStart);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/WriteTagCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String content = commentValue.substring(contentStart);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;commentValue&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/utils/BlockTagUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String remainder = line.substring(tagMatcher.end(1));</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/utils/BlockTagUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>final String remainder = line.substring(tagMatcher.end(1));</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/utils/InlineTagUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of subSequence.</message>
    <lineContent>final String precedingText = source.subSequence(0, index).toString();</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;source&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/utils/InlineTagUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of subSequence.</message>
    <lineContent>final String precedingText = source.subSequence(0, index).toString();</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/metrics/AbstractClassCouplingCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>classNameWithPackage.substring(0, lastDotIndex);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;str&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex, endIndex);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;str&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex, endIndex);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex, endIndex);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;str&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AbbreviationAsWordInNameCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>result = str.substring(beginIndex, endIndex);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/regexp/SinglelineDetector.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter start of find.</message>
    <lineContent>final boolean foundMatch = matcher.find(startPosition);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/sizes/MethodLengthCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of set.</message>
    <lineContent>usedLines.set(lineIndex);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/sizes/MethodLengthCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter fromIndex of set.</message>
    <lineContent>usedLines.set(lineIndex, endLineIndex + 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/sizes/MethodLengthCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter toIndex of set.</message>
    <lineContent>usedLines.set(lineIndex, endLineIndex + 1);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/AbstractParenPadCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>&amp;&amp; line[before] != OPEN_PARENTHESIS) {</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/AbstractParenPadCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>&amp;&amp; line[after] != CLOSE_PARENTHESIS) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>.filter(index -&gt; line[index] == &apos;&amp;&apos;)</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>else if (line[after] == &apos; &apos;) {</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final char charAfter = Character.toChars(line[after])[0];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>final char charAfter = Character.toChars(line[after])[0];</lineContent>
    <details>
      found   : char []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>.filter(index -&gt; line[index] == &apos;&amp;&apos;)</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>else if (line[after] == &apos; &apos;) {</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/GenericWhitespaceCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final char charAfter = Character.toChars(line[after])[0];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/ParenPadCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return acceptableTokens.get(ast.getType());</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/SeparatorWrapCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>Arrays.copyOfRange(currentLine, colNo + text.length(), currentLine.length)</lineContent>
    <details>
      found   : @LTLengthOf(value={&quot;ast.getText()&quot;, &quot;text&quot;}, offset={&quot;-colNo - 1&quot;, &quot;-colNo - 1&quot;}) int
      required: @LTEqLengthOf(&quot;currentLine&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/SeparatorWrapCheck.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>Arrays.copyOfRange(currentLine, colNo + text.length(), currentLine.length)</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/SingleSpaceSeparatorCheck.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>return line[columnNo] == &apos; &apos;;</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;line&quot;) or @LTLengthOf(&quot;line&quot;) -- an integer less than line&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/SingleSpaceSeparatorCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>return line[columnNo] == &apos; &apos;;</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/WhitespaceAfterCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final int codePoint = line[after];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/WhitespaceAroundCheck.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>final char nextChar = Character.toChars(line[after])[0];</lineContent>
    <details>
      found   : char []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/whitespace/WhitespaceAroundCheck.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final char nextChar = Character.toChars(line[after])[0];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithNearbyCommentFilter.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>tagCommentLine(text[0], startLineNo);</lineContent>
    <details>
      found   : String []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>tagCommentLine(text[0], startLineNo, comment.getStartColNo());</lineContent>
    <details>
      found   : String []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/CodeSelectorPresentation.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>detailNode.getChildren()[detailNode.getChildren().length - 1];</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/ParseTreeTablePresentation.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>result = ((DetailNode) parent).getChildren()[index];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;(DetailNode)parent.getChildren()&quot;) or @LTLengthOf(&quot;(DetailNode)parent.getChildren()&quot;) -- an integer less than (DetailNode)parent.getChildren()&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/ParseTreeTablePresentation.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>return COLUMN_NAMES[column];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;com.puppycrawl.tools.checkstyle.gui.ParseTreeTablePresentation.COLUMN_NAMES&quot;) or @LTLengthOf(&quot;com.puppycrawl.tools.checkstyle.gui.ParseTreeTablePresentation.COLUMN_NAMES&quot;) -- an integer less than com.puppycrawl.tools.checkstyle.gui.ParseTreeTablePresentation.COLUMN_NAMES&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/ParseTreeTablePresentation.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>result = ((DetailNode) parent).getChildren()[index];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/ParseTreeTablePresentation.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>return COLUMN_NAMES[column];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/TreeTableModelAdapter.java</fileName>
    <specifier>override.return</specifier>
    <message>Incompatible return type.</message>
    <lineContent>public int getColumnCount() {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
      Consequence: method in TreeTableModelAdapter
      int getColumnCount(TreeTableModelAdapter this)
      cannot override method in TableModel
      @NonNegative int getColumnCount(TableModel this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/TreeTableModelAdapter.java</fileName>
    <specifier>override.return</specifier>
    <message>Incompatible return type.</message>
    <lineContent>public int getRowCount() {</lineContent>
    <details>
      found   : int
      required: @NonNegative int
      Consequence: method in TreeTableModelAdapter
      int getRowCount(TreeTableModelAdapter this)
      cannot override method in TableModel
      @NonNegative int getRowCount(TableModel this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/JavadocMetadataScraper.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>result.addLast(fileName.substring(0, fileName.length() - JAVA_FILE_EXTENSION.length()));</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/JavadocMetadataScraper.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return fileName.substring(0, fileName.length() - JAVA_FILE_EXTENSION.length());</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/XmlMetaReader.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter initialCapacity of ArrayList.</message>
    <lineContent>final List&lt;ModulePropertyDetails&gt; result = new ArrayList&lt;&gt;(propertyListLength);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/XmlMetaReader.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter initialCapacity of ArrayList.</message>
    <lineContent>final List&lt;String&gt; listContent = new ArrayList&lt;&gt;(nodeListLength);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/XmlMetaWriter.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>+ moduleFilePath.substring(indexOfCheckstyle + 1) + xmlExtension;</lineContent>
    <details>
      found   : @LTLengthOf(value={&quot;checkstyleString&quot;, &quot;moduleFilePath&quot;, &quot;moduleFilePath&quot;}, offset={&quot;-moduleFilePath.indexOf(checkstyleString) - 2&quot;, &quot;-12&quot;, &quot;-checkstyleString.length() - 2&quot;}) int
      required: @LTEqLengthOf(&quot;moduleFilePath&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/meta/XmlMetaWriter.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>+ moduleFilePath.substring(0, indexOfCheckstyle) + &quot;/meta/&quot;</lineContent>
    <details>
      found   : @LTLengthOf(value={&quot;checkstyleString&quot;, &quot;moduleFilePath&quot;, &quot;moduleFilePath&quot;}, offset={&quot;-moduleFilePath.indexOf(checkstyleString) - 1&quot;, &quot;-11&quot;, &quot;-checkstyleString.length() - 1&quot;}) int
      required: @LTEqLengthOf(&quot;moduleFilePath&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/ChainedPropertyUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>return variableExpression.substring(propertyStartIndex, propertyEndIndex);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>txt = txt.substring(1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;txt&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnString = line.substring(indent, lastNonWhitespace);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>returnString = line.substring(indent, lastNonWhitespace);</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>txt = txt.substring(0, txt.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>returnString = line.substring(indent, lastNonWhitespace);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseInt.</message>
    <lineContent>result = Integer.parseInt(txt, radix);</lineContent>
    <details>
      found   : int
      required: @IntRange(from=2, to=36) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseInt.</message>
    <lineContent>result = Integer.parseInt(txt, radix);</lineContent>
    <details>
      found   : int
      required: @Positive int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseLong.</message>
    <lineContent>result = Long.parseLong(txt, radix);</lineContent>
    <details>
      found   : int
      required: @IntRange(from=2, to=36) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseLong.</message>
    <lineContent>result = Long.parseLong(txt, radix);</lineContent>
    <details>
      found   : int
      required: @Positive int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseUnsignedInt.</message>
    <lineContent>result = Integer.parseUnsignedInt(txt, radix);</lineContent>
    <details>
      found   : int
      required: @IntRange(from=2, to=36) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseUnsignedInt.</message>
    <lineContent>result = Integer.parseUnsignedInt(txt, radix);</lineContent>
    <details>
      found   : int
      required: @Positive int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseUnsignedLong.</message>
    <lineContent>result = Long.parseUnsignedLong(txt, radix);</lineContent>
    <details>
      found   : int
      required: @IntRange(from=2, to=36) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CheckUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter radix of parseUnsignedLong.</message>
    <lineContent>result = Long.parseUnsignedLong(txt, radix);</lineContent>
    <details>
      found   : int
      required: @Positive int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CodePointUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter from of copyOfRange.</message>
    <lineContent>return Arrays.copyOfRange(codePoints, startIndex, codePoints.length);</lineContent>
    <details>
      found   : int
      required: @LTEqLengthOf(&quot;codePoints&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>.substring(lastIndexOfClasspathProtocol));</lineContent>
    <details>
      found   : @LTEqLengthOf(&quot;com.puppycrawl.tools.checkstyle.utils.CommonUtil.CLASSPATH_URL_PROTOCOL&quot;) int
      required: @LTEqLengthOf(&quot;filename&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (filename.charAt(0) == &apos;/&apos;) {</lineContent>
    <details>
      found   : @UpperBoundLiteral(0) int
      required: @LTLengthOf(&quot;filename&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>isIdentifier = Character.isJavaIdentifierStart(str.charAt(0));</lineContent>
    <details>
      found   : @UpperBoundLiteral(0) int
      required: @LTLengthOf(&quot;str&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of charAt.</message>
    <lineContent>if (!Character.isWhitespace(line.charAt(i))) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;line&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter index of codePointAt.</message>
    <lineContent>if (inputString.codePointAt(idx) == &apos;\t&apos;) {</lineContent>
    <details>
      found   : int
      required: @LTLengthOf(&quot;inputString&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>final char character = Character.toChars(codePoints[index])[0];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;codePoints&quot;) or @LTLengthOf(&quot;codePoints&quot;) -- an integer less than codePoints&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>final char character = Character.toChars(codePoints[index])[0];</lineContent>
    <details>
      found   : char []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/CommonUtil.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>final char character = Character.toChars(codePoints[index])[0];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/JavadocUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>return commentContent.getText().substring(1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;commentContent.getText()&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/JavadocUtil.java</fileName>
    <specifier>array.access.unsafe.high</specifier>
    <message>Potentially unsafe array access: the index could be larger than the array&apos;s bound</message>
    <lineContent>previousSibling = children[previousSiblingIndex];</lineContent>
    <details>
      found   : int
      required: @IndexFor(&quot;children&quot;) or @LTLengthOf(&quot;children&quot;) -- an integer less than children&apos;s length
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/JavadocUtil.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>resultNode = node.getChildren()[0];</lineContent>
    <details>
      found   : DetailNode []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/JavadocUtil.java</fileName>
    <specifier>array.access.unsafe.low</specifier>
    <message>Potentially unsafe array access: the index could be negative.</message>
    <lineContent>nextSibling = children[nextSiblingIndex];</lineContent>
    <details>
      found   : int
      required: an integer &gt;= 0 (@NonNegative or @Positive)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for bitIndex</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @IntRangeFromNonNegative int
      required: int
      Consequence: method in BitSet
      void set(BitSet this, @IntRangeFromNonNegative int p0)
      is not a valid method reference for method in ObjIntConsumer&lt;BitSet&gt;
      void accept(ObjIntConsumer&lt;BitSet&gt; this, BitSet p0, int p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for bitIndex</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @IntRangeFromNonNegative int
      required: int
      Consequence: method in BitSet
      void set(BitSet this, @IntRangeFromNonNegative int p0)
      is not a valid method reference for method in ObjIntConsumer&lt;BitSet&gt;
      void accept(ObjIntConsumer&lt;BitSet&gt; this, BitSet p0, int p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for bitIndex</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @NonNegative int
      required: int
      Consequence: method in BitSet
      void set(BitSet this, @NonNegative int p0)
      is not a valid method reference for method in ObjIntConsumer&lt;BitSet&gt;
      void accept(ObjIntConsumer&lt;BitSet&gt; this, BitSet p0, int p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for bitIndex</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @NonNegative int
      required: int
      Consequence: method in BitSet
      void set(BitSet this, @NonNegative int p0)
      is not a valid method reference for method in ObjIntConsumer&lt;BitSet&gt;
      void accept(ObjIntConsumer&lt;BitSet&gt; this, BitSet p0, int p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/XpathUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter beginIndex of substring.</message>
    <lineContent>text = text.substring(1, text.length() - 1);</lineContent>
    <details>
      found   : @UpperBoundLiteral(1) int
      required: @LTEqLengthOf(&quot;text&quot;) int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/XpathUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter bitIndex of get.</message>
    <lineContent>return TOKEN_TYPES_WITH_TEXT_ATTRIBUTE.get(ast.getType());</lineContent>
    <details>
      found   : int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/XpathUtil.java</fileName>
    <specifier>argument</specifier>
    <message>incompatible argument for parameter endIndex of substring.</message>
    <lineContent>text = text.substring(1, text.length() - 1);</lineContent>
    <details>
      found   : @GTENegativeOne int
      required: @NonNegative int
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/xpath/XpathQueryGenerator.java</fileName>
    <specifier>array.access.unsafe.high.constant</specifier>
    <message>Potentially unsafe array access: the constant index 0 could be larger than the array&apos;s bound</message>
    <lineContent>sb.append(encodeCharacter(Character.toChars(chr)[0]));</lineContent>
    <details>
      found   : char []
      required: @MinLen(1) -- an array guaranteed to have at least 1 elements
    </details>
  </checkerFrameworkError>
</suppressedErrors>