EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Active structures, which always have a current position accessible through a cursor.";
status: "See notice at end of class";
names: cursor_structure, access;
access: cursor, membership;
contents: generic;
date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class CURSOR_STRUCTURE [G]
inherit
ACTIVE [G]
feature -- Access
cursor: CURSOR is
-- Current cursor position
deferred
end;
feature -- Status report
valid_cursor (p: CURSOR): BOOLEAN is
-- Can the cursor be moved to position p?
deferred
end;
feature -- Cursor movement
go_to (p: CURSOR) is
-- Move cursor to position p.
require
cursor_position_valid: valid_cursor (p)
deferred
end;
end -- class CURSOR_STRUCTURE
|
