mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 02:24:00 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
9 lines
134 B
Plaintext
9 lines
134 B
Plaintext
public class X {
|
|
private boolean flag;
|
|
|
|
void f() {
|
|
<spot>while</spot>(flag) {
|
|
System.out.println("looping");
|
|
}
|
|
}
|
|
} |