Track #66: probe insertion
diff --git a/org.jacoco.doc/diagrams/flow-2.dot b/org.jacoco.doc/diagrams/flow-2.dot
new file mode 100644
index 0000000..fb84f34
--- /dev/null
+++ b/org.jacoco.doc/diagrams/flow-2.dot
@@ -0,0 +1,40 @@
+digraph G {

+  nodesep="0.2";

+  rankdir=LR;

+  node [shape="rect", penwidth="0.33", style="filled", fillcolor="#E0E0E0", margin="0,0.03", height="0.2", width="1.2", fontsize="10", fontname="Courier"];

+  edge [arrowsize="0.5"];

+  ordering="in";

+  

+  entry -> i1;

+  i1 -> i2;

+  i2 -> i3;

+  i3 -> i6 [tailport="e", headport="e"];

+  i3 -> i4;

+  i4 -> i5;

+  i5 -> p0 [tailport="e", headport="n"];

+  p0 -> i7 [tailport="s", headport="e"];

+  i6 -> p1;

+  p1 -> i7;

+  i7 -> i8;

+  i8 -> p2;

+  p2 -> exit;

+    

+  {

+    rank = same;

+    entry [label="", shape="circle", fillcolor="#ffffff", width="0.2"]

+    i1 [label="INVOKE a()"]

+    i2 [label="INVOKE cond()"]

+    i3 [label="IFEQ L1", shape="diamond"]

+    i4 [label="INVOKE b()"]

+    i5 [label="GOTO L2"]

+    i6 [label="INVOKE c()"]

+    i7 [label="INVOKE d()"]

+    i8 [label="RETURN"]

+    exit [label="", shape="circle", fillcolor="#808080", width="0.2"]

+    p1 [label="P[1]", style="rounded,filled", fillcolor="#ffcc00", width="0.5"]

+    p2 [label="P[2]", style="rounded,filled", fillcolor="#ffcc00", width="0.5"]

+  }

+

+  p0 [label="P[0]", style="rounded,filled", fillcolor="#ffcc00", width="0.5"]

+

+}

diff --git a/org.jacoco.doc/diagrams/render.sh b/org.jacoco.doc/diagrams/render.sh
index 783018f..49d03e8 100644
--- a/org.jacoco.doc/diagrams/render.sh
+++ b/org.jacoco.doc/diagrams/render.sh
@@ -2,4 +2,5 @@
 
 OUTPUT=../docroot/doc/.resources
 
-dot -Tpng -o$OUTPUT/flow-1.png flow-1.dot
\ No newline at end of file
+dot -Tpng -o$OUTPUT/flow-1.png flow-1.dot
+dot -Tpng -o$OUTPUT/flow-2.png flow-2.dot
\ No newline at end of file
diff --git a/org.jacoco.doc/docroot/doc/.resources/flow-2.png b/org.jacoco.doc/docroot/doc/.resources/flow-2.png
new file mode 100644
index 0000000..f118938
--- /dev/null
+++ b/org.jacoco.doc/docroot/doc/.resources/flow-2.png
Binary files differ
diff --git a/org.jacoco.doc/docroot/doc/flow.html b/org.jacoco.doc/docroot/doc/flow.html
index f6c430e..53b0def 100644
--- a/org.jacoco.doc/docroot/doc/flow.html
+++ b/org.jacoco.doc/docroot/doc/flow.html
@@ -173,6 +173,9 @@
   the status of this probes by recursively applying the rules above. 

 </p>

 

+<img src=".resources/flow-2.png" alt="Probe positions"/>

+

+

 <h2>Coverage Analysis</h2>