Definition class STACK as a Specialization of QUEUE.

Integrating Extension and Specialization Inheritance
by Walid Al-Ahmad and Eric Steegmans
Listing 7. Definition class STACK as a Specialization of QUEUE.


view DEQUE  is  QUEUE  { DEQUE }
feature
     Make(..) is
end

class STACK specializes DEQUE
     rename ..
     suppress Tail <wtHead, rdHead>
     -- descendant hiding of operations to add and delete items from other end
end