[sv-bc] RE: [sv-ec] Pattern matching in if statements

However, I don't see that "matches" can be followed by a left
parenthesis except as the beginning of a constant_expression.

Shalom

> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On
> Behalf Of Bresticker, Shalom
> Sent: Monday, October 16, 2006 11:32 AM
> To: Moumita Das; sv-ec@server.eda.org; sv-bc@server.eda.org
> Subject: RE: [sv-ec] Pattern matching in if statements
> 
> 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