checker-framework

Ich möchte einen vollständig qualifizierten Klassennamen mit @Nullable -annotation (vom Java Checker Framework) annotieren, z. B .: %Vor% Dies führt jedoch zu dem Fehler: %Vor% Wie kann ich vollständig qualifizierte Klassennamen annot...