CVS difference for 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