CVS difference for acats/new/b611005.a

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

--- acats/new/b611005.a	2016/02/05 05:43:59	1.1
+++ acats/new/b611005.a	2016/03/29 06:12:09	1.2
@@ -41,6 +41,7 @@
 --
 -- CHANGE HISTORY:
 --     04 Feb 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 package B611005 is
@@ -49,22 +50,22 @@
    type Blah is new Integer;
 
    function "+" (Left, Right : Blah) return Blah is (Left)
-       with Pre => Right = 0;                                       -- OK.
+       with Pre => Right = 0;                                  -- OK. {13;1}
 
    function "-" (Left, Right : Blah) return Blah is (Left)
-       with Post => Right = 0;                                      -- OK.
+       with Post => Right = 0;                                 -- OK. {13;1}
 
    function "/" (Left, Right : Blah) return Blah is abstract
-       with Pre => Right /= 0;                                      -- ERROR:
+       with Pre => Right /= 0;                                 -- ERROR: {13;1}
 
    function "*" (Left, Right : Blah) return Blah is abstract
-       with Post => B611005."*"'Result >= Left + Right;             -- ERROR:
+       with Post => B611005."*"'Result >= Left + Right;        -- ERROR: {13;1}
 
    procedure Update (Obj : in out Blah) is null
-       with Pre => Obj >= 0;                                        -- ERROR:
+       with Pre => Obj >= 0;                                   -- ERROR: {13;1}
 
    procedure Bump (Obj : in out Blah) is null
-       with Post => Obj >= 0;                                       -- ERROR:
+       with Post => Obj >= 0;                                  -- ERROR: {13;1}
 
    -- Tagged cases:
    type Root is abstract tagged null record;
@@ -72,18 +73,18 @@
    function Is_OK (Obj : in Root) return Boolean;
 
    procedure OK (Obj : in out Root)
-      with Pre => Is_OK (Obj);                                      -- OK.
+       with Pre => Is_OK (Obj);                                -- OK. {13;1}
 
    procedure Ugh (Obj : in out Blah) is abstract
-       with Pre => Is_OK (Obj);                                     -- ERROR:
+       with Pre => Is_OK (Obj);                                -- ERROR: {13;1}
 
    procedure Ugly (Obj : in out Blah) is abstract
-       with Post => Is_OK (Obj);                                    -- ERROR:
+       with Post => Is_OK (Obj);                               -- ERROR: {13;1}
 
    procedure Flub (Obj : in out Blah) is null
-       with Pre => Is_OK (Obj);                                     -- ERROR:
+       with Pre => Is_OK (Obj);                                -- ERROR: {13;1}
 
    procedure Flab (Obj : in out Blah) is null
-       with Post => Is_OK (Obj);                                    -- ERROR:
+       with Post => Is_OK (Obj);                               -- ERROR: {13;1}
 
 end B611005;

Questions? Ask the ACAA Technical Agent