Ary Borenszweig Fri, 10 Jul 2009 11:10:35 -0700
Lutger wrote:
Cool, can you do preconditions and class invariants too?
Sure.