The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in t...
Voor het laatst los op nov. 06, 2022checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
Voor het laatst los op nov. 06, 2022checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framewor...
Voor het laatst los op nov. 06, 2022checker-util contains utility classes for programmers to use at run time.
Voor het laatst los op nov. 06, 2022Dataflow is a dataflow framework based on the javac compiler.
Voor het laatst los op nov. 06, 2022dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. F...
Voor het laatst los op nov. 06, 2022dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. Fir...
Voor het laatst los op nov. 06, 2022dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First...
Voor het laatst los op nov. 06, 2022framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.
Voor het laatst los op nov. 06, 2022javacutil contains utility classes for the javac compiler.
Voor het laatst los op nov. 06, 2022