Merge remote-tracking branch 'origin/develop' into develop

src/experiments/java/0-cfg.dot

@@ -0,0 +1,5 @@
+digraph "<global>" {  
+"7" [label = <(METHOD,&lt;global&gt;)<SUB>1</SUB>> ]
+"57" [label = <(METHOD_RETURN,ANY)<SUB>1</SUB>> ]
+  "7" -> "57" 
+}

src/experiments/java/1-cfg.dot

@@ -0,0 +1,5 @@
+digraph "is_even" {  
+"9" [label = <(METHOD,is_even)<SUB>4</SUB>> ]
+"12" [label = <(METHOD_RETURN,int)<SUB>4</SUB>> ]
+  "9" -> "12" 
+}

src/experiments/java/2-cfg.dot

@@ -0,0 +1,5 @@
+digraph "is_odd" {  
+"14" [label = <(METHOD,is_odd)<SUB>5</SUB>> ]
+"17" [label = <(METHOD_RETURN,int)<SUB>5</SUB>> ]
+  "14" -> "17" 
+}

src/experiments/java/3-cfg.dot

@@ -0,0 +1,16 @@
+digraph "is_even" {  
+"23" [label = <(&lt;operator&gt;.equals,n == 0)<SUB>9</SUB>> ]
+"27" [label = <(RETURN,return 1;,return 1;)<SUB>11</SUB>> ]
+"31" [label = <(RETURN,return is_odd(n - 1);,return is_odd(n - 1);)<SUB>15</SUB>> ]
+"32" [label = <(is_odd,is_odd(n - 1))<SUB>15</SUB>> ]
+"33" [label = <(&lt;operator&gt;.subtraction,n - 1)<SUB>15</SUB>> ]
+"19" [label = <(METHOD,is_even)<SUB>7</SUB>> ]
+"36" [label = <(METHOD_RETURN,int)<SUB>7</SUB>> ]
+  "23" -> "27" 
+  "23" -> "33" 
+  "27" -> "36" 
+  "31" -> "36" 
+  "32" -> "31" 
+  "33" -> "32" 
+  "19" -> "23" 
+}

src/experiments/java/4-cfg.dot

@@ -0,0 +1,16 @@
+digraph "is_odd" {  
+"42" [label = <(&lt;operator&gt;.equals,n == 0)<SUB>21</SUB>> ]
+"46" [label = <(RETURN,return 0;,return 0;)<SUB>23</SUB>> ]
+"50" [label = <(RETURN,return is_even(n - 1);,return is_even(n - 1);)<SUB>27</SUB>> ]
+"51" [label = <(is_even,is_even(n - 1))<SUB>27</SUB>> ]
+"52" [label = <(&lt;operator&gt;.subtraction,n - 1)<SUB>27</SUB>> ]
+"38" [label = <(METHOD,is_odd)<SUB>19</SUB>> ]
+"55" [label = <(METHOD_RETURN,int)<SUB>19</SUB>> ]
+  "42" -> "46" 
+  "42" -> "52" 
+  "46" -> "55" 
+  "50" -> "55" 
+  "51" -> "50" 
+  "52" -> "51" 
+  "38" -> "42" 
+}

src/experiments/java/5-cfg.dot

@@ -0,0 +1,5 @@
+digraph "<global>" {  
+"66" [label = <(METHOD,&lt;global&gt;)<SUB>1</SUB>> ]
+"68" [label = <(METHOD_RETURN,ANY)> ]
+  "66" -> "68" 
+}

src/experiments/java/6-cfg.dot

@@ -0,0 +1,5 @@
+digraph "<operator>.equals" {  
+"73" [label = <(METHOD,&lt;operator&gt;.equals)> ]
+"77" [label = <(METHOD_RETURN,ANY)> ]
+  "73" -> "77" 
+}

src/experiments/java/7-cfg.dot

@@ -0,0 +1,5 @@
+digraph "<operator>.subtraction" {  
+"78" [label = <(METHOD,&lt;operator&gt;.subtraction)> ]
+"82" [label = <(METHOD_RETURN,ANY)> ]
+  "78" -> "82" 
+}