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