Re: Aspect CPU

[Anh Vo <anhvofrcaus@gmail.com>]

On Wednesday, January 15, 2014 12:00:26 PM UTC-8, Simon Wright wrote:
> 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
 
Thanks Simon. It is obviously I overlooked this section. After looking at this section carefully, paragraph 6/3 invokes my curiosity. My question is why aspect_specification is allowed in task body definition as paragraph 6/3 is repeated below for easy discussion.

task_body ::= 
   task body defining_identifier
        [aspect_specification] is
     declarative_part
   begin
     handled_sequence_of_statements
   end [task_identifier];

Anh Vo