()
| 173 | } |
| 174 | |
| 175 | public Type dual() { |
| 176 | return switch( _type ) { |
| 177 | case TBOT -> TOP; |
| 178 | case TTOP -> BOTTOM; |
| 179 | case TCTRL ->XCONTROL; |
| 180 | case TXCTRL-> CONTROL; |
| 181 | case TNIL ->XNIL; |
| 182 | case TXNIL -> NIL; |
| 183 | default -> throw Utils.TODO(); // Should not reach here |
| 184 | }; |
| 185 | } |
| 186 | |
| 187 | // ---------------------------------------------------------- |
| 188 | // Our lattice is defined with a MEET and a DUAL. |