/[eiffelstudio]/FreeELKS/trunk/library/kernel/hashable.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/kernel/hashable.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91424 - (show annotations)
Tue Oct 26 18:39:32 2004 UTC (15 years, 2 months ago) by manus_eiffel
File size: 1508 byte(s)
Initial revision

1 indexing
2
3 description: "[
4 Values that may be hashed into an integer index,
5 for use as keys in hash tables
6 ]"
7
8 status: "See notice at end of class"
9 date: "$Date$"
10 revision: "$Revision$"
11
12 deferred class
13 HASHABLE
14
15 feature -- Access
16
17 hash_code: INTEGER is
18 -- Hash code value
19 deferred
20 ensure
21 good_hash_value: Result >= 0
22 end
23
24 feature -- Status report
25
26 is_hashable: BOOLEAN is
27 -- May current object be hashed?
28 -- (True if it is not its type's default.)
29 do
30 Result := (Current /= default)
31 ensure
32 ok_if_not_default: Result implies (Current /= default)
33 end
34
35 indexing
36
37 library: "[
38 EiffelBase: Library of reusable components for Eiffel.
39 ]"
40
41 status: "[
42 Copyright 1986-2001 Interactive Software Engineering (ISE).
43 For ISE customers the original versions are an ISE product
44 covered by the ISE Eiffel license and support agreements.
45 ]"
46
47 license: "[
48 EiffelBase may now be used by anyone as FREE SOFTWARE to
49 develop any product, public-domain or commercial, without
50 payment to ISE, under the terms of the ISE Free Eiffel Library
51 License (IFELL) at http://eiffel.com/products/base/license.html.
52 ]"
53
54 source: "[
55 Interactive Software Engineering Inc.
56 ISE Building
57 360 Storke Road, Goleta, CA 93117 USA
58 Telephone 805-685-1006, Fax 805-685-6869
59 Electronic mail <info@eiffel.com>
60 Customer support http://support.eiffel.com
61 ]"
62
63 info: "[
64 For latest info see award-winning pages: http://eiffel.com
65 ]"
66
67 end -- class HASHABLE
68
69
70

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23