equal
deleted
inserted
replaced
207 r = scanAndReduce(node.getBlock(), p, r); |
207 r = scanAndReduce(node.getBlock(), p, r); |
208 return r; |
208 return r; |
209 } |
209 } |
210 |
210 |
211 public R visitTry(TryTree node, P p) { |
211 public R visitTry(TryTree node, P p) { |
212 R r = scan(node.getBlock(), p); |
212 R r = scan(node.getResources(), p); |
|
213 r = scanAndReduce(node.getBlock(), p, r); |
213 r = scanAndReduce(node.getCatches(), p, r); |
214 r = scanAndReduce(node.getCatches(), p, r); |
214 r = scanAndReduce(node.getFinallyBlock(), p, r); |
215 r = scanAndReduce(node.getFinallyBlock(), p, r); |
215 return r; |
216 return r; |
216 } |
217 } |
217 |
218 |