Loading patent…
AssigneeMicrosoft Corporation
InventorsGeorge H. Bosworth, Patrick H. Dussud, James S. Miller, Daryl B. Olander
Estimating the term…
A type system includes a dual representation for basic data types. One representation is the basic data type representation common to such basic built-in data types, known as an unboxed value type or simply as a value type. Each of the basic data types also has a boxed representation that can be stored in the object hierarchy of the type system. This dual representation can also be extended to user-defined types, so that user-defined types may exist both as an unboxed value type and as an object within the object hierarchy of the type system. This dual representation allows the compiler and/or runtime environment to select the most effective and efficient representation for the data type depending on the particular need at the moment.
1-15. (canceled)
A unified type system for use with a computer source language and associated components which translate source files written in the computer source language into executable form and execute the translated source files, wherein at least one source file declares a variable using a boxed value type yet passes the variable to a method expecting an unboxed value type representation, the unified type system comprising:
A generated output file produced by a front end compiler system,
A method of performing a method call by a function, wherein the function expects parameters of a predetermined value type, wherein the predetermined value type is an unboxed value type, the method comprising:
Dependencies are inferred from the claim text.