RE: [sv-ec] Is "super" OK in constraint expressions?

Bill, Arturo,

I agree with Arturo that both "this" and "super" should be allowed
in a constraint within a class scope. 

The restriction (in section 7) about the usage of "this" is likely
due to separate development of the sections on classes (7) and 
random constraints (13). Although it could be argued that a constraint
is only 'used' within the randomize method of the class, I would 
support modifying the paragraph in section 7 to explictly mention 
constraints.

The usage of "super" should be OK as is - it can also be used in
other declarations (eg. in an initializer).

Ray

> -----Original Message-----
> From: owner-sv-ec@server.eda-stds.org 
> [mailto:owner-sv-ec@server.eda-stds.org] On Behalf Of William Paulsen
> Sent: Thursday, July 20, 2006 10:54 AM
> To: Arturo Salz; sv-ec@server.eda-stds.org
> Subject: RE: [sv-ec] Is "super" OK in constraint expressions?
> 
> Thanks Arturo & Ray,
> 
> But for "this", the LRM 7.10 says:
> 
> "The this keyword shall only be used within non-static class 
> methods, otherwise an error shall be issued."
> 
> It would seem that "this" can only be used in a scope 
> randomize constraint expression - it's not legal to use 
> "this" in a constraint expression that's in a constraint block.
> 
> Bill
> 
> 
> 
> -----Original Message-----
> From: Arturo Salz [mailto:Arturo.Salz@synopsys.com]
> Sent: Thursday, July 20, 2006 1:43 PM
> To: William Paulsen; sv-ec@eda-stds.org
> Subject: RE: [sv-ec] Is "super" OK in constraint expressions?
> 
> Bill,
> 
> Both "this" and "super" should be allowed in constraint 
> expressions within a class scope (of course). Randomize is 
> not a static method.
> 
> 	Arturo
> 
> -----Original Message-----
> From: owner-sv-ec@eda-stds.org 
> [mailto:owner-sv-ec@eda-stds.org] On Behalf Of William Paulsen
> Sent: Thursday, July 20, 2006 9:22 AM
> To: sv-ec@eda-stds.org
> Subject: [sv-ec] Is "super" OK in constraint expressions?
> 
> A quick question,
> 
> Is using "super" OK in constraint expressions?  The LRM is 
> clear that "this" is OK only in non-static methods, but it's 
> not clear if "super"
> is OK outside methods.  "this" and "super" share the same bnf 
> "implicit_class_handle" production.
> 
> Thanks,
> Bill
> 
> 
>