Clear Up Todos

[GoogleCodeExporter]

There are a large number of //ToDos in the Checker Framework.  All staff 
programmers working on the Checker Framework (Suzanne, David, and Jonathan) 
have agreed to help reduce this number.  Each week, the owner of this issue 
will clear up 3-5 ToDos (modulo the complexity of the ToDos selected).

When clearing up todos, please do the following:
1.  Do a search for todo (or tackle one's you're already interested in.
2.  If during your search you encounter particularly pressing todos, add them 
to the list in the document linked below.
3.  Add the number of todos you have finished to your column in the spreadsheet 
below.  To ensure that we aren't adding more than we dispatch please execute:
grep -owrI --ignore-case "todo" /path/to/checker-framework | wc -w

And put the resulting number under: Total Remaining

A tally of outstanding todos and todos cleared up by person will be available 
here:
https://docs.google.com/a/cs.washington.edu/spreadsheet/ccc?key=0ArvOZvme6aAOdEV
YX01vdm40RnpUSm1haGt6Y0dWZmc&usp=sharing

Original issue reported on code.google.com by jbu...@cs.washington.edu on 10 Feb 2014 at 6:27

[GoogleCodeExporter]

Original comment by Jonathan...@gmail.com on 10 Feb 2014 at 6:34

[GoogleCodeExporter]

Original comment by michael.ernst@gmail.com on 10 Feb 2014 at 9:50

• Changed title: Clear Up Todos

[GoogleCodeExporter]

I haven't checked my changes in yet but they are in TypeFromElement and 
AnnotatedTypeMirror so if Suzanne refrains from solving todos in those two 
classes, there should be no issue.

Original comment by Jonathan...@gmail.com on 19 Feb 2014 at 4:41

[GoogleCodeExporter]

Original comment by Suzanne....@gmail.com on 20 Feb 2014 at 7:17

[GoogleCodeExporter]

We will address TODOs in the course of other work, whenever we come across them 
in the course of bug-fixing or enhancements.

Original comment by michael.ernst@gmail.com on 8 Oct 2014 at 3:25

• Changed state: WontFix