Add support for noLinkCheck in codegen

This commit introduces support for the `noLinkCheck` `jsonldPredicate`
in the Schema SALAD codegen toolchain, and in particular in the
`URILoader` stack. When `noLinkCheck` is set to `true`, no link checking
is performed for all the underlying objects hierarchy. The need to
propagate its value to the hierarchy makes it necessary to modify also
the `LoadingOptions` data structure.

All parsers but the Python one never perform link checking up to now, so
this update makes no modification to their actual behaviour. However, it
enables the `URILoader` classes to receive the `noLinkCheck` parameter
for future implementations.

Author: GlassOfWhiskey

schema_salad/codegen.py

@@ -164,7 +164,9 @@ def codegen(
                     subscope = field.get("subscope")
                     fieldpred = field["name"]
                     optional = bool("https://w3id.org/cwl/salad#null" in field["type"])
-                    uri_loader = gen.uri_loader(gen.type_loader(field["type"]), True, False, None)
+                    uri_loader = gen.uri_loader(
+                        gen.type_loader(field["type"]), True, False, None, None
+                    )
                     gen.declare_id_field(
                         fieldpred,
                         uri_loader,
@@ -189,10 +191,16 @@ def codegen(
                         type_loader = gen.secondaryfilesdsl_loader(type_loader)
                     elif jld.get("_type") == "@id":
                         type_loader = gen.uri_loader(
-                            type_loader, jld.get("identity", False), False, ref_scope
+                            type_loader,
+                            jld.get("identity", False),
+                            False,
+                            ref_scope,
+                            jld.get("noLinkCheck"),
                         )
                     elif jld.get("_type") == "@vocab":
-                        type_loader = gen.uri_loader(type_loader, False, True, ref_scope)
+                        type_loader = gen.uri_loader(
+                            type_loader, False, True, ref_scope, jld.get("noLinkCheck")
+                        )
 
                     map_subject = jld.get("mapSubject")
                     if map_subject:

schema_salad/codegen_base.py

@@ -115,6 +115,7 @@ def uri_loader(
         scoped_id: bool,
         vocab_term: bool,
         ref_scope: Optional[int],
+        no_link_check: Optional[bool],
     ) -> TypeDef:
         """Construct the TypeDef for the given URI loader."""
         raise NotImplementedError()

schema_salad/dotnet/util/Loaders/UriLoader.cs

@@ -8,13 +8,15 @@ internal class UriLoader : ILoader<object>
     readonly bool scopedID;
     readonly bool vocabTerm;
     readonly int? scopedRef;
+    readonly bool? noLinkCheck;
 
-    public UriLoader(in ILoader inner, in bool scopedID, in bool vocabTerm, in int? scopedRef)
+    public UriLoader(in ILoader inner, in bool scopedID, in bool vocabTerm, in int? scopedRef, in bool? noLinkCheck)
     {
         this.inner = inner;
         this.scopedID = scopedID;
         this.vocabTerm = vocabTerm;
         this.scopedRef = scopedRef;
+        this.noLinkCheck = noLinkCheck;
     }
 
     public object Load(in object doc_, in string baseuri, in LoadingOptions loadingOptions, in string? docRoot = null)

schema_salad/dotnet_codegen.py

@@ -792,19 +792,21 @@ def uri_loader(
         scoped_id: bool,
         vocab_term: bool,
         ref_scope: Optional[int],
+        no_link_check: Optional[bool],
     ) -> TypeDef:
         """Construct the TypeDef for the given URI loader."""
         instance_type = inner.instance_type or "object"
         return self.declare_type(
             TypeDef(
                 instance_type=instance_type,
-                name=f"uri{inner.name}{scoped_id}{vocab_term}{ref_scope}",
+                name=f"uri{inner.name}{scoped_id}{vocab_term}{ref_scope}{no_link_check}",
                 loader_type="ILoader<object>",
-                init="new UriLoader({}, {}, {}, {})".format(
+                init="new UriLoader({}, {}, {}, {}, {})".format(
                     inner.name,
                     self.to_dotnet(scoped_id),
                     self.to_dotnet(vocab_term),
                     self.to_dotnet(ref_scope),
+                    self.to_dotnet(no_link_check),
                 ),
                 is_uri=True,
                 scoped_id=scoped_id,

schema_salad/java/main_utils/UriLoader.java

@@ -13,11 +13,13 @@ public UriLoader(
       final Loader<T> innerLoader,
       final boolean scopedId,
       final boolean vocabTerm,
-      final Integer scopedRef) {
+      final Integer scopedRef,
+      final Boolean noLinkCheck) {
     this.innerLoader = innerLoader;
     this.scopedId = scopedId;
     this.vocabTerm = vocabTerm;
     this.scopedRef = scopedRef;
+    this.noLinkCheck = noLinkCheck
   }
 
   private Object expandUrl(

schema_salad/java_codegen.py

@@ -715,17 +715,19 @@ def uri_loader(
         scoped_id: bool,
         vocab_term: bool,
         ref_scope: Optional[int],
+        no_link_check: Optional[bool],
     ) -> TypeDef:
         instance_type = inner.instance_type or "Object"
         return self.declare_type(
             TypeDef(
                 instance_type=instance_type,  # ?
-                name=f"uri_{inner.name}_{scoped_id}_{vocab_term}_{ref_scope}",
-                init="new UriLoader({}, {}, {}, {})".format(
+                name=f"uri_{inner.name}_{scoped_id}_{vocab_term}_{ref_scope}_{no_link_check}",
+                init="new UriLoader({}, {}, {}, {}, {})".format(
                     inner.name,
                     self.to_java(scoped_id),
                     self.to_java(vocab_term),
                     self.to_java(ref_scope),
+                    self.to_java(no_link_check),
                 ),
                 is_uri=True,
                 scoped_id=scoped_id,