CVS difference for acats/new/b611002.a

Differences between 1.2 and version 1.3
Log of other versions for file acats/new/b611002.a

--- acats/new/b611002.a	2016/02/05 05:44:58	1.2
+++ acats/new/b611002.a	2016/03/29 06:12:09	1.3
@@ -40,6 +40,7 @@
 --
 -- CHANGE HISTORY:
 --     03 Feb 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 package B611002P is
@@ -64,63 +65,63 @@
 package body B611002P is
 
     procedure No_Spec1 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                                   -- OK.
+       with Pre => P mod 2 = 0 is                              -- OK. {13;1}
     begin
        P := P * 2;
     end No_Spec1;
 
     procedure Spec1 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                                   -- ERROR:
+       with Pre => P mod 2 = 0 is                              -- ERROR: {13;1}
     begin
        P := P * 2;
     end Spec1;
 
     procedure Spec2 (P : in out Natural) is separate
-       with Pre => P mod 2 = 0;                                     -- ERROR:
+       with Pre => P mod 2 = 0;                                -- ERROR: {13;1}
 
     procedure Spec3 (P : in out Natural);
 
     procedure Spec3 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                                   -- ERROR:
+       with Pre => P mod 2 = 0 is                              -- ERROR: {13;1}
     begin
        P := P * 2;
     end Spec3;
 
     function No_Spec4 (P : Natural) return Natural is (P * 2)
-       with Pre => P mod 2 = 0;                                     -- OK.
+       with Pre => P mod 2 = 0;                                -- OK. {13;1}
 
     function Spec4 (P : Natural) return Natural is (P * 2)
-       with Pre => P mod 2 = 0;                                     -- ERROR:
+       with Pre => P mod 2 = 0;                                -- ERROR: {13;1}
 
 
     procedure No_Spec5 (P : in out Natural)
-       with Post => P mod 2 = 0 is                                  -- OK.
+       with Post => P mod 2 = 0 is                             -- OK. {13;1}
     begin
        P := P * 2;
     end No_Spec5;
 
     procedure Spec5 (P : in out Natural)
-       with Post => P mod 2 = 0 is                                  -- ERROR:
+       with Post => P mod 2 = 0 is                             -- ERROR: {13;1}
     begin
        P := P * 2;
     end Spec5;
 
     procedure Spec6 (P : in out Natural) is separate
-       with Post => P mod 2 = 0;                                    -- ERROR:
+       with Post => P mod 2 = 0;                               -- ERROR: {13;1}
 
     procedure Spec7 (P : in out Natural);
 
     procedure Spec7 (P : in out Natural)
-       with Post => P mod 2 = 0 is                                  -- ERROR:
+       with Post => P mod 2 = 0 is                             -- ERROR: {13;1}
     begin
        P := P * 2;
     end Spec7;
 
     function No_Spec8 (P : Natural) return Natural is (P * 2)
-       with Post => P mod 2 = 0;                                    -- OK.
+       with Post => P mod 2 = 0;                               -- OK. {13;1}
 
     function Spec8 (P : Natural) return Natural is (P * 2)
-       with Post => P mod 2 = 0;                                    -- ERROR:
+       with Post => P mod 2 = 0;                               -- ERROR: {13;1}
 
     -- Note: Aspects Pre and Post are illegal on null procedures by
     -- 6.1.1 (9/3), so we don't need to test them here.
@@ -132,13 +133,13 @@
 -- is not required.
 
 separate (B611002P)
-procedure Spec2 (P : in out Natural) is                    -- OPTIONAL ERROR:
+procedure Spec2 (P : in out Natural) is                 -- OPTIONAL ERROR: {1}
 begin
     P := P * 2;
 end Spec2;
 
 separate (B611002P)
-procedure Spec6 (P : in out Natural) is                    -- OPTIONAL ERROR:
+procedure Spec6 (P : in out Natural) is                 -- OPTIONAL ERROR: {1}
 begin
     P := P * 2;
 end Spec6;

Questions? Ask the ACAA Technical Agent