From: Adam Beneschan <adambeneschan@aol.com>
Subject: Re: Exceptions in (dynamic) predicates
Date: Thu, 31 Oct 2013 16:34:24 -0700 (PDT)
Date: 2013-10-31T16:34:24-07:00 [thread overview]
Message-ID: <700ca98a-a6d6-47af-a7d6-fe23cf2729b2@googlegroups.com> (raw)
In-Reply-To: <lyob65rtuj.fsf@pushface.org>
On Thursday, October 31, 2013 2:52:36 PM UTC-7, Simon Wright wrote:
> A StackOverflow answer contains the following code:
>
> subtype XYZ is ABC
> with Dynamic_Predicate =>
> ((XYZ.A in Positive) and
> (XYZ.B not in Positive)) or else raise Constraint_Error;
>
> (actually, the original didn't have the 'else', with unhelpful results :)
>
> I can't see where in the ARM "raise Constraint_Error" can be a
> (component of a) boolean expression? or is this a GNATism?
Maybe it's AI12-0022?
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt
Looks like it's a planned addition to Ada 202x.
-- Adam
next prev parent reply other threads:[~2013-10-31 23:34 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-31 21:52 Exceptions in (dynamic) predicates Simon Wright
2013-10-31 23:34 ` Adam Beneschan [this message]
2013-11-02 6:23 ` Randy Brukardt
2013-11-04 16:20 ` Adam Beneschan
2013-11-21 23:48 ` 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