Re: Can .ads be compiled alone?

[Shark8 <OneWingedShark@gmail.com>]

On 07-Nov-14 00:48, Chris Moore wrote:
>
> You cannot generate code from a spec.

That's not /entirely/ true; in Ada 2012:

-----------------------
--  ADS_Example.ads  --
-----------------------

pragma Ada_2012;

Package ADS_Example is

    -- The stupid old reverse-a-string beginner's exercise.
    Function Reverse_String( Input : String ) return string;

private

    Function Reverse_String( Input : String ) return string is
      (case Input'Length is
          when 0 | 1  => Input,
          when others => Input(Input'Last) &
                 Reverse_String( 
Input(Input'First..Positive'Pred(Input'Last)) )
      );

End ADS_Example;


---------------
-- Main.ads  --
---------------

with
Ada.Text_IO,
ADS_Example;

Procedure Main is
   Text : constant String:= "This is a test.";
begin
    Ada.Text_IO.Put_Line( "Starting." );
    Ada.Text_IO.Put_Line( "Text:     " & Text );
    Ada.Text_IO.Put_Line( "Reversed: " & ADS_Example.Reverse_String(Text) );
    Ada.Text_IO.Put_Line( "Finished." );
end Main;