Automatic generation produced by ISE Eiffel
note description: "Stacks implemented by resizable arrays" library: "Free implementation of ELKS library" legal: "See notice at end of class." status: "See notice at end of class." names: dispenser, array representation: array access: fixed, lifo, membership size: fixed contents: generic date: "$Date: 2016-03-02 13:15:09 -0800 (Wed, 02 Mar 2016) $" revision: "$Revision: 98557 $" class interface ARRAYED_STACK [G] create make create {ARRAYED_STACK} make_filled feature -- Element change extend (v: like item) -- Push `v' on top. -- Was declared in ARRAYED_STACK as synonym of put and force. put (v: like item) -- Push `v' on top. -- Was declared in ARRAYED_STACK as synonym of extend and force. force (v: like item) -- Push `v' on top. -- Was declared in ARRAYED_STACK as synonym of extend and put. feature -- Removal remove -- Remove top item. require else not_empty: count /= 0 feature -- Conversion linear_representation: ARRAYED_LIST [G] -- Representation as a linear structure -- (in the reverse order of original insertion) note copyright: "Copyright (c) 1984-2016, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class ARRAYED_STACK -- Generated by ISE Eiffel --
For more details: www.eiffel.com