From 3d70ca15591e4f4db578ba44fda674e6e44a7e56 Mon Sep 17 00:00:00 2001 From: totycro Date: Sun, 22 May 2011 23:12:59 +0200 Subject: members should be private --- bank-eiffel/account.e | 2 +- bank-eiffel/tests/test_account.e | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) 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 -- -> if not: add a getter (via Result or so..) and move them to {NONE} -- much other stuff to test like: lower creditline so that balance will be invalid -feature -- Access +feature {NONE} -- Access creditline_range: ARRAY[REAL_64] 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 create account.make (person1, 1.0, 2.0, -50.0, deb_rng, dep_rng, cre) account.add_authorized_signer (person2) + + --assert ("not_implemented", False) end -- cgit v1.2.3