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

权利要求书

1.一种执行引用的构建时解析和类型检查的系统，所述系统包括：

用于分析包含第一引用的第一代码以及包含第二引用的第二代码的装置，其中所述第一代码是前端命令式代码，而所述第二代码是后端声明性代码；

用于作为所述分析的动作的结果，在所述第一代码和/或所述第二代码中检测所述第一引用将与所述第二引用相关使得它们都指代相同数据的指示的装置，其中所述指示包括在构建时贯通语义间隙和类型检查引用所需的所有信息；以及

用于响应于检测所述指示的动作，自动尝试生成相关代码的装置，所述相关代码可被编译器解释为允许所述第一代码的经编译形式的第一引用的类型的值被作为所述第二代码的经编译形式的第二引用的相同类型的相同值被传递。

2.根据权利要求1所述的系统，其特征在于，如果所述第一引用的类型与所述第二引用的类型不同，则所述用于自动尝试生成相关代码的装置失败。

3.根据权利要求1所述的系统，其特征在于，所述用于自动尝试生成相关代码的装置包括：

用于如果所述第一引用的类型和所述第二引用的类型是相同的类型，则生成所述相关代码的装置。

4.根据权利要求3所述的系统，其特征在于，所述系统进一步包括：

用于编译所述第一代码、所述第二代码和所述相关代码的装置。

5.根据权利要求3所述的系统，其特征在于，其中所述第一代码的第一语言不同于所述第二代码的第二语言。

6.根据权利要求1所述的系统，其特征在于，其中所述指示与所述第一代码或所述第二代码内的属性或关键字相关联。

7.一种执行引用的构建时解析和类型检查的方法，所述方法包括：

分析包含第一引用的第一代码以及包含第二引用的第二代码的动作，其中所述第一代码是前端命令式代码，而所述第二代码是后端声明性代码；

作为所述分析的动作的结果，在所述第一代码和/或所述第二代码中检测所述第一引用将与所述第二引用相关使得它们都指代相同数据，并且所述第一引用具有与所述第二引用相兼容的类型的指示的动作，其中所述指示包括在构建时贯通语义间隙和类型检查引用所需的所有信息；以及

响应于检测所述指示的动作，自动生成相关代码的动作，所述相关代码可被编译器解释为允许所述第一代码的经编译形式的第一引用的类型的值被作为所述第二代码的经编译形式的第二引用的相同类型的相同值被传递。

8.根据权利要求7所述的方法，其特征在于，进一步包括：

编译所述第一代码、所述第二代码和所述相关代码的动作。

9.根据权利要求7所述的方法，其特征在于，所述指示是第一指示，所述第一代码还包含第三引用，并且其他代码包含第四引用，所述方法还包括：

作为所述分析的动作的结果，检测所述第三引用将与所述第四引用相关使得它们都指代所述相同数据，并且所述第三引用具有与所述第四引用相兼容的类型的第二指示的动作。