From: mockturtle <framefritti@gmail.com>
Subject: Re: Variable initialized to <>
Date: Tue, 14 Oct 2014 11:22:56 -0700 (PDT)
Date: 2014-10-14T11:22:56-07:00 [thread overview]
Message-ID: <2dc125f5-4cd4-43e3-b23c-95336cdd33d1@googlegroups.com> (raw)
In-Reply-To: <0660a64b-cbd1-4fee-a454-3231351b622c@googlegroups.com>
On Tuesday, October 14, 2014 8:02:42 PM UTC+2, Mab wrote:
> What does it mean to initialize variables to an unspecified range <>:
>
>
>
> For example:
>
> Record1: Rec_Type1 :=
> (ID => <>,
> Label => <>,
> Active => <>)
> I'm aware of <> used in an array definition to indicate unspecified range but not sure what it means to initialize to a variable as shown above. The variables above can be of any types.
>
>
>
> Thanks
Roughly, it means "initialize the component with the default value." See paragraph 19.1/2 of RM 4.3.1 [ http://ada-auth.org/standards/12rm/html/RM-4-3-1.html ] for the exact wording. This notation allow you to use the default value for a component in an aggregate (where, I think you know, you must specify *all* the components).
Riccardo
next prev parent reply other threads:[~2014-10-14 18:22 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-14 18:02 Variable initialized to <> Mab
2014-10-14 18:22 ` mockturtle [this message]
2014-10-14 18:29 ` Jeffrey Carter
2014-10-14 20:45 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox