On Wednesday 24 April 2002 13:13, Michael Hudson wrote: ... > > PyChecker goes a long way already. Java has a mass of "definite > > assignment" rules instead, which in effect decree that you must > > write code in such a way that the compiler can always guess right. > > Are these explained in an easy to digest form somewhere? http://java.sun.com/docs/books/jls/second_edition/html/defAssign.doc.html Alex