CVS difference for acats/b4/b490001.a

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

--- acats/b4/b490001.a	1998/09/28 21:51:40	1.2
+++ acats/b4/b490001.a	1999/03/11 00:26:30	1.3
@@ -94,8 +94,7 @@
 --      18 Aug 96   SAIC    ACVC 2.1: Incorporate reviewers' comments.
 --      06 Oct 96   SAIC    Added LM references; Deleted IntCnt case.
 --      24 Feb 97   PWB.CTA Corrected static expression that raised exception.
---  Noted improper error messages at lines 295,298,324
---  (now 297,300,326)
+--      30 Sep 98   EDS     Corrected Type Conversions.
 --!
 
 generic
@@ -291,16 +290,22 @@
 
    type My_String is array (1 .. 4) of Character;
 
-   S1 : constant String    := "High";   -- Static constant.
-   S2 : constant String    := "Dry";    -- Static constant.
+   S1 : constant My_String    := "High";   -- Static constant.
+   S2 : constant My_String    := "Drye";    -- Static constant.
 
-   S3 : constant My_String := String (S1 & S2);                       -- ERROR:
-   -- Static expression fails Length_Check. No, wrong expected type: AVO
+   S3 : constant My_String := S1 & S2;                       -- ERROR:
 
-   S4 : constant My_String := S1 & S1;                                -- ERROR:
-   -- Static expression fails Index_Check.  No, wrong expected type: AVO
+   S4 : constant My_String := My_String'("High") & S2;       -- ERROR:
 
+   S1S : constant String    := "High";   -- Static constant.
+   S2S : constant String    := "Dry";    -- Static constant.
 
+   S3M : constant My_String := My_String (S1S & S2S);           -- OK:
+                                                                -- Not Static
+
+   S4M : constant My_String := My_String(S1S) & My_String(S1S); -- OK:
+                                                                -- Not Static
+
    --
    -- Signed integer types:
    --
@@ -323,8 +328,8 @@
 
    Start_Fraction : constant My_Int := My_Int(1/Scale'Last);          -- OK.
 
-   End_Fraction   : constant My_Int := 1/Scale'First;                 -- ERROR:
-   -- Static expression fails Division_Check. No, can't resolve "/": AVO
+   End_Fraction   : constant My_Int := 1/My_Int(Scale'First);                 -- ERROR:
+                                     -- Static expression fails Division_Check.
 
 
    --

Questions? Ask the ACAA Technical Agent