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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (hide annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 1352 byte(s)
Synchronized with ISE 6.0.65740
1 manus_eiffel 91424 indexing
2    
3     description:
4     "Cursors for linked lists"
5 ericb 91477 legal: "See notice at end of class."
6 manus_eiffel 91424
7 ericb 91477 status: "See notice at end of class."
8 manus_eiffel 91424 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 ericb 91477 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 manus_eiffel 91424
57    
58    
59    
60    
61    
62 ericb 91477
63 manus_eiffel 91424 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