первая итерация nullsafe

Author: theshadowco

build.gradle.kts

@@ -68,6 +68,8 @@ dependencies {
     // быстрый поиск классов
     implementation("io.github.classgraph", "classgraph", "4.8.179")
 
+    implementation("org.jspecify", "jspecify", "1.0.0")
+
     // тестирование
     testImplementation("org.junit.jupiter", "junit-jupiter-api", "5.11.4")
     testImplementation("org.junit.jupiter", "junit-jupiter-engine", "5.11.4")

src/main/java/com/github/_1c_syntax/bsl/mdclasses/helpers/package-info.java

@@ -22,10 +22,7 @@
 /**
  * Набор различных помощников
  */
-@ParametersAreNonnullByDefault
-@ReturnValuesAreNonnullByDefault
+@NullMarked
 package com.github._1c_syntax.bsl.mdclasses.helpers;
 
-import edu.umd.cs.findbugs.annotations.ReturnValuesAreNonnullByDefault;
-
-import javax.annotation.ParametersAreNonnullByDefault;
+import org.jspecify.annotations.NullMarked;

src/main/java/com/github/_1c_syntax/bsl/mdclasses/package-info.java

@@ -20,14 +20,11 @@
  * License along with MDClasses.
  */
 /**
- * Данных пакет предназначен для данных контейнеров метаданных (Конфигурация, Расширение,
- * Внешние обработки и отчеты), и предоставления точек входа в библиотеку
- */
-
-@ParametersAreNonnullByDefault
-@ReturnValuesAreNonnullByDefault
-package com.github._1c_syntax.bsl.mdclasses;
-
-import edu.umd.cs.findbugs.annotations.ReturnValuesAreNonnullByDefault;
-
-import javax.annotation.ParametersAreNonnullByDefault;
+ * Данных пакет предназначен для данных контейнеров метаданных (Конфигурация, Расширение,
+ * Внешние обработки и отчеты), и предоставления точек входа в библиотеку
+ */
+
+@NullMarked
+package com.github._1c_syntax.bsl.mdclasses;
+
+import org.jspecify.annotations.NullMarked;

src/main/java/com/github/_1c_syntax/bsl/mdo/children/package-info.java

@@ -23,10 +23,7 @@
  * Пакет содержит дочерние объекты метаданных, т.е. те, что могут существовать только в подчинении основным.
  * Примеры: Реквизиты, операции сервисов, формы и т.д.
  */
-@ParametersAreNonnullByDefault
-@ReturnValuesAreNonnullByDefault
+@NullMarked
 package com.github._1c_syntax.bsl.mdo.children;
 
-import edu.umd.cs.findbugs.annotations.ReturnValuesAreNonnullByDefault;
-
-import javax.annotation.ParametersAreNonnullByDefault;
+import org.jspecify.annotations.NullMarked;

src/main/java/com/github/_1c_syntax/bsl/mdo/package-info.java

@@ -22,10 +22,7 @@
 /**
  * В пакете находятся самостоятельные объекты метаданных и интерфейсы-расширения их дополнительными возможностями
  */
-@ParametersAreNonnullByDefault
-@ReturnValuesAreNonnullByDefault
+@NullMarked
 package com.github._1c_syntax.bsl.mdo;
 
-import edu.umd.cs.findbugs.annotations.ReturnValuesAreNonnullByDefault;
-
-import javax.annotation.ParametersAreNonnullByDefault;
+import org.jspecify.annotations.NullMarked;

src/main/java/com/github/_1c_syntax/bsl/mdo/storage/DataCompositionSchema.java

@@ -24,7 +24,6 @@
 import com.github._1c_syntax.bsl.mdo.support.DataSetType;
 import lombok.Builder;
 import lombok.Getter;
-import lombok.NonNull;
 import lombok.Singular;
 import lombok.Value;
 
@@ -56,7 +55,7 @@ public class DataCompositionSchema implements TemplateData {
   @Getter
   Path dataPath;
 
-  public DataCompositionSchema(@NonNull List<DataSet> dataSetsTree, @NonNull Path path) {
+  public DataCompositionSchema(List<DataSet> dataSetsTree, Path path) {
     dataSets = dataSetsTree;
     dataPath = path;
   }
@@ -89,18 +88,18 @@ private static void fillPlainDataSetByList(List<DataSet> result, List<DataSet> i
    * @param fields      Поля набора данных
    */
   @Builder
-  public record DataSet(@NonNull String name,
-                        @NonNull DataSetType type,
-                        @NonNull String dataSource,
-                        @NonNull @Singular List<DataSet> items,
-                        @NonNull QuerySource querySource,
-                        @NonNull @Singular List<DataSetField> fields) {
+  public record DataSet(String name,
+                        DataSetType type,
+                        String dataSource,
+                        @Singular List<DataSet> items,
+                        QuerySource querySource,
+                        @Singular List<DataSetField> fields) {
   }
 
   /**
    * @param dataPath Путь к данным поля
    * @param name     Имя поля
    */
-  public record DataSetField(@NonNull String dataPath, @NonNull String name) {
+  public record DataSetField(String dataPath, String name) {
   }
 }

src/main/java/com/github/_1c_syntax/bsl/mdo/storage/QuerySource.java

@@ -21,16 +21,14 @@
  */
 package com.github._1c_syntax.bsl.mdo.storage;
 
-import lombok.NonNull;
-
 /**
  * Модель хранения информации о запросе СКД
  *
  * @param line      Номер строки позиции запроса в исходном файле
  * @param column    Номер первого символа позиции запроса в исходном файле
  * @param textQuery Текст запроса
  */
-public record QuerySource(int line, int column, @NonNull String textQuery) {
+public record QuerySource(int line, int column, String textQuery) {
 
   /**
    * Пустой запрос

src/main/java/com/github/_1c_syntax/bsl/mdo/storage/RoleData.java

@@ -25,7 +25,6 @@
 import com.github._1c_syntax.bsl.types.MdoReference;
 import com.github._1c_syntax.utils.GenericInterner;
 import lombok.Builder;
-import lombok.NonNull;
 import lombok.Singular;
 
 import java.util.List;
@@ -39,7 +38,7 @@
  */
 @Builder
 public record RoleData(boolean setForNewObjects, boolean setForAttributesByDefault,
-                       boolean independentRightsOfChildObjects, @NonNull @Singular List<ObjectRight> objectRights) {
+                       boolean independentRightsOfChildObjects, @Singular List<ObjectRight> objectRights) {
 
   public static final RoleData EMPTY = RoleData.builder().build();
   public static final GenericInterner<Right> RIGHT_INTERNER = new GenericInterner<>();
@@ -49,14 +48,14 @@ public record RoleData(boolean setForNewObjects, boolean setForAttributesByDefau
    * @param rights Набор самих прав
    */
   @Builder
-  public record ObjectRight(@NonNull MdoReference name, @NonNull @Singular List<Right> rights) {
+  public record ObjectRight(MdoReference name, @Singular List<Right> rights) {
   }
 
   /**
    * @param name  Право
    * @param value Признак установленности права
    */
   @Builder
-  public record Right(@NonNull RoleRight name, boolean value) {
+  public record Right(RoleRight name, boolean value) {
   }
 }

src/main/java/com/github/_1c_syntax/bsl/mdo/storage/TemplateData.java

@@ -21,7 +21,8 @@
  */
 package com.github._1c_syntax.bsl.mdo.storage;
 
-import javax.annotation.Nullable;
+import org.jspecify.annotations.Nullable;
+
 import java.nio.file.Path;
 
 /**

src/main/java/com/github/_1c_syntax/bsl/mdo/storage/XdtoPackageData.java

@@ -22,7 +22,6 @@
 package com.github._1c_syntax.bsl.mdo.storage;
 
 import lombok.Builder;
-import lombok.NonNull;
 import lombok.Singular;
 
 import java.util.Collections;
@@ -38,11 +37,11 @@
  * @param properties      Список глобальных атрибутов
  */
 @Builder
-public record XdtoPackageData(@NonNull String targetNamespace,
-                              @NonNull @Singular("oneImport") List<String> imports,
-                              @NonNull @Singular List<ValueType> valueTypes,
-                              @NonNull @Singular List<ObjectType> objectTypes,
-                              @NonNull @Singular List<Property> properties) {
+public record XdtoPackageData(String targetNamespace,
+                              @Singular("oneImport") List<String> imports,
+                              @Singular List<ValueType> valueTypes,
+                              @Singular List<ObjectType> objectTypes,
+                              @Singular List<Property> properties) {
 
   public static final XdtoPackageData EMPTY = new XdtoPackageData(
     "",
@@ -59,10 +58,10 @@ public record XdtoPackageData(@NonNull String targetNamespace,
    * @param enumerations Значения элементов перечисления
    */
   @Builder
-  public record ValueType(@NonNull String name,
-                          @NonNull String base,
-                          @NonNull String variety,
-                          @NonNull @Singular List<String> enumerations) {
+  public record ValueType(String name,
+                          String base,
+                          String variety,
+                          @Singular List<String> enumerations) {
   }
 
   /**
@@ -71,7 +70,7 @@ public record ValueType(@NonNull String name,
    * @param properties Список атрибутов объекта
    */
   @Builder
-  public record ObjectType(@NonNull String name, @NonNull String base, @NonNull @Singular List<Property> properties) {
+  public record ObjectType(String name, String base, @Singular List<Property> properties) {
   }
 
   /**
@@ -84,12 +83,12 @@ public record ObjectType(@NonNull String name, @NonNull String base, @NonNull @S
    * @param typeDef    Свойства поля
    */
   @Builder
-  public record Property(@NonNull String name,
-                         @NonNull String type,
+  public record Property(String name,
+                         String type,
                          int lowerBound,
                          int upperBound,
                          boolean nillable,
-                         @NonNull String form,
-                         @NonNull @Singular("property") List<Property> typeDef) {
+                         String form,
+                         @Singular("property") List<Property> typeDef) {
   }
 }