CVS difference for acats/new/b611013.a

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

--- acats/new/b611013.a	2016/02/27 04:35:58	1.1
+++ acats/new/b611013.a	2016/03/29 06:12:09	1.2
@@ -46,6 +46,7 @@
 --
 -- CHANGE HISTORY:
 --     26 Feb 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 package B611013 is
@@ -70,13 +71,13 @@
        with Post =>
           (case N is
              when 2 .. 3 => True,
-             when 4 .. 7 => False);                               -- OK.
+             when 4 .. 7 => False);                          -- OK. {2:11;1}
 
     procedure P02 (N : in out Prime)
        with Post =>
           (case N'Old is
              when 2 .. 3 => True,
-             when 4 .. 7 => False);                               -- OK.
+             when 4 .. 7 => False);                          -- OK. {2:11;1}
 
     -- 5 .. 7 are extra values:
 
@@ -84,13 +85,13 @@
        with Post =>
           (case Glob(N) is
              when 1 .. 3 => True,
-             when 4 .. 7 => False);                               -- ERROR:
+             when 4 .. 7 => False);                          -- ERROR: {2:11;1}
 
     procedure P04 (N : in out Prime)
        with Post =>
           (case Glob(N)'Old is
              when 1 .. 3 => True,
-             when 4 .. 7 => False);                               -- ERROR:
+             when 4 .. 7 => False);                          -- ERROR: {2:11;1}
 
     -- Missing 0 .. 1, 15.. 99:
 
@@ -98,13 +99,13 @@
        with Post =>
           (case Double(N) is
              when 2 | 4 | 6 | 8 => True,
-             when 3 | 5 | 7 | 9..14 => False);                    -- ERROR:
+             when 3 | 5 | 7 | 9..14 => False);               -- ERROR: {2:11;1}
 
     procedure P06 (N : in out Prime)
        with Post =>
           (case Double(N)'Old is
              when 2 | 4 | 6 | 8 => True,
-             when 3 | 5 | 7 | 9..14 => False);                    -- ERROR:
+             when 3 | 5 | 7 | 9..14 => False);               -- ERROR: {2:11;1}
 
     -- 0, 1 are outside of the range of the nominal subtype:
 
@@ -112,13 +113,13 @@
        with Post =>
           (case Prime'(Glob(Double(N))+1) is
              when 0 .. 7 => True,
-             when others => False);                               -- ERROR:
+             when others => False);                          -- ERROR: {2:11;1}
 
     procedure P08 (N : in out Prime)
        with Post =>
           (case Prime'(Glob(Double(N))+1)'Old is
              when 0 .. 7 => True,
-             when others => False);                               -- ERROR:
+             when others => False);                          -- ERROR: {2:11;1}
 
     type Root is tagged record
        T : Tiny;
@@ -130,13 +131,13 @@
        with Post'Class=>
           (case Obj.T is
              when 1 .. 4 => True,
-             when 5 .. 8 => False);                               -- ERROR:
+             when 5 .. 8 => False);                          -- ERROR: {2:11;1}
 
     procedure P42 (Obj : access Root)
        with Post'Class=>
           (case Obj.T'Old is
              when 1 .. 4 => True,
-             when 5 .. 8 => False);                               -- ERROR:
+             when 5 .. 8 => False);                          -- ERROR: {2:11;1}
 
     -- 0, 5 .. 9 are extra:
 
@@ -144,13 +145,13 @@
        with Post'Class=>
           (case Glob(Obj.T) is
              when 0 .. 4 => True,
-             when 5 .. 9 => False);                               -- ERROR:
+             when 5 .. 9 => False);                          -- ERROR: {2:11;1}
 
     procedure P44 (Obj : access Root)
        with Post'Class=>
           (case Glob(Obj.T)'Old is
              when 0 .. 4 => True,
-             when 5 .. 9 => False);                               -- ERROR:
+             when 5 .. 9 => False);                          -- ERROR: {2:11;1}
 
     -- Missing 19 .. 99:
 
@@ -158,13 +159,13 @@
        with Post'Class=>
           (case Double(Obj.T) is
              when 0 .. 10 => True,
-             when 11 ..18 => False);                              -- ERROR:
+             when 11 ..18 => False);                         -- ERROR: {2:11;1}
 
     procedure P46 (Obj : access Root)
        with Post'Class=>
           (case Double(Obj.T)'Old is
              when 0 .. 10 => True,
-             when 11 ..18 => False);                              -- ERROR:
+             when 11 ..18 => False);                         -- ERROR: {2:11;1}
 
     -- Exactly right:
 
@@ -172,13 +173,13 @@
        with Post'Class=>
           (case Glob(Double(Obj.T)) is
              when 1 .. 2 => True,
-             when 3 .. 4 => False);                               -- OK.
+             when 3 .. 4 => False);                          -- OK. {2:11;1}
 
     procedure P48 (Obj : access Root)
        with Post'Class=>
           (case Glob(Double(Obj.T))'Old is
              when 1 .. 2 => True,
-             when 3 .. 4 => False);                               -- OK.
+             when 3 .. 4 => False);                          -- OK. {2:11;1}
 
 end B611013;
 

Questions? Ask the ACAA Technical Agent