Javarifier 0.1.3下载地址

参考不变性推断工具雅瓦里

雅瓦里是向后兼容的Java语言的扩展。雅瓦里允许程序员指定一个特定的参考是只读的 - 也就是说，不能用于参考，以改变其所指的传递状态。

雅瓦里编译时检查验证此属性，使编程器（或其他工具）的信心，无副作用，通过参考。的雅瓦里工具包帮助程序员发现和防止微妙的，难以调试的错误在他们的程序。

Javarifier读取一组Java类来分析（。类格式），并推断（IM）可变性的神器出山:www.shenqi73.com每一个参考。它输出的的推断mutabilities在注释文件，文本文件格式描述注解的Java程序，输入类文件没有被修改。这些注释可以直接使用，或插入的类文件或相应的java文件使用的注释文件实用工具。如果雅瓦里注释插入源代码，可以将它们的的雅瓦里类型检查检查。

给Javarifier一个多么有用，它可以为你！