NICE-ESG-Libs Digest Wed, 22 Mar 95 Volume 1 : Issue 204
Today's Topics:
HASH_ANY correction
NICE Eiffel Standards Group -- Library Committee Mailing List
To post to list:
NICE-ESG-Libs@atlanta.twr.com
To send mail to the Chairman of the committee:
NICE-ESG-Libs-chair@atlanta.twr.com
Administrative matters (sign up, unsubscribe, mail problems, etc):
NICE-ESG-Libs-request@atlanta.twr.com
Date: 22 Mar 1995 08:03:19-GMT
From: paj
Subject: HASH_ANY correction
To: NICE-ESG-Libs@twr.com
Whoops. I had a brainstorm yesterday. What I meant to write was:
class HASH_ANY feature
hash_value (obj: ANY): INTEGER is
require
non_void: obj /= Void;
ensure
Result >= 0;
end;
Paul.
--
Paul Johnson | GEC-Marconi Ltd is not responsible for my opinions. |
+44 245 473331 ext 3245 +-----------+-----------------------------------------+
Work: | You are lost in a twisty maze of little
Home: | standards, all different.
