323 result = sr; |
323 result = sr; |
324 } |
324 } |
325 |
325 |
326 public void visitTry(JCTry tree) { |
326 public void visitTry(JCTry tree) { |
327 SourceRange sr = new SourceRange(startPos(tree), endPos(tree)); |
327 SourceRange sr = new SourceRange(startPos(tree), endPos(tree)); |
|
328 sr.mergeWith(csp(tree.resources)); |
328 sr.mergeWith(csp(tree.body)); |
329 sr.mergeWith(csp(tree.body)); |
329 sr.mergeWith(cspCatchers(tree.catchers)); |
330 sr.mergeWith(cspCatchers(tree.catchers)); |
330 sr.mergeWith(csp(tree.finalizer)); |
331 sr.mergeWith(csp(tree.finalizer)); |
331 result = sr; |
332 result = sr; |
332 } |
333 } |