Home » org.checkerframework » framework-test » 4.2.0 » Dependencies

Checker Framework Testing Library » 4.2.0

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.

Compile Dependencies (0)

Category/LicenseGroup / ArtifactVersionUpdates

Runtime Dependencies (4)

Category/LicenseGroup / ArtifactVersionUpdates
Testing EPL 2.0
junit » junit
JUnit Jupiter is the API for writing tests using JUnit 5.
4.13.26.1.1
GPL
org.checkerframework » javacutil
javacutil contains utility classes for the javac compiler.
4.2.04.2.1
Defect Detection MIT
org.checkerframework » checker-qual
checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...
4.2.04.2.1
MIT
org.plumelib » plume-util
Utility libraries for Java. Complements Guava, Apache Commons, Eclipse Collections, etc.
1.14.0✔