[pypy-svn] r19687 - in pypy/dist/pypy/doc: . image

[arigo at codespeak.net]

Author: arigo
Date: Wed Nov  9 17:46:00 2005
New Revision: 19687

Added:
   pypy/dist/pypy/doc/image/lattice1.png   (contents, props changed)
   pypy/dist/pypy/doc/image/lattice2.png   (contents, props changed)
   pypy/dist/pypy/doc/image/lattice3.png   (contents, props changed)
Modified:
   pypy/dist/pypy/doc/draft-dynamic-language-translation.txt
Log:
Included the images generated by Carl's dot graphs directly in the draft
document.  The ASCII art diagrams are comments that stay here for the benefit
of the ASCII reader :-)



Modified: pypy/dist/pypy/doc/draft-dynamic-language-translation.txt
==============================================================================
--- pypy/dist/pypy/doc/draft-dynamic-language-translation.txt	(original)
+++ pypy/dist/pypy/doc/draft-dynamic-language-translation.txt	Wed Nov  9 17:46:00 2005
@@ -817,8 +817,9 @@
 It is left as an exercise to show that this partial order makes *A* a
 lattice.
 
-Graphically::
+Graphically:
 
+..
                 ____________ Top ___________
                /      /       |       \     \
               /      /        |        \     \
@@ -834,9 +835,12 @@
               \        \      |  /        /
                `--------`-- Bottom ------'
 
+.. image:: image/lattice1.png
+
 Here is the part about instances and nullable instances, assuming a
-simple class hierarchy with only two direct subclasses of ``object``::
+simple class hierarchy with only two direct subclasses of ``object``:
 
+..
                              Top
                               |
                               |
@@ -860,8 +864,11 @@
                       \     /  /
                         Bottom
 
-All list terms for all variables are unordered::
+.. image:: image/lattice2.png
+
+All list terms for all variables are unordered:
 
+..
              __________________ Top __________________
             /            /     /   \     \            \
            /            /     /     \     \            \
@@ -872,6 +879,8 @@
             \            \     \   /     /            /
              '------------'--- None ----'------------'
 
+.. image:: image/lattice3.png
+
 The Pbcs form a classical finite set-of-subsets lattice.  In practice,
 we consider ``None`` as a degenerated prebuilt constant, so the None
 annotation is actually Pbc({None}).

Added: pypy/dist/pypy/doc/image/lattice1.png
==============================================================================
Binary file. No diff available.

Added: pypy/dist/pypy/doc/image/lattice2.png
==============================================================================
Binary file. No diff available.

Added: pypy/dist/pypy/doc/image/lattice3.png
==============================================================================
Binary file. No diff available.