From: anon@att.net
Subject: Re: Ada 2012 BNF syntax summary incomplete?
Date: Sun, 1 Jul 2012 05:06:25 +0000 (UTC)
Date: 2012-07-01T05:06:25+00:00 [thread overview]
Message-ID: <jsolsg$jn1$1@speranza.aioe.org> (raw)
In-Reply-To: d7564f4d-4fc2-4666-bd1e-f3936f477217@googlegroups.com
The BNF has always been in error with missing definitions. It should be
corrected but I think it never will be.
An example is "static_simple_expression" which was shown in the BNF
of Ada 83 to current but has never been defined in BNF only in the
LRM text.
One can understand that "static_simple_expression" is a
"simple_expression" that also follows the "static"
definition (RM 4.9)
4.9 Static Expressions and Static Subtypes
The others can be worked out as well like "static_range". is a
"range" that also following the "static" definition (RM 4.9)
As for the BNF it would start like :
static_simple_expression ::= [ unary_adding_operator ]
static_term { binary_adding_operator static_term }
static_term ::= static_factor { multiplying_operator factor }
static_factor ::= primary [ "**" static_primary ]
| "abs" static_primary
| "not" static_primary
static_primary ::= enumeration_literal
| character_literal
| named_number
| numeric_literal
| static_function_call
| static_attributes_expression
| static_qualified_expression
| ( static_expression )
And so on! It would be nice to have a complete BNF but its a lot of
work just to add the BNF for the "static" condition.
In <d7564f4d-4fc2-4666-bd1e-f3936f477217@googlegroups.com>, Ingo Marks <it.marks.info@googlemail.com> writes:
>It seems to me that there are there missing items in the Ada 2012 BNF Syntax
>
>http://www.ada-auth.org/standards/12rm/html/RM-P.html
>
>For instance, the following items are used but not declared:
>
>- ancestor_subtype_indication
>- aspect_identifier
>- ...
>- selecting_expression
>- static_simple_expression
>
>There are about 50 items missing. Are they identical with the Ada95 specs? For instance,
>
>http://cuiwww.unige.ch/isi/bnf/Ada95/static_simple_expression.html
>
>If not, where can I find the complete BNF syntax?
>
>Thanks for advice.
>Ingo
next prev parent reply other threads:[~2012-07-01 5:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-30 18:25 Ada 2012 BNF syntax summary incomplete? Ingo Marks
2012-06-30 19:53 ` Niklas Holsti
2012-07-01 5:06 ` anon [this message]
2012-07-01 5:23 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox