Checker Qual checker-qual

Group	io.github.eisop
描述	checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
Packaging
Size
文件	pom jar
网址	https://eisop.github.io/
发布时间	2024-01-10 00:31

dependencies

Group	Artifact	Version

developers

wmdietl	Werner M. Dietl	University of Waterloo
mernst	Michael Ernst	University of Washington
smillst	Suzanne Millstein	University of Washington

licenses

The MIT License

http://opensource.org/licenses/MIT