CVS difference for acats/new/bb42001.a

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

--- acats/new/bb42001.a	2016/02/05 05:44:58	1.2
+++ acats/new/bb42001.a	2016/03/29 06:12:09	1.3
@@ -39,6 +39,7 @@
 --
 -- CHANGE HISTORY:
 --     25 Jan 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 procedure BB42001 is
@@ -66,22 +67,22 @@
          Iters := Iters + 1;
       end loop;
       pragma Assert (Iters = Bound, Message =>
-         "Wrong iters=" & Integer'Image(Iters));                    -- OK.
+         "Wrong iters=" & Integer'Image(Iters));              -- OK. {1:22;2}
 
-      pragma Assert (Iters);                                        -- ERROR:
+      pragma Assert (Iters);                                  -- ERROR: {22;2}
 
-      pragma Assert (Iters - Bound);                                -- ERROR:
+      pragma Assert (Iters - Bound);                          -- ERROR: {22;2}
 
-      pragma Assert (My_Obj);                                       -- OK.
+      pragma Assert (My_Obj);                                 -- OK. {22;2}
 
-      pragma Assert (Do_It);                                        -- ERROR:
+      pragma Assert (Do_It);                                  -- ERROR: {22;2}
 
-      pragma Assert (Iters = Bound, Message => Mess);               -- ERROR:
+      pragma Assert (Iters = Bound, Message => Mess);         -- ERROR: {48;2}
 
-      pragma Assert (Iters = Bound, Message => Iters);              -- ERROR:
+      pragma Assert (Iters = Bound, Message => Iters);        -- ERROR: {48;2}
 
       pragma Assert (My_Obj and True,
-                     Message => Integer'Image(Iters));              -- OK.
+                     Message => Integer'Image(Iters));        -- OK. {1:22;2{
 
    end Loop_Counter;
 
@@ -92,15 +93,15 @@
 
       -- Simulating an off-by-one error; pragma Assert in place of
       -- a declarative item.
-      pragma Assert (Check => Result in 1 .. 6);                    -- OK.
+      pragma Assert (Check => Result in 1 .. 6);              -- OK. {22;2}
 
-      pragma Assert (Result);                                       -- ERROR:
+      pragma Assert (Result);                                 -- ERROR: {22;2}
 
-      pragma Assert (Roll, Message => "Oh boy");                    -- ERROR:
+      pragma Assert (Roll, Message => "Oh boy");              -- ERROR: {25;23}
 
-      pragma Assert (Roll > Mess, Message => Float'Image(Roll));    -- OK.
+      pragma Assert (Roll > Mess, Message => Float'Image(Roll));-- OK. {22;2}
 
-      pragma Assert (Result <= 6, Message => Mess);                 -- ERROR:
+      pragma Assert (Result <= 6, Message => Mess);           -- ERROR: {46;2}
 
    begin
       return Result;

Questions? Ask the ACAA Technical Agent