1 import java.io.PrintStream; 2 3 public class CastInsert { 4 5 PrintStream out; 6 private int c = ((@checkers.nullness.quals.Nullable Integer) (((@checkers.nullness.quals.Nullable Integer) (12)) + ((@checkers.nullness.quals.Nullable Integer) (13)))); 7 private String str = "this" + ((@checkers.nullness.quals.Nullable String) ("is")).concat(((@checkers.nullness.quals.Nullable String) ("string"))); 8 9 void m() { 10 int i; 11 } 12 13 int m(String y, String[] z, int i) { 14 String x = ((@checkers.nullness.quals.Nullable String) (new String())); 15 String s; 16 s = ((@checkers.nullness.quals.Nullable String) (((@checkers.nullness.quals.Nullable String) (x)) + ((@checkers.nullness.quals.Nullable String) (x)))); 17 s = y; 18 s = z[((@checkers.nullness.quals.Nullable Integer) (0))]; 19 s = x; 20 int j = 0; 21 switch (((@checkers.nullness.quals.Nullable Integer) (i + 2))) { 22 case 1: 23 j = i + ((@checkers.nullness.quals.Nullable Integer) (1)); 24 System.out.println(1); 25 break; 26 case 2: 27 j = i + 2; 28 System.out.println(((@checkers.nullness.quals.Nullable Integer) (2))); 29 break; 30 default: 31 j = i + 3; 32 System.out.println(-1); 33 } 34 j *= ((@checkers.nullness.quals.Nullable Integer) (i)); 35 j = s != x ? ((@checkers.nullness.quals.Nullable Integer) (j)) : i; 36 do { 37 int h = ((@checkers.nullness.quals.Nullable Integer) (i)) & j; 38 } while (i < j); 39 for (int i2 : new int[5]) { 40 j = ((@checkers.nullness.quals.Nullable Integer) (i2)); 41 } 42 for (int a = 0, b = ((@checkers.nullness.quals.Nullable Integer) (0)); a < ((@checkers.nullness.quals.Nullable Integer) (j)); a = ((@checkers.nullness.quals.Nullable Integer) (a + 1)), b++) 43 a = ((@checkers.nullness.quals.Nullable Integer) (b)); 44 if (((@checkers.nullness.quals.Nullable Integer) (i)) < j) 45 i = j; 46 else 47 j = ((@checkers.nullness.quals.Nullable Integer) (i)); 48 boolean b = ((@checkers.nullness.quals.Nullable String) (x)) instanceof String; 49 label: b = ((@checkers.nullness.quals.Nullable Boolean) (false)); 50 Object o = ((@checkers.nullness.quals.Nullable CastInsert) (this)).out; 51 m(y, z, ((@checkers.nullness.quals.Nullable Integer) (i))); 52 int[][] test = new int[4][((@checkers.nullness.quals.Nullable Integer) (5))]; 53 int[][] test2 = {{1, 2}, {1, 2, ((@checkers.nullness.quals.Nullable Integer) (3))}}; 54 new String(((@checkers.nullness.quals.Nullable String) ("test"))); 55 if (i < 1) 56 return ((@checkers.nullness.quals.Nullable Integer) (18)); 57 synchronized (o) { 58 i = ((@checkers.nullness.quals.Nullable Integer) (i + i)); 59 } 60 if (j < 1) 61 throw ((@checkers.nullness.quals.Nullable RuntimeException) (new IllegalStateException())); 62 try { 63 int t = ((@checkers.nullness.quals.Nullable Integer) (1)); 64 } catch (Error e) { 65 i = j; 66 } catch (RuntimeException e) { 67 j = ((@checkers.nullness.quals.Nullable Integer) (i)); 68 } finally { 69 j = i + ((@checkers.nullness.quals.Nullable Integer) (j)); 70 } 71 j = (int) (i + ((@checkers.nullness.quals.Nullable Integer) (j))); 72 j = - ((@checkers.nullness.quals.Nullable Integer) (j)); 73 while (i < ((@checkers.nullness.quals.Nullable Integer) (j))) 74 i = ((@checkers.nullness.quals.Nullable Integer) (i)) + 1; 75 ((@checkers.nullness.quals.Nullable CastInsert) (this)).out.println(); 76 ((@checkers.nullness.quals.Nullable PrintStream) (System.out)).println(); 77 Object obj = ((@checkers.nullness.quals.Nullable @annotation.A @annotation.B @annotation.C String) (null)); 78 return 0; 79 } 80 81 void m2 (Object o) { 82 o = ((@checkers.nullness.quals.Nullable Map<@annotation.A String, @annotation.B Integer>) (o)); 83 o = ((@annotation.B Object @annotation.A [] @checkers.nullness.quals.Nullable []) (o)); 84 o = ((@annotation.B int @annotation.A [] @checkers.nullness.quals.Nullable []) (o)); 85 o = ((@checkers.nullness.quals.Nullable List<@annotation.A ? extends @annotation.B Object>) (o)); 86 o = ((int) (o)); 87 o = ((Map<@annotation.A String, @annotation.B Integer>) (o)); 88 } 89 } 90
