INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Stacks implemented by resizable arrays"
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
key: dispenser, array
cluster: eiffelbase
class ARRAYED_STACK [G]
inherit

STACK [G]
undefine
consistent,
copy,
is_equal,
prune_all,
replace,
setup
select
extend,
put,
remove
end

ARRAYED_LIST [G]
rename
put as al_put,
extend as al_extend,
force as al_force,
remove as al_remove,
start as finish,
finish as start,
forth as back,
back as forth,
after as before,
before as after
export
{NONE}
all
{ANY}
count,
extendible,
make,
readable,
wipe_out,
writable
{STACK}
back,
finish,
forth,
start
undefine
append,
fill,
readable,
writable
redefine
linear_representation
end
creation

make
feature -- Element change

extend, put, force (v: G)
-- Push `v' on top.
feature -- Removal

remove
-- Remove top item.
require
not_empty: count /= 0
feature -- Conversion

linear_representation: ARRAYED_LIST [G]
-- Representation as a linear structure
-- (in the reverse order of original insertion)
end -- class ARRAYED_STACK

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES