BUILD-TIME RESOLVING AND TYPE CHECKING REFERENCES

摘要

Build-time resolution and type-enforcing of corresponding references in different code that references the same value. In response to detecting a directive within the code itself that a first reference in first code is to be correlated with a second reference in second code, and in response to detection that the types of the references are the same, a code generation tool generates correlation code that is interpretable to a compiler as allowing a value of a type of the first reference of a compiled-form of the first code to be passed as the same value of the same type of the second reference of a compiled-form of the second code. The first code, the second code, and the generated correlation code may then be compiled. If compilation is successful, this means that the first and second references are already properly resolved as referring to the same value and type-enforced.

主权项

1. A computer program product comprising one or more computer-readable storage media having thereon computer-executable instructions that are structured such that, when interpreted by one or more processors of a computing system, cause the computing system to perform a method of performing build-time resolving and type checking of references, the method comprising:
an act of analyzing first code that contains a first reference, and second code that contains a second reference; as a result of the act of analyzing, an act of detecting a directive that the first reference is to be correlated with the second reference so that they both refer to the same data; and in response to the directive, an act of automatically attempting to generate correlating code that is interpretable to a compiler as allowing the first reference to be resolved with type-checking as referring to the same data as the second reference.