On 6/6/13 6:12 PM, Jonathan M Davis wrote:
On Thursday, June 06, 2013 14:57:00 Walter Bright wrote:On 6/6/2013 2:23 PM, Andrei Alexandrescu wrote:(The tool I'm envisioning would add final annotations or prompt the user to add them.)Sorry, that's never going to fly.It could tell the programmer which functions it _thinks_ don't need to be virtual, but it can't be 100% correct.
It would be 100% correct if given the entire application. You may want to take a look at the CHA paper.
Andrei