[发明专利]用于构建时解析和类型检查引用的方法和系统

摘要

在不同代码中引用相同值的对应引用的构建时解析和类型强制。响应于在代码自身内检测到的第一代码中的第一引用与第二代码中的第二引用要被相关的指示，并响应于检测到所述引用的类型是相同的，代码生成工具生成相关代码，该代码可由编译器解释为允许第一代码的经编译形式的第一引用的类型的值被作为第二代码的经编译形式的第二引用的相同类型的相同值传递。随后可以编译所述第一代码、第二代码和所生成的相关代码。如果编译成功，这意味着所述第一和第二引用已被适当地解析为指代相同值并被类型强制。

主权项

1.一种执行引用的构建时解析和类型检查的系统，所述系统包括：用于分析包含第一引用的第一代码以及包含第二引用的第二代码的装置，其中所述第一代码是前端命令式代码，而所述第二代码是后端声明性代码；用于作为所述分析的动作的结果，在所述第一代码和/或所述第二代码中检测所述第一引用将与所述第二引用相关使得它们都指代相同数据的指示的装置，其中所述指示包括在构建时贯通语义间隙和类型检查引用所需的所有信息；以及用于响应于检测所述指示的动作，自动尝试生成相关代码的装置，所述相关代码可被编译器解释为允许所述第一代码的经编译形式的第一引用的类型的值被作为所述第二代码的经编译形式的第二引用的相同类型的相同值被传递。