diff options
| author | manuel <manuel@mausz.at> | 2011-05-23 20:37:54 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-05-23 20:37:54 +0200 |
| commit | 1daf62f05c19e6f96d16d3688055dfd20d89d2b8 (patch) | |
| tree | 4e79c5894ee9f5c1d350565e6aae2f9dbd31deaa /bank-eiffel/studentaccount.e | |
| parent | e03195a9325d2671208efc45f4a4d083664eafe2 (diff) | |
| download | foop-1daf62f05c19e6f96d16d3688055dfd20d89d2b8.tar.gz foop-1daf62f05c19e6f96d16d3688055dfd20d89d2b8.tar.bz2 foop-1daf62f05c19e6f96d16d3688055dfd20d89d2b8.zip | |
- add tests
- remove notes
- fix minamount for subaccounts
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 |
