INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Cursor for recordsets"
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: dale
class RS_CURSOR
inherit

CURSOR_
export
{ANY}
position
redefine
activate,
make,
stop,
target
end
creation {RECORDSET}

make
feature -- Attribute:

target: RECORDSET
feature -- Commands:

at (pos: INTEGER)
-- jump at specified position
require
still_inside: not is_finished
valid_position: 1 <= pos

move (delta: INTEGER)
-- move on ABS(delta) forward if delta > 0 or backward otherwise
require
still_inside: not is_finished
valid_delta: 1 <= position + delta

stop
-- redefined from SIMPLE_CURSOR
feature {RECORDSET}

make (tgt: RECORDSET)
-- ...
end -- class RS_CURSOR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES