summaryrefslogtreecommitdiffstats
path: root/bank-eiffel/studentaccount.e
diff options
context:
space:
mode:
Diffstat (limited to 'bank-eiffel/studentaccount.e')
-rw-r--r--bank-eiffel/studentaccount.e16
1 files changed, 10 insertions, 6 deletions
diff --git a/bank-eiffel/studentaccount.e b/bank-eiffel/studentaccount.e
index d1ccaef..04a9e31 100644
--- a/bank-eiffel/studentaccount.e
+++ b/bank-eiffel/studentaccount.e
@@ -1,18 +1,22 @@
1note
2 description: "Summary description for {STUDENTACCOUNT}."
3 author: ""
4 date: "$Date$"
5 revision: "$Revision$"
6
7class 1class
8 STUDENTACCOUNT 2 STUDENTACCOUNT
9 3
10inherit 4inherit
11 ACCOUNT 5 ACCOUNT
6 redefine
7 set_default_transfer_minamount
8 end
12 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