| // Test to ensure that checkers can type-check big binary trees in an |
| // acceptable amount of time. See comment on TreeAnnotator#visitBinary. |
| |
| // Checkers may correctly issue errors, so suppress them. |
| @SuppressWarnings("all") |
| public class BigBinaryTrees { |
| String string1; |
| String string2; |
| String string3; |
| |
| public void testStrings() { |
| String s = |
| getClass().getName() |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3 |
| + ",string1=" |
| + string1 |
| + ",string2=" |
| + string2 |
| + ",string3=" |
| + string3; |
| } |
| |
| void test() { |
| int i0 = 163; |
| int i1 = 153; |
| int i2 = 75; |
| int i3 = -72; |
| int i4 = 61; |
| int i5 = 7; |
| int i6 = 83; |
| int i7 = -36; |
| int i8 = -90; |
| int i9 = -93; |
| int i10 = 187; |
| int i11 = -76; |
| int i12 = -16; |
| int i13 = -99; |
| int i14 = 113; |
| int i15 = 72; |
| int i16 = 58; |
| int i17 = -97; |
| int i18 = 115; |
| int i19 = -85; |
| int i20 = 156; |
| int i21 = -10; |
| int i22 = -85; |
| int i23 = 81; |
| int i24 = 63; |
| int i25 = -49; |
| int i26 = 158; |
| int i27 = 158; |
| int i28 = 25; |
| int i29 = 136; |
| int i30 = -90; |
| int i31 = 115; |
| int i32 = 179; |
| int i33 = 11; |
| int i34 = -100; |
| int i35 = 70; |
| int i36 = -46; |
| int i37 = -56; |
| int i38 = 108; |
| int i39 = -41; |
| int i40 = 124; |
| int i41 = -88; |
| int i42 = 54; |
| int i43 = 117; |
| int i44 = -92; |
| int i45 = 7; |
| int i46 = -94; |
| int i47 = 162; |
| int i48 = -34; |
| int i49 = 104; |
| int i50 = 111; |
| int i51 = -16; |
| int i52 = 197; |
| int i53 = -8; |
| int i54 = 101; |
| int i55 = 96; |
| int i56 = 132; |
| int i57 = -36; |
| int i58 = 148; |
| int i59 = 43; |
| int i60 = -59; |
| int i61 = 150; |
| int i62 = 48; |
| int i63 = 130; |
| int i64 = 74; |
| int i65 = -1; |
| int i66 = 79; |
| int i67 = 109; |
| int i68 = -70; |
| int i69 = 111; |
| int i70 = 78; |
| int i71 = 155; |
| int i72 = 176; |
| int i73 = 80; |
| int i74 = 181; |
| int i75 = 41; |
| int i76 = -85; |
| int i77 = 189; |
| int i78 = 97; |
| int i79 = 139; |
| int i80 = 9; |
| int i81 = 42; |
| int i82 = -50; |
| int i83 = 82; |
| int i84 = -70; |
| int i85 = 162; |
| int i86 = -20; |
| int i87 = 52; |
| int i88 = -94; |
| int i89 = 133; |
| int i90 = 136; |
| int i91 = 129; |
| int i92 = -55; |
| int i93 = 153; |
| int i94 = 6; |
| int i95 = -18; |
| int i96 = 132; |
| int i97 = 45; |
| int i98 = 120; |
| int i99 = 60; |
| int result = |
| i0 + i1 + i2 + i3 + i4 + i5 + i6 + i7 + i8 + i9 + i10 + i11 + i12 + i13 + i14 + i15 + i16 |
| + i17 + i18 + i19 + i20 + i21 + i22 + i23 + i24 + i25 + i26 + i27 + i28 + i29 + i30 |
| + i31 + i32 + i33 + i34 + i35 + i36 + i37 + i38 + i39 + i40 + i41 + i42 + i43 + i44 |
| + i45 + i46 + i47 + i48 + i49 + i50 + i51 + i52 + i53 + i54 + i55 + i56 + i57 + i58 |
| + i59 + i60 + i61 + i62 + i63 + i64 + i65 + i66 + i67 + i68 + i69 + i70 + i71 + i72 |
| + i73 + i74 + i75 + i76 + i77 + i78 + i79 + i80 + i81 + i82 + i83 + i84 + i85 + i86 |
| + i87 + i88 + i89 + i90 + i91 + i92 + i93 + i94 + i95 + i96 + i97 + i98 + i99; |
| } |
| } |