ICCT Wiki

User Tools

Site Tools

Trace:
at-m42:casestudies:cs04

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
at-m42:casestudies:cs04 [2009/04/15 10:08] – eechrisat-m42:casestudies:cs04 [2009/04/15 10:22] – eechris
Line 807: Line 807:
 </code> </code>
  
-Since the violation of an invariant indicates that a serious error has occurred, we terminate the system by throwing an ''Exception'' with a suitable error message. Notice that we do not declare that the method throws an ''Exception''.+Since the violation of an invariant indicates that a serious error has occurred, we terminate the system by throwing an ''Exception'' with a suitable error message. Notice that we do not declare that the method throws an ''Exception'' (see [[at-m42:Exceptions]]).
  
 As before, we only check methods that are likely to cause a violation. In this case it is just the method ''pickupItem''. As before, we only check methods that are likely to cause a violation. In this case it is just the method ''pickupItem''.
at-m42/casestudies/cs04.txt · Last modified: 2011/01/14 12:59 by 127.0.0.1