Lines Matching defs:Main
20 public class Main {
28 /// CHECK-START: void Main.bubble(int[]) BCE (before)
32 /// CHECK-START: void Main.bubble(int[]) BCE (after)
47 /// CHECK-START: int Main.periodicIdiom(int) BCE (before)
50 /// CHECK-START: int Main.periodicIdiom(int) BCE (after)
65 /// CHECK-START: int Main.periodicSequence2(int) BCE (before)
68 /// CHECK-START: int Main.periodicSequence2(int) BCE (after)
86 /// CHECK-START: int Main.periodicSequence4(int) BCE (before)
92 /// CHECK-START: int Main.periodicSequence4(int) BCE (after)
114 /// CHECK-START: int Main.justRightUp1() BCE (before)
117 /// CHECK-START: int Main.justRightUp1() BCE (after)
129 /// CHECK-START: int Main.justRightUp2() BCE (before)
132 /// CHECK-START: int Main.justRightUp2() BCE (after)
144 /// CHECK-START: int Main.justRightUp3() BCE (before)
147 /// CHECK-START: int Main.justRightUp3() BCE (after)
159 /// CHECK-START: int Main.justOOBUp() BCE (before)
162 /// CHECK-START: int Main.justOOBUp() BCE (after)
165 /// CHECK-START: int Main.justOOBUp() BCE (after)
177 /// CHECK-START: int Main.justRightDown1() BCE (before)
180 /// CHECK-START: int Main.justRightDown1() BCE (after)
192 /// CHECK-START: int Main.justRightDown2() BCE (before)
195 /// CHECK-START: int Main.justRightDown2() BCE (after)
207 /// CHECK-START: int Main.justRightDown3() BCE (before)
210 /// CHECK-START: int Main.justRightDown3() BCE (after)
222 /// CHECK-START: int Main.justOOBDown() BCE (before)
225 /// CHECK-START: int Main.justOOBDown() BCE (after)
228 /// CHECK-START: int Main.justOOBDown() BCE (after)
240 /// CHECK-START: void Main.lowerOOB(int[]) BCE (before)
243 /// CHECK-START: void Main.lowerOOB(int[]) BCE (after)
246 /// CHECK-START: void Main.lowerOOB(int[]) BCE (after)
255 /// CHECK-START: void Main.upperOOB(int[]) BCE (before)
258 /// CHECK-START: void Main.upperOOB(int[]) BCE (after)
261 /// CHECK-START: void Main.upperOOB(int[]) BCE (after)
270 /// CHECK-START: void Main.doWhileUpOOB() BCE (before)
273 /// CHECK-START: void Main.doWhileUpOOB() BCE (after)
276 /// CHECK-START: void Main.doWhileUpOOB() BCE (after)
287 /// CHECK-START: void Main.doWhileDownOOB() BCE (before)
290 /// CHECK-START: void Main.doWhileDownOOB() BCE (after)
293 /// CHECK-START: void Main.doWhileDownOOB() BCE (after)
304 /// CHECK-START: void Main.hiddenOOB1(int) BCE (before)
307 /// CHECK-START: void Main.hiddenOOB1(int) BCE (after)
310 /// CHECK-START: void Main.hiddenOOB1(int) BCE (after)
325 /// CHECK-START: void Main.hiddenOOB2(int) BCE (before)
328 /// CHECK-START: void Main.hiddenOOB2(int) BCE (after)
331 /// CHECK-START: void Main.hiddenOOB2(int) BCE (after)
346 /// CHECK-START: void Main.hiddenInfiniteOOB() BCE (before)
349 /// CHECK-START: void Main.hiddenInfiniteOOB() BCE (after)
352 /// CHECK-START: void Main.hiddenInfiniteOOB() BCE (after)
366 /// CHECK-START: void Main.hiddenFiniteOOB() BCE (before)
369 /// CHECK-START: void Main.hiddenFiniteOOB() BCE (after)
372 /// CHECK-START: void Main.hiddenFiniteOOB() BCE (after)
386 /// CHECK-START: void Main.inductionOOB(int[]) BCE (before)
389 /// CHECK-START: void Main.inductionOOB(int[]) BCE (after)
392 /// CHECK-START: void Main.inductionOOB(int[]) BCE (after)
404 /// CHECK-START: void Main.controlOOB(int[]) BCE (before)
407 /// CHECK-START: void Main.controlOOB(int[]) BCE (after)
410 /// CHECK-START: void Main.controlOOB(int[]) BCE (after)
419 /// CHECK-START: void Main.conversionOOB(int[]) BCE (before)
422 /// CHECK-START: void Main.conversionOOB(int[]) BCE (after)
425 /// CHECK-START: void Main.conversionOOB(int[]) BCE (after)
435 /// CHECK-START: int[] Main.add() BCE (before)
438 /// CHECK-START: int[] Main.add() BCE (after)
451 /// CHECK-START: int[] Main.multiply1() BCE (before)
454 /// CHECK-START: int[] Main.multiply1() BCE (after)
472 /// CHECK-START: int[] Main.multiply2() BCE (before)
475 /// CHECK-START: int[] Main.multiply2() BCE (after)
478 /// CHECK-START: int[] Main.multiply2() BCE (after)
495 /// CHECK-START: int Main.linearDynamicBCE1(int[], int, int) BCE (before)
501 /// CHECK-START: int Main.linearDynamicBCE1(int[], int, int) BCE (after)
505 /// CHECK-START: int Main.linearDynamicBCE1(int[], int, int) BCE (after)
517 /// CHECK-START: int Main.linearDynamicBCE2(int[], int, int, int) BCE (before)
523 /// CHECK-START: int Main.linearDynamicBCE2(int[], int, int, int) BCE (after)
527 /// CHECK-START: int Main.linearDynamicBCE2(int[], int, int, int) BCE (after)
539 /// CHECK-START: int Main.wrapAroundDynamicBCE(int[]) BCE (before)
545 /// CHECK-START: int Main.wrapAroundDynamicBCE(int[]) BCE (after)
549 /// CHECK-START: int Main.wrapAroundDynamicBCE(int[]) BCE (after)
563 /// CHECK-START: int Main.periodicDynamicBCE(int[]) BCE (before)
569 /// CHECK-START: int Main.periodicDynamicBCE(int[]) BCE (after)
573 /// CHECK-START: int Main.periodicDynamicBCE(int[]) BCE (after)
587 /// CHECK-START: int Main.dynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (before)
593 /// CHECK-START: int Main.dynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (after)
597 /// CHECK-START: int Main.dynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (after)
611 /// CHECK-START: int Main.noDynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (before)
615 /// CHECK-START: int Main.noDynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (after)
619 /// CHECK-START: int Main.noDynamicBCEPossiblyInfiniteLoop(int[], int, int) BCE (after)
631 /// CHECK-START: int Main.noDynamicBCEMixedInductionTypes(int[], long, long) BCE (before)
635 /// CHECK-START: int Main.noDynamicBCEMixedInductionTypes(int[], long, long) BCE (after)
639 /// CHECK-START: int Main.noDynamicBCEMixedInductionTypes(int[], long, long) BCE (after)
651 /// CHECK-START: int Main.dynamicBCEConstantRange(int[]) BCE (before)
658 /// CHECK-START: int Main.dynamicBCEConstantRange(int[]) BCE (after)
663 /// CHECK-START: int Main.dynamicBCEConstantRange(int[]) BCE (after)
667 /// CHECK-START: int Main.dynamicBCEConstantRange(int[]) BCE (after)
682 /// CHECK-START: int Main.dynamicBCEAndConstantIndices(int[], int[][], int, int) BCE (before)
687 /// CHECK-START: int Main.dynamicBCEAndConstantIndices(int[], int[][], int, int) BCE (after)
696 /// CHECK-START: int Main.dynamicBCEAndConstantIndices(int[], int[][], int, int) BCE (after)
721 /// CHECK-START: int Main.dynamicBCEAndConstantIndicesAllPrimTypes(int[], boolean[], byte[], char[], short[], int[], long[], float[], double[], int, int) BCE (before)
736 /// CHECK-START: int Main.dynamicBCEAndConstantIndicesAllPrimTypes(int[], boolean[], byte[], char[], short[], int[], long[], float[], double[], int, int) BCE (after)
740 /// CHECK-START: int Main.dynamicBCEAndConstantIndicesAllPrimTypes(int[], boolean[], byte[], char[], short[], int[], long[], float[], double[], int, int) BCE (after)
745 /// CHECK-START: int Main.dynamicBCEAndConstantIndicesAllPrimTypes(int[], boolean[], byte[], char[], short[], int[], long[], float[], double[], int, int) BCE (after)
765 /// CHECK-START: int Main.dynamicBCEAndConstantIndexRefType(int[], java.lang.Integer[], int, int) BCE (before)
775 /// CHECK-START: int Main.dynamicBCEAndConstantIndexRefType(int[], java.lang.Integer[], int, int) BCE (after)
779 /// CHECK-START: int Main.dynamicBCEAndConstantIndexRefType(int[], java.lang.Integer[], int, int) BCE (after)
796 public static void main(String[] args) {
