doc-src/Codegen/Thy/pictures/adaption.tex
changeset 30734 ab05be086c4a
child 30754 3eccfc8019ba
equal deleted inserted replaced
30665:4cf38ea4fad2 30734:ab05be086c4a
       
     1 
       
     2 \documentclass[12pt]{article}
       
     3 \usepackage{pgf}
       
     4 \usepackage{pgflibraryshapes}
       
     5 \usepackage{tikz}
       
     6 
       
     7 \begin{document}
       
     8 
       
     9 \begin{tikzpicture}[scale = 0.5]
       
    10   \tikzstyle water=[color = blue, thick]
       
    11   \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]
       
    12   \tikzstyle process=[color = green, semithick, ->]
       
    13   \tikzstyle adaption=[color = red, semithick, ->]
       
    14   \tikzstyle target=[color = black]
       
    15   \foreach \x in {0, ..., 24}
       
    16     \draw[style=water] (\x, 0.25) sin + (0.25, 0.25) cos + (0.25, -0.25) sin
       
    17       + (0.25, -0.25) cos + (0.25, 0.25);
       
    18   \draw[style=ice] (1, 0) --
       
    19     (3, 6) node[above, fill=white] {logic} -- (5, 0) -- cycle;
       
    20   \draw[style=ice] (9, 0) --
       
    21     (11, 6) node[above, fill=white] {intermediate language} -- (13, 0) -- cycle;
       
    22   \draw[style=ice] (15, -6) --
       
    23     (19, 6) node[above, fill=white] {target language} -- (23, -6) -- cycle;
       
    24   \draw[style=process]
       
    25     (3.5, 3) .. controls (7, 5) .. node[fill=white] {translation} (10.5, 3);
       
    26   \draw[style=process]
       
    27     (11.5, 3) .. controls (15, 5) .. node[fill=white] (serialisation) {serialisation} (18.5, 3);
       
    28   \node (adaption) at (11, -2) [style=adaption] {adaption};
       
    29   \node at (19, 3) [rotate=90] {generated};
       
    30   \node at (19.5, -5) {language};
       
    31   \node at (19.5, -3) {library};
       
    32   \node (includes) at (19.5, -1) {includes};
       
    33   \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
       
    34   \draw[style=process]
       
    35     (includes) -- (serialisation);
       
    36   \draw[style=process]
       
    37     (reserved) -- (serialisation);
       
    38   \draw[style=adaption]
       
    39     (adaption) -- (serialisation);
       
    40   \draw[style=adaption]
       
    41     (adaption) -- (includes);
       
    42   \draw[style=adaption]
       
    43     (adaption) -- (reserved);
       
    44 \end{tikzpicture}
       
    45 
       
    46 \end{document}