checker-framework

3Hitze

1Antwort

Verwendung von benutzerdefinierten Annotationsprozessoren neben Checker Framework

Ich arbeite an einem auf mehreren Modulen basierenden Projekt, bei dem eines der Module einige Annotationsprozessoren für die benutzerdefinierten Annotationen enthält, die von anderen Modulen verwende

java maven annotation-processing checker-framework 2016-07-13

---

0Hitze

1Antwort

Checker Framework übergibt @ Initialized-Wert als @ UnderInitialization-Parameter

Mithilfe der Checker Framework können Methoden, die vom Konstruktor verwendet werden, @UnderInitialization annotierte Parameter annehmen. , ein solches Verfahren aus einem Nicht-Konstruktor aufrufen u

java checker-framework 2016-06-15

---

8Hitze

1Antwort

Java Scoping-Konstrukt kann nicht mit Typ-Verwendung

kommentiert wird ich ein vollständig qualifizierten Klassennamen mit @Nullable -annotation mit Anmerkungen versehen werden soll (aus dem Java-Checker Framework), zum Beispiel: class Demo { privat

java annotations java-8 checker-framework 2014-01-27

---