Re: Why won't this package compile? - ERRORS FIXED & NEW PROBLEMS & New Source Code Listing

["Liddle Feesh" <no_see_reply_address@spam.com>]

Okay, the package SPEC compiles, and I have saved this as queue_package.ads

However - the package body doesn't... I've made the changes as you wonderful
people have suggested, but am still erroring...

One problem was that I was making package body definitions(?) for a
function. The following procedure should not have been included in the
package body. It was declared as (and should stay as - a function).

  procedure is_empty_Queue (q:  queue)
  begin
  null; -- Do nothing
  end is_empty_Queue;

Removing this removed about 10 errors from the program.

The remaining two errors (as reported by ObjectADA 7.2 Compiler) are:

Error: Line 6 col 13 ... Completion required for specification 'initialise',
Continuing
Error: Line 7 col 12 ... Completion required for specification
'is_empty_queue', Continuing

is_empty_queue is a function (I hope to iterate through the list, and return
boolean true/false if empty), and 'initialise' seems to be properly complete
to me.

What on earth is the problem here? It's passed me completely. I have
attached the queue_package.ads file, which contains both Spec and Body.

TIA

--
Liddle Feesh
 '  O 0 o <"//><  ' o'^
(Remove UNDERPANTS to reply)

-- START OF FILE
---------------------------------------------------------------------


-- Queue_Package Spec
---------------------------------------------------------------------
 package queue_package is

  TYPE queue is LIMITED PRIVATE;
   empty_queue   :   EXCEPTION;  -- !! FIRST ERROR REPORTED HERE
          -- !! SECOND ERROR REPORTED HERE
  procedure initialise (q:  in out queue);
  function is_empty_queue (q:  queue) return boolean;
  procedure add(n:  in integer;  q:  in out queue);
  procedure remove(n:  out integer;  q: in out queue);
  --remove raises the exception "empty-queue" if applied to an empty queue

  PRIVATE
  TYPE node;
  TYPE link is ACCESS node;   --ACCESS is a pointer type
  TYPE node is RECORD
    value   :     integer;
    next    :   link :=NULL;
  END RECORD;

  TYPE queue is RECORD
    head :  link;
    tail :  link;
  END RECORD;

 END queue_package;

-- Queue_Package Body
---------------------------------------------------------------------
package body Queue_Package is

 procedure add (n:  in integer;  q:  in out queue) is
 begin
 null; -- Do nothing
 end add;

 procedure remove (n:  out integer;  q: in out queue) is
 begin
 null; -- Do nothing
 end Remove;

 procedure initalise (q:  in out queue) is
 begin
 null; -- Do nothing
 end initalise;

end Queue_Package;

-- END OF FILE
---------------------------------------------------------------------