It would be nice for Javarifier to identify parameters that could be made
readonly by introducing a local variable. (Example: a parameter has only
read-only methods called on it, then a new mutable object is
unconditionally assigned into that variable.) Comparing Javarifier results
with and without use of static single assignment form would yield this
information.
Original issue reported on code.google.com by
michael.ernst@gmail.comon 2 Dec 2009 at 7:19