mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 00:35:33 +07:00
GitOrigin-RevId: 19cff59158d3647024a7c7fb585c43f88466b10f
10 lines
286 B
Java
10 lines
286 B
Java
class Main {
|
|
void foo1(String str) {
|
|
str.lastIndexOf("42", <warning descr="Unnecessary string length argument">str.length()</warning>);
|
|
}
|
|
|
|
void foo2(String str) {
|
|
str.lastIndexOf("42", <warning descr="Unnecessary string length argument">str.length() - 1</warning>);
|
|
}
|
|
}
|