Ich möchte einen vollständig qualifizierten Klassennamen mit @Nullable -annotation (vom Java Checker Framework) annotieren, z. B .:
Dies führt jedoch zu dem Fehler:
%Vor%Wie kann ich vollständig qualifizierte Klassennamen annotieren?
Die Java-Sprachspezifikation (Entwurf für Version 8) §8.3 spezifiziert einen" UnannClassType "als
UnannClassType:
Bezeichner [TypeArguments]
UnannClassOrInterfaceType. {Annotation} Bezeichner [TypeArguments]
Sie brauchen also die Deklaration:
%Vor%Oder im erweiterten Java 7-Compiler des Checker-Frameworks:
%Vor% HINWEIS: normale Java-Compiler ignorieren /*@Nullable*/ .
Tags und Links java java-8 annotations checker-framework