diff options
Diffstat (limited to 'bank-eiffel/studentaccount.e')
| -rw-r--r-- | bank-eiffel/studentaccount.e | 16 |
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 @@ | |||
| 1 | note | ||
| 2 | description: "Summary description for {STUDENTACCOUNT}." | ||
| 3 | author: "" | ||
| 4 | date: "$Date$" | ||
| 5 | revision: "$Revision$" | ||
| 6 | |||
| 7 | class | 1 | class |
| 8 | STUDENTACCOUNT | 2 | STUDENTACCOUNT |
| 9 | 3 | ||
| 10 | inherit | 4 | inherit |
| 11 | ACCOUNT | 5 | ACCOUNT |
| 6 | redefine | ||
| 7 | set_default_transfer_minamount | ||
| 8 | end | ||
| 12 | 9 | ||
| 13 | create | 10 | create |
| 14 | make | 11 | make |
| 15 | 12 | ||
| 13 | feature {NONE} -- Implementation | ||
| 14 | |||
| 15 | set_default_transfer_minamount | ||
| 16 | do | ||
| 17 | set_transfer_minamount (1.0) | ||
| 18 | end | ||
| 19 | |||
| 16 | invariant | 20 | invariant |
| 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 |
