summaryrefslogtreecommitdiffstats
path: root/bank-eiffel/retireeaccount.e
diff options
context:
space:
mode:
Diffstat (limited to 'bank-eiffel/retireeaccount.e')
-rw-r--r--bank-eiffel/retireeaccount.e18
1 files changed, 11 insertions, 7 deletions
diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e
index cf9bc91..3db0cd4 100644
--- a/bank-eiffel/retireeaccount.e
+++ b/bank-eiffel/retireeaccount.e
@@ -1,18 +1,22 @@
1note
2 description: "Summary description for {RETIREEACCOUNT}."
3 author: ""
4 date: "$Date$"
5 revision: "$Revision$"
6
7class 1class
8 RETIREEACCOUNT 2 RETIREEACCOUNT
9 3
10inherit 4inherit
11 ACCOUNT 5 ACCOUNT
12 6 redefine
7 set_default_transfer_minamount
8 end
9
13create 10create
14 make 11 make
15 12
13feature {NONE} -- Implementation
14
15 set_default_transfer_minamount
16 do
17 set_transfer_minamount (1.0)
18 end
19
16invariant 20invariant
17 authorized_signers_only_one: authorized_signers.count = 1 21 authorized_signers_only_one: authorized_signers.count = 1
18 authorized_signers_attached: authorized_signers.linear_representation /= Void 22 authorized_signers_attached: authorized_signers.linear_representation /= Void