IParkingStack.pop

Pops an object from the stack.

class IParkingStack

void*

pop

()

out (element) { if (element) { assert (this.n < this._max_length); } else { assert (!this.n); } }

Return Value

Type: void*

object popped from the stack or null if the stack is empty.

Out: If an element is returned, less than max_length elements must be on the stack, otherwise the stack must be empty.