Differences

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

--- invariant:ex3 [2007/02/26 09:34] – bdefrain
+++ invariant:ex3 [2021/02/05 13:53] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Invariants: Preconditions ======
+[[invariant:intro|Intro]]
+[[invariant:ex1|Ex1]]
+[[invariant:ex2|Ex2]]
+[[invariant:ex3|Ex3]]
+[[invariant:ex4|Ex4]]
+[[invariant:ex5|Ex5]]====== Invariants: Preconditions ======
 ===== Point Preconditions =====
@@ Line 17: / Line 22: @@
 **Task:** Pass the suite ''tests.GroupPreconditions''.
-''Group'' is a ''FigureElement'' class that encapsulates groups of other figure elements. As such, only actual figure element objects should be added to ''Group'' objects. Also, a group cannot be added to itself. Write an aspect to throw an ''IllegalArgumentException'' whenever an attempt is made to call ''Group.add()'' on a ''null'' value, or on the group itself.
+''Group'' is a ''FigureElement'' class that encapsulates groups of other figure elements. As such, only actual figure element objects should be added to ''Group'' objects. Also, a group cannot be added to itself. Write an aspect to throw an ''IllegalArgumentException'' whenever an attempt is made to call ''Group.add()'' with a ''null'' value, or with the group itself.
 <note tip>