Re: [sv-ec] Pattern matching in if statements

Hello,
Sorry for the typo.

Actual Example is-

if (e matches (tagged Jmp .j),
j matches (tagged JmpC '{cc:.c,addr:.a}))
... // c and a can be used here
else

Which does not match with BNF. 
So my query is by which rule this is  derived.

Thanks .
Moumita



Bresticker, Shalom wrote:

>I don't see that example. I see the following:
>
>if (e matches (tagged Jmp .j),
>j matches (tagged JmpC '{cc:.c,addr:.a}))
>... // c and a can be used here
>else
>
>That is, no * characters.
>
>Shalom
>
>
>  
>
>>But in  Sec -10.4.1.2  of same LRM I have found an example -
>>if     ( e matches (tagged Jmp .j)* ,*   j matches (tagged JmpC
>>'{cc:.c,addr:.a}) )
>>...
>>else
>>    
>>
>
>
>  
>