comp.lang.ada
 help / color / mirror / Atom feed
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: Is it really Ok to assert that the Ada syntax is a context-free grammar ?
Date: Wed, 20 Feb 2008 11:05:15 +0100
Date: 2008-02-20T11:05:15+01:00	[thread overview]
Message-ID: <47bbfb5b$1@news.post.ch> (raw)
In-Reply-To: <FWLuj.41404$yE1.10867@attbi_s21>

Jeffrey R. Carter schrieb:
> Hibou57 wrote:
>>
>> But as pointed by someone, the grammar is not LR(1), due to the fact
>> (which is common to many other languages), that as an example X(Y) can
>> stand for a type cast, a function call, an array access, or even an
>> array slice, and this cannot be decided without knowledge of the
>> context.

You could also consider X (Y) as a (intrinsic) function in all cases - 
with X being a function which converts Y to type X or a function which 
accesses element Y from array X.

> X (Y) cannot represent a type cast because Ada does not have anything 
> called "type cast".

Not quite, if you consider "type cast" is a unchecked bit pattern copy - 
so if you define:

function X is new Unchecked_Conversion (...);

the X would indeed be a it "type cast".

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com



  reply	other threads:[~2008-02-20 10:05 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-02-20  0:47 Is it really Ok to assert that the Ada syntax is a context-free grammar ? Hibou57
2008-02-20  2:06 ` Jeffrey R. Carter
2008-02-20 10:05   ` Martin Krischik [this message]
2008-02-20 10:34     ` Ludovic Brenta
2008-02-20 11:13       ` Dmitry A. Kazakov
2008-02-22  8:57         ` Stephen Leake
2008-02-22 10:44           ` Dmitry A. Kazakov
2008-02-20 14:22       ` Hibou57
2008-02-20 15:19         ` Niklas Holsti
2008-02-20 18:34           ` Hibou57 (Yannick Duchêne)
2008-02-20 19:10             ` Hibou57 (Yannick Duchêne)
2008-02-21  0:39               ` Randy Brukardt
2008-02-21  0:56                 ` Hibou57 (Yannick Duchêne)
2008-02-21 22:19                   ` Randy Brukardt
2008-02-21 22:19                   ` Randy Brukardt
2008-02-21 23:54                     ` Hibou57 (Yannick Duchêne)
2008-02-22 19:51                       ` Randy Brukardt
2008-02-23 18:13                         ` Hibou57 (Yannick Duchêne)
2008-02-20 20:22             ` Niklas Holsti
2008-02-20 21:38             ` Manuel Collado
2008-02-21  0:30               ` Hibou57 (Yannick Duchêne)
2008-02-20 20:51         ` Robert A Duff
2008-02-21 19:24       ` Martin Krischik
2008-02-22 20:17         ` Simon Wright
2008-02-25 21:47           ` Samuel Tardieu
2008-02-23 19:02         ` Maciej Sobczak
2008-02-20 18:27     ` Jeffrey R. Carter
2008-02-21 19:20       ` Martin Krischik
2008-02-21 21:31         ` Jeffrey R. Carter
2008-02-20  5:53 ` Niklas Holsti
2008-02-20 16:43 ` Adam Beneschan
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox