diff options
| author | Cliff Click <cliffc@acm.org> | 2024-12-21 16:43:03 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | 8095c50f846699f7570bdea4c6517653c5795c2e (patch) | |
| tree | 1d5ed8477dd796766a3a6aa7b6c5d2e6cb883946 /chapter18/docs/lattice.gv | |
| parent | b0b26bd248fad6f6d2ac23f673ae73095cd5c3cb (diff) | |
| download | Simple-8095c50f846699f7570bdea4c6517653c5795c2e.tar.gz Simple-8095c50f846699f7570bdea4c6517653c5795c2e.zip | |
All parsing null to be TFP or TMP
Insert a TypePtr/TypeNil around TypeMemPtr and TypeFunPtr in the lattice; allows the parsing of "null" to mean either a TMP or TFP null.
Cleanup Type null checks and several prints.
Drop Type.lub, Type.makeInit.
Add a Parser NIL & ZERO.
Clean up parser errors, track line numbers for future parser errors.
Diffstat (limited to 'chapter18/docs/lattice.gv')
| -rw-r--r-- | chapter18/docs/lattice.gv | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/chapter18/docs/lattice.gv b/chapter18/docs/lattice.gv index 4a8b1d4c..f8af5718 100644 --- a/chapter18/docs/lattice.gv +++ b/chapter18/docs/lattice.gv @@ -3,7 +3,8 @@ digraph Lattice { // Define nodes splines=false; node [shape=circle, style=filled]; - nodesep=0.6; + nodesep=0.2; + ranksep=0.2; TOP [label=<<B>⊤</B >>, fillcolor=black, fontcolor=white]; BOT [label=<<B>⊥</B>>, fillcolor=black, fontcolor=white]; @@ -22,13 +23,13 @@ digraph Lattice { INT_TOP [label=<<B>⊤</B >:int>, fillcolor=lightblue, shape=oval]; INT_BOT [label=<<B>⊥</B>:int>, fillcolor=lightblue, shape=oval]; - INT_HI [label="max < min" , fillcolor=lightblue, shape=oval]; - INT_XBOOL [label="1...0", fillcolor=lightblue, shape=oval]; + INT_HI [label="[min>max]" , fillcolor=lightblue, shape=oval]; + INT_XBOOL [label="[1...0]", fillcolor=lightblue, shape=oval]; INT_CON [label="constants", fillcolor=lightblue, shape=oval]; INT_CON0 [label="0", fillcolor=lightblue]; INT_CON1 [label="1", fillcolor=lightblue]; - INT_BOOL [label="0...1", fillcolor=lightblue,shape=oval]; - INT_LO [label="max > min" , fillcolor=lightblue, shape=oval]; + INT_BOOL [label="[0...1]", fillcolor=lightblue,shape=oval]; + INT_LO [label="[min<max]" , fillcolor=lightblue, shape=oval]; TOP -> INT_TOP; INT_TOP -> INT_HI; |