nullsafe (#560)

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

* завершение

* обновленые фикстуры-конфигурации

* фикс тестов

* дополнение

* sq fixes

* sq fixes

* add tests

* sq fixes

* sq fixes

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/jmh/java/com/github/_1c_syntax/bsl/mdclasses/benchmark/MemoryProfiler.java

@@ -63,12 +63,12 @@ public void beforeIteration(BenchmarkParams benchmarkParams, IterationParams ite
   }
 
   @Override
-  public Collection<Result> afterIteration(
+  public Collection<? extends Result> afterIteration(
     BenchmarkParams benchmarkParams,
     IterationParams iterationParams,
     IterationResult result
   ) {
-    List<Result> results = new ArrayList<>();
+    List<ScalarResult> results = new ArrayList<>();
 
     // Память
     var heapUsage = memoryMXBean.getHeapMemoryUsage();

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;
 
 /**