> http://en.wikipedia.org/wiki/Definite_assignment_analysis By the way, I forgot to add that Definite assignment analysis is a (nice) special case of "typestate", that I was talking about recently. Bye, bearophile