1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Codegen/Thy/pictures/adaption.tex	Thu Mar 26 13:01:09 2009 +0100
     1.3 @@ -0,0 +1,46 @@
     1.4 +
     1.5 +\documentclass[12pt]{article}
     1.6 +\usepackage{pgf}
     1.7 +\usepackage{pgflibraryshapes}
     1.8 +\usepackage{tikz}
     1.9 +
    1.10 +\begin{document}
    1.11 +
    1.12 +\begin{tikzpicture}[scale = 0.5]
    1.13 +  \tikzstyle water=[color = blue, thick]
    1.14 +  \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]
    1.15 +  \tikzstyle process=[color = green, semithick, ->]
    1.16 +  \tikzstyle adaption=[color = red, semithick, ->]
    1.17 +  \tikzstyle target=[color = black]
    1.18 +  \foreach \x in {0, ..., 24}
    1.19 +    \draw[style=water] (\x, 0.25) sin + (0.25, 0.25) cos + (0.25, -0.25) sin
    1.20 +      + (0.25, -0.25) cos + (0.25, 0.25);
    1.21 +  \draw[style=ice] (1, 0) --
    1.22 +    (3, 6) node[above, fill=white] {logic} -- (5, 0) -- cycle;
    1.23 +  \draw[style=ice] (9, 0) --
    1.24 +    (11, 6) node[above, fill=white] {intermediate language} -- (13, 0) -- cycle;
    1.25 +  \draw[style=ice] (15, -6) --
    1.26 +    (19, 6) node[above, fill=white] {target language} -- (23, -6) -- cycle;
    1.27 +  \draw[style=process]
    1.28 +    (3.5, 3) .. controls (7, 5) .. node[fill=white] {translation} (10.5, 3);
    1.29 +  \draw[style=process]
    1.30 +    (11.5, 3) .. controls (15, 5) .. node[fill=white] (serialisation) {serialisation} (18.5, 3);
    1.31 +  \node (adaption) at (11, -2) [style=adaption] {adaption};
    1.32 +  \node at (19, 3) [rotate=90] {generated};
    1.33 +  \node at (19.5, -5) {language};
    1.34 +  \node at (19.5, -3) {library};
    1.35 +  \node (includes) at (19.5, -1) {includes};
    1.36 +  \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
    1.37 +  \draw[style=process]
    1.38 +    (includes) -- (serialisation);
    1.39 +  \draw[style=process]
    1.40 +    (reserved) -- (serialisation);
    1.41 +  \draw[style=adaption]
    1.42 +    (adaption) -- (serialisation);
    1.43 +  \draw[style=adaption]
    1.44 +    (adaption) -- (includes);
    1.45 +  \draw[style=adaption]
    1.46 +    (adaption) -- (reserved);
    1.47 +\end{tikzpicture}
    1.48 +
    1.49 +\end{document}