TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Dale Stanbrough <[log in to unmask]>
Reply To:
Dale Stanbrough <[log in to unmask]>
Wed, 22 Jul 1998 14:49:20 +1000
text/plain (50 lines)
At 10:30 PM -0400 21/7/98, Rich Hilliard wrote:
>> > They were:  --|
>> I believe this is based on an IEEE spec.  Anyone familiar with it?
>> Can't find my own notes on it.
>Now we're really digging into Ada trivia!
>As I recall, Anna had two types of structured comments:
>--: virtual Ada
>--| annotations
>Annotations were the things you want to express about the
>program (invariants, pre-, post conditions, etc.). Virtual
>Ada was the 'scaffolding' you needed to write to give the
>annotations an operational interpretation (over and above
>the code itself you were annotating.)
>IEEE 990-1987, Recommended Practice for Ada as a Program
>Design Language, recommended that "structured comments" be
>"identified by a sentinel character, word or phrase
>immediately following the double dash that indicates a
>comment to an Ada compiler ..." -- but it did not prescribe
>a particular sentinel.
> -- Rich Hilliard

Are there any hooks built into ASIS to support this? I could imagine a
preprocessor being built with ASIS, which would call on the appropriate
routines once the embedded comment symbol is found.

E.g. if we decided on


as the lead in character, followed by a language identifier such as

        "anna.annotations", "anna.virtual"

or the like, a useful facility could be built for not much effort. So long
as the full ASIS/compilation state was available to the called procedure,
then you could do pretty much anything you like. Care would have to be
taken when _several_ embedded languages were present. Does anyone know of
any similar work in this area?