Closed panacekcz closed 7 years ago
Some methods in the java.util.regex.Matcher class have lower bound annotation on the return value that is too weak or a lower bound annotation is missing. For example, both start() and end() should return @NonNegative.
java.util.regex.Matcher
start()
end()
@NonNegative
Some methods in the
java.util.regex.Matcherclass have lower bound annotation on the return value that is too weak or a lower bound annotation is missing. For example, bothstart()andend()should return@NonNegative.