Perform "or" on a scalar type?

Perform "or" on a scalar type?

[Verner]

Hi,

What is the easyiest way to persorm an "or" operation on a Unsigned_16 and a
scalar type?

Thanks.

/V

Re: Perform "or" on a scalar type?

[Larry Kilgallen]

In article <a5fnvq$6c3$1@newstoo.ericsson.se>, "Verner" <sebastian.madunic@avionics.saab.se> writes:

> What is the easyiest way to persorm an "or" operation on a Unsigned_16 and a
> scalar type?

Perform conversions so they have the same type.

A hallmark of Ada is the notion that conversions are explicit where
in other languages they might be implicit.  The attitude with Ada is
that it is not sufficient for you to understand what you want -- you
must specify it to the compiler.

Re: Perform "or" on a scalar type?

[Gautier Write-only-address]

Verner:

>What is the easyiest way to persorm an "or" operation on a
>Unsigned_16 and a scalar type?

If you want to perform your "or" between u: Unsigned_16 and
s: A_scalar_Type, convert to Unsigned_16 where this
operator is meaningful and uniquely defined.

u or Unsigned_16(s)

HTH
________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, address on the Web site!


_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.

Re: Perform "or" on a scalar type?

[Matthew Heaney]

"Verner" <sebastian.madunic@avionics.saab.se> wrote in message
news:a5fnvq$6c3$1@newstoo.ericsson.se...
> What is the easyiest way to persorm an "or" operation on a Unsigned_16 and
a
> scalar type?

Unsigned_16 already has a build-in "or" operation:

declare
   I, J : Unsigned_16 := ...;
begin
   ... I or J ...
end;

If you want to mix U16 with other types (a signed integer, say), then you'll
have to convert the type to unsigned.  You have to decide whether a straight
type conversion is appropriate, or whether Unchecked_Conversion is
necessary, e.g.

function To_Unsigned is new Unchecked_Conversion (Integer_16, Unsigned_16);

declare
   I : Unsigned_16 := ...;
   J : Integer_16 := ...;
   K : Unsigned_16 := I or To_Unsigned (J);
begin