Refactor null checks to use Objects.requireNonNull

- Replaced instances of SpecsCheck.checkNotNull with Objects.requireNonNull in various classes to standardize null checks.
- Updated methods in AsmFieldData, DeployUtils, EsprimaComment, EsprimaNode, SpecsCollections, SpecsIo, SpecsStrings, and several others.
- Improved code readability and consistency by utilizing Java's built-in null-checking mechanism.

Author: lm-sousa

AsmParser/src/pt/up/fe/specs/binarytranslation/asm/parsing/AsmFieldData.java

@@ -15,13 +15,12 @@
 
 import java.util.LinkedHashMap;
 import java.util.Map;
+import java.util.Objects;
 
 import org.suikasoft.jOptions.DataStore.ADataClass;
 import org.suikasoft.jOptions.Datakey.DataKey;
 import org.suikasoft.jOptions.Datakey.KeyFactory;
 
-import pt.up.fe.specs.util.SpecsCheck;
-
 /**
  * Raw field data as extracted by an {@link IsaParser}
  * 
@@ -98,7 +97,7 @@ public int getReducedOpcode() {
 
     public int getFieldAsBinaryInteger(String fieldName) {
         var valueString = get(AsmFieldData.FIELDS).get(fieldName);
-        SpecsCheck.checkNotNull(valueString, () -> "No value found for field " + fieldName);
+        Objects.requireNonNull(valueString, () -> "No value found for field " + fieldName);
         return Integer.parseInt(valueString, 2);
     }
 

EclipseUtils/src/pt/up/fe/specs/eclipse/Utilities/DeployUtils.java

@@ -18,6 +18,7 @@
 import java.util.Collection;
 import java.util.HashSet;
 import java.util.List;
+import java.util.Objects;
 import java.util.Set;
 import java.util.stream.Collectors;
 
@@ -33,7 +34,6 @@
 import pt.up.fe.specs.eclipse.Classpath.Dependency;
 import pt.up.fe.specs.eclipse.builder.BuildResource;
 import pt.up.fe.specs.eclipse.builder.BuildUtils;
-import pt.up.fe.specs.util.SpecsCheck;
 import pt.up.fe.specs.util.SpecsIo;
 import pt.up.fe.specs.util.SpecsLogs;
 import pt.up.fe.specs.util.SpecsStrings;
@@ -636,13 +636,13 @@ public static String buildMavenRepoPom(EclipseDeploymentData data, ClasspathPars
         String groupId = data.pomInfo.get(() -> "groupId");
         String artifactId = data.pomInfo.get(() -> "artifactId");
 
-        SpecsCheck.checkNotNull(data.version,
+        Objects.requireNonNull(data.version,
                 () -> "No version supplied, use for instance %BUILD% in name of output JAR");
 
         Set<License> licenses = parser.getLicenses(data.projetName);
         String licensesXml = licenses.stream().map(License::getXmlInfo).collect(Collectors.joining("\n"));
 
-        SpecsCheck.checkNotNull(data.developersXml,
+        Objects.requireNonNull(data.developersXml,
                 () -> "No developers XML file supplied");
         String developers = SpecsIo.read(data.developersXml);
 

JsEngine/src/pt/up/fe/specs/jsengine/libs/EsprimaComment.java

@@ -15,11 +15,10 @@
 
 import java.util.HashMap;
 import java.util.Map;
+import java.util.Objects;
 
 import org.apache.commons.lang3.NotImplementedException;
 
-import pt.up.fe.specs.util.SpecsCheck;
-
 /**
  * Represents a comment node in an Esprima AST.
  */
@@ -94,7 +93,7 @@ public String getContents() {
      */
     public String getType() {
         var type = (String) comment.get("type");
-        SpecsCheck.checkNotNull(type, () -> "Comment should have type");
+        Objects.requireNonNull(type, () -> "Comment should have type");
         return type;
     }
 

JsEngine/src/pt/up/fe/specs/jsengine/libs/EsprimaNode.java

@@ -19,12 +19,11 @@
 import java.util.HashSet;
 import java.util.List;
 import java.util.Map;
+import java.util.Objects;
 import java.util.Set;
 import java.util.stream.Collectors;
 import java.util.stream.Stream;
 
-import pt.up.fe.specs.util.SpecsCheck;
-
 /**
  * Represents a node in an Esprima AST.
  */
@@ -245,7 +244,7 @@ public List<EsprimaNode> getAsNodes(String key) {
      */
     private <T> T getExistingValue(String key, Class<T> valueClass) {
         var value = node.get(key);
-        SpecsCheck.checkNotNull(value, () -> "Expected value with key '" + key + "' to exist");
+        Objects.requireNonNull(value, () -> "Expected value with key '" + key + "' to exist");
         return valueClass.cast(value);
     }
 
@@ -268,7 +267,7 @@ public String toString() {
     public EsprimaLoc getLoc() {
         @SuppressWarnings("unchecked")
         var loc = (Map<String, Object>) node.get("loc");
-        SpecsCheck.checkNotNull(loc, () -> "Loc is null");
+        Objects.requireNonNull(loc, () -> "Loc is null");
         return EsprimaLoc.newInstance(loc);
     }
 

SpecsUtils/src/pt/up/fe/specs/util/SpecsCollections.java

@@ -630,7 +630,7 @@ public static <T> void addOptional(Collection<T> includes, Optional<T> element)
      * Returns the first non-empty element of the stream.
      */
     public static <T> Optional<T> findFirstNonEmpty(Stream<Optional<T>> stream) {
-        Preconditions.checkArgument(stream != null, "stream must not be null");
+        Objects.requireNonNull(stream, () -> "stream must not be null");
 
         final Iterator<Optional<T>> iterator = stream.iterator();
 

SpecsUtils/src/pt/up/fe/specs/util/SpecsIo.java

@@ -55,6 +55,7 @@
 import java.util.LinkedHashMap;
 import java.util.List;
 import java.util.Map;
+import java.util.Objects;
 import java.util.Optional;
 import java.util.Set;
 import java.util.UUID;
@@ -1224,7 +1225,7 @@ public static File resourceCopy(String resource) {
     public static <T extends Enum<T> & ResourceProvider> void resourceCopy(Class<T> resources, File destinationFolder,
             boolean useResourcePath) {
 
-        Preconditions.checkArgument(destinationFolder != null, "destinationFolder must not be null");
+        Objects.requireNonNull(destinationFolder, () -> "destinationFolder must not be null");
 
         if (resources == null) {
             throw new RuntimeException("resources must not be null");
@@ -1334,8 +1335,8 @@ public static ResourceCopyData resourceCopyVersioned(ResourceProvider resource,
     public static File resourceCopy(String resource, File destinationFolder, boolean useResourcePath,
             boolean overwrite) {
 
-        Preconditions.checkArgument(resource != null, "resource must not be null");
-        Preconditions.checkArgument(destinationFolder != null, "destinationFolder must not be null");
+        Objects.requireNonNull(resource, () -> "resource must not be null");
+        Objects.requireNonNull(destinationFolder, () -> "destinationFolder must not be null");
 
         // Disabled option, is not good idea not to overwrite
         // overwrite = true;

SpecsUtils/src/pt/up/fe/specs/util/SpecsStrings.java

@@ -30,6 +30,7 @@
 import java.util.List;
 import java.util.Locale;
 import java.util.Map;
+import java.util.Objects;
 import java.util.Optional;
 import java.util.StringJoiner;
 import java.util.concurrent.TimeUnit;
@@ -1220,7 +1221,7 @@ public static String packageNameToResource(String packageName) {
     }
 
     public static int parseIntegerRelaxed(String constant) {
-        Preconditions.checkArgument(constant != null);
+        Objects.requireNonNull(constant);
 
         double doubleConstant = Double.parseDouble(constant);
 
@@ -1470,7 +1471,7 @@ public static String escapeJson(String string) {
 
     public static String escapeJson(String string, boolean ignoreNewlines) {
 
-        SpecsCheck.checkNotNull(string, () -> "Cannot escape a null string");
+        Objects.requireNonNull(string, () -> "Cannot escape a null string");
 
         StringBuilder escapedString = new StringBuilder();
 
@@ -1607,7 +1608,7 @@ public static String normalizeFileContents(String fileContents) {
      * @return The parsed integer, or empty if the string is not an integer.
      */
     public static Optional<Integer> tryGetDecimalInteger(String value) {
-        Preconditions.checkArgument(value != null, "value must not be null");
+        Objects.requireNonNull(value, () -> "value must not be null");
 
         if (INTEGER_PATTERN.matcher(value).matches()) {
             try {

SpecsUtils/src/pt/up/fe/specs/util/classmap/BiConsumerClassMap.java

@@ -15,9 +15,9 @@
 
 import java.util.HashMap;
 import java.util.Map;
+import java.util.Objects;
 import java.util.function.BiConsumer;
 
-import pt.up.fe.specs.util.SpecsCheck;
 import pt.up.fe.specs.util.exceptions.NotImplementedException;
 import pt.up.fe.specs.util.utilities.ClassMapper;
 
@@ -80,7 +80,7 @@ private <TK extends T> BiConsumer<T, U> get(Class<TK> key) {
 
         var function = this.map.get(mappedClass.get());
 
-        SpecsCheck.checkNotNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
+        Objects.requireNonNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
 
         return (BiConsumer<T, U>) function;
     }

SpecsUtils/src/pt/up/fe/specs/util/classmap/BiFunctionClassMap.java

@@ -15,9 +15,9 @@
 
 import java.util.HashMap;
 import java.util.Map;
+import java.util.Objects;
 import java.util.function.BiFunction;
 
-import pt.up.fe.specs.util.SpecsCheck;
 import pt.up.fe.specs.util.exceptions.NotImplementedException;
 import pt.up.fe.specs.util.utilities.ClassMapper;
 
@@ -71,7 +71,7 @@ private <TK extends T> BiFunction<T, U, R> get(Class<TK> key) {
 
         var function = this.map.get(mappedClass.get());
 
-        SpecsCheck.checkNotNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
+        Objects.requireNonNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
 
         return (BiFunction<T, U, R>) function;
     }

SpecsUtils/src/pt/up/fe/specs/util/classmap/ConsumerClassMap.java

@@ -13,12 +13,12 @@
 
 package pt.up.fe.specs.util.classmap;
 
-import pt.up.fe.specs.util.SpecsCheck;
 import pt.up.fe.specs.util.exceptions.NotImplementedException;
 import pt.up.fe.specs.util.utilities.ClassMapper;
 
 import java.util.HashMap;
 import java.util.Map;
+import java.util.Objects;
 import java.util.function.Consumer;
 
 /**
@@ -78,7 +78,7 @@ private <TK extends T> Consumer<T> get(Class<TK> key) {
 
         var function = this.map.get(mappedClass.get());
 
-        SpecsCheck.checkNotNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
+        Objects.requireNonNull(function, () -> "There should be a mapping for " + mappedClass.get() + ", verify");
 
         return (Consumer<T>) function;
     }