Serge A Lidin

US Patent:

7155703, Dec 26, 2006

Filed:

Jul 18, 2003

Appl. No.:

10/622413

Inventors:

Erik Meijer - Mercer Island WA, US
Craig T. Sinclair - Sammamish WA, US
James H. Hogg - Bellevue WA, US
Peter H. Golde - Bellevue WA, US
Serge Lidin - Issaquah WA, US
Christopher W. Brumme - Mercer Island WA, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 9/44

US Classification:

717116, 717114, 717118

Abstract:

Performing validation of a derived virtual method includes receiving program code where the derived virtual method is derived from a virtual method of the program language used to generate the program code, compiling the program code to an intermediate language expression, generating metadata descriptive of the compiled program code, validating the use of the derived virtual method by accessing the metadata, and permitting the use of the derived virtual method if the metadata grants override permissions concerning the virtual method of the programming language. The metadata indicating access and override permissions may be generated while compiling the program code in the common language infrastructure. Alternately, the flag may use pre-existing values indicative of the access and override permissions concerning the virtual method of the programming language.