11.5: Stack Example (3)

-- Class STACK[G] declaration (continued)

feature -- Element change

put(x:G) is -- add x on top

require - pre-condition

not full

do …

ensure -- post-condition

not empty; item = x; count = old count + 1

end

remove is -- Remove top element

require not empty

do …

ensure

not full; count = old count - 1

end

Previous slide

Next slide

Back to first slide

View graphic version