From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: initialize an array (1-D) at elaboration using an expression based on the index?
Date: Sun, 31 Oct 2010 22:59:44 +0100
Date: 2010-10-31T22:59:44+01:00 [thread overview]
Message-ID: <4ccde6d0$0$7670$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <a0119201-ab0d-4bd1-b271-3835076ca365@26g2000yqv.googlegroups.com>
On 10/31/10 7:47 PM, Shark8 wrote:
> As for a better syntax, I'm not sure; but then again I'm not sure that
> an "x:= y if b else z"-style of expression is actually needed given
> that we have declare-blocks.
Conditional expressions are used in aspect specifications.
Specifically in preconditions, postconditions, and type invariants.
The look natural, there. AI 183 and AI 145.
next prev parent reply other threads:[~2010-10-31 21:59 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-15 23:03 initialize an array (1-D) at elaboration using an expression based on the index? Nasser M. Abbasi
2010-10-15 23:31 ` Vinzent Hoefler
2010-10-16 0:16 ` Adam Beneschan
2010-10-16 0:29 ` Nasser M. Abbasi
2010-10-16 1:47 ` Robert A Duff
2010-10-16 1:01 ` Randy Brukardt
2010-10-16 10:08 ` Phil Clayton
2010-10-18 15:03 ` Adam Beneschan
2010-10-19 6:29 ` Randy Brukardt
2010-10-20 20:01 ` Phil Clayton
2010-10-19 16:34 ` Britt Snodgrass
2010-10-19 18:05 ` Jeffrey Carter
2010-10-19 19:00 ` Vinzent Hoefler
2010-11-10 14:33 ` Georg Bauhaus
2010-11-10 15:51 ` Adam Beneschan
2010-11-10 17:19 ` Dmitry A. Kazakov
2010-11-10 18:03 ` Adam Beneschan
2010-11-11 1:07 ` Georg Bauhaus
2010-11-11 8:30 ` Dmitry A. Kazakov
2010-11-11 12:02 ` Robert A Duff
2010-11-11 14:19 ` Georg Bauhaus
2010-10-16 0:52 ` Jeffrey Carter
2010-10-16 0:54 ` Gene
2010-10-16 1:11 ` Vinzent Hoefler
2010-10-21 13:44 ` Chad R. Meiners
2010-10-24 16:40 ` Shark8
2010-10-24 22:48 ` Phil Clayton
2010-10-25 2:23 ` Shark8
2010-10-29 23:26 ` Phil Clayton
2010-10-31 18:47 ` Shark8
2010-10-31 21:59 ` Georg Bauhaus [this message]
2010-11-01 0:45 ` Phil Clayton
2010-11-01 1:55 ` Shark8
2010-10-30 6:34 ` Brian Drummond
2010-10-31 19:00 ` Shark8
2010-10-31 18:09 ` (see below)
2010-10-31 19:35 ` Shark8
2010-10-31 22:47 ` (see below)
2010-11-01 0:07 ` Shark8
2010-10-31 23:21 ` (see below)
2010-10-31 21:26 ` Brian Drummond
2010-11-12 18:10 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox