From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Making guarantees about record components
Date: Tue, 19 Nov 2013 12:20:35 -0800 (PST)
Date: 2013-11-19T12:20:35-08:00 [thread overview]
Message-ID: <9bf77e66-7279-4d18-8f83-4df40040723d@googlegroups.com> (raw)
In-Reply-To: <l6gbro$1oc$1@loke.gir.dk>
On Tuesday, November 19, 2013 10:49:26 AM UTC-8, J Kimball wrote:
>
> I'm trying to guarantee that two record component values map to the same
> value of another type.
>
> type A is (...);
> type C is (...);
>
> M : array (A) of C := (...);
>
> type R is record
> A1 : A;
> A2 : A;
> end record
> with Dynamic_Predicate => (M (R.A1) = M (R.A2) );
>
> Is this the best solution we have as of Ada 2012?
I am not sure if it is the best solution. However, it should work based on your requirements.
A. Vo
next prev parent reply other threads:[~2013-11-19 20:20 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-19 18:49 Making guarantees about record components J Kimball
2013-11-19 20:20 ` Anh Vo [this message]
2013-11-19 22:57 ` Jeffrey Carter
2013-11-20 9:36 ` Stephen Leake
2013-11-20 17:37 ` Jeffrey Carter
2013-11-21 6:53 ` Stephen Leake
2013-11-20 20:58 ` tmoran
2013-11-19 23:38 ` Shark8
2013-11-20 8:01 ` Dmitry A. Kazakov
2013-11-22 5:46 ` J Kimball
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox