文件名称:alloc-effect-checker:Java 内存分配检查器
文件大小:18KB
文件格式:ZIP
更新时间:2024-07-31 11:51:49
Java
分配效果检查器 在 Java 中强制执行内存分配模式的效果系统。 使用。 系统要求 Java 8 或 JSR 308 注释工具(可在 Checker Framework 网站上找到) 这个怎么运作 检查器定义了两个方法注释@MayAlloc和@NoAlloc ,它们指定一个方法是否可以分配内存。 检查器强制用@NoAlloc标记的方法不直接或间接分配内存。 运行检查器 要运行检查器,请使用带有-processor com.toddschiller.checker.AllocEffectChecker选项的javac 。 请记住在 Java 类路径中包含分配检查器和检查器框架(例如,使用-cp标志)。 javac -processor com.toddschiller.checker.AllocEffectChecker MyFile.java 在调试模式下运行检查器,使用-Ali
【文件预览】:
alloc-effect-checker-master
----AllocEffectChecker()
--------.gitignore(6B)
--------src()
--------.classpath(562B)
--------.project(377B)
----LICENSE.txt(15KB)
----README.md(2KB)