1 files changed, 31 insertions, 6 deletions

diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e
index 3f56fd4..24ae004 100644
--- a/bank-eiffel/retireeaccount.e
+++ b/bank-eiffel/retireeaccount.e
@@ -1,15 +1,40 @@
-note
-        description: "Summary description for {RETIREEACCOUNT}."
-        author: ""
-        date: "$Date$"
-        revision: "$Revision$"
-
 class
         RETIREEACCOUNT
 
 inherit
         ACCOUNT
+                redefine
+                        add_authorized_signer,
+                        set_default_transfer_minamount
+                end
+
+create
+        make
+
+feature -- Basic operations
+
+        add_authorized_signer (an_authorized_signer: PERSON)
+                do
+                        check
+                                authorized_signers_only_one: get_authorized_signers.count = 0
+                        end
+                        Precursor (an_authorized_signer)
+                end
+
+feature {NONE} -- Implementation
+
+        set_default_transfer_minamount
+                do
+                        set_transfer_minamount (1.0)
+                end
 
 invariant
         authorized_signers_only_one: authorized_signers.count = 1
+        authorized_signers_attached: authorized_signers.linear_representation /= Void
+        authorized_signers_only_retirees:
+                (attached authorized_signers.linear_representation as signers) implies signers.for_all(
+                        agent (person: PERSON): BOOLEAN
+                                do
+                                        Result := attached {RETIREE} person
+                                end)
 end