True, or with a checkInvariants() method that is called before and after each method. (DBC)
It does assume that there is some two-step creation though: First create and set fields, then call the user-defined creation code. /LS > From: Hamilton Verissimo de Oliveira (Engenharia - SPO) --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
