checker-framework

0熱度

1回答

我應該如何處理使用checker-framework類型註釋的lambda函數？例如， private void dispatch(Progress progress, Load request, @Nullable Layer layer) { if (layer == null) return; Utils.log("DISPATCHING " + lay

1熱度

1回答

Java的收集方法與檢查框架不兼容

我已經介紹了檢查框架v2.1.6到java8項目，並修復了所有NULL的含量的錯誤，但我堅持以下錯誤 Main.java:52: error: [assignment.type.incompatible] incompatible types in assignment. List<String> collectedStrings = strings.stream().collect(Coll

3熱度

1回答

使用自定義註解處理器，與檢查框架

我工作的一個多模塊的Maven基於項目中的一個模塊包含了其他模塊使用的自定義註釋的幾個註解處理器。當我將註釋處理器模塊的依賴項添加到任何其他模塊時，那些模塊的註釋將由這些註釋處理器處理。但最近我綜合Checker Framework（類型註釋），然後所有的自定義註解處理器（我上面提到的）停止工作。非常感謝如何讓他們即使使用Checker Framework也能工作的想法？要清除的情況下，比方

0熱度

1回答

如何抑制所有初始化錯誤

當我有一個簡單的測試類 public final class InitTest { private String field; public InitTest() { init(); } private void init() { field = ""; } } 檢驗器框架的初始化檢查正確報告的問題： InitT

0熱度

1回答

如何在檢查器框架中顯示完整的編譯錯誤消息信息使用行號等

我剛開始使用Checker Framework，並且存在一個問題，該問題完全可以在此框架作者的示例項目之一上重現。該項目可以在這裏找到： https://github.com/typetools/checker-framework/tree/master/docs/examples/GradleExamples 當我從root身份運行此命令： >gradle compileJava 我收到此編

0熱度

1回答

NullnessChecker：如何僅禁用初始化檢查器？

我指的是nullness-example in the docs（方格框架版本：2.1.14）當我運行示例作爲建議檢查NullnessExampleWithWarnings.java： javac -processor org.checkerframework.checker.nullness.NullnessChecker docs/examples/NullnessExampleWithWa

0熱度

1回答

Netbeans錯誤註解處理器'org.checkerframework.checker.nullness.NullnessChecker'未找到

我試圖讓NetBeans中的NonNull註釋工作，並且它一直是一個接一個的頭痛。我按照https://checkerframework.org/manual/#netbeans的說明進行操作，並確認checker-qual.jar作爲編譯和處理器庫都添加了。我已啓用註釋處理並將org.checkerframework.checker.nullness.NullnessChecker添加爲註釋處

1熱度

1回答

檢查器框架：在默認構造函數中禁止警告

我有兩個構造函數：正常初始化對象的構造函數和爲生成初始化域警告的Hibernate的第二個默認構造函數。什麼是擺脫警告的首選方式？ package test; public class Example { String x; public Example(String x) { this.x = x; } Example() {

2熱度

2回答

@ Java類型檢查器註釋的保留

Java 8類型註釋（JSR 308）允許類型檢查器執行靜態代碼分析。例如，The Checker Framework可以通過@NonNull註釋來檢查可能的無效。各項目定義他們自己的非空註解，例如： org.checkerframework.checker.nullness.qual.NonNull edu.umd.cs.findbugs.annotations.NonNull javax.a

0熱度

1回答

如何解決Checker框架錯誤java：[contracts.precondition.not.satisfied]對方法'method（）'的非保留調用要求'Holding.y.z'被保留

如何從main(..)正確調用method()？ class LockCheckerTest { static class Y { final Lock z = new ReentrantLock(true); } private final static Date x = new Date((long) (System.currentTimeMilli