docs/images/overview.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><!-- Generated by graphviz version 2.40.1 (20161225.0304)
 --><!-- Title: G1 Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="628pt" height="137pt" viewBox="0.00 0.00 628.01 137.00">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 133)">
<title>G1</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-133 624.0137,-133 624.0137,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_0</title>
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="135.336,-8 135.336,-85 362.3375,-85 362.3375,-8 135.336,-8"/>
<text text-anchor="middle" x="248.8367" y="-68.4" font-family="Times,serif" font-size="14.00" fill="#000000">Filters</text>
</g>
<!-- file filter -->
<g id="node1" class="node">
<title>file filter</title>
<ellipse fill="#ffffff" stroke="#ffffff" cx="188.4229" cy="-34" rx="45.174" ry="18"/>
<text text-anchor="middle" x="188.4229" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">file filter</text>
</g>
<!-- git filter -->
<g id="node2" class="node">
<title>git filter</title>
<ellipse fill="#ffffff" stroke="#ffffff" cx="311.9236" cy="-34" rx="42.3279" ry="18"/>
<text text-anchor="middle" x="311.9236" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">git filter</text>
</g>
<!-- file filter&#45;&gt;git filter -->
<g id="edge1" class="edge">
<title>file filter-&gt;git filter</title>
<path fill="none" stroke="#000000" d="M233.7087,-34C241.931,-34 250.5735,-34 258.9926,-34"/>
<polygon fill="#000000" stroke="#000000" points="259.1082,-37.5001 269.1081,-34 259.1081,-30.5001 259.1082,-37.5001"/>
</g>
<!-- diff coverage -->
<g id="node4" class="node">
<title>diff coverage</title>
<polygon fill="none" stroke="#000000" points="480.684,-52 390.2218,-52 390.2218,-16 480.684,-16 480.684,-52"/>
<text text-anchor="middle" x="435.4529" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">diff coverage</text>
</g>
<!-- git filter&#45;&gt;diff coverage -->
<g id="edge3" class="edge">
<title>git filter-&gt;diff coverage</title>
<path fill="none" stroke="#000000" d="M354.4354,-34C362.7623,-34 371.6078,-34 380.2782,-34"/>
<polygon fill="#000000" stroke="#000000" points="380.3344,-37.5001 390.3344,-34 380.3343,-30.5001 380.3344,-37.5001"/>
</g>
<!-- coverage profile -->
<g id="node3" class="node">
<title>coverage profile</title>
<polygon fill="none" stroke="#000000" points="107.5045,-52 -.1685,-52 -.1685,-16 107.5045,-16 107.5045,-52"/>
<text text-anchor="middle" x="53.668" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">coverage profile</text>
</g>
<!-- coverage profile&#45;&gt;file filter -->
<g id="edge2" class="edge">
<title>coverage profile-&gt;file filter</title>
<path fill="none" stroke="#000000" d="M107.7015,-34C116.0306,-34 124.643,-34 133.0018,-34"/>
<polygon fill="#000000" stroke="#000000" points="133.0359,-37.5001 143.0358,-34 133.0358,-30.5001 133.0359,-37.5001"/>
</g>
<!-- coverage report -->
<g id="node5" class="node">
<title>coverage report</title>
<polygon fill="none" stroke="#000000" points="620.2374,-52 516.3446,-52 516.3446,-16 620.2374,-16 620.2374,-52"/>
<text text-anchor="middle" x="568.291" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">coverage report</text>
</g>
<!-- diff coverage&#45;&gt;coverage report -->
<g id="edge4" class="edge">
<title>diff coverage-&gt;coverage report</title>
<path fill="none" stroke="#000000" d="M480.7967,-34C489.008,-34 497.6987,-34 506.2904,-34"/>
<polygon fill="#000000" stroke="#000000" points="506.2962,-37.5001 516.2961,-34 506.2961,-30.5001 506.2962,-37.5001"/>
</g>
<!-- git diff -->
<g id="node6" class="node">
<title>git diff</title>
<polygon fill="none" stroke="#000000" points="215.9181,-129 160.9276,-129 160.9276,-93 215.9181,-93 215.9181,-129"/>
<text text-anchor="middle" x="188.4229" y="-106.8" font-family="Times,serif" font-size="14.00" fill="#000000">git diff</text>
</g>
<!-- git diff&#45;&gt;git filter -->
<g id="edge5" class="edge">
<title>git diff-&gt;git filter</title>
<path fill="none" stroke="#000000" d="M215.9677,-98.4162C221.8485,-95.4933 227.958,-92.2739 233.5098,-89 250.5121,-78.9737 268.6062,-66.4203 283.1241,-55.839"/>
<polygon fill="#000000" stroke="#000000" points="285.2492,-58.6207 291.2234,-49.8709 281.0967,-52.9854 285.2492,-58.6207"/>
</g>
</g>
</svg>