From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Parsing Ada?
Date: Thu, 04 Jun 2015 12:24:51 +0200
Date: 2015-06-04T12:24:51+02:00 [thread overview]
Message-ID: <mkp8vd$rmh$1@dont-email.me> (raw)
In-Reply-To: <8738282c2a.fsf@adaheads.sparre-andersen.dk>
Le 04/06/2015 08:59, Jacob Sparre Andersen a écrit :
> What I really need is:
>
> + To check that no functions are declared in the public part of the
> package specification.
>
> + To check that no procedures with "out" or "access" parameters are
> declared in the public part of the package specification.
>
> + A list of the procedures declared in the public part of the package
> specification. Including a list of the formal parameters for each
> procedure containing:
>
> - The name of the formal parameter.
> - The functions to call for converting the formal parameter type to
> and from type String.
> - The default value of the formal parameter (if any).
> - The type of the formal parameter (for generating a useful help/error
> message).
>
That clearly looks like a job for ASIS. You can easily do that, with
full overloading and type resolution.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2015-06-04 10:24 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-06-02 11:33 Parsing Ada? Jacob Sparre Andersen
2015-06-02 12:09 ` G.B.
2015-06-02 12:36 ` Jacob Sparre Andersen
2015-06-02 14:47 ` Luke A. Guest
2015-06-02 16:36 ` Dmitry A. Kazakov
2015-06-03 22:39 ` Randy Brukardt
2015-06-04 7:45 ` Dmitry A. Kazakov
2015-06-03 7:58 ` Stephen Leake
2015-06-03 8:36 ` J-P. Rosen
2015-06-03 11:04 ` Simon Wright
2015-06-04 6:59 ` Jacob Sparre Andersen
2015-06-04 10:24 ` J-P. Rosen [this message]
2015-06-04 12:15 ` jan.de.kruyf
2015-06-04 12:30 ` jan.de.kruyf
2015-06-05 8:02 ` Simon Wright
2015-06-08 7:53 ` Jacob Sparre Andersen
2015-06-05 9:34 ` Stephen Leake
2015-06-08 8:34 ` Jacob Sparre Andersen
2015-06-08 22:45 ` wowwomenonwheels205
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox