文件名称：refinement.js:JavaScript的另一个合同库，它得益于TAJS等静态分析器
文件大小：10.83MB
文件格式：ZIP
更新时间：2024-06-02 16:56:15
javascript static-analysis refinement-types gradual-typing JavaScript
Refinement.js 还有另一个JavaScript合约库，可从静态分析器（例如TAJS）中受益。 安装 首先，您应该安装Java 。 然后，执行以下步骤。 git clone https://github.com/NiceKingWei/refinement.js.git cd refinement.js/ sudo npm install -g 安装后，您将获得两个命令行工具tajs和rfjs 。 tajs是后端分析refinement.js ，如果你想知道更多关于TAJS，请访问 。 rfjs是将规范转换为JavaScript代码的编译器，静态分析器可以检查它。 用法 rfjs [OPTION]... [FILE]... 选项 -help或--help显示帮助信息。 -rfjs-debug分析后不要删除目标代码。 其他选项将传递给TAJS。 规格 要求：功能的前提
【文件预览】：
refinement.js-master
----bin()
--------tajs.js(426B)
--------tajs-all.jar(11.81MB)
--------main.js(12KB)
----package.json(882B)
----gulpfile.js(245B)
----LICENSE(1KB)
----package-lock.json(131KB)
----src()
--------tajs-preload.js(490B)
--------tajs.ts(337B)
--------main.ts(10KB)
----tsconfig.json(156B)
----examples()
--------3.js(313B)
--------1.js(295B)
--------2.js(436B)
----.gitignore(191B)
----README.md(1KB)