Checker Framework - 可插拔的类型系统

宝藏资源
收藏
回帖
新手上路 2026-2-5 15:54
主楼
[资源名称]
Checker Framework - 可插拔的类型系统
[资源来源]
checkerframework.org
[资源介绍]
The Checker Framework
- Checker Framework - 可插拔的类型系统。包括空值类型、物理单位、不可变类型等。(仅 GPL-2.0 许可，附带 Classpath-exception-2.0)
[资源合集]
Java 开发宝典。关于Java的经典资源整理。必须收藏
回复 点赞 举报
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️