Help withing Operators

Help withing Operators

[Hovers]

I want to find out how you overide a large number of operators.  I know you
can overwrite them one at a time, but if all the operators are contained
within a package, can you, in some way with that package's operators?


Using ADA95

Appreciate any help

Re: Help withing Operators

[Wes Groleau]

Hovers wrote:
> 
> I want to find out how you overide a large number of operators.  I know you
> can overwrite them one at a time, but if all the operators are contained
> within a package, can you, in some way with that package's operators?
> 
> Using ADA95
> 
> Appreciate any help


IF you mean what I think you mean,


with Matrix_Package;
procedure Demo is

   Sample_1 : constant Matrix_Package.Matrix :=
             Matrix_Package.Random_Square_Matrix (Size => 5);

   Sample_2 : constant Matrix_Package.Matrix :=
             Matrix_Package.Random_Square_Matrix (Size => 5);

   Result   : constant Matrix_Package.Matrix :=
                Sample_1 * Sample_2 + Sample_2 * Sample_1;
                -- illegal; "+" and "*" are not visible

   use type Matrix_Package.Matrix;
   -- after this, it's legal.  I'd give you the RM paragraph numbers,
   -- but I'm just too blame lazy.

Re: Help withing Operators

[Gautier de Montmollin]

> I want to find out how you overide a large number of operators.  I know you
> can overwrite them one at a time, but if all the operators are contained
> within a package, can you, in some way with that package's operators?

Imagine you want to switch between classical integers and multi-precision
integers defined in a package with operators.
The with+use clause for this package will make all the operators defined there
available. Then, you define your type

  subtype myint is integer

or 

  subtype myint is multi_int

to use the type (and associated operators) you want. That's it...

-- 
Gautier

_____\\________________\_______\
http://members.xoom.com/gdemont/

Re: Help withing Operators

[Matthew Heaney]

In article <810os4$lko$1@trog.dera.gov.uk> , "Hovers" 
<hovers@dera.gov.uk> wrote:

> I want to find out how you overide a large number of operators.

Be more specific about what you're trying to do.  Give a *small* but
complete set of code.

Do you want to "override" operators of a type?  Or keep the operators,
but make them directly visible at their point of use?

Do you want to override the operators of a tagged type or nontagged
type?

Do you want to override only the "operatORS," or do you mean all the
"operatIONS" of the type?


> I know you
> can overwrite them one at a time, but if all the operators are contained
> within a package, can you, in some way with that package's operators?

You can get direct visibility to the operators by using a "use type"
clause, or by renaming just the ones you're interested in.

But you said override, so I'm not sure "use type" is what you want.

BTW: why do you want to override the operators of a type?

--
I see no good reasons why the views given in this volume should shock
the religious feelings of anyone.

Charles Darwin, The Origin of Species