author | wenzelm |
Mon, 27 Aug 2012 23:00:38 +0200 | |
changeset 48951 | b9238cbcdd41 |
parent 38813 | doc-src/Codegen/Thy/pictures/architecture.tex@f50f0802ba99 |
permissions | -rw-r--r-- |
30734 | 1 |
|
2 |
\documentclass[12pt]{article} |
|
3 |
\usepackage{tikz} |
|
30836 | 4 |
\usetikzlibrary{shapes} |
5 |
\usetikzlibrary{arrows} |
|
30734 | 6 |
|
7 |
\begin{document} |
|
8 |
||
30765
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
9 |
\thispagestyle{empty} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
10 |
\setlength{\fboxrule}{0.01pt} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
11 |
\setlength{\fboxsep}{4pt} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
12 |
|
30836 | 13 |
\fcolorbox{white}{white}{ |
14 |
||
15 |
\newcommand{\sys}[1]{\emph{#1}} |
|
30765
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
16 |
|
30836 | 17 |
\begin{tikzpicture}[x = 4cm, y = 1cm] |
18 |
\tikzstyle positive=[color = black, fill = white]; |
|
19 |
\tikzstyle negative=[color = white, fill = black]; |
|
20 |
\tikzstyle entity=[rounded corners, draw, thick]; |
|
21 |
\tikzstyle process=[ellipse, draw, thick]; |
|
22 |
\tikzstyle arrow=[-stealth, semithick]; |
|
23 |
\node (spec) at (0, 3) [entity, positive] {specification tools}; |
|
24 |
\node (user) at (1, 3) [entity, positive] {user proofs}; |
|
25 |
\node (spec_user_join) at (0.5, 3) [shape=coordinate] {}; |
|
26 |
\node (raw) at (0.5, 4) [entity, positive] {raw code equations}; |
|
27 |
\node (pre) at (1.5, 4) [process, positive] {preprocessing}; |
|
28 |
\node (eqn) at (2.5, 4) [entity, positive] {code equations}; |
|
29 |
\node (iml) at (0.5, 0) [entity, positive] {intermediate program}; |
|
30 |
\node (seri) at (1.5, 0) [process, positive] {serialisation}; |
|
31 |
\node (SML) at (2.5, 3) [entity, positive] {\sys{SML}}; |
|
32 |
\node (OCaml) at (2.5, 2) [entity, positive] {\sys{OCaml}}; |
|
38813 | 33 |
\node (Haskell) at (2.5, 1) [entity, positive] {\sys{Haskell}}; |
34 |
\node (Scala) at (2.5, 0) [entity, positive] {\sys{Scala}}; |
|
30836 | 35 |
\draw [semithick] (spec) -- (spec_user_join); |
36 |
\draw [semithick] (user) -- (spec_user_join); |
|
37 |
\draw [-diamond, semithick] (spec_user_join) -- (raw); |
|
38 |
\draw [arrow] (raw) -- (pre); |
|
39 |
\draw [arrow] (pre) -- (eqn); |
|
40 |
\draw [arrow] (eqn) -- node (transl) [process, positive] {translation} (iml); |
|
41 |
\draw [arrow] (iml) -- (seri); |
|
42 |
\draw [arrow] (seri) -- (SML); |
|
43 |
\draw [arrow] (seri) -- (OCaml); |
|
44 |
\draw [arrow] (seri) -- (Haskell); |
|
38813 | 45 |
\draw [arrow] (seri) -- (Scala); |
30734 | 46 |
\end{tikzpicture} |
47 |
||
30765
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
48 |
} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
49 |
|
30734 | 50 |
\end{document} |