@shaclmate/compiler 4.0.96 → 4.0.98

package/dist/input/input.shaclmate.ttl

@@ -6,8 +6,8 @@
 @prefix shaclmate: <http://purl.org/shaclmate/ontology#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-shaclmate:NodeShape
-    sh:property shaclmate:NodeShape-discriminantValue, shaclmate:NodeShape-extern, shaclmate:NodeShape-fromRdfType, shaclmate:NodeShape-rdfType, shaclmate:NodeShape-toRdfTypes, shaclmate:NodeShape-tsImports, shaclmate:Shape-ignore, shaclmate:Shape-mutable, shaclmate:Shape-shaclmateName .
+shaclmate:BaseShape
+    sh:property shaclmate:Shape-ignore, shaclmate:Shape-mutable, shaclmate:Shape-shaclmateName .
 
 shaclmate:NodeShape-discriminantValue
     a sh:PropertyShape ;
@@ -57,6 +57,7 @@ shaclmate:NodeShape-rdfType
 
 shaclmate:NodeShape-toRdfTypes
     a sh:PropertyShape ;
+    sh:name "toRdfTypes" ;
     sh:nodeKind sh:IRI ;
     sh:path shaclmate:toRdfType .
 
@@ -66,6 +67,9 @@ shaclmate:NodeShape-tsImports
     sh:name "tsImports" ;
     sh:path shaclmate:tsImport .
 
+shaclmate:NodeShapeSpecificProperties
+    sh:property shaclmate:NodeShape-discriminantValue, shaclmate:NodeShape-extern, shaclmate:NodeShape-fromRdfType, shaclmate:NodeShape-rdfType, shaclmate:NodeShape-toRdfTypes, shaclmate:NodeShape-tsImports .
+
 shaclmate:Operation
     a rdfs:Class, sh:NodeShape ;
     rdfs:comment "Service operation" ;
@@ -267,9 +271,6 @@ shaclmate:OperationResultHttpBindingContentType
     sh:in ("application/json"
     ) .
 
-shaclmate:PropertyShape
-    sh:property shaclmate:PropertyShape-display, shaclmate:PropertyShape-resolve, shaclmate:Shape-ignore, shaclmate:Shape-mutable, shaclmate:Shape-shaclmateName .
-
 shaclmate:PropertyShape-display
     a sh:PropertyShape ;
     rdfs:comment "Whether to include this property in a toString()-type display, defaults to false" ;
@@ -285,6 +286,9 @@ shaclmate:PropertyShape-resolve
     sh:nodeKind sh:BlankNodeOrIRI ;
     sh:path shaclmate:resolve .
 
+shaclmate:PropertyShapeSpecificProperties
+    sh:property shaclmate:PropertyShape-display, shaclmate:PropertyShape-resolve .
+
 shaclmate:Service
     a rdfs:Class, sh:NodeShape ;
     rdfs:comment "Service with operations" ;

package/package.json

@@ -1,6 +1,6 @@
 {
   "dependencies": {
-    "@shaclmate/shacl-ast": "4.0.96",
+    "@shaclmate/shacl-ast": "4.0.98",
     "@rdfjs/types": "~2.0.1",
     "@rdfx/collection": "0.0.59",
     "@rdfx/curie": "0.0.59",
@@ -46,8 +46,12 @@
     "dist/_ShapesGraphToAstTransformer/shapeNodeKinds.js",
     "dist/_ShapesGraphToAstTransformer/shapeOntology.d.ts",
     "dist/_ShapesGraphToAstTransformer/shapeOntology.js",
+    "dist/_ShapesGraphToAstTransformer/synthesizePartialAstStructType.d.ts",
+    "dist/_ShapesGraphToAstTransformer/synthesizePartialAstStructType.js",
     "dist/_ShapesGraphToAstTransformer/transformPropertyShapeToAstStructTypeField.d.ts",
     "dist/_ShapesGraphToAstTransformer/transformPropertyShapeToAstStructTypeField.js",
+    "dist/_ShapesGraphToAstTransformer/transformShapeNodeConstraintToAstType.d.ts",
+    "dist/_ShapesGraphToAstTransformer/transformShapeNodeConstraintToAstType.js",
     "dist/_ShapesGraphToAstTransformer/transformShapeToAstCompoundType.d.ts",
     "dist/_ShapesGraphToAstTransformer/transformShapeToAstCompoundType.js",
     "dist/_ShapesGraphToAstTransformer/transformShapeToAstListType.d.ts",
@@ -330,8 +334,6 @@
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_fromRdfResourceFunction.js",
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_graphqlTypeExpression.d.ts",
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_graphqlTypeExpression.js",
-    "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_schemaExpression.d.ts",
-    "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_schemaExpression.js",
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_toRdfResourceFunction.d.ts",
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_toRdfResourceFunction.js",
     "dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_typeGuardFunction.d.ts",
@@ -468,10 +470,8 @@
     "dist/generators/ts/_snippets/snippets_FocusSparqlConstructTriplesFunction.js",
     "dist/generators/ts/_snippets/snippets_FocusSparqlWherePatternsFunction.d.ts",
     "dist/generators/ts/_snippets/snippets_FocusSparqlWherePatternsFunction.js",
-    "dist/generators/ts/_snippets/snippets_FromJsonObjectFunction.d.ts",
-    "dist/generators/ts/_snippets/snippets_FromJsonObjectFunction.js",
-    "dist/generators/ts/_snippets/snippets_FromJsonValueFunction.d.ts",
-    "dist/generators/ts/_snippets/snippets_FromJsonValueFunction.js",
+    "dist/generators/ts/_snippets/snippets_FromJsonFunction.d.ts",
+    "dist/generators/ts/_snippets/snippets_FromJsonFunction.js",
     "dist/generators/ts/_snippets/snippets_FromRdfResourceFunction.d.ts",
     "dist/generators/ts/_snippets/snippets_FromRdfResourceFunction.js",
     "dist/generators/ts/_snippets/snippets_FromRdfResourceValuesFunction.d.ts",
@@ -548,10 +548,8 @@
     "dist/generators/ts/_snippets/snippets_TermJsonObject.js",
     "dist/generators/ts/_snippets/snippets_TermSchema.d.ts",
     "dist/generators/ts/_snippets/snippets_TermSchema.js",
-    "dist/generators/ts/_snippets/snippets_ToJsonObjectFunction.d.ts",
-    "dist/generators/ts/_snippets/snippets_ToJsonObjectFunction.js",
-    "dist/generators/ts/_snippets/snippets_ToJsonValueFunction.d.ts",
-    "dist/generators/ts/_snippets/snippets_ToJsonValueFunction.js",
+    "dist/generators/ts/_snippets/snippets_ToJsonFunction.d.ts",
+    "dist/generators/ts/_snippets/snippets_ToJsonFunction.js",
     "dist/generators/ts/_snippets/snippets_ToLoggableFunction.d.ts",
     "dist/generators/ts/_snippets/snippets_ToLoggableFunction.js",
     "dist/generators/ts/_snippets/snippets_ToRdfResourceFunction.d.ts",
@@ -648,14 +646,14 @@
     "dist/generators/ts/_snippets/snippets_convertToIdentifier.js",
     "dist/generators/ts/_snippets/snippets_convertToIdentifierProperty.d.ts",
     "dist/generators/ts/_snippets/snippets_convertToIdentifierProperty.js",
-    "dist/generators/ts/_snippets/snippets_convertToInIri.d.ts",
-    "dist/generators/ts/_snippets/snippets_convertToInIri.js",
-    "dist/generators/ts/_snippets/snippets_convertToInIriIdentifierProperty.d.ts",
-    "dist/generators/ts/_snippets/snippets_convertToInIriIdentifierProperty.js",
     "dist/generators/ts/_snippets/snippets_convertToIri.d.ts",
     "dist/generators/ts/_snippets/snippets_convertToIri.js",
     "dist/generators/ts/_snippets/snippets_convertToIriIdentifierProperty.d.ts",
     "dist/generators/ts/_snippets/snippets_convertToIriIdentifierProperty.js",
+    "dist/generators/ts/_snippets/snippets_convertToIriLiteral.d.ts",
+    "dist/generators/ts/_snippets/snippets_convertToIriLiteral.js",
+    "dist/generators/ts/_snippets/snippets_convertToIriLiteralIdentifierProperty.d.ts",
+    "dist/generators/ts/_snippets/snippets_convertToIriLiteralIdentifierProperty.js",
     "dist/generators/ts/_snippets/snippets_convertToLangString.d.ts",
     "dist/generators/ts/_snippets/snippets_convertToLangString.js",
     "dist/generators/ts/_snippets/snippets_convertToLazy.d.ts",
@@ -790,6 +788,12 @@
     "dist/generators/ts/_snippets/snippets_iriFromJsonString.js",
     "dist/generators/ts/_snippets/snippets_iriFromRdfResourceValues.d.ts",
     "dist/generators/ts/_snippets/snippets_iriFromRdfResourceValues.js",
+    "dist/generators/ts/_snippets/snippets_iriFromString.d.ts",
+    "dist/generators/ts/_snippets/snippets_iriFromString.js",
+    "dist/generators/ts/_snippets/snippets_iriLiteralFromJsonObject.d.ts",
+    "dist/generators/ts/_snippets/snippets_iriLiteralFromJsonObject.js",
+    "dist/generators/ts/_snippets/snippets_iriLiteralFromJsonString.d.ts",
+    "dist/generators/ts/_snippets/snippets_iriLiteralFromJsonString.js",
     "dist/generators/ts/_snippets/snippets_iriSparqlWherePatterns.d.ts",
     "dist/generators/ts/_snippets/snippets_iriSparqlWherePatterns.js",
     "dist/generators/ts/_snippets/snippets_iriToJsonObject.d.ts",
@@ -972,5 +976,5 @@
   },
   "type": "module",
   "types": "./dist/index.d.ts",
-  "version": "4.0.96"
+  "version": "4.0.98"
 }

package/dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_schemaExpression.d.ts

@@ -1,4 +0,0 @@
-import type { ObjectDiscriminatedUnionType } from "../ObjectDiscriminatedUnionType.js";
-import { type Code } from "../ts-poet-wrapper.js";
-export declare function ObjectDiscriminatedUnionType_schemaExpression(this: ObjectDiscriminatedUnionType): Code;
-//# sourceMappingURL=ObjectDiscriminatedUnionType_schemaExpression.d.ts.map

package/dist/generators/ts/_ObjectDiscriminatedUnionType/ObjectDiscriminatedUnionType_schemaExpression.js

@@ -1,37 +0,0 @@
-import { PropertyPath } from "@rdfx/resource";
-import { code, joinCode } from "../ts-poet-wrapper.js";
-export function ObjectDiscriminatedUnionType_schemaExpression() {
-    const commonPropertiesByName = {};
-    this.members.forEach((member, memberI) => {
-        for (const memberTypeProperty of member.type.properties) {
-            if (memberTypeProperty.kind !== "Shacl") {
-                continue;
-            }
-            let commonProperty = commonPropertiesByName[memberTypeProperty.name];
-            if (commonProperty) {
-                if (PropertyPath.equals(commonProperty.property.path, memberTypeProperty.path)) {
-                    commonProperty.memberTypesWithProperty[memberI] = true;
-                }
-            }
-            else {
-                commonPropertiesByName[memberTypeProperty.name] = commonProperty = {
-                    memberTypesWithProperty: new Array(this.members.length).fill(false),
-                    property: memberTypeProperty,
-                };
-                commonProperty.memberTypesWithProperty[memberI] = true;
-            }
-        }
-    });
-    const propertiesObject = [];
-    for (const name of Object.keys(commonPropertiesByName).toSorted()) {
-        const { memberTypesWithProperty, property } = commonPropertiesByName[name];
-        if (!memberTypesWithProperty.every((value) => value)) {
-            continue;
-        }
-        property.schema.ifJust((propertySchema) => {
-            propertiesObject.push(code `${property.name}: ${propertySchema}`);
-        });
-    }
-    return code `{ ${joinCode(this.schemaInitializers.concat(code `properties: { ${joinCode(propertiesObject, { on: ", " })} }`), { on: ", " })} } as const;`;
-}
-//# sourceMappingURL=ObjectDiscriminatedUnionType_schemaExpression.js.map

package/dist/generators/ts/_snippets/snippets_FromJsonObjectFunction.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_FromJsonObjectFunction: SnippetFactory;
-//# sourceMappingURL=snippets_FromJsonObjectFunction.d.ts.map

package/dist/generators/ts/_snippets/snippets_FromJsonObjectFunction.js

@@ -1,21 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_FromJsonObjectFunction = ({ configuration, imports, syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}FromJsonObjectFunction`, code `\
-export type ${syntheticNamePrefix}FromJsonObjectFunction<JsonObjectT extends object, ValueT, ValueSchemaT> = 
-  [ValueSchemaT] extends [undefined]
-  ? (
-      jsonObject: JsonObjectT,
-      options?: {
-        context?: unknown;
-        ${configuration.features.has("ObjectSet") ? code `objectSet?: ${syntheticNamePrefix}ObjectSet;` : ""}
-        schema?: unknown;
-      },
-    ) => ${imports.Either}<Error, ValueT>
-  : (
-      jsonObject: JsonObjectT,
-      options: {
-        context?: unknown;
-        ${configuration.features.has("ObjectSet") ? code `objectSet?: ${syntheticNamePrefix}ObjectSet;` : ""}
-        schema: ValueSchemaT;
-      },
-    ) => ${imports.Either}<Error, ValueT>;`);
-//# sourceMappingURL=snippets_FromJsonObjectFunction.js.map

package/dist/generators/ts/_snippets/snippets_FromJsonValueFunction.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_FromJsonValueFunction: SnippetFactory;
-//# sourceMappingURL=snippets_FromJsonValueFunction.d.ts.map

package/dist/generators/ts/_snippets/snippets_FromJsonValueFunction.js

@@ -1,21 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_FromJsonValueFunction = ({ configuration, imports, syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}FromJsonValueFunction`, code `\
-export type ${syntheticNamePrefix}FromJsonValueFunction<JsonValueT, ValueT, ValueSchemaT> = 
-  [ValueSchemaT] extends [undefined]
-  ? (
-      jsonValue: JsonValueT,
-      options?: {
-        context?: unknown;
-        ${configuration.features.has("ObjectSet") ? code `objectSet?: ${syntheticNamePrefix}ObjectSet;` : ""}
-        schema?: unknown;
-      },
-    ) => ${imports.Either}<Error, ValueT>
-  : (
-      jsonValue: JsonValueT,
-      options: {
-        context?: unknown;
-        ${configuration.features.has("ObjectSet") ? code `objectSet?: ${syntheticNamePrefix}ObjectSet;` : ""}
-        schema: ValueSchemaT;
-      },
-    ) => ${imports.Either}<Error, ValueT>;`);
-//# sourceMappingURL=snippets_FromJsonValueFunction.js.map

package/dist/generators/ts/_snippets/snippets_ToJsonObjectFunction.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_ToJsonObjectFunction: SnippetFactory;
-//# sourceMappingURL=snippets_ToJsonObjectFunction.d.ts.map

package/dist/generators/ts/_snippets/snippets_ToJsonObjectFunction.js

@@ -1,3 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_ToJsonObjectFunction = ({ syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}ToJsonObjectFunction`, code `export type ${syntheticNamePrefix}ToJsonObjectFunction<T, JsonObjectT extends object> = (value: T) => JsonObjectT;`);
-//# sourceMappingURL=snippets_ToJsonObjectFunction.js.map

package/dist/generators/ts/_snippets/snippets_ToJsonValueFunction.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_ToJsonValueFunction: SnippetFactory;
-//# sourceMappingURL=snippets_ToJsonValueFunction.d.ts.map

package/dist/generators/ts/_snippets/snippets_ToJsonValueFunction.js

@@ -1,3 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_ToJsonValueFunction = ({ syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}ToJsonValueFunction`, code `export type ${syntheticNamePrefix}ToJsonValueFunction<T, JsonValueT> = (value: T) => JsonValueT;`);
-//# sourceMappingURL=snippets_ToJsonValueFunction.js.map

package/dist/generators/ts/_snippets/snippets_convertToInIri.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_convertToInIri: SnippetFactory;
-//# sourceMappingURL=snippets_convertToInIri.d.ts.map

package/dist/generators/ts/_snippets/snippets_convertToInIri.js

@@ -1,11 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_convertToInIri = ({ imports, snippets, syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}convertToInIri`, code `\
-function ${syntheticNamePrefix}convertToInIri<IriT extends string>(value: IriT | ${imports.NamedNode}<IriT>, _defaultNamespace?: ${snippets.NamespaceBuilder}): ${imports.Either}<Error, ${imports.NamedNode}<IriT>> {
-  switch (typeof value) {
-    case "object":
-      return ${imports.Either}.of(value);
-    case "string":
-      return ${imports.Either}.of(${imports.dataFactory}.namedNode<IriT>(value));
-  }
-}`);
-//# sourceMappingURL=snippets_convertToInIri.js.map

package/dist/generators/ts/_snippets/snippets_convertToInIriIdentifierProperty.d.ts

@@ -1,3 +0,0 @@
-import type { SnippetFactory } from "../SnippetFactory.js";
-export declare const snippets_convertToInIriIdentifierProperty: SnippetFactory;
-//# sourceMappingURL=snippets_convertToInIriIdentifierProperty.d.ts.map

package/dist/generators/ts/_snippets/snippets_convertToInIriIdentifierProperty.js

@@ -1,17 +0,0 @@
-import { code, conditionalOutput } from "../ts-poet-wrapper.js";
-export const snippets_convertToInIriIdentifierProperty = ({ imports, snippets, syntheticNamePrefix, }) => conditionalOutput(`${syntheticNamePrefix}convertToInIriIdentifierProperty`, code `\
-function ${syntheticNamePrefix}convertToInIriIdentifierProperty<InIriT extends string>(identifier: (() => ${imports.NamedNode}<InIriT>) | ${imports.NamedNode}<InIriT> | InIriT, _defaultNamespace?: ${snippets.NamespaceBuilder}): ${imports.Either}<Error, (() => ${imports.NamedNode}<InIriT>)> {
-  switch (typeof identifier) {
-    case "function":
-      return ${imports.Either}.of(identifier);
-    case "object": {
-      const captureIdentifier = identifier;
-      return ${imports.Either}.of(() => captureIdentifier);
-    }
-    case "string": {
-      const captureIdentifier = ${imports.dataFactory}.namedNode<InIriT>(identifier);
-      return ${imports.Either}.of(() => captureIdentifier);
-    }
-  }
-}`);
-//# sourceMappingURL=snippets_convertToInIriIdentifierProperty.js.map