Passing arrays to procedures

Passing arrays to procedures

[xadian]

Hi,

I just wanted to pass an array to a procedure.
A procedure head like this:

procedure procname (n : in Integer; v1 : in array;) is ...

it causes the following error:

anonymous array definition not allowed here.
Same for array(Integer range 1..2) of Integer. The procedure is an extra 
file so there are no arraynames of the main procedure available for the 
parameter part.
Anyone knows why this error occurs and how to fix it?!

thx
Xadian

Re: Passing arrays to procedures

[Alex R. Mosteo]

xadian wrote:
> Hi,
> 
> I just wanted to pass an array to a procedure.
> A procedure head like this:
> 
> procedure procname (n : in Integer; v1 : in array;) is ...
> 
> it causes the following error:
> 
> anonymous array definition not allowed here.
> Same for array(Integer range 1..2) of Integer. The procedure is an extra 
> file so there are no arraynames of the main procedure available for the 
> parameter part.
> Anyone knows why this error occurs and how to fix it?!

You must declare an array type and use it in the function declaration:

type Blah is array (Integer range <>) of Something;

procedure Procname (N : in Integer; v1 : in Blah) is...

of course you can declare the array type where it best fit your design.

Re: Passing arrays to procedures

[Martin Krischik]

xadian wrote:

> Hi,
> 
> I just wanted to pass an array to a procedure.
> A procedure head like this:
> 
> procedure procname (n : in Integer; v1 : in array;) is ...
> 
> it causes the following error:
> 
> anonymous array definition not allowed here.
> Same for array(Integer range 1..2) of Integer. The procedure is an extra
> file so there are no arraynames of the main procedure available for the
> parameter part.
> Anyone knows why this error occurs and how to fix it?!

You can only use named subtypes as procedure parameters:

Programming:Ada:Subtypes#named_subtype

You might also want to read:

Programming:Ada:Types:array

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com

Re: Passing arrays to procedures

[xadian]

Alex R. Mosteo wrote:
> 
> 
> You must declare an array type and use it in the function declaration:
> 
> type Blah is array (Integer range <>) of Something;
> 
> procedure Procname (N : in Integer; v1 : in Blah) is...
> 
> of course you can declare the array type where it best fit your design.

Well actually I have no idea where to declare that type...
I've got two files. One with that procedure and one with the main 
procedure. In the main procedure I call that other one.
The declaration can't be in the main procedure because it wont be known 
in the procedure (thats what the compiler sais) and it can't be declared 
  in the seperate procedure-file, because there is no way to declare sth 
before the procedure starts.
I already tried to declare both proedures in one file but then it sais 
sth like "end of file expected" after the "end;" of the first of these 
two procedures...
So where now can I declare that type?!

xadian

PS The array i want to pass has a variable size, so there is no way to 
use a contraint one (if that is important).

Re: Passing arrays to procedures

[tmoran]

>  in the seperate procedure-file, because there is no way to declare sth
>before the procedure starts.
  You need to put the array and procedure declarations together in a
public package, eg

    package Processing is

      type Blah is array (Integer range <>) of ...

      procedure Procname (N : in Integer; v1 : in Blah);

    end Processing;

and then the (private) body of the callee goes in the package body:

    package body Processing is
      procedure Procname (N : in Integer; v1 : in Blah) is
      ...
      end Procname;
    end Processing;

Then the caller will look something like
  with Processing;
  procedure Main is
    X : Processing.Blah(1 .. 10);
  begin
    Processing.Procname(17, X);
    -- or
    Processing.Procname(N=>17, v1=>X);

>I already tried to declare both proedures in one file but then it sais
>sth like "end of file expected" after the "end;" of the first of these
  The Ada language is not defined in terms of files, but rather in terms
of (separately compilable) "compilation units" - eg packages, library
level procedures, and some other stuff.  Some compilers (eg, GNAT) impose
a restriction that a single file can contain only a single compilation
unit.  I'm guessing you're using GNAT and that's why you get that
error message.

Re: Passing arrays to procedures

[Martin Krischik]

xadian wrote:

> Alex R. Mosteo wrote:
>> 
>> 
>> You must declare an array type and use it in the function declaration:
>> 
>> type Blah is array (Integer range <>) of Something;
>> 
>> procedure Procname (N : in Integer; v1 : in Blah) is...
>> 
>> of course you can declare the array type where it best fit your design.
> 
> Well actually I have no idea where to declare that type...
> I've got two files. One with that procedure and one with the main
> procedure. In the main procedure I call that other one.
> The declaration can't be in the main procedure because it wont be known
> in the procedure (thats what the compiler sais) and it can't be declared
>   in the seperate procedure-file, because there is no way to declare sth
> before the procedure starts.
> I already tried to declare both proedures in one file but then it sais
> sth like "end of file expected" after the "end;" of the first of these
> two procedures...
> So where now can I declare that type?!

You need a package. Sad that I have no wiki page for packages handy. But
basicly:

package Name
is
  type ....
end package;

will do

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com

Re: Passing arrays to procedures

[Jeffrey Carter]

Ada allows nested scopes:

procedure Outer is
    type Blah is array (Something range <>) of Something_Else;

    procedure Inner (X : in Blah) is
    ...
    end Blah;

    V : Blah := ...;
begin -- Outer
    Inner (X => V);
end Outer;

However, the primary form of encapsulation in Ada is the package.

-- 
Jeff Carter
"If I could find a sheriff who so offends the citizens of Rock
Ridge that his very appearance would drive them out of town ...
but where would I find such a man? Why am I asking you?"
Blazing Saddles
37