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.
Patent No.:
Date of Patent:
Aug. 19, 2014
Filed:
Jun. 30, 2010
Brian Goetz, Williston, VT (US);
Alexander R. Buckley, Cupertino, CA (US);
Joseph D. Darcy, Mountain View, CA (US);
Maurizio Cimadamore, Malahide, IE;
Brian Goetz, Williston, VT (US);
Alexander R. Buckley, Cupertino, CA (US);
Joseph D. Darcy, Mountain View, CA (US);
Maurizio Cimadamore, Malahide, IE;
Oracle International Corporation, Redwood City, CA (US);
Abstract
A compiler receives source code for a program and determines that the code includes a declaration expression and an initialization expression in an assignment context. The declaration expression introduces a variable and specifies part of a parameterized type for the variable but not another part of the parameterized type. A parameterized type may include a ground type part and one or more type arguments; in a declaration expression, the specified part of the parameterized type may include a ground type and the unspecified part may include one or more of the type arguments. The initialization expression specifies an initial value for the variable, where the value has a parameterized type. The assignment context associates the declared variable with the initial value. The compiler infers the type for the variable based at least on the part specified in the declaration expression and on the type specified by the initialization expression.