summaryrefslogtreecommitdiffstats
path: root/figs/ex2p1.dot
blob: cde6c66b5b31bd81cbe66f9e984b404b00f8f9a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
graph ex2p1 {
	node [texmode="math",shape="none"];
	I0 [label="I"];
	C0 [label="C"];
	if0 [label="if",texlbl="$\mathtt{if}$"];
	E0 [label="E"];
	then0 [label="then",texlbl="$\mathtt{then}$"];
	I1 [label="I"];
	else0 [label="else",texlbl="$\mathtt{else}$"];
	I4 [label="I"];
	happy [label="happy",texlbl="$\mathtt{happy}$"];
	C1 [label="C"];
	if1 [label="if",texlbl="$\mathtt{if}$"];
	E1 [label="E"];
	then1 [label="then",texlbl="$\mathtt{then}$"];
	I2 [label="I"];
	else1 [label="else",texlbl="$\mathtt{else}$"];
	I3 [label="I"];
	qux [label="qux",texlbl="$\mathtt{qux}$"];
	trippy [label="trippy",texlbl="$\mathtt{trippy}$"];
	foo [label="foo",texlbl="$\mathtt{foo}$"];
	bar [label="bar",texlbl="$\mathtt{bar}$"];
	I0 -- C0;
	C0 -- if0;
	C0 -- E0;
	C0 -- then0;
	C0 -- I1;
	C0 -- else0;
	C0 -- I4;
	E0 -- happy;
	I1 -- C1;
	I4 -- qux;
	C1 -- if1;
	C1 -- E1;
	C1 -- then1;
	C1 -- I2;
	C1 -- else1;
	C1 -- I3;
	E1 -- trippy;
	I2 -- foo;
	I3 -- bar;
}