diff options
Diffstat (limited to 'chapter21/src/main/java/com/seaofnodes')
4 files changed, 26 insertions, 6 deletions
diff --git a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeFunPtr.java b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeFunPtr.java index bd64bd81..1bd73732 100644 --- a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeFunPtr.java +++ b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeFunPtr.java @@ -81,12 +81,15 @@ public class TypeFunPtr extends TypeNil { return _sig == ptr._sig && _ret == ptr._ret && _fidxs == ptr._fidxs && super.eq(ptr); } - @Override public String str() { return print(new SB()).toString(); } + @Override public String str() { return print(new SB()).toString(); + } @Override public SB print(SB sb) { return _print(sb,false,true); } public SB print(SB sb, boolean n) { return _print(sb,false,n); } @Override public SB gprint(SB sb) { return _print(sb,true ,true); } private static SB _print(SB sb, boolean g, Type t) { return g ? t.gprint(sb) : t.print(sb); } private SB _print(SB sb, boolean g, boolean n) { + if( this==BOT ) return sb.p("FunBot"); + if( _nil==0 && _sig==TypeTuple.TOP && _ret==Type.TOP && _fidxs==0 ) return sb.p("FunTop"); sb.p(x()).p("{ "); if( _sig._types!=null ) for( Type t : _sig._types ) diff --git a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMem.java b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMem.java index 9ed4c7a8..fe393a88 100644 --- a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMem.java +++ b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMem.java @@ -60,11 +60,15 @@ public class TypeMem extends Type { } @Override public SB print(SB sb) { + if( this==BOT ) return sb.p("MemBot"); + if( this==TOP ) return sb.p("MemTop"); sb.p("#"); if( _alias==0 ) return sb.p(_t._type==TTOP ? "TOP" : "BOT"); return _t.print(sb.p(_alias).p(":")); } @Override public SB gprint(SB sb) { + if( this==BOT ) return sb.p("MemBot"); + if( this==TOP ) return sb.p("MemTop"); sb.p("#"); if( _alias==0 ) return sb.p(_t._type==TTOP ? "TOP" : "BOT"); return _t.gprint(sb.p(_alias).p(":")); diff --git a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMemPtr.java b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMemPtr.java index 284bf581..bb2e2333 100644 --- a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMemPtr.java +++ b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeMemPtr.java @@ -87,19 +87,22 @@ public class TypeMemPtr extends TypeNil { } @Override public String str() { + if( this==BOT ) return "PtrBot"; + if( this==TOP ) return "PtrTop"; if( this== NOTBOT) return "*void"; - if( this== BOT) return "*void?"; return x()+"*"+_obj.str()+q(); } @Override public SB print(SB sb) { + if( this==BOT ) return sb.p("PtrBot"); + if( this==TOP ) return sb.p("PtrTop"); if( this== NOTBOT) return sb.p("*void"); - if( this== BOT) return sb.p("*void?"); return _obj.print(sb.p(x()).p("*")).p(q()); } @Override public SB gprint(SB sb) { + if( this==BOT ) return sb.p("PtrBot"); + if( this==TOP ) return sb.p("PtrTop"); if( this== NOTBOT) return sb.p("*void"); - if( this== BOT) return sb.p("*void?"); return _obj.gprint(sb.p(x()).p("*")).p(q()); } } diff --git a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeStruct.java b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeStruct.java index aa6f2dfd..990c5fcf 100644 --- a/chapter21/src/main/java/com/seaofnodes/simple/type/TypeStruct.java +++ b/chapter21/src/main/java/com/seaofnodes/simple/type/TypeStruct.java @@ -182,6 +182,8 @@ public class TypeStruct extends Type { @Override public SB print(SB sb) { + if( this==BOT ) return sb.p("StructBot"); + if( this==TOP ) return sb.p("StructTop"); if( _fields == null ) return sb.p(_name); // Forward reference struct, just print the name if( isAry() ) { if( !isFinal() ) sb.p("!"); @@ -193,9 +195,17 @@ public class TypeStruct extends Type { f._type.print(sb).p(f._final ? " " : " !").p(f._fname).p("; "); return sb.p("}"); } - @Override public SB gprint( SB sb ) { return sb.p(_name); } + @Override public SB gprint( SB sb ) { + if( this==BOT ) return sb.p("StructBot"); + if( this==TOP ) return sb.p("StructTop"); + return sb.p(_name); + } - @Override public String str() { return _name; } + @Override public String str() { + if( this==BOT ) return "StructBot"; + if( this==TOP ) return "StructTop"; + return _name; + } public boolean isAry() { return _fields.length==2 && _fields[1]._fname.equals("[]"); } |