Re: CONSTRAINT_ERROR - why?

[Dennis Lee Bieber <wlfraed@ix.netcom.com>]

Alfred Hilscher fed this fish to the penguins on Saturday 14 December 
2002 02:26 pm:

> 
> Is there no way to avoid this extra assignment? I expected something
> like function "/" (Left, Right : universal_integer) return Byte;
>
        The philosophy of Ada is to assume nothing.

        IE, no hidden type coercions (unlike C, FORTRAN, etc.).
with Interfaces.C; use Interfaces.C;
with Text_IO; use Text_IO;

procedure Test is

    type    BYTE       is new Interfaces.C.Unsigned_Char;

    type Fac_Conf_Struct is
      record
        Struct_Length     : BYTE;
        Filler            : String (1..32);
      end record;


  X : Fac_Conf_Struct;
begin
  Put_Line ("Struct_Length=" & Integer'Image (Fac_Conf_Struct'Size / 
8));
  X.Struct_Length := 33;
  X.Struct_Length := (BYTE(Fac_Conf_Struct'Size / 8));  -- Value is 33, 
too.
end Test;

        Note the EXPLICIT type specification! It could still cause an error 
should the result of the divide exceed the value "BYTE" can contain.


-- 
 > ============================================================== <
 >   wlfraed@ix.netcom.com  | Wulfraed  Dennis Lee Bieber  KD6MOG <
 >      wulfraed@dm.net     |       Bestiaria Support Staff       <
 > ============================================================== <
 >        Bestiaria Home Page: http://www.beastie.dm.net/         <
 >            Home Page: http://www.dm.net/~wulfraed/             <