StackOverflow Questions for Tag: checker-framework

Oliver

Reputation: 4173

Checker Framework fails on all Windows machines in my team

checker-framework

Score: 0

Answers: 0

Gabe Sechan

Reputation: 93542

Running Checker Framework on Android

androidgradlechecker-framework

Score: 2

Answers: 2

lologop

Reputation: 51

How to configure maven with checker-framework Fenum?

javamavenannotation-processingchecker-framework

Score: 0

Answers: 0

joseph

Reputation: 2786

ClassNotFoundException when running test in Intellij and maven pom configured with checker framwork

javamavenintellij-ideachecker-framework

Score: 0

Answers: 2

knittl

Reputation: 265131

Why are Checker Framework annotations not returned by Field#getDeclaredAnnotations?

javareflectionannotationsjava-annotationschecker-framework

Score: 4

Answers: 3

morpheus

Reputation: 20290

Problem using lombok and checkframework together in Maven build

lombokchecker-framework

Score: 0

Answers: 0

morpheus

Reputation: 20290

Exception running Maven compiler plugin (3.11.0) with checker framework

javamavenchecker-framework

Score: 0

Answers: 2

spacether

Reputation: 2699

Using the java checker framework, why is a NonNull value not accepted into a Nullable value location?

javanulltypecheckingchecker-framework

Score: 1

Answers: 1

cp5

Reputation: 1133

How to exclude 3rd party classes when using the NullnessChecker from the checker framework?

javachecker-framework

Score: 1

Answers: 1

glts

Reputation: 22674

Avoid 'uninitialized' errors on injected fields when using the Checker Framework

javadependency-injectionchecker-framework

Score: 7

Answers: 1

MiguelMunoz

Reputation: 4914

Why doesn't the CheckerFramework let me override an `Object` parameter with an `Object` parameter?

javachecker-framework

Score: 1

Answers: 0

Kalhara

Reputation: 19

Checker Framework Build Error - fromClass can't load class org.checkerframework.dataflow.qual.Deterministic

javachecker-framework

Score: 1

Answers: 2

isakbob

Reputation: 1539

What previous javac errors prevent a checkerFramework checker from running in a class?

build.gradlechecker-framework

Score: 0

Answers: 1

Rosen Hristov

Reputation: 91

Maven build fails during Java 8 to 17 upgrade: Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.10.1:compile (default-compile)

javamavenupgradechecker-framework

Score: 0

Answers: 0

Patrick Nit

Reputation: 71

Excluding NullnessChecker by directory (not package)

maven-compiler-pluginchecker-framework

Score: 0

Answers: 1

Kalhara

Reputation: 19

Iterating Over Nullable Error - Checker Framework

javachecker-framework

Score: 0

Answers: 2

srfrnk

Reputation: 2519

Removing VSCode Java added annotations

javavisual-studio-codeapache-beamvscode-extensionschecker-framework

Score: 0

Answers: 0

Hilikus

Reputation: 10331

Why are annotations added by checker framework needed at runtime?

javachecker-framework

Score: 1

Answers: 1

ahrooran

Reputation: 1115

Proper checker framework config for maven

mavenjava-17checker-framework

Score: 1

Answers: 1

Exploring

Reputation: 3359

Given a test failure how can you extract all code statements that the test execution ran?

javasootchecker-frameworkwala

Score: 0

Answers: 0

PreviousPage 1Next

StackOverflow Questions for Tag: checker-framework

Checker Framework fails on all Windows machines in my team

Running Checker Framework on Android

How to configure maven with checker-framework Fenum?

ClassNotFoundException when running test in Intellij and maven pom configured with checker framwork

Why are Checker Framework annotations not returned by Field#getDeclaredAnnotations?

Problem using lombok and checkframework together in Maven build

Exception running Maven compiler plugin (3.11.0) with checker framework

Using the java checker framework, why is a NonNull value not accepted into a Nullable value location?

How to exclude 3rd party classes when using the NullnessChecker from the checker framework?

Avoid &#39;uninitialized&#39; errors on injected fields when using the Checker Framework

Why doesn&#39;t the CheckerFramework let me override an `Object` parameter with an `Object` parameter?

Checker Framework Build Error - fromClass can&#39;t load class org.checkerframework.dataflow.qual.Deterministic

What previous javac errors prevent a checkerFramework checker from running in a class?

Maven build fails during Java 8 to 17 upgrade: Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.10.1:compile (default-compile)

Excluding NullnessChecker by directory (not package)

Iterating Over Nullable Error - Checker Framework

Removing VSCode Java added annotations

Why are annotations added by checker framework needed at runtime?

Proper checker framework config for maven

Given a test failure how can you extract all code statements that the test execution ran?

Avoid 'uninitialized' errors on injected fields when using the Checker Framework

Why doesn't the CheckerFramework let me override an `Object` parameter with an `Object` parameter?

Checker Framework Build Error - fromClass can't load class org.checkerframework.dataflow.qual.Deterministic