合同是一个轻量级的JavaScript合约和doctest实用程序。

作者：Manny Jois、Romil Singapuri、Khoa Tran。

用法：

  • node contract.js src dest。

  • src是包含契约和doctest指令的JS文件目录。

  • dest是编译后的JS文件的目录，它将具有与src相同的结构。

安装：指示即将到来。

结构体：

一个简单的例子：


function sumOfSquares(x, y) {

  // contract: x, y are number

  // contract: @output is number and non_negative

  // example: sumOfSquares(4, -3) => 25

}