[Ada] Generation of SCOs for aspects

[Arnaud Charlet <charlet at adacore dot com>]

This change to the SCO generation circuitry adds support for Ada 2012 aspects.
SCO lines will be generated for precondition, postcondition, invariant, and
predicate aspects.

The following compilation must produce the indicated CA SCO:

$ gcc -c -fdump-scos -gnata -gnat12 main.adb
$ grep ^CA main.ali
CApost 4:11 c4:19-4:27

procedure Main is

   procedure Add (A : in Integer; B : in Integer; C : out Integer)
     with Post => C = A + B;

   procedure Add (A : in Integer; B : in Integer; C : out Integer)
   is
   begin
      C := A + B;
   end Add;

   R : Integer;
begin
   Add (1, 2, R);
end Main;


2012-12-05  Thomas Quinot  <quinot@adacore.com>

	* par_sco.adb, scos.ads, sco_test.adb, put_scos.adb, put_scos.ads,
	get_scos.adb: Generation of SCOs for aspects.

Attachment: difs
Description: Text document