delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

fix unchecked in Logger #40

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
At the moment there is a @supresswarnings in Logger that can lead to ugly
trouble. This really needs more type-safety (since I already fall for it).
When you say:
  Logger<C,L> log = Logger.get("foo");
there is no guarantee that the name "foo" is attached to something of the
type Logger<C,L>. The problem, of course, is that generics aren't reified
in Java. I'm not sure what's a good solution.

Original issue reported on code.google.com by radugrig...@gmail.com on 26 Aug 2009 at 4:44

GoogleCodeExporter commented 9 years ago
This issue was closed by revision r700.

Original comment by radugrig...@gmail.com on 21 Feb 2012 at 9:23