diff options
| -rw-r--r-- | bank-eiffel/account.e | 2 | ||||
| -rw-r--r-- | bank-eiffel/tests/test_account.e | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e index 0a7d202..78a293f 100644 --- a/bank-eiffel/account.e +++ b/bank-eiffel/account.e | |||
| @@ -18,7 +18,7 @@ create | |||
| 18 | -- -> if not: add a getter (via Result or so..) and move them to {NONE} | 18 | -- -> if not: add a getter (via Result or so..) and move them to {NONE} |
| 19 | -- much other stuff to test like: lower creditline so that balance will be invalid | 19 | -- much other stuff to test like: lower creditline so that balance will be invalid |
| 20 | 20 | ||
| 21 | feature -- Access | 21 | feature {NONE} -- Access |
| 22 | 22 | ||
| 23 | creditline_range: ARRAY[REAL_64] | 23 | creditline_range: ARRAY[REAL_64] |
| 24 | attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set | 24 | attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set |
diff --git a/bank-eiffel/tests/test_account.e b/bank-eiffel/tests/test_account.e index 3086402..6e65f52 100644 --- a/bank-eiffel/tests/test_account.e +++ b/bank-eiffel/tests/test_account.e | |||
| @@ -39,6 +39,8 @@ feature -- Test routines | |||
| 39 | 39 | ||
| 40 | create account.make (person1, 1.0, 2.0, -50.0, deb_rng, dep_rng, cre) | 40 | create account.make (person1, 1.0, 2.0, -50.0, deb_rng, dep_rng, cre) |
| 41 | account.add_authorized_signer (person2) | 41 | account.add_authorized_signer (person2) |
| 42 | |||
| 43 | |||
| 42 | --assert ("not_implemented", False) | 44 | --assert ("not_implemented", False) |
| 43 | end | 45 | end |
| 44 | 46 | ||
