[pypy-svn] r18119 - pypy/dist/pypy/doc/image

[cfbolz at codespeak.net]

Author: cfbolz
Date: Tue Oct  4 02:16:33 2005
New Revision: 18119

Added:
   pypy/dist/pypy/doc/image/lattice1.dot
   pypy/dist/pypy/doc/image/lattice2.dot
   pypy/dist/pypy/doc/image/lattice3.dot
Log:
attempts to use graphviz for the lattice graphs in draft-dynamic-language-translation.txt


Added: pypy/dist/pypy/doc/image/lattice1.dot
==============================================================================
--- (empty file)
+++ pypy/dist/pypy/doc/image/lattice1.dot	Tue Oct  4 02:16:33 2005
@@ -0,0 +1,14 @@
+digraph lattice {
+    Top -> NullableStr -> Str -> Char -> Bottom;
+    Top -> Int -> NonNegInt -> Bool -> Bottom;
+    Top -> "*instances*" -> Bottom;
+    "*instances*" -> None;
+    NullableStr -> None;
+    Top -> "*callables*" -> Bottom;
+    "*callables*" -> None;
+    Top -> "*lists*" -> None -> Bottom;
+
+    "*lists*" [shape=box];
+    "*instances*" [shape=box];
+    "*callables*" [shape=box];
+}

Added: pypy/dist/pypy/doc/image/lattice2.dot
==============================================================================
--- (empty file)
+++ pypy/dist/pypy/doc/image/lattice2.dot	Tue Oct  4 02:16:33 2005
@@ -0,0 +1,9 @@
+digraph lattice2 {
+    Top -> "NullableInstance(object)" -> "Instance(object)" -> "Instance(cls1)" -> Bottom;
+    "NullableInstance(object)" -> "NullableInstance(cls1)" -> None -> Bottom;
+    "NullableInstance(cls1)" -> "Instance(cls1)";
+
+    "Instance(object)" -> "Instance(cls2)" -> Bottom;
+    "NullableInstance(object)" -> "NullableInstance(cls2)" -> "Instance(cls2)";
+    "NullableInstance(cls2)" -> None;
+}

Added: pypy/dist/pypy/doc/image/lattice3.dot
==============================================================================
--- (empty file)
+++ pypy/dist/pypy/doc/image/lattice3.dot	Tue Oct  4 02:16:33 2005
@@ -0,0 +1,10 @@
+digraph lattice3 {
+    Top -> "List(v_1)" -> None;
+    d1 [label="...", color=white];
+    d2 [label="...", color=white];
+    d3 [label="...", color=white];
+    Top -> d1 -> None;
+    Top -> d2 -> None;
+    Top -> d3 -> None;
+    Top -> "List(v_n)" -> None;
+}