| 122 | |
| 123 | // ---------------------------------------------------------- |
| 124 | public final Type meet(Type t) { |
| 125 | // Shortcut for the self case |
| 126 | if( t == this ) return this; |
| 127 | // Same-type is always safe in the subclasses |
| 128 | if( _type==t._type ) return xmeet(t); |
| 129 | // Reverse; xmeet 2nd arg is never "is_simple" and never equal to "this". |
| 130 | if( is_simple() ) return this.xmeet(t ); |
| 131 | if( t.is_simple() ) return t .xmeet(this); |
| 132 | return Type.BOTTOM; // Mixing 2 unrelated types |
| 133 | } |
| 134 | |
| 135 | // Compute meet right now. Overridden in subclasses. |
| 136 | // Handle cases where 'this.is_simple()' and unequal to 't'. |