Methods for type analysis in systems for code generation
AssigneeIntel Corporation
InventorsMichael David McCool, Stefanus Jakobus Du Toit
Life of this patent
Estimating the term…
Abstract
A method for identifying a structure of a type to generate a model of the type includes the step of providing at least one replacement type for a basic type provided by a programming language. An identification of initialization, by a constructor, of an instance of the at least one replacement type is received. A type model comprising a description of a data layout of the instance of the type is generated responsive to the received identification.
Claims41
A method for identifying a structure of a data type to generate a model of the data type, the method comprising:
- providing at least one replacement data type for a basic type provided by a programming language;
- receiving an identification of initialization of an instance of the at least one replacement data type by a constructor;
- and
- generating a data type model comprising a description of a data layout of the instance of the data type, responsive to the received identification.
A system for identifying a structure of a data type to generate a model of the data type, the system comprising:
- a means for providing at least one replacement data type for a basic data type provided by a programming language;
- and
- a data type model registry receiving an identification of initialization of an instance of the at least one replacement data type by a constructor and generating a data type model comprising a description of a data layout of the instance of the data type, responsive to the received identification.
Dependencies are inferred from the claim text.