治疗

JavaScript订单更高。TreatJS是一个语言嵌入的、用于JavaScript的高阶契约系统,它通过运行时监控来强制执行契约。除了为构建高阶合同(基础合同、功能合同和目标合同)提供标准抽象之外,TreatJS的新贡献在于它保证了不干涉合同的执行,系统地处理了责任分配,支持了联合和交叉类型的合同,以及它的参数化契约范围的概念,它是可组合的运行时生成的契约的构建块,这些契约概括了依赖函数契约。TreatJS被实现为一个库,因此可以使用完整的JavaScript语言指定契约的所有方面。该库依赖JavaScript代理来保证契约的完全插入。它进一步利用JavaScript的反射特性在沙盒环境中运行契约,这保证契约代码的执行不会修改应用程序状态。不需要在JavaScript运行时系统中进行源代码转换或更改。合同对执行速度的影响是用googleoctane基准评估的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换