Definition of the component QUEUE.

Integrating Extension and Specialization Inheritance
by Walid Al-Ahmad and Eric Steegmans
Listing 4. Definition of the component QUEUE.


basic component QUEUE
feature
     Head : INTEGER
        -- index of the first available space in queue.
     Front : REAL is
     Add(elm : REAL) is
     Remove is
     IsFull : BOOLEAN is
     IsEmpty : BOOLEAN is
     Length : INTEGER is
feature { NONE }
     Impl : ARRAY[REAL]	
        -- an array of elements of type real.
end