库一致性检查器

摘要

本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约，以标识库之间的并集、交集及差集。管理系统可带有合约分析器，该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理，并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库，以供程序员编写应用程序以及其他用途。

主权项

一种在计算机处理器上执行的用于确定应用程序是否与多个硬件平台兼容的方法，所述方法包括：接收库的第一版本，所述第一版本包括第一组例程，其中所述第一版本是为第一硬件平台设计的，所述第一组例程中的每一个例程包括标识用于调用该例程的数据类型以及从该例程返回的数据类型的合约，并包括供在所述第一硬件平台处使用的功能的实现；接收所述库的第二版本，所述第二版本包括第二组例程，其中所述第二版本是为第二硬件平台设计的，所述第二组例程中的每一个例程包括标识用于调用该例程的数据类型以及从该例程返回的数据类型的合约；将所述第一组例程与所述第二组例程作比较，以便对所述例程执行至少一个集合运算，所述集合运算通过比较所述合约来执行；生成所述第一组例程与所述第二组例程之间的交集，以生成表示所述交集的只有合约的新的库，所述交集包括一组共有例程；所述方法还包括：接收用于分析的应用程序；扫描所述应用程序以标识所述应用程序对所述新的库中的例程的调用；对于所述调用中的每一者，确定传递给所述新的库中的例程的数据类型以及从所述新的库中的例程接收的数据类型；确定所述新的库的合约是否满足所述调用中的每一者，以便确定所述应用程序是否与所述第一硬件平台和所述第二硬件平台两者兼容。