checker-framework
checker-framework copied to clipboard
typetools
Pluggable type-checking for Java
I git-cloned the checker-framework repo and ran the test for [constant propagation ](https://github.com/typetools/checker-framework/blob/master/dataflow/src/test/java/constantpropagation/ConstantPropagation.java) in Intellij with open-jdk18. ``` > Task :dataflow:ConstantPropagation.main() FAILED Exception in thread "main" java.lang.IllegalAccessError: class org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher (in...
Type argument inference for raw types should be improved and the "ignoreRawTypeArguments" option should be made optional again.
Followed instructions in "37.13.1 Adding a checker via the Project Properties window" to add "org.checkerframework.checker.nullness.NullnessChecker" to the project. According to NetBeans Help -> About, environment is as follows (with some...
`sealed` and `non-sealed` are valid Java keywords in Java 17. However, WPI crashes when it encounters these keywords, as demonstrated by the following test, borrowed from the Java documentation (which...
Following https://checkerframework.org/manual/#reporting-bugs, * commands (that can be cut-and-pasted into a command shell): ``` ~/checker-framework-3.29.0/checker/bin/javac -processor nullness Test.java && java Test ``` * inputs: `Test.java`: ``` // Copyright 2023 Google LLC....
The following code should issue an error, but doesn't. ``` import org.checkerframework.checker.nullness.qual.Nullable; public class Issue4853B { interface Interface {} static class MyClass { class InnerMyClass implements Interface {} } abstract...
I am using the Gradle plugin (v 0.6.8) to invoke the CheckerFramework (v 3.21.2). Simplified reproduction example: ``` public class Test { public List
In the following example, the nullness checker rejects an input that contains a type variable with an explicit `extends @Nullable Object` bound, and accepts the same example if the explicit...
For a Java project, which uses both Checkstyle and Checkers Framework, there is a need for ease of maintenance and gradual code quality improvements to differentiate in easy way which...
