From: olivermkellogg@gmail.com
Subject: Re: Ada grammar rules for names too permissive?
Date: Thu, 3 Jan 2019 14:39:10 -0800 (PST)
Date: 2019-01-03T14:39:10-08:00 [thread overview]
Message-ID: <78b94e7e-521b-46c4-8975-1f4c6afbb4b5@googlegroups.com> (raw)
In-Reply-To: <q0f98v$1hf2$1@gioia.aioe.org>
On Tuesday, January 1, 2019 at 9:44:17 AM UTC+1, Dmitry A. Kazakov wrote:
> [...]
> Never push semantic rules into syntax.
I'm not so sure about that:
A nice feature of ANTLR is that is supports semantic predicates which can be embedded in the grammar.
For example, using sem preds on the basis of symbol tables would permit discerning among indexed_component, type_conversion, function_call.
> The grammar as written is never the one actually used for whatever
> purpose other than explanation or, maybe, validation.
The interesting question IMO is:
What are the necessary transformations for going from Annex P BNF plus informal description of semantic rules to the actual implementation grammar.
- Oliver
next prev parent reply other threads:[~2019-01-03 22:39 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-29 18:20 Ada grammar rules for names too permissive? olivermkellogg
2018-12-31 21:45 ` Randy Brukardt
2019-01-01 8:44 ` Dmitry A. Kazakov
2019-01-01 19:49 ` Stephen Leake
2019-01-01 20:42 ` Dmitry A. Kazakov
2019-01-02 19:21 ` Stephen Leake
2019-01-02 20:47 ` Dmitry A. Kazakov
2019-01-03 21:45 ` Stephen Leake
2019-01-03 22:34 ` Jere
2019-01-05 18:46 ` Stephen Leake
2019-01-07 11:11 ` J-P. Rosen
2019-01-08 18:58 ` Stephen Leake
2019-01-04 8:53 ` Dmitry A. Kazakov
2019-01-03 22:39 ` olivermkellogg [this message]
2019-01-04 8:58 ` Dmitry A. Kazakov
2019-01-05 8:45 ` Randy Brukardt
2019-01-05 18:50 ` Stephen Leake
2019-01-01 19:46 ` olivermkellogg
2019-01-03 22:36 ` Randy Brukardt
2019-01-01 19:46 ` Stephen Leake
2019-01-01 21:03 ` olivermkellogg
2019-01-02 19:42 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox