1 files changed, 88 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/ashenden/non_compliant/ch_17_fg_17_12.vhd b/testsuite/vests/vhdl-93/ashenden/non_compliant/ch_17_fg_17_12.vhd
new file mode 100644
index 000000000..f57c9ffe7
--- /dev/null
+++ b/testsuite/vests/vhdl-93/ashenden/non_compliant/ch_17_fg_17_12.vhd
@@ -0,0 +1,88 @@
+
+-- Copyright (C) 1996 Morgan Kaufmann Publishers, Inc
+
+-- This file is part of VESTs (Vhdl tESTs).
+
+-- VESTs is free software; you can redistribute it and/or modify it
+-- under the terms of the GNU General Public License as published by the
+-- Free Software Foundation; either version 2 of the License, or (at
+-- your option) any later version. 
+
+-- VESTs 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 the GNU General Public License
+-- for more details. 
+
+-- You should have received a copy of the GNU General Public License
+-- along with VESTs; if not, write to the Free Software Foundation,
+-- Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
+
+-- ---------------------------------------------------------------------
+--
+-- $Id: ch_17_fg_17_12.vhd,v 1.2 2001-10-26 16:29:37 paw Exp $
+-- $Revision: 1.2 $
+--
+-- ---------------------------------------------------------------------
+
+package «element_type_simple_name»_ordered_collection_adt is
+
+  -- template: fill in the placeholders to specialize for a particular type
+
+  alias element_type is «element_type»;
+  alias key_type is «key_type»;
+  alias key_of is «key_function» [ element_type return key_type ];
+  alias "<" is «less_than_function» [ key_type, key_type return boolean ];
+
+  -- types provided by the package
+
+  type ordered_collection_object;    -- private
+  type position_object;              -- private
+
+  type ordered_collection is access ordered_collection_object;
+  type position is access position_object;
+
+  -- operations on ordered collections
+
+  function new_ordered_collection return ordered_collection;
+  -- returns an empty ordered collection of element_type values
+
+  procedure insert ( c : inout ordered_collection;  e : in element_type );
+  -- inserts e into c in position determined by key_of(e)
+
+  procedure get_element ( variable p : in position;  e : out element_type );
+  -- returns the element value at position p in its collection
+
+  procedure test_null_position ( variable p : in position;  is_null : out boolean );
+  -- test whether p refers to no position in its collection
+
+  procedure search ( variable c : in ordered_collection;  k : in key_type;
+  p : out position );
+  -- searches for an element with key k in c, and returns the position of
+  -- that element, or, if not found, a position for which test_null_position
+  -- returns true
+
+  procedure find_first ( variable c : in ordered_collection;  p : out position );
+  -- returns the position of the first element of c
+
+  procedure advance ( p : inout position );
+  -- advances p to the next element in its collection,
+  -- or if there are no more, sets p so that test_null_position returns true
+
+  procedure delete ( p : inout position );
+  -- deletes the element at position p from its collection, and advances p
+
+  -- private types: pretend these are not visible
+
+  type ordered_collection_object is
+    record
+      element : element_type;
+      next_element, prev_element : ordered_collection;
+    end record ordered_collection_object;
+
+  type position_object is
+    record
+      the_collection : ordered_collection;
+      current_element : ordered_collection;
+    end record position_object;
+
+end package «element_type_simple_name»_ordered_collection_adt;