Processing source file
US10083017B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 9, 2015 |
| Grant date | Sep 25, 2018 |
| Priority date | — |
| Expiry date | Dec 28, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/423
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
There is provided a method for processing a source file to generate an object file, comprising: obtaining a header file referenced by the source file; in response to the source file calling a data symbol defined in the header file, creating an indicator of a definition the data symbol, wherein definitions of different data symbols correspond to different indicators; and adding the indicator into a compiling result of compiling the source file so as to generate the object file. With the present invention, a dependency between the source file and the header file can be recorded, and the number of source files needed to be re-compiled can be reduced on the basis of the dependency.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.