Beispiel #1
0
 @Test
 public void testLinkBetweenBlocks() {
   String input = "x = 10; y = 20;";
   CFG cfg = getCFGForCode(input);
   assertTrue(cfg.numberOfEdges() == 3);
 }
Beispiel #2
0
 @Test
 public void testSwitchWithBreakNumberOfEdges() {
   String input = "switch(foo){ case 1: break; case2: break; case 3: }";
   CFG cfg = getCFGForCode(input);
   assertTrue(cfg.numberOfEdges() == 10);
 }
Beispiel #3
0
 @Test
 public void testSwitchWithDefaultLabelNumberOfEdges() {
   String input = "switch(foo){ case 1: case2: default: }";
   CFG cfg = getCFGForCode(input);
   assertTrue(cfg.numberOfEdges() == 7);
 }
Beispiel #4
0
 @Test
 public void testSwitchNumberOfEdges() {
   String input = "switch(foo){ case 1: case2: case 3: }";
   CFG cfg = getCFGForCode(input);
   assertTrue(cfg.numberOfEdges() == 8);
 }