RE: [sv-ac] call to vote on 1549

You would need to change the text in 6.20.2.1 as well.

Shalom 

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Monday, August 20, 2007 3:32 PM
> To: Bresticker, Shalom
> Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: Re: [sv-ac] call to vote on 1549
> 
> Hi Shalom:
> 
> Here is what I found:
> 
> property_actual_arg ::=
>      property_instance
>    | sequence_actual_arg
> 
> sequence_actual_arg ::= 
>    event_expression
> 
> event_expression ::=
>      [ edge_identifier ] expression [ iff expression ]
>    | sequence_instance [ iff expression ]
>    | event_expression or event_expression
>    | event_expression , event_expression
>    | ( event_expression )
> 
> expression ::=
>      primary
>    | unary_operator { attribute_instance } primary
>    | inc_or_dec_expression
>    | ( operator_assignment )
>    | expression binary_operator { attribute_instance } expression
>    | conditional_expression
>    | inside_expression
>    | tagged_union_expression
> 
> primary ::=
>      primary_literal
>    | [ implicit_class_handle . | class_scope | package_scope 
> ] hierarchical_identifier select
>    | empty_queue
>    | concatenation
>    | multiple_concatenation
>    | function_subroutine_call
>    | ( mintypmax_expression )
>    | cast
>    | assignment_pattern_expression
>    | streaming_concatenation
>    | sequence_method_call
>    | this^6
>    | $^21
>    | nullo
> 
> 
> 21) The $ primary shall be legal only in a select for a queue 
> variable or in an open_value_range.
> 
> 
> In SV-AC, we thought that we would get $ through primary as shown.
> 
> However, note 21 seems to foil this.
> 
> I think we need to ensure that $ can be passed as actual 
> argument to a sequence or property as a part of the 
> resolution to 1350.  One possibility is that we just put $ 
> back into the sequence_actual_arg production so that its use 
> is not governed by note 21.
> 
> J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.