[sv-ec] Syntax for virtual methods with no implementations

I probably should have split this into a separate issue, but I would
like to get to some consensus on the syntax for representing a virtual
method without an implementation. My current proposal uses the same
extern syntax as for out-of-class-body. Some people have stated that
there might be some ambiguities with the syntax, or problems with
separate compilation, but so far, no one has provided specifics.

 

It has been suggested that we could use the existing keyword pure
instead of extern, since C++ does use the terminology "pure virtual
function" to describe the same thing. I am fine with either syntax, but
I would like some time to discuss this at the next sv-ec meeting, since
anything we choose would be different from what is the current LRM.

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625