comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Aspect CPU
Date: Wed, 15 Jan 2014 21:18:34 +0100
Date: 2014-01-15T21:18:34+01:00	[thread overview]
Message-ID: <lb6qeq$4ph$1@dont-email.me> (raw)
In-Reply-To: <lytxd5uiat.fsf@pushface.org>

Le 15/01/2014 21:00, Simon Wright a écrit :
> 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
> 
Yeap, normally the aspect should go after the type definition, but in
the case of a task type, it was felt that it would put them too far
away, at a place where nobody would see it.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  reply	other threads:[~2014-01-15 20:18 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-15  1:56 Aspect CPU Anh Vo
2014-01-15  7:06 ` Egil H H
2014-01-15 16:54   ` Anh Vo
2014-01-15 20:00     ` Simon Wright
2014-01-15 20:18       ` J-P. Rosen [this message]
2014-01-15 22:10         ` Anh Vo
2014-01-15 22:04       ` Anh Vo
2014-01-15 23:25         ` 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