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

Contents of /FreeELKS/trunk/library/structures/access/cursor_structure.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: 1267 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2
3 description: "[
4 Active structures, which always have a current position
5 accessible through a cursor.
6 ]"
7 legal: "See notice at end of class."
8
9 status: "See notice at end of class."
10 names: cursor_structure, access;
11 access: cursor, membership;
12 contents: generic;
13 date: "$Date$"
14 revision: "$Revision$"
15
16 deferred class CURSOR_STRUCTURE [G] inherit
17
18 ACTIVE [G]
19
20 feature -- Access
21
22 cursor: CURSOR is
23 -- Current cursor position
24 deferred
25 ensure
26 cursor_not_void: Result /= Void
27 end
28
29 feature -- Status report
30
31 valid_cursor (p: CURSOR): BOOLEAN is
32 -- Can the cursor be moved to position `p'?
33 deferred
34 end
35
36 feature -- Cursor movement
37
38 go_to (p: CURSOR) is
39 -- Move cursor to position `p'.
40 require
41 cursor_position_valid: valid_cursor (p)
42 deferred
43 end
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 CURSOR_STRUCTURE
64
65
66

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23