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.
I believe this is how Spring or other "type 2" (I hate the "type" notation) containers do. They have one method called "init" or "initialize", which only has the guarantee that it is called when the container is done setting it up.
--
"They that give up essential liberty to obtain a little temporary safety
deserve neither liberty nor safety."
- Benjamin Franklin
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
