mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
18 lines
355 B
HTML
18 lines
355 B
HTML
<html>
|
|
<body>
|
|
Reports <code>continue</code> statements with unnecessary
|
|
labels.
|
|
<p>Example:</p>
|
|
<pre><code>
|
|
LABEL:
|
|
while (a > b) {
|
|
System.out.println("Hello");
|
|
//the code below is the last statement in a loop,
|
|
//so unnecessary label and continue can be removed
|
|
continue LABEL;
|
|
}
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
|
|
</body>
|
|
</html> |