Type interface system and method
OwnerKevin Edward Lindsey, Paul Colton +2inventors
InventorsKevin Edward Lindsey, Paul Colton, Robin Sean Debreuil, Donald Arthur Washburn
Life of this patent
Estimating the term…
Abstract
Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type information from these languages allows tools to perform operations, for example, refactoring, intellisense, recognition of semantic errors, etc. These systems and methods can be implemented using processes that, implicitly or explicitly, gather type information for the program, and can also accept user input as well.
Claims20
A method for determining type information from a dynamically-typed programming language, the method comprising the steps of:
- parsing source code by a processing device to generate a tree data structure defining a plurality of nodes, wherein the source code comprises a plurality of symbols and each symbol corresponds with at least one node of the tree data structure;
- identifying one of the symbols of the source code and a position of the one symbol in the source code;
- locating by the processing device the at least one node of the tree data structure that corresponds to the one symbol and the position of the one symbol;
- and
- determining a type of the one symbol by the processing device based on an analysis of the at least one node and any children nodes of the at least one node in the tree data structure.
Dependencies are inferred from the claim text.