Added a few descriptions and comments.

2015-04-07 14:13:41 +02:00
parent 24620b228c
commit 20ed000879
10 changed files with 43 additions and 17 deletions
--- a/examples/filter/src/database/database_api.e
+++ b/examples/filter/src/database/database_api.e
@@ -46,8 +46,6 @@ feature -- Access
 			-- User with id `a_id' or name `a_name'.
 		require
 			a_id > 0 xor a_name /= Void
-		local
-			n: like {USER}.name
 		do
 			if a_id > 0 then
 				Result := user_by_id (a_id)