CVS difference for acats/new/b611007.a

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

--- acats/new/b611007.a	2016/02/25 05:53:39	1.1
+++ acats/new/b611007.a	2016/03/29 06:12:09	1.2
@@ -43,29 +43,30 @@
 --
 -- CHANGE HISTORY:
 --     24 Feb 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 package B611007 is
 
    task type Tsk1 (D : Natural) is
 
-      entry E1 (N : Natural) with Pre => N > D;                    -- OK.
+      entry E1 (N : Natural) with Pre => N > D;                 -- OK. {35}
 
-      entry E2 (N : Natural) with Pre'Class => N > D;              -- ERROR:
+      entry E2 (N : Natural) with Pre'Class => N > D;           -- ERROR: {35}
 
-      entry E3 (N : in out Natural) with Post => N > D;            -- OK.
+      entry E3 (N : in out Natural) with Post => N > D;         -- OK. {42}
 
-      entry E4 (N : in out Natural) with Post'Class => N > D;      -- ERROR:
+      entry E4 (N : in out Natural) with Post'Class => N > D;   -- ERROR: {42}
 
    private
 
-      entry E5 (N : Natural) with Pre => N > D;                    -- OK.
+      entry E5 (N : Natural) with Pre => N > D;                 -- OK. {35}
 
-      entry E6 (N : Natural) with Pre'Class => N > D;              -- ERROR:
+      entry E6 (N : Natural) with Pre'Class => N > D;           -- ERROR: {35}
 
-      entry E7 (N : in out Natural) with Post => N > D;            -- OK.
+      entry E7 (N : in out Natural) with Post => N > D;         -- OK. {42}
 
-      entry E8 (N : in out Natural) with Post'Class => N > D;      -- ERROR:
+      entry E8 (N : in out Natural) with Post'Class => N > D;   -- ERROR: {42}
 
    end Tsk1;
 
@@ -73,69 +74,69 @@
 
       function Is_Open return Boolean;
 
-      function Mode return Natural with Pre => Is_Open;            -- OK.
+      function Mode return Natural with Pre => Is_Open;         -- OK. {41}
 
       function Foob (N : Natural) return Natural
-         with Pre'Class => N > D;                                  -- ERROR:
+         with Pre'Class => N > D;                               -- ERROR: {15}
 
       function La_Mode return Natural
-         with Post => La_Mode'Result > D;                          -- OK.
+         with Post => La_Mode'Result > D;                       -- OK. {15}
 
       function Pie return Natural
-         with Post'Class => Pie'Result > D;                        -- ERROR:
+         with Post'Class => Pie'Result > D;                     -- ERROR: {15}
 
       procedure P1 (N : in out Natural)
-         with Pre => N > D;                                        -- OK.
+         with Pre => N > D;                                     -- OK. {15}
 
       procedure P2 (N : in out Natural)
-         with Pre'Class => N > D;                                  -- ERROR:
+         with Pre'Class => N > D;                               -- ERROR: {15}
 
       procedure P3 (N : in out Natural)
-         with Post => N > D;                                       -- OK.
+         with Post => N > D;                                    -- OK. {15}
 
       procedure P4 (N : in out Natural)
-         with Post'Class => N > D;                                 -- ERROR:
+         with Post'Class => N > D;                              -- ERROR: {15}
 
-      entry E1 (N : in out Natural) with Pre => N > D;             -- OK.
+      entry E1 (N : in out Natural) with Pre => N > D;          -- OK. {42}
 
-      entry E2 (N : in out Natural) with Pre'Class => N > D;       -- ERROR:
+      entry E2 (N : in out Natural) with Pre'Class => N > D;    -- ERROR: {42}
 
-      entry E3 (N : in out Natural) with Post => N > D;            -- OK.
+      entry E3 (N : in out Natural) with Post => N > D;         -- OK. {42}
 
-      entry E4 (N : in out Natural) with Post'Class => N > D;      -- ERROR:
+      entry E4 (N : in out Natural) with Post'Class => N > D;   -- ERROR: {42}
 
    private
 
-      function F1 return Natural with Pre => Is_Open;              -- OK.
+      function F1 return Natural with Pre => Is_Open;           -- OK. {39}
 
       function F2 (N : Natural) return Natural
-         with Pre'Class => N > D;                                  -- ERROR:
+         with Pre'Class => N > D;                               -- ERROR: {15}
 
       function F3 return Natural
-         with Post => F3'Result > D;                               -- OK.
+         with Post => F3'Result > D;                            -- OK. {15}
 
       function F4 return Natural
-         with Post'Class => F4'Result > D;                         -- ERROR:
+         with Post'Class => F4'Result > D;                      -- ERROR: {15}
 
       procedure P5 (N : in out Natural)
-         with Pre => N > D;                                        -- OK.
+         with Pre => N > D;                                     -- OK. {15}
 
       procedure P6 (N : in out Natural)
-         with Pre'Class => N > D;                                  -- ERROR:
+         with Pre'Class => N > D;                               -- ERROR: {15}
 
       procedure P7 (N : in out Natural)
-         with Post => N > D;                                       -- OK.
+         with Post => N > D;                                    -- OK. {15}
 
       procedure P8 (N : in out Natural)
-         with Post'Class => N > D;                                 -- ERROR:
+         with Post'Class => N > D;                              -- ERROR: {15}
 
-      entry E5 (N : in out Natural) with Pre => N > D;             -- OK.
+      entry E5 (N : in out Natural) with Pre => N > D;          -- OK. {42}
 
-      entry E6 (N : in out Natural) with Pre'Class => N > D;       -- ERROR:
+      entry E6 (N : in out Natural) with Pre'Class => N > D;    -- ERROR: {42}
 
-      entry E7 (N : in out Natural) with Post => N > D;            -- OK.
+      entry E7 (N : in out Natural) with Post => N > D;         -- OK. {42}
 
-      entry E8 (N : in out Natural) with Post'Class => N > D;      -- ERROR:
+      entry E8 (N : in out Natural) with Post'Class => N > D;   -- ERROR: {42}
 
       M : Natural := 0;
    end Prot1;

Questions? Ask the ACAA Technical Agent