Maurizio Cimadamore d4d5f60edc 6993963: Project Coin: Use precise exception analysis for effectively final catch parameters ...

More precise rethrow analysis should be extended to effectively-final exception parameters. Multicatch parameters should be made implicitly final.

Reviewed-by: jjg, darcy

2010-11-04 12:57:48 +00:00

..

Check.java

6993963: Project Coin: Use precise exception analysis for effectively final catch parameters

2010-11-04 12:57:48 +00:00

Member.java

6993963: Project Coin: Use precise exception analysis for effectively final catch parameters

2010-11-04 12:57:48 +00:00

Model01.java

6993963: Project Coin: Use precise exception analysis for effectively final catch parameters

2010-11-04 12:57:48 +00:00

ModelChecker.java

6993963: Project Coin: Use precise exception analysis for effectively final catch parameters

2010-11-04 12:57:48 +00:00