pq.sa
Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
-------------------------> GNU Sather - sourcefile <-------------------------
-- Copyright (C) 2000 by K Hopper, University of Waikato, New Zealand --
-- This file is part of the GNU Sather library. It is free software; you may --
-- redistribute and/or modify it under the terms of the GNU Library General --
-- Public License (LGPL) as published by the Free Software Foundation; --
-- either version 2 of the license, or (at your option) any later version. --
-- This library is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/LGPL for more details. --
-- The license text is also available from: Free Software Foundation, Inc., --
-- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA --
--------------> Please email comments to <bug-sather@gnu.org> <--------------
abstract class $PQ{ETP < $IS_LT{ETP}} < $DISPENSER{ETP}
abstract class $PQ{ETP < $IS_LT{ETP}} < $DISPENSER{ETP} is
-- This abstract class is the standard definition of a prioirity
-- queue. Items are popped in the order of high to low priority (however
-- that may be determined!).
-- Version 1.2 Nov 2000. Copyright K Hopper, U of Waikato
-- Development History
-- -------------------
-- Date Who By Detail
-- ---- ------ ------
-- 13 Jul 96 bg Original
-- 13 Mar 97 kh Adapted for style
-- 5 Dec 00 kh Simplified inheritance
top : ETP ;
-- This routine returns the item at the head of the queue.
pop : ETP ;
-- This routine removes and returns the item at the head of the queue.
clear ;
-- This routine empties the queue.
insert(
elem : ETP
) ;
-- This routine inserts the given element into the queue in priority
-- order.
end ; -- $PQ