tests/cxb/cxb4001.a

27 --      Check that the specifications of the package Interfaces.COBOL
36 --      package Interfaces.COBOL.  If an implementation provides
37 --      package Interfaces.COBOL, this test must compile, execute, and
50 with Interfaces.COBOL;                                        -- N/A => ERROR
54    package COBOL renames Interfaces.COBOL;
55    use type COBOL.Byte;
56    use type COBOL.Decimal_Element;
60    Report.Test ("CXB4001", "Check the specification of Interfaces.COBOL");
67       TST_Floating : COBOL.Floating;
68       TST_Long_Floating : COBOL.Long_Floating;
70       TST_Binary        : COBOL.Binary;
71       TST_Long_Binary   : COBOL.Long_Binary;
73       TST_Max_Digits_Binary      : constant := COBOL.Max_Digits_Binary;
74       TST_Max_Digits_Long_Binary : constant := COBOL.Max_Digits_Long_Binary;
76       TST_Decimal_Element : COBOL.Decimal_Element;
78       TST_Packed_Decimal : COBOL.Packed_Decimal (1..5) :=
79                                     (others => COBOL.Decimal_Element'First);
82       TST_COBOL_Character : COBOL.COBOL_Character :=
83                                                 COBOL.COBOL_Character'First;
85       TST_Ada_To_COBOL : COBOL.COBOL_Character :=
86                                           COBOL.Ada_To_COBOL (Character'First);
89                               COBOL.COBOL_To_Ada (COBOL.COBOL_Character'First);
92       TST_Alphanumeric : COBOL.Alphanumeric (1..5) :=
97       TST_Numeric : COBOL.Numeric (1..5) := (others => TST_COBOL_Character);
102          CAC_Alphanumeric : COBOL.Alphanumeric(1..5) :=
103                               COBOL.To_COBOL("abcde");
109          CAC_Alphanumeric := COBOL.To_COBOL (CAC_String);
110          CAC_String := COBOL.To_Ada  (CAC_Alphanumeric);
112          COBOL.To_COBOL (CAC_String, CAC_Alphanumeric, CAC_Natural);
113          COBOL.To_Ada (CAC_Alphanumeric, CAC_String, CAC_Natural);
115          raise COBOL.Conversion_Error;
121       --  Formats for COBOL data representations
123       TST_Unsigned   : COBOL.Display_Format := COBOL.Unsigned;
124       TST_Leading_Separate : COBOL.Display_Format := COBOL.Leading_Separate;
125       TST_Trailing_Separate : COBOL.Display_Format := COBOL.Trailing_Separate;
126       TST_Leading_Nonseparate  : COBOL.Display_Format :=
127                                                    COBOL.Leading_Nonseparate;
128       TST_Trailing_Nonseparate : COBOL.Display_Format :=
129                                                    COBOL.Trailing_Nonseparate;
132       TST_High_Order_First  : COBOL.Binary_Format := COBOL.High_Order_First;
133       TST_Low_Order_First   : COBOL.Binary_Format := COBOL.Low_Order_First;
134       TST_Native_Binary     : COBOL.Binary_Format := COBOL.Native_Binary;
137       TST_Packed_Unsigned   : COBOL.Packed_Format := COBOL.Packed_Unsigned;
138       TST_Packed_Signed     : COBOL.Packed_Format := COBOL.Packed_Signed;
141       --  Types for external representation of COBOL binary data
143       TST_Byte_Array : COBOL.Byte_Array(1..5) := (others => COBOL.Byte'First);
148       package bx4001_conv is new COBOL.Decimal_Conversions (bx4001_Decimal);
152          CAGC_Display_Format : COBOL.Display_Format;
154          CAGC_Numeric        : COBOL.Numeric(1..5);
156          CAGC_Packed_Decimal : COBOL.Packed_Decimal (1..5);
157          CAGC_Packed_Format  : COBOL.Packed_Format;
158          CAGC_Byte_Array     : COBOL.Byte_Array (1..5);
159          CAGC_Binary_Format  : COBOL.Binary_Format;
160          CAGC_Binary         : COBOL.Binary;
161          CAGC_Long_Binary    : COBOL.Long_Binary;
217       if COBOL.Byte'First /= 0     or
218          COBOL.Byte'Last  /=  (2 ** COBOL.COBOL_Character'Size) - 1 then
222       if  COBOL.Decimal_Element'First /= 0 then