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