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:
Aug. 21, 2012

Filed:

Mar. 05, 2008
Applicants:

Christopher M. Mckinsey, Sammamish, WA (US);

Marko Krsta Radmilac, Bellevue, WA (US);

Charles L. Mitchell, Kirkland, WA (US);

Andrew E. Ayers, Kirkland, WA (US);

Louis Lafreniere, Seattle, WA (US);

Inventors:

Christopher M. McKinsey, Sammamish, WA (US);

Marko Krsta Radmilac, Bellevue, WA (US);

Charles L. Mitchell, Kirkland, WA (US);

Andrew E. Ayers, Kirkland, WA (US);

Louis Lafreniere, Seattle, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

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

Annotation of exception information in a computer program. This annotation is not present in the source code itself, but is annotated during the compilation process or perhaps for purpose of analyzing the code. To perform the annotation, environmental rules are accessed regarding the environment in which the program is to be executed. The program is then evaluated in the context of these environmental rules to detect portions that, in the context of the environmental rules, may cause exceptions to be thrown. Those portions may then be annotated with exception information that describes any exceptions that could be thrown at that detected portion.


Find Patent Forward Citations

Loading…