From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Aspect CPU
Date: Wed, 15 Jan 2014 20:00:26 +0000
Organization: A noiseless patient Spider
Message-ID: <lytxd5uiat.fsf@pushface.org>
References: <27ff7582-b2bd-4a51-80a9-6a65a8c3f38b@googlegroups.com>
	<fc12dc98-3702-4081-85a9-f97fa1c5778c@googlegroups.com>
	<74bb1a6c-4239-448b-aa0c-41684cc0fdf5@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="d6dcbed888a91bae80923cc55b286b77";
	logging-data="28402"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19BoUpDwN4SlJ2tXez2gNP80GjSp1+/8zE="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:gsyeUHLBUV+3ZUR1svbaCi/0Z7E=
	sha1:AgufOUtHkn+ecZIykdLDfVZ2OE8=
Xref: news.eternal-september.org comp.lang.ada:18184
Date: 2014-01-15T20:00:26+00:00
List-Id: <comp.lang.ada>

Anh Vo <anhvofrcaus@gmail.com> writes:

> By the way, do you mind to tell which
> section of RM showing this declarative syntax.

For tasks, 9.1(2),
http://www.ada-auth.org/standards/12rm/html/RM-9-1.html#p2

There doesn't seem to be an overarching rule for aspect syntax. You
might have thought that the aspects would always come before the 'is',
perhaps, but not so: see 3.2.1(3),
http://www.ada-auth.org/standards/12rm/html/RM-3-2-1.html#p3