/[eiffelstudio]/FreeELKS/trunk/library/structures/access/bag.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/structures/access/bag.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: 1703 byte(s)
Initial revision

1 indexing
2
3 description: "[
4 Collections of items, where each item may occur zero
5 or more times, and the number of occurrences is meaningful.
6 ]"
7
8 status: "See notice at end of class"
9 names: bag, access;
10 access: membership;
11 contents: generic;
12 date: "$Date$"
13 revision: "$Revision$"
14
15 deferred class BAG [G] inherit
16
17 COLLECTION [G]
18 redefine
19 extend
20 end
21
22 feature -- Measurement
23
24 occurrences (v: G): INTEGER is
25 -- Number of times `v' appears in structure
26 -- (Reference or object equality,
27 -- based on `object_comparison'.)
28 deferred
29 ensure
30 non_negative_occurrences: Result >= 0
31 end
32
33 feature -- Element change
34
35 extend (v: G) is
36 -- Add a new occurrence of `v'.
37 deferred
38 ensure then
39 one_more_occurrence: occurrences (v) = old (occurrences (v)) + 1
40 end
41
42 indexing
43
44 library: "[
45 EiffelBase: Library of reusable components for Eiffel.
46 ]"
47
48 status: "[
49 Copyright 1986-2001 Interactive Software Engineering (ISE).
50 For ISE customers the original versions are an ISE product
51 covered by the ISE Eiffel license and support agreements.
52 ]"
53
54 license: "[
55 EiffelBase may now be used by anyone as FREE SOFTWARE to
56 develop any product, public-domain or commercial, without
57 payment to ISE, under the terms of the ISE Free Eiffel Library
58 License (IFELL) at http://eiffel.com/products/base/license.html.
59 ]"
60
61 source: "[
62 Interactive Software Engineering Inc.
63 ISE Building
64 360 Storke Road, Goleta, CA 93117 USA
65 Telephone 805-685-1006, Fax 805-685-6869
66 Electronic mail <info@eiffel.com>
67 Customer support http://support.eiffel.com
68 ]"
69
70 info: "[
71 For latest info see award-winning pages: http://eiffel.com
72 ]"
73
74 end -- class BAG
75
76
77

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23