/[eiffelstudio]/FreeELKS/trunk/library/structures/cursors/linked_list_cursor.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/structures/cursors/linked_list_cursor.e

Parent Directory Parent Directory | Revision Log Revision Log


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

1 indexing
2
3 description:
4 "Cursors for linked lists"
5
6 status: "See notice at end of class"
7 names: linked_list_cursor, cursor;
8 contents: generic;
9 date: "$Date$"
10 revision: "$Revision$"
11
12 class LINKED_LIST_CURSOR [G] inherit
13
14 CURSOR
15
16 create
17 make
18
19 feature {NONE} -- Initialization
20
21 make (active_element: like active; aft, bef: BOOLEAN) is
22 -- Create a cursor and set it up on `active_element'.
23 do
24 active := active_element
25 after := aft
26 before := bef
27 end
28
29 feature {LINKED_LIST} -- Implementation
30
31 active: LINKABLE [G]
32 -- Current element in linked list
33
34 after: BOOLEAN
35 -- Is there no valid cursor position to the right of cursor?
36
37 before: BOOLEAN
38 -- Is there no valid cursor position to the right of cursor?
39
40 invariant
41 not_both: not (before and after)
42 no_active_not_on: active = Void implies (before or after)
43
44 indexing
45
46 library: "[
47 EiffelBase: Library of reusable components for Eiffel.
48 ]"
49
50 status: "[
51 Copyright 1986-2001 Interactive Software Engineering (ISE).
52 For ISE customers the original versions are an ISE product
53 covered by the ISE Eiffel license and support agreements.
54 ]"
55
56 license: "[
57 EiffelBase may now be used by anyone as FREE SOFTWARE to
58 develop any product, public-domain or commercial, without
59 payment to ISE, under the terms of the ISE Free Eiffel Library
60 License (IFELL) at http://eiffel.com/products/base/license.html.
61 ]"
62
63 source: "[
64 Interactive Software Engineering Inc.
65 ISE Building
66 360 Storke Road, Goleta, CA 93117 USA
67 Telephone 805-685-1006, Fax 805-685-6869
68 Electronic mail <info@eiffel.com>
69 Customer support http://support.eiffel.com
70 ]"
71
72 info: "[
73 For latest info see award-winning pages: http://eiffel.com
74 ]"
75
76 end -- class LINKED_LIST_CURSOR
77
78
79

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23