Differences

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

--- at-m42:casestudies:cs04 [2009/04/15 10:21] – eechris
+++ at-m42:casestudies:cs04 [2011/01/14 12:59] (current) – external edit 127.0.0.1
@@ Line 807: / Line 807: @@
 </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'' (see [[Exceptions]]).
+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''.