Target typing of overloaded method and constructor arguments
US9524175B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 14, 2012 |
| Grant date | Dec 20, 2016 |
| Priority date | — |
| Expiry date | Nov 7, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/45516
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Methods and apparatus for target typing of overloaded method and constructor arguments are described. A method comprises determining whether source code of a program includes, as an argument to an overloaded operation invocation, an expression whose type is context-dependent. The method further comprises, if the source code includes such an argument, providing the expression as an input to an overload resolver, and determining at the overload resolver whether (a) each argument of the invocation is compatible with types of corresponding parameters in one or more declarations and (b) whether a particular declaration among such a set of declarations can be identified as the most specific. If both conditions are met, the method comprises generating executable instructions for the invocation.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.