( ReturnNode ret )
| 231 | } |
| 232 | |
| 233 | private static String exit( ReturnNode ret ) { |
| 234 | return prettyPrint(ret.expr()._type,val(ret.expr())); |
| 235 | } |
| 236 | |
| 237 | // Take a worklist step: one data op from the current Control is updated. |
| 238 | private static void step(Node n, SB trace) { |