/[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 91424 - (show annotations)
Tue Oct 26 18:39:32 2004 UTC (15 years, 3 months ago) by manus_eiffel
File size: 1681 byte(s)
Initial revision

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

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23