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