From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e7e108bbafde0f02,start
X-Google-Attributes: gid103376,public
From: Jan Wuyts <Jan.Wuyts@alcatel.be>
Subject: Constraint or what?
Date: 2000/02/10
Message-ID: <38A2A395.FD028B73@alcatel.be>#1/1
X-Deja-AN: 584072300
Content-Transfer-Encoding: 7bit
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: usenet@news.bel.alcatel.be
X-Trace: bt02e2.god.bel.alcatel.be 950182863 22573 138.203.9.71 (10 Feb 2000
 11:41:03 GMT)
Organization: Alcatel Bell Space
Mime-Version: 1.0
Reply-To: Jan.Wuyts@alcatel.be
NNTP-Posting-Date: 10 Feb 2000 11:41:03 GMT
Newsgroups: comp.lang.ada
Date: 2000-02-10T11:41:03+00:00
List-Id: <comp.lang.ada>

Hi guys,

We're doing a port Alsys -> VADS or whatever they are called these
days.  This maybe a stupid question but I'll take the risk.

The Alsys didn't complain on the construct below but the VADS one does. 
I know about the restrictions on UNCHECKED_CONVERSION and the VADS
documentation says the target type cannot be an unconstraint array but I
assumed it was constraint.  So, why does the VADS compiler issue an
error...

Can anyone help me?

Here is what I do:

--------------------
...in ADT_ADU...
   MAX_BINARY_BUFFER_SIZE : constant integer
      := ADT_ADU_DESCRIPTION.MAX_BINARY_BUFFER_SIZE;
   subtype T_BINARY_BUFFER_SIZE is 
			INTEGER range 0..MAX_BINARY_BUFFER_SIZE;
   type T_BINARY_BUFFER is array (T_BINARY_BUFFER_SIZE range <>) of
             NUMERIC_TYPES.UNSIGNED_INTEGER8;

... in NUMERIC_TYPES ...
  type UNSIGNED_INTEGER8 is range 0 .. 255;
  for UNSIGNED_INTEGER8'size use 8;

  type UNSIGNED_INTEGER8_ARRAY is 
		array (POSITIVE range <>) of UNSIGNED_INTEGER8;
  pragma PACK (UNSIGNED_INTEGER8_ARRAY);

  subtype BYTE_ARRAY is  UNSIGNED_INTEGER8_ARRAY;

... in the failing procedure...
DUMP_BIN_BUF:
declare
    BUFSIZ : constant ADT_ADU.T_BINARY_BUFFER_SIZE 
              			:= ADT_ADU.BINARY_BUFFER_SIZE(ADU);
    BUF : ADT_ADU.T_BINARY_BUFFER(1..BUFSIZ);
    subtype LIMITED_BYTE_ARRAY_RANGE is 
		POSITIVE range 1..BUFSIZ +1;

    subtype LIMITED_BYTE_ARRAY is NUMERIC_TYPES.BYTE_ARRAY
					(LIMITED_BYTE_ARRAY_RANGE);
    function TO_BYTE_ARRAY is new
		UNCHECKED_CONVERSION (TARGET=> LIMITED_BYTE_ARRAY,
				SOURCE=> ADT_ADU.T_BINARY_BUFFER); 
	---- This is where the VADS compiler says...
	---- error: RM Appendix F: target type must not be 
	----            unconstrained array or record type

begin
    ADT_ADU.GET_BINARY_BUFFER(ADU, BUF);
    return "BUFFER_SIZE=>"& INTEGER'IMAGE(BUFSIZ) & ","
            & ASCII.LF & "BUFFER=>("
            & ASCII.LF & LOG.DUMP_BYTE_ARRAY( 
                                 TO_BYTE_ARRAY( BUF )
                                             )
            & ASCII.LF & ASCII.HT & ")";
exception
--------------------

In my opinion LIMITED_BYTE_ARRAY is constraint so...

Thanks for the help
-- 
                                        _____________
      Jan Wuyts (RX)                    \     ^     /
                                         \ALC/_\TEL/
------------------------------------------\       /----
 Internet: wuytsj@rsd.bel.alcatel.be       \ ,,, /     
           jan.wuyts@alcatel.be             (. .)      
-----------------------------------------o00-(_)-00o---
Alcatel Bell Space                            V
 Berkenrodelei 33         Phone:    (+32) 3/829.5479
  B-2660 Hoboken          Fax:      (+32) 3/829.5763
     Belgium.