Package org.checkerframework.checker.test.junit
package org.checkerframework.checker.test.junit
-
ClassesClassDescriptionTests the conservative defaults for Initialization Checker and Nullness Checker.Test case for Called Methods Checker's AutoValue support.Basic tests for the Called Methods Checker.Test that the Called Methods Checker's support for Lombok works correctly.This test suite exists to demonstrate and keep a record of the unsoundness that occurs when Lombok and the Checker Framework are run in the same invocation of javac.Basic tests for the Called Methods Checker.JUnit tests for the Compiler Messages Checker.JUnit tests for the custom aliasing.JUnit tests for the Index Checker when running together with the InitializedFields Checker.JUnit tests for the Index Checker.JUnit tests for the Interning Checker, which tests the Interned annotation.JUnit tests for the Interning checker when AwarnRedundantAnnotations is used.JUnit tests for the Lock checker when using safe defaults for unchecked source code.JUnit tests for the Nullness checker.JUnit tests for the Nullness Checker.JUnit tests for the Nullness Checker without the Initialization Checker.JUnit tests for the Nullness checker.JUnit tests for the Nullness checker when checkCastElementType is used.JUnit tests for the Nullness checker when running with concurrent semantics.JUnit test for the Nullness Checker with checking of enclosing expressions of inner class instantiations enabled.JUnit tests for the Nullness checker for issue #511.JUnit tests for the Nullness checker when array subtyping is invariant.JUnit tests for the Nullness checker that issue javac errors.JUnit tests for the Nullness Checker -- testing type-checking of code that uses Javadoc classes.This test suite exists to demonstrate and keep a record of the unsoundness that occurs when Lombok and the Checker Framework are run in the same invocation of javac.JUnit tests for the Nullness checker.JUnit tests for the Nullness Checker -- testing
-Alint=permitClearProperty
command-line argument.JUnit tests for the Nullness checker with records (JDK16+ only).JUnit tests for the Nullness checker when reflection resolution is enabled.JUnit tests for the Nullness checker when using safe defaults for unannotated bytecode.JUnit tests for the Nullness checker when using safe defaults for unannotated source code.JUnit tests for the Nullness Checker -- testing-AskipDefs
command-line argument.JUnit tests for the Nullness Checker -- testing-AskipUses
command-line argument.JUnit tests for the Nullness Checker.JUnit tests for the Nullness Checker with the Initialization Checker.JUnit tests for the Nullness checker when AwarnRedundantAnnotations is used.JUnit tests for the Optional Checker, which has the@Present
annotation.JUnit tests for the Optional Checker, which has the@Present
annotation.Tests-AparseAllJdk
option.Tests for the Resource Leak Checker.Tests for the Resource Leak Checker.Tests for the Resource Leak Checker.Tests for the Resource Leak Checker.Tests for the Resource Leak Checker.Tests for the Resource Leak Checker.Tests for stub parsing.Tests for stub parsing with records.Tests for stub parsing.JUnit tests for the Value Checker's interactions with the Index Checker.