search

biddyweb / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 1 forks source link

More precise exception parameter and throws checking #390

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Currently, the qualifier on an exception parameter must be top.  (See 
discussion: 
https://groups.google.com/d/msg/checker-framework-dev/ZeqztsBXW4M/aBC2A4J5y2UJ)

For checked exceptions, a more precise qualifier could be allowed, if more 
precise type checking was implemented exceptions parameters, thrown 
expressions, and throws clauses.

Original issue reported on code.google.com by Suzanne....@gmail.com on 7 Jan 2015 at 6:20