FilesExpand file tree

 main

/

A.java

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

40 lines (33 loc) · 842 Bytes

 main

/

A.java

Copy path

Top

File metadata and controls

• Code
• Blame

40 lines (33 loc) · 842 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

class A {

final boolean cond = otherCond();

boolean otherCond() { return 3 > 5; }

void f(int initx) {

boolean done = false;

while(!done) { // BAD: main loop condition is constant in the loop

if (otherCond()) break;

}

int x = initx * 2;

int i = 0;

for(x++; ; i++) {

if (x > 5 && otherCond()) { // BAD: x>5 is constant in the loop and guards all exits

if (i > 3) break;

if (otherCond()) return;

}

}

x = initx;

i = 0;

while(true) {

if (x > 5) break; // OK: more than one exit

if (i > 3) break;

i++;

}

for(int j = 0; j < 2 * initx; i++) { // BAD: j<initx is constant in the loop

}

while(initx > 0) { // OK: loop used as an if-statement

break;

}

while (cond) { // BAD: read of final field

i++;

}

}

}