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

Comments?

> -----Original Message-----
> From: Bresticker, Shalom
> Sent: Monday, October 16, 2006 11:38 AM
> To: Bresticker, Shalom; Moumita Das; sv-ec@server.eda.org; sv-
> bc@server.eda.org
> Subject: 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