CVS difference for acats/new/b611012.a

--- acats/new/b611012.a	2016/02/27 04:35:58	1.1
+++ acats/new/b611012.a	2016/03/29 06:12:09	1.2
@@ -45,6 +45,7 @@
 --
 -- CHANGE HISTORY:
 --     26 Feb 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 package B611012 is
@@ -54,58 +55,59 @@
     function Foo (N : in Natural) return Natural is (N*2);
 
     function F01 (N : in Natural) return Natural
-       with Post => F01'Result = N'Old;                           -- OK.
+       with Post => F01'Result = N'Old;                       -- OK. {21;1}
 
     function F02 (N : in Natural) return Natural
-       with Post => F02'Result'Old = N;                           -- ERROR:
+       with Post => F02'Result'Old = N;                       -- ERROR: {21;5}
 
     function F03 (S : in String; N : in Natural)
        return Natural
-       with Post => S(F03'Result)'Old in 'A' .. 'F';              -- ERROR:
+       with Post => S(F03'Result)'Old in 'A' .. 'F';          -- ERROR: {21;15}
 
     function F04 (N : in Natural) return Natural
-       with Post => N = Foo(F04'Result)'Old;                      -- ERROR:
+       with Post => N = Foo(F04'Result)'Old;                  -- ERROR: {25;1}
 
     function F05 (N : in Natural) return Natural
-       with Post => N = Foo(F01(F05'Result/2))'Old;               -- ERROR:
+       with Post => N = Foo(F01(F05'Result/2))'Old;           -- ERROR: {25;1}
 
     -- 'Old 'Old checks:
 
     procedure P06 (N : in out Natural)
-       with Post => N = N'Old * 2;                                -- OK.
+       with Post => N = N'Old * 2;                            -- OK. {25;5}
 
     procedure P07 (N : in out Natural)
-       with Post => N = Natural'(N'Old * 2)'Old;                  -- ERROR:
+       with Post => N = Natural'(N'Old * 2)'Old;              -- ERROR: {25;1}
 
     procedure P08 (N : in out Natural)
-       with Post => N'Old'Old = N;                                -- ERROR:
+       with Post => N'Old'Old = N;                            -- ERROR: {21;5}
 
     procedure P09 (S : in String; N : in out Natural)
-       with Post => S(N'Old)'Old in '0' .. '9' | 'A' .. 'Z';      -- ERROR:
+       with Post => S(N'Old)'Old in '0' .. '9' | 'A' .. 'Z';  -- ERROR: {21;28}
 
     procedure P10 (N : in out Natural)
-       with Post => Foo(N'Old)'Old in 1 .. 92;                    -- ERROR:
+       with Post => Foo(N'Old)'Old in 1 .. 92;                -- ERROR: {21;12}
 
     procedure P11 (N : in out Natural)
-       with Post => Foo(F01(N'Old / 2) - 4)'Old in 1 .. 92;       -- ERROR:
+       with Post => Foo(F01(N'Old / 2) - 4)'Old in 1 .. 92;   -- ERROR: {21;12}
 
     -- Quantified expr:
 
     procedure P12 (S : in out String)
        with Post =>
-          (for all I in S'range => S'Old(I) in 'A' .. 'Z');       -- OK.
+          (for all I in S'range => S'Old(I) in 'A' .. 'Z');   -- OK. {36;19}
 
     procedure P14 (S : in out String)
        with Post =>
-          (for all I in S'range => S(I)'Old in 'A' .. 'Z');       -- ERROR:
+          (for all I in S'range => S(I)'Old in 'A' .. 'Z');   -- ERROR: {36;16}
 
     procedure P15(S : in out String)
        with Post =>
-          (for all I in S'range => S(I'Old) in 'A' .. 'Z');       -- ERROR:
+          (for all I in S'range => S(I'Old) in 'A' .. 'Z');   -- ERROR: {38;17}
 
     procedure P16(S : in out String)
        with Post =>
-          (for all I in S'range => S(Foo(I))'Old in 'A' .. 'Z');  -- ERROR:
+          (for all I in S'range =>
+                               S(Foo(I))'Old in 'A' .. 'Z');  -- ERROR: {36;16}
 
 end B611012;