From: xorque <xorquewasp@googlemail.com>
Subject: Re: Array initialization in SPARK
Date: Mon, 15 Jun 2009 05:10:57 -0700 (PDT)
Date: 2009-06-15T05:10:57-07:00 [thread overview]
Message-ID: <cf13c3e2-8205-45c4-94b8-b1ad5280ab72@f19g2000yqh.googlegroups.com> (raw)
In-Reply-To: d45e3ef2-bd36-460d-9379-3e49b1c24996@t16g2000yqi.googlegroups.com
xorque wrote:
> Hello.
>
> What's the correct way to initialize an array in SPARK?
Status := Status_t'(Status_Element_Index_t => 0);
next prev parent reply other threads:[~2009-06-15 12:10 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-15 12:01 Array initialization in SPARK xorque
2009-06-15 12:10 ` xorque [this message]
-- strict thread matches above, loose matches on Subject: below --
2010-10-28 10:13 Peter C. Chapin
2010-10-28 12:47 ` Phil Thornley
2010-10-28 14:51 ` Peter C. Chapin
2010-10-28 15:23 ` Peter C. Chapin
2010-10-28 16:26 ` Alexander Senier
2010-10-28 16:38 ` Phil Thornley
2010-10-30 1:04 ` Phil Clayton
2010-10-30 8:10 ` AdaMagica
2010-10-30 13:11 ` Phil Clayton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox