fig_flow_integrated_instr.dot

digraph {
  node [fontsize = 9]

  edge [fontsize = 9, arrowsize=0.7]

  setup [shape=box, label="gnatcov setup"]

  /*-------------------
    Using Source traces
    -------------------*/
  subgraph "cluster_src_traces" {
  label = "Setup / Build / Execute / Analyze";
  fontsize = 10;
  labeljust = l;

  /* processes */
  node [shape = box];

  node [color = green];
  instrument [label = "Setup integrated instrumentation\n(gnatcov setup-integration -P<gpr>)"];
  build_instr [label = "Regular build\n(using the generated compiler wrapper)"];
  regular_execution [label = "Regular Execution\n(instrumented executable)"];

  node [color = blue];
  srct_coverage [label = "Analyze/Consolidate\n(gnatcov coverage -P...)"];

  /* products or inputs */
  node [shape = ellipse, color = green];
  st1 [label = "strace1"];
  stdots [label = "..."];
  st2 [label = "strace2"];

  node [shape = ellipse, color = blue];
  srct_report [label = "Report"];
  srct_checkpoint [label = "Checkpoint"];

  src [shape = ellipse, label = "Original Sources"];

  /* Links */
  src -> instrument;
  instrument -> build_instr;
  build_instr -> regular_execution;

  {rank = same;
    st1; stdots; st2;
  }

  regular_execution -> st1 [style = dotted];
  regular_execution -> stdots [style = dotted];
  regular_execution -> st2 [style = dotted];

  st1 -> srct_coverage;
  stdots -> srct_coverage;
  st2 -> srct_coverage;

  srct_coverage -> srct_report [style = dotted];
  srct_coverage -> srct_checkpoint [style = dotted];
  srct_checkpoint -> srct_coverage;

  }
}