/[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 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years ago) by ericb
File size: 1352 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2
3 description:
4 "Cursors for linked lists"
5 legal: "See notice at end of class."
6
7 status: "See notice at end of class."
8 names: linked_list_cursor, cursor;
9 contents: generic;
10 date: "$Date$"
11 revision: "$Revision$"
12
13 class LINKED_LIST_CURSOR [G] inherit
14
15 CURSOR
16
17 create
18 make
19
20 feature {NONE} -- Initialization
21
22 make (active_element: like active; aft, bef: BOOLEAN) is
23 -- Create a cursor and set it up on `active_element'.
24 do
25 active := active_element
26 after := aft
27 before := bef
28 end
29
30 feature {LINKED_LIST} -- Implementation
31
32 active: LINKABLE [G]
33 -- Current element in linked list
34
35 after: BOOLEAN
36 -- Is there no valid cursor position to the right of cursor?
37
38 before: BOOLEAN
39 -- Is there no valid cursor position to the right of cursor?
40
41 invariant
42 not_both: not (before and after)
43 no_active_not_on: active = Void implies (before or after)
44
45 indexing
46 library: "EiffelBase: Library of reusable components for Eiffel."
47 copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
48 license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
49 source: "[
50 Eiffel Software
51 356 Storke Road, Goleta, CA 93117 USA
52 Telephone 805-685-1006, Fax 805-685-6869
53 Website http://www.eiffel.com
54 Customer support http://support.eiffel.com
55 ]"
56
57
58
59
60
61
62
63 end -- class LINKED_LIST_CURSOR
64
65
66

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23