Can you violate invariant within an operation

From: "Tony Johansson" <johansson.andersson@xxxxxxxxx>
Date: Sat, 24 Sep 2005 13:53:50 GMT

Hello!

Is it right that you are allowed to violate invariant when executing an
operation but before you
exit the operation the invariant must be valid again.

Can somebody give some example of this matter.

//Tony

.

Follow-Ups:
- Re: Can you violate invariant within an operation
  - From: H. S. Lahman

Prev by Date: Re: UML Modeling Tool like Enterprise Architect
Next by Date: A question about weak contract
Previous by thread: UML Modeling Tool like Enterprise Architect
Next by thread: Re: Can you violate invariant within an operation
Index(es):
- Date
- Thread