The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Feb. 02, 2010

Filed:

Aug. 24, 2004
Applicants:

Sergey Lidin, Issaquah, WA (US);

Henricus Johannes Maria Meijer, Mercer Island, WA (US);

Inventors:

Sergey Lidin, Issaquah, WA (US);

Henricus Johannes Maria Meijer, Mercer Island, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G01R 31/28 (2006.01);
U.S. Cl.
CPC ...
Abstract

A system and method for constraining generic types is disclosed. In brief, the subject invention provides a pattern type for defining a set of one or more parameter constraints. Rather than being confined to a predetermined set of hard-coded constraints in an execution engine, a pattern type can be specified as an extensible constraint mechanism for generic type parameters. According to one aspect of the invention, the pattern type can manifest itself as a class including one or more properties and/or features. The shape of the pattern type can then be compared or matched to instantiated type parameters to determine constraint satisfaction.


Find Patent Forward Citations

Loading…