@kanonak-protocol/sdk 4.2.0 → 4.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/browser.js +1 -1
- package/dist/canonical/CanonicalHash.d.ts +9 -0
- package/dist/canonical/InputModel.d.ts +54 -0
- package/dist/canonical/index.d.ts +1 -0
- package/dist/{chunk-MJZSHLWI.js → chunk-2D3MZRJB.js} +1 -1
- package/dist/{chunk-O27W3OKK.js → chunk-B73JY5G4.js} +1 -1
- package/dist/chunk-FSHQVKZ5.js +1 -0
- package/dist/{chunk-HJQGBT7M.js → chunk-NG2YXSH7.js} +1 -1
- package/dist/chunk-P3MJIJSK.js +86 -0
- package/dist/{chunk-JE4ZJ3OB.js → chunk-SW4AJ6GD.js} +1 -1
- package/dist/{chunk-NC3FSY3R.js → chunk-UK2OIPAB.js} +1 -1
- package/dist/chunk-VKTFLHCW.js +1 -0
- package/dist/{chunk-JSHJ4ZDB.js → chunk-WBRCKPEH.js} +1 -1
- package/dist/index.d.ts +2 -1
- package/dist/index.js +26 -26
- package/dist/parsing/index.js +1 -1
- package/dist/reasoning/KanonakVocabulary.d.ts +15 -1
- package/dist/reasoning/index.js +1 -1
- package/dist/resolution/index.js +1 -1
- package/dist/search/index.js +1 -1
- package/dist/server/index.js +1 -1
- package/dist/transformations/index.js +1 -1
- package/dist/validation/index.d.ts +1 -1
- package/dist/validation/index.js +1 -1
- package/dist/validation/rules/document/PackageHeaderRule.d.ts +24 -0
- package/dist/validation/rules/document/index.d.ts +1 -0
- package/package.json +3 -4
- package/vectors/full-form-vectors.json +1 -1
- package/dist/chunk-5DXJ5B5T.js +0 -84
- package/dist/chunk-CEFXZIHB.js +0 -1
- package/dist/chunk-XYEY6HUC.js +0 -1
- package/vectors/decode.mjs +0 -115
package/dist/browser.js
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import{a as fe,b as ge,c as me,d as C,e as E,f as d,g as Ye}from"./chunk-
|
|
1
|
+
import{a as fe,b as ge,c as me,d as C,e as E,f as d,g as Ye}from"./chunk-2D3MZRJB.js";import{a as Qe}from"./chunk-NG2YXSH7.js";import"./chunk-QHABFCRC.js";import{b as L,c as W,d as F}from"./chunk-YCV4H6H5.js";import{a as H}from"./chunk-4NO7MHS7.js";import{a as Pe,b as we,c as he}from"./chunk-WBRCKPEH.js";import{a as ke,b as be}from"./chunk-PEUTCG3B.js";import"./chunk-PEJALHXK.js";import"./chunk-SC5M74NM.js";import{A as Le,B as We,C as Fe,D as Ge,M as Xe,a as Ke,b as xe,c as Se,d as Re,f as De,g as Be,h as Ce,i as Ee,k as je,l as ve,m as _e,n as Ie,o as Ae,p as Te,q as Oe,r as Ve,s as $e,t as Ue,u as Me,v as ze,w as Ne,x as Je,y as He,z as qe}from"./chunk-P3MJIJSK.js";import"./chunk-SHDHMKMJ.js";import{a as Y,c as le,i as pe}from"./chunk-FSHQVKZ5.js";import{a as q}from"./chunk-ZYAABYDS.js";import{a as ye}from"./chunk-UK2OIPAB.js";import"./chunk-PBNVHBS3.js";import{b as ue,c as de}from"./chunk-VKTFLHCW.js";import{a as G,b as X,c as Q,d as ee,e as re,f as te,g as ne,h as oe,i as se,j as ie,k as ae,l as ce}from"./chunk-T3JR2SV6.js";import{a as Z}from"./chunk-FUUTGGJS.js";import{c as O,d as V,e as $,f as U,g as M,h as z,i as N,j as J}from"./chunk-2ACBWC7K.js";var j="kanonak-credentials",u="credentials",Ze=1,g=class{async get(r){let e=d(r),t=await h();return new Promise((o,a)=>{let s=t.transaction(u,"readonly"),i=s.objectStore(u).get(e);i.onsuccess=()=>o(i.result??null),i.onerror=()=>a(new Error(`IndexedDB read failed for '${e}': ${i.error?.message}`)),s.oncomplete=()=>t.close()})}async store(r,e){let t=d(r),o=await h();return new Promise((a,s)=>{let l=o.transaction(u,"readwrite"),c=l.objectStore(u).put(e,t);c.onsuccess=()=>a(),c.onerror=()=>s(new Error(`IndexedDB write failed for '${t}': ${c.error?.message}`)),l.oncomplete=()=>o.close()})}async remove(r){let e=d(r),t=await h();return new Promise((o,a)=>{let s=t.transaction(u,"readwrite"),i=s.objectStore(u).delete(e);i.onsuccess=()=>o(),i.onerror=()=>a(new Error(`IndexedDB delete failed for '${e}': ${i.error?.message}`)),s.oncomplete=()=>t.close()})}async list(){let r=await h();return new Promise((e,t)=>{let o=r.transaction(u,"readonly"),s=o.objectStore(u).getAllKeys();s.onsuccess=()=>e(s.result??[]),s.onerror=()=>t(new Error(`IndexedDB list failed: ${s.error?.message}`)),o.oncomplete=()=>r.close()})}};function h(){return new Promise((n,r)=>{let e=indexedDB.open(j,Ze);e.onupgradeneeded=()=>{let t=e.result;t.objectStoreNames.contains(u)||t.createObjectStore(u)},e.onsuccess=()=>n(e.result),e.onerror=()=>r(new Error(`Failed to open IndexedDB '${j}': ${e.error?.message}
|
|
2
2
|
Credential storage requires IndexedDB support in your browser.`))})}async function _(){let n=await crypto.subtle.generateKey({name:"ECDSA",namedCurve:"P-256"},!1,["sign"]),r=await crypto.subtle.exportKey("jwk",n.publicKey);return{signingKey:n.privateKey,publicKeyJwk:r}}async function k(){let n=await crypto.subtle.generateKey({name:"ECDSA",namedCurve:"P-256"},!0,["sign"]),r=await crypto.subtle.exportKey("jwk",n.publicKey),e=await crypto.subtle.exportKey("jwk",n.privateKey);return{keys:{signingKey:n.privateKey,publicKeyJwk:r},dpopKeyPair:{publicKey:r,privateKey:e}}}async function b(n){return{signingKey:await crypto.subtle.importKey("jwk",n.privateKey,{name:"ECDSA",namedCurve:"P-256"},!1,["sign"]),publicKeyJwk:n.publicKey}}async function K(n,r,e,t,o){let a={alg:"ES256",typ:"dpop+jwt",jwk:{kty:n.publicKeyJwk.kty,crv:n.publicKeyJwk.crv,x:n.publicKeyJwk.x,y:n.publicKeyJwk.y}},s={jti:crypto.randomUUID(),htm:r.toUpperCase(),htu:e,iat:Math.floor(Date.now()/1e3)};return t&&(s.ath=await rr(t)),o&&(s.nonce=o),await er(a,s,n.signingKey)}function x(n){return!n||n.length===0?!1:n.some(r=>r.toUpperCase()==="ES256")}async function er(n,r,e){let t=v(JSON.stringify(n)),o=v(JSON.stringify(r)),a=new TextEncoder().encode(`${t}.${o}`),s=await crypto.subtle.sign({name:"ECDSA",hash:"SHA-256"},e,a),l=D(s);return`${t}.${o}.${l}`}async function rr(n){let r=new TextEncoder().encode(n),e=await crypto.subtle.digest("SHA-256",r);return D(e)}function v(n){let r=new TextEncoder().encode(n);return D(r.buffer)}function D(n){let r=new Uint8Array(n),e="";for(let t=0;t<r.length;t++)e+=String.fromCharCode(r[t]);return btoa(e).replace(/\+/g,"-").replace(/\//g,"_").replace(/=+$/,"")}var tr=300*1e3,S=class{credentialBackend;callbackUrl;constructor(r){this.credentialBackend=new g,this.callbackUrl=r??`${window.location.origin}/browser/callback.html`}async authorize(r){let e=d(r),t=await this.discover(e);if(!t)return{success:!1,error:`No OAuth discovery endpoint found for '${e}'.`};if(!t.authorizationEndpoint||!t.tokenEndpoint)return{success:!1,error:`OAuth metadata incomplete for '${e}'.`};let o=x(t.dpopSigningAlgValuesSupported),a=null,s=null;if(o){let f=await k();a=f.keys,s=f.dpopKeyPair}let l=await this.credentialBackend.get(e),i=l?.clientId??null,c=l?.clientSecret??null;if(!i&&t.registrationEndpoint){let f=await this.registerClient(t.registrationEndpoint);if(!f)return{success:!1,error:`Dynamic client registration failed for '${e}'.`};i=f.clientId,c=f.clientSecret??null}if(!i)return{success:!1,error:`No OAuth client credentials for '${e}'.`};let m=nr(),p=await or(m),R=sr(),A=ir(t.authorizationEndpoint,i,this.callbackUrl,R,p),y=await this.openAuthPopup(A,R);if(!y)return{success:!1,error:"Authorization timed out or was cancelled."};if(y.error)return{success:!1,error:`Authorization failed: ${y.error}`};if(!y.code)return{success:!1,error:"No authorization code received."};if(y.state!==R)return{success:!1,error:"State mismatch \u2014 possible CSRF attack."};let P=await this.exchangeCode(t.tokenEndpoint,i,c,y.code,this.callbackUrl,m,a);if(!P)return{success:!1,error:"Token exchange failed."};let T={clientId:i,clientSecret:c,accessToken:P.accessToken??null,refreshToken:P.refreshToken??null,expiresAt:P.expiresIn?new Date(Date.now()+P.expiresIn*1e3).toISOString():null,tokenEndpoint:t.tokenEndpoint,dpopKeyPair:s};return await this.credentialBackend.store(e,T),{success:!0,host:e}}async getCredentialWithKeys(r){let e=await this.credentialBackend.get(r);if(!e)return null;let t=null;return e.dpopKeyPair&&(t=await b(e.dpopKeyPair)),{credential:e,dpopKeys:t}}async logout(r){let e=d(r);return await this.credentialBackend.remove(e),{success:!0,host:e}}async listAuthenticated(){return this.credentialBackend.list()}async discover(r){for(let e of[`https://${r}/.well-known/oauth-authorization-server`,`https://${r}/.well-known/openid-configuration`])try{let t=await fetch(e);if(!t.ok)continue;let o=await t.json();return{issuer:w(o.issuer),authorizationEndpoint:w(o.authorization_endpoint),tokenEndpoint:w(o.token_endpoint),registrationEndpoint:w(o.registration_endpoint),revocationEndpoint:w(o.revocation_endpoint),dpopSigningAlgValuesSupported:I(o.dpop_signing_alg_values_supported),codeChallengeMethodsSupported:I(o.code_challenge_methods_supported)}}catch{continue}return null}async registerClient(r){try{let e=await fetch(r,{method:"POST",headers:{"Content-Type":"application/json"},body:JSON.stringify({client_name:"Kanonak Browser",redirect_uris:[this.callbackUrl],grant_types:["authorization_code","refresh_token"],response_types:["code"],token_endpoint_auth_method:"none"})});if(!e.ok)return null;let t=await e.json(),o=t.client_id;return o?{clientId:o,clientSecret:t.client_secret}:null}catch{return null}}openAuthPopup(r,e){return new Promise(t=>{let o=window.open(r,"kanonak-auth","width=500,height=700,menubar=no,toolbar=no,location=yes,status=no");if(!o){t(null);return}let a=setTimeout(()=>{i(),t(null)},tr),s=c=>{c.origin===window.location.origin&&(!c.data||c.data.type!=="kanonak-auth-callback"||(i(),t({code:c.data.code??void 0,state:c.data.state??void 0,error:c.data.error??void 0})))},l=setInterval(()=>{o.closed&&(i(),t(null))},500),i=()=>{clearTimeout(a),clearInterval(l),window.removeEventListener("message",s);try{o.close()}catch{}};window.addEventListener("message",s)})}async exchangeCode(r,e,t,o,a,s,l){let i=new URLSearchParams({grant_type:"authorization_code",client_id:e,code:o,redirect_uri:a,code_verifier:s});t&&i.set("client_secret",t);let c={"Content-Type":"application/x-www-form-urlencoded"};l&&(c.DPoP=await K(l,"POST",r));try{let m=await fetch(r,{method:"POST",headers:c,body:i.toString()});if(!m.ok)return null;let p=await m.json();return{accessToken:p.access_token,refreshToken:p.refresh_token,expiresIn:typeof p.expires_in=="number"?p.expires_in:void 0}}catch{return null}}};function nr(){let n=new Uint8Array(32);return crypto.getRandomValues(n),B(n.buffer)}async function or(n){let r=new TextEncoder().encode(n),e=await crypto.subtle.digest("SHA-256",r);return B(e)}function sr(){let n=new Uint8Array(16);return crypto.getRandomValues(n),B(n.buffer)}function ir(n,r,e,t,o){let a=new URLSearchParams({client_id:r,response_type:"code",redirect_uri:e,state:t,code_challenge:o,code_challenge_method:"S256"});return`${n}?${a}`}function B(n){let r=new Uint8Array(n),e="";for(let t=0;t<r.length;t++)e+=String.fromCharCode(r[t]);return btoa(e).replace(/\+/g,"-").replace(/\//g,"_").replace(/=+$/,"")}function w(n){return typeof n=="string"?n:null}function I(n){return Array.isArray(n)?n.filter(r=>typeof r=="string"):null}export{Ne as AmbiguousReferenceRule,se as BooleanStatement,g as BrowserCredentialBackend,S as BrowserOAuthFlow,Fe as ClassDefinitionRule,Ie as ClassHierarchyCycleRule,X as DefinedKanonak,Me as DefinitionPropertyReferenceRule,ge as EdgeType,Y as EmbeddedKanonak,je as EmbeddedKanonakTypeRule,ae as EmbeddedStatement,me as GraphBuilder,F as HttpKanonakDocumentRepository,ve as ImportExistenceRule,H as InMemoryKanonakDocumentRepository,Ue as InstancePropertyReferenceRule,G as Kanonak,we as KanonakDocumentPositions,pe as KanonakObjectParser,Xe as KanonakObjectValidator,q as KanonakParser,Z as KanonakUri,ke as KanonakUriBuilder,ce as ListStatement,Ge as MarkdownLinkRule,le as MarkdownStatement,$e as NamespaceImportCycleRule,De as NamespacePrefixRule,fe as NodeType,oe as NumberStatement,He as ObjectPropertyImportRule,qe as ObjectPropertyValueValidationRule,Se as OntologyValidationError,Ke as OntologyValidationResult,Le as PropertyDomainRule,Ae as PropertyHierarchyCycleRule,Pe as PropertyMetadata,Je as PropertyRangeReferenceRule,Te as PropertyRangeRequiredRule,Ce as PropertyTypeSpecificityRule,We as PropertyValueTypeRule,L as PublisherConfigResolver,W as PublisherIndex,ee as ReferenceKanonak,ie as ReferenceStatement,Be as ResourceNamingRule,ue as ResourceResolver,ye as ResourceTypeClassifier,te as ScalarStatement,re as Statement,ne as StringStatement,Oe as SubClassOfReferenceRule,Ve as SubPropertyOfReferenceRule,Q as SubjectKanonak,Ee as SubjectKanonakTypeRequiredRule,de as TypeResolver,_e as UnresolvedReferenceRule,Re as ValidationContext,xe as ValidationSeverity,ze as XsdImportRule,x as browserServerSupportsDPoP,Ye as buildOntologyModel,O as compareVersions,K as createBrowserDPoPProof,U as createVersion,Qe as findDerivation,be as findInstancesByType,$ as formatVersion,k as generateBrowserDPoPKeyPair,_ as generateBrowserDPoPKeys,E as hasValidToken,b as importDPoPKeys,z as isCompatibleVersion,C as isExpired,N as isMajorCompatible,d as normalizeHost,M as parseVersionString,he as parseWithPositions,J as pickHighestDocument,V as versionsEqual};
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { type Kanonak } from '../kanonaks/index.js';
|
|
2
|
+
import { type CanonicalInput } from './InputModel.js';
|
|
2
3
|
/**
|
|
3
4
|
* The frozen canonical-form version. Content addresses are permanent, so the
|
|
4
5
|
* rules in this module are pinned to this version and evolve only by minting a
|
|
@@ -20,9 +21,17 @@ export declare const CANONICAL_FORM_VERSION = "1";
|
|
|
20
21
|
* always produce byte-identical output.
|
|
21
22
|
*/
|
|
22
23
|
export declare function canonicalForm(kanonaks: Kanonak[]): string;
|
|
24
|
+
/**
|
|
25
|
+
* Canonicalize the language-neutral {@link CanonicalInput} model directly
|
|
26
|
+
* (issue #56) — the entry codecs and the cross-language ports share. Byte-
|
|
27
|
+
* identical to the `Kanonak[]` path for equivalent content.
|
|
28
|
+
*/
|
|
29
|
+
export declare function canonicalForm(input: CanonicalInput): string;
|
|
23
30
|
/**
|
|
24
31
|
* SHA-256 of the canonical form, prefixed `sha256:`. The output is
|
|
25
32
|
* 71 characters (`sha256:` + 64 hex digits) and matches the
|
|
26
33
|
* convention used by `kanonak.lock` integrity entries.
|
|
27
34
|
*/
|
|
28
35
|
export declare function canonicalHash(kanonaks: Kanonak[]): string;
|
|
36
|
+
/** SHA-256 of the canonical form of a {@link CanonicalInput} model (issue #56). */
|
|
37
|
+
export declare function canonicalHash(input: CanonicalInput): string;
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import type { Kanonak } from '../kanonaks/Kanonak.js';
|
|
2
|
+
/**
|
|
3
|
+
* The language-neutral canonical INPUT model (issue #56) — the one
|
|
4
|
+
* cross-language contract a codec builds to content-address a typed object,
|
|
5
|
+
* carrying datatypes explicitly so canonicalization needs no parser. It is
|
|
6
|
+
* exactly the shape `full-form-vectors.json` is defined over and `kanonak hash
|
|
7
|
+
* -v` emits. The public `canonicalForm`/`canonicalHash` accept it directly (an
|
|
8
|
+
* overload of the `Kanonak[]` form), so all six `kanonak-canonical`
|
|
9
|
+
* implementations share one entry.
|
|
10
|
+
*/
|
|
11
|
+
export interface CanonicalInput {
|
|
12
|
+
subjects: CanonicalInputSubject[];
|
|
13
|
+
}
|
|
14
|
+
export interface CanonicalInputSubject {
|
|
15
|
+
/** The subject's canonical URI, e.g. `publisher/package@1.0.0/Name`. */
|
|
16
|
+
uri: string;
|
|
17
|
+
statements: CanonicalInputStatement[];
|
|
18
|
+
}
|
|
19
|
+
export interface CanonicalInputStatement {
|
|
20
|
+
/** The predicate's canonical URI. */
|
|
21
|
+
predicate: string;
|
|
22
|
+
value: CanonicalInputValue;
|
|
23
|
+
}
|
|
24
|
+
/**
|
|
25
|
+
* A value: a typed scalar (`lit` + its `datatype` URI), an untyped/open-world
|
|
26
|
+
* scalar (`raw` token, no carrier), a reference, an embedded node, or a list.
|
|
27
|
+
*/
|
|
28
|
+
export type CanonicalInputValue = {
|
|
29
|
+
lit: string;
|
|
30
|
+
datatype: string;
|
|
31
|
+
} | {
|
|
32
|
+
raw: string;
|
|
33
|
+
} | {
|
|
34
|
+
ref: string;
|
|
35
|
+
} | {
|
|
36
|
+
embed: {
|
|
37
|
+
name?: string;
|
|
38
|
+
statements: CanonicalInputStatement[];
|
|
39
|
+
};
|
|
40
|
+
} | {
|
|
41
|
+
list: CanonicalInputValue[];
|
|
42
|
+
};
|
|
43
|
+
/** Discriminate a `CanonicalInput` from a `Kanonak[]` (for the public overload). */
|
|
44
|
+
export declare function isCanonicalInput(arg: unknown): arg is CanonicalInput;
|
|
45
|
+
/**
|
|
46
|
+
* Build the SDK object model the canonical form consumes from a `CanonicalInput`.
|
|
47
|
+
* Datatypes are classified by their URI via {@link carrierOf} (the same routing
|
|
48
|
+
* the parser uses); predicate/reference URIs resolve through the canonical URI
|
|
49
|
+
* parser; a typed scalar carries `(carrier, lexical)`, an untyped one its raw
|
|
50
|
+
* token. The canonical form reads `(carrier, lexical)` off any scalar statement,
|
|
51
|
+
* so a single `StringStatement` faithfully represents every scalar carrier —
|
|
52
|
+
* producing bytes identical to the parsed-model path for equivalent content.
|
|
53
|
+
*/
|
|
54
|
+
export declare function buildModelFromInput(input: CanonicalInput): Kanonak[];
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import{
|
|
1
|
+
import{J as W,K as X}from"./chunk-P3MJIJSK.js";import{b as B,c as V,i as w}from"./chunk-FSHQVKZ5.js";import{a as b,d as K,e as q,f as z}from"./chunk-UK2OIPAB.js";import{a as D,f as E,h as F,j as N,k as Y,m as v}from"./chunk-PBNVHBS3.js";import{c as G,d as x}from"./chunk-T3JR2SV6.js";import{a as L}from"./chunk-FUUTGGJS.js";import{d as U}from"./chunk-2ACBWC7K.js";var Q=(t=>(t.Class="Class",t.DatatypeProperty="DatatypeProperty",t.ObjectProperty="ObjectProperty",t.AnnotationProperty="AnnotationProperty",t.Instance="Instance",t.Datatype="Datatype",t.Unknown="Unknown",t))(Q||{}),Z=(p=>(p.InstanceOf="instanceOf",p.SubClassOf="subClassOf",p.Domain="domain",p.Range="range",p.ObjectRelationship="objectRelationship",p.SubPropertyOf="subPropertyOf",p.PropertyValue="propertyValue",p.EmbeddedLink="embeddedLink",p))(Z||{}),I=class{static async buildFromRepository(e){let a=await new w().parseKanonaks(e),o=await e.getAllDocumentsAsync(),s=[],i=[],t=new Set,p=new Set,g=new Map;for(let u of a){let l=u;l.name&&(b.isClassType(l)&&t.add(l.name),(b.isObjectPropertyType(l)||b.isGenericPropertyType(l))&&p.add(l.name))}for(let u of o)for(let[l,f]of Object.entries(u.body))p.has(l)&&f?.range&&typeof f.range=="string"&&g.set(l,f.range);let y=new Map;for(let u of a){let l=u;l.name&&y.set(l.name,l)}for(let u of o){let l=u.metadata.namespace_,f=l?`${l.publisher}/${l.package_}`:"",c=l?.version?`${l.version.major}.${l.version.minor}.${l.version.patch}`:"",d=H(u);for(let[k,m]of Object.entries(u.body)){if(!m||typeof m!="object")continue;let P=y.get(k),h="Unknown";if(P){let T=P;b.isClassType(T)?h="Class":b.isObjectPropertyType(T)?h="ObjectProperty":b.isDatatypePropertyType(T)?h="DatatypeProperty":b.isAnnotationPropertyType(T)?h="AnnotationProperty":b.isDatatypeType(T)?h="Datatype":b.isGenericPropertyType(T)?h="ObjectProperty":b.isInstanceOfKnownClass(T,t)&&(h="Instance")}let j=f&&c?`${f}/${k}@${c}`:k,A={};for(let[T,$]of Object.entries(m))T!=="type"&&(typeof $!="object"||$===null)&&(A[T]=$);s.push({id:j,label:m.label??k,type:h,namespace:f,properties:A}),J(j,m,h,t,p,i,f,c,d),_(j,m,p,g,s,i,f,c,d),ue(j,P,i)}}return{nodes:s,edges:i}}static buildFromDocument(e){let r=[],a=[],o=e.metadata.namespace_,s=o?.version?`${o.version.major}.${o.version.minor}.${o.version.patch}`:"",i=o?`${o.publisher}/${o.package_}`:"",t=new Set,p=new Set,g=new Map,y=H(e);for(let[f,c]of Object.entries(e.body)){let d=c?.type;d&&(pe(d,y)&&t.add(f),ce(d,y)&&(p.add(f),c.range&&typeof c.range=="string"&&g.set(f,c.range)))}for(let[f,c]of Object.entries(e.body)){if(!c||typeof c!="object")continue;let d=c.type,k=le(d,f,t,y),m=i&&s?`${i}/${f}@${s}`:f,P={};for(let[h,j]of Object.entries(c))h!=="type"&&(typeof j!="object"||j===null)&&(P[h]=j);r.push({id:m,label:c.label??f,type:k,namespace:i,properties:P}),J(m,c,k,t,p,a,i,s,y),_(m,c,p,g,r,a,i,s,y)}let u=new Set(r.map(f=>f.id)),l=a.filter(f=>u.has(f.source)&&u.has(f.target));return{nodes:r,edges:l}}};function H(n,e){let r=new Map;if(n.metadata?.imports)for(let[a,o]of Object.entries(n.metadata.imports))for(let s of o){let i=s.alias??s.packageName,t=s.version,p=`${t.major}.${t.minor}.${t.patch}`;r.set(i,{publisher:a,package_:s.packageName,version:p})}return r}var ee={"kanonak.org/core-rdf/Class":"Class","kanonak.org/core-owl/Class":"Class","kanonak.org/core-rdfs/Class":"Class","kanonak.org/core-owl/ObjectProperty":"ObjectProperty","kanonak.org/core-owl/DatatypeProperty":"DatatypeProperty","kanonak.org/core-owl/AnnotationProperty":"AnnotationProperty","kanonak.org/core-rdf/Property":"ObjectProperty","kanonak.org/core-rdfs/Datatype":"Datatype"},ie=new Set(["kanonak.org/core-owl/ObjectProperty","kanonak.org/core-owl/DatatypeProperty","kanonak.org/core-owl/AnnotationProperty","kanonak.org/core-rdf/Property"]);function M(n,e){if(n.includes(".")){let r=n.indexOf("."),a=n.substring(0,r),o=n.substring(r+1),s=e.get(a);if(s)return`${s.publisher}/${s.package_}/${o}`}return null}function pe(n,e){let r=M(n,e);return r?ee[r]==="Class":!1}function ce(n,e){let r=M(n,e);return r?ie.has(r):!1}function le(n,e,r,a){if(!n||n==="Package")return"Unknown";let o=M(n,a);if(o){let i=ee[o];if(i)return i;let t=o.split("/").pop()?.split("@")[0]??"";return r.has(t)?"Instance":"Unknown"}let s=n.split(".").pop()??n;return r.has(s)?"Instance":"Unknown"}var ne=new Set(["type","label","comment","version","publisher","imports","license","match","alias","package"]);function J(n,e,r,a,o,s,i,t,p){let g=e.type,y=e.subClassOf;if(y){let c=Array.isArray(y)?y:[y];for(let d of c)typeof d=="string"&&s.push({source:n,target:O(d,i,t,p),type:"subClassOf",label:"subClassOf"})}let u=e.subPropertyOf;if(u){let c=Array.isArray(u)?u:[u];for(let d of c)typeof d=="string"&&s.push({source:n,target:O(d,i,t,p),type:"subPropertyOf",label:"subPropertyOf"})}if(r==="Instance"&&g){let c=g.split(".").pop()??g;s.push({source:n,target:O(c,i,t,p),type:"instanceOf",label:"type"})}if(r==="Instance")for(let[c,d]of Object.entries(e)){if(ne.has(c)||!o.has(c))continue;let k=Array.isArray(d)?d:[d];for(let m of k)typeof m=="string"&&fe(m)&&s.push({source:n,target:O(m,i,t,p),type:"propertyValue",label:c,propertyId:O(c,i,t,p)})}let l=r==="ObjectProperty"||r==="DatatypeProperty",f=e.domain&&e.range;if((l||f)&&e.domain&&e.range){let c=typeof e.domain=="string"?e.domain:null,d=typeof e.range=="string"?e.range:null;c&&d&&s.push({source:O(c,i,t,p),target:O(d,i,t,p),type:"objectRelationship",label:e.label??n.split("/").pop()??"",propertyId:n})}}function _(n,e,r,a,o,s,i,t,p){for(let[g,y]of Object.entries(e)){if(ne.has(g)||typeof y!="object"||y===null||Array.isArray(y))continue;let u=y,l=`${n}/${g}`,f=a.get(g),c=f?f.split(".").pop()??f:"Unknown",d={};for(let[m,P]of Object.entries(u))(typeof P!="object"||P===null)&&(d[m]=P);o.push({id:l,label:`${c} (embedded)`,type:"Instance",namespace:i,properties:d});let k=i&&t?`${i}/${g}@${t}`:g;s.push({source:n,target:l,type:"propertyValue",label:g,propertyId:r.has(g)?k:void 0}),f&&s.push({source:l,target:O(c,i,t,p),type:"instanceOf",label:"type (inferred)"}),_(l,u,r,a,o,s,i,t,p)}}function ue(n,e,r){let a=e?.statement;if(Array.isArray(a))for(let o of a){if(!(o instanceof V))continue;let s=o.predicate?.subject?.name??"";for(let i of o.links){let t=i.target?.subject;if(!t)continue;let p=t.version,g=p&&typeof p.major=="number"?`@${p.major}.${p.minor}.${p.patch}`:"";r.push({source:n,target:`${t.publisher}/${t.package_}/${t.name}${g}`,type:"embeddedLink",label:s})}}}function fe(n){return!(!n||n.includes(" ")||n.includes(`
|
|
2
2
|
`)||n.startsWith("http://")||n.startsWith("https://")||/^\d{4}-\d{2}/.test(n)||/^\d+(\.\d+)?$/.test(n))}function O(n,e,r,a){if(n.includes("@")&&n.includes("/"))return n;if(n.includes(".")){let o=n.indexOf("."),s=n.substring(0,o),i=n.substring(o+1);if(a){let t=a.get(s);if(t)return`${t.publisher}/${t.package_}/${i}@${t.version}`}return e&&r?`${e}/${i}@${r}`:i}return e&&r?`${e}/${n}@${r}`:n}function de(n){if(!n.expiresAt)return!1;let e=new Date(n.expiresAt),r=300*1e3;return e.getTime()<=Date.now()+r}function Re(n){return!!n.accessToken&&!de(n)}function Se(n){let e=n.replace(/^https?:\/\//,"").replace(/^git:\/\//,"").replace(/\/+$/,"").trim();if(!e)throw new Error("Publisher host cannot be empty");return e}var C="kanonak.org",S="core-rdf",re="core-xsd",te={publisher:C,package_:S,name:"subClassOf"},oe={publisher:C,package_:S,name:"label"},ye={publisher:C,package_:S,name:"comment"},se={publisher:C,package_:"core-owl",name:"oneOf"},ae=n=>n;function ge(n){let e=Y(n,te);if(e)return[e];let r=[];for(let a of v(n,te))a instanceof x&&r.push(a.subject);return r}function me(n,e,r){if(e.publisher===C&&e.package_===S&&e.name==="Literal")return{kind:"datatype",uri:e};let o=E(n,e);if(o){let s=ae(o);if(b.isDatatypeType(s))return{kind:"datatype",uri:e};if(b.isClassType(s))return{kind:"class",uri:K(o)??e,localName:o.name}}return e.publisher===C&&e.package_===re?{kind:"datatype",uri:e}:r==="datatype"?{kind:"datatype",uri:e}:{kind:"class",uri:e,localName:e.name}}function be(n,e,r){if(!e.range)throw new Error(`Property ${e.uri.publisher}/${e.uri.package_}/${e.uri.name} has no rdfs.range; every property must declare a range. Validate the ontology before introspecting it.`);let a=me(n,e.range,e.kind),o=e.kind==="object"?"object":e.kind==="datatype"?"datatype":a.kind==="class"?"object":"datatype";return{uri:e.uri,localName:e.uri.name,kind:o,range:a,...e.label!==void 0?{label:e.label}:{},...e.comment!==void 0?{comment:e.comment}:{},...r??{}}}var R=n=>new L(C,re,n);function ke(n){return typeof n=="boolean"?R("boolean"):typeof n=="number"?Number.isInteger(n)?R("integer"):R("decimal"):R("string")}function he(n,e){let r=[];for(let a of v(e,se))if(a instanceof x){let o=E(n,a.subject),s=(o?K(o):void 0)??a.subject,i=o?N(o,oe):void 0;r.push({kind:"individual",uri:s,localName:s.name,...i!==void 0?{label:i}:{}})}else a instanceof B&&r.push({kind:"literal",value:a.value,datatype:ke(a.value)});return r}function Pe(n,e,r,a){let o=q(n,e),s=D(e);return z(n,e).filter(t=>r?!0:t.domains.some(p=>D(p)===s)).map(t=>be(n,t,X(a,o,t.uri)))}async function Te(n,e,r){let a=n.metadata?.namespace_;if(!a)throw new Error("buildOntologyModel: document has no namespace (publisher/package/version).");let o=r?.includeInherited??!1,s=await new w().parseKanonaks(e),i=W(s),t=[],p=[],g=new Set;for(let y of s){if(!(y instanceof G)||!b.isClassType(ae(y)))continue;let u=K(y);if(!u||u.publisher!==a.publisher||u.package_!==a.package_||u.version&&a.version&&!U(u.version,a.version))continue;let l=D(u);if(g.has(l))continue;g.add(l);let f=ge(y).map(k=>({uri:k,localName:k.name})),c=N(y,oe),d=N(y,ye);t.push({uri:u,localName:u.name,superClasses:f,properties:Pe(s,u,o,i),...c!==void 0?{label:c}:{},...d!==void 0?{comment:d}:{}}),F(y,se)&&p.push({uri:u,localName:u.name,members:he(s,y),...c!==void 0?{label:c}:{},...d!==void 0?{comment:d}:{}})}return{classes:t,enums:p}}export{Q as a,Z as b,I as c,de as d,Re as e,Se as f,Te as g};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
import{a as j,b as x,i as _}from"./chunk-
|
|
1
|
+
import{a as j,b as x,i as _}from"./chunk-FSHQVKZ5.js";import{d as l,e as u,f as b,g as $,h as s,j as h}from"./chunk-VKTFLHCW.js";import{c as S,d as O,g as I,h as T,i as g,j as v,k as L,l as q}from"./chunk-T3JR2SV6.js";var d=class{all=new Set;byPIdx=new Map;bySPIdx=new Map;byPOIdx=new Map;tripleList=[];add(e){let t=b(e);return this.all.has(t)?!1:(this.all.add(t),this.tripleList.push(e),P(this.byPIdx,e.p,e),P(this.bySPIdx,`${e.s}|${e.p}`,e),e.o.kind==="uri"&&P(this.byPOIdx,`${e.p}|${e.o.key}`,e),!0)}has(e){return this.all.has(b(e))}size(){return this.tripleList.length}snapshot(){return this.tripleList.slice()}byPredicate(e){let t=this.byPIdx.get(e);return t?t.slice():[]}bySubjectPredicate(e,t){let r=this.bySPIdx.get(`${e}|${t}`);return r?r.slice():[]}byPredicateObject(e,t){let r=this.byPOIdx.get(`${e}|${t}`);return r?r.slice():[]}subjectsWithPredicateObject(e,t){let r=this.byPOIdx.get(`${e}|${t}`);if(!r)return[];let n=new Set;for(let a of r)n.add(a.s);return Array.from(n)}uriObjectsOf(e,t){let r=this.bySPIdx.get(`${e}|${t}`);if(!r)return[];let n=new Set;for(let a of r)a.o.kind==="uri"&&n.add(a.o.key);return Array.from(n)}hasUri(e,t,r){return this.all.has(`${e}|${t}|u:${r}`)}hasTriple(e,t,r){return this.all.has(`${e}|${t}|${$(r)}`)}};function P(o,e,t){let r=o.get(e);r?r.push(t):o.set(e,[t])}var w={name:"rdfs2",apply(o,e){let t=!1;for(let r of o.byPredicate(e.domain)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.byPredicate(n))o.add(s(i.s,e.type,a))&&(t=!0)}return t}},C={name:"rdfs3",apply(o,e){let t=!1;for(let r of o.byPredicate(e.range)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.byPredicate(n))i.o.kind==="uri"&&o.add(s(i.o.key,e.type,a))&&(t=!0)}return t}},A={name:"rdfs5",apply(o,e){let t=!1;for(let r of o.byPredicate(e.subPropertyOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.bySubjectPredicate(a,e.subPropertyOf))i.o.kind==="uri"&&o.add(s(n,e.subPropertyOf,i.o.key))&&(t=!0)}return t}},V={name:"rdfs7",apply(o,e){let t=!1;for(let r of o.byPredicate(e.subPropertyOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicate(n)){let f={s:i.s,p:a,o:i.o};o.add(f)&&(t=!0)}}return t}},W={name:"rdfs9",apply(o,e){let t=!1;for(let r of o.byPredicate(e.subClassOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicateObject(e.type,n))o.add(s(i.s,e.type,a))&&(t=!0)}return t}},F={name:"rdfs11",apply(o,e){let t=!1;for(let r of o.byPredicate(e.subClassOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.bySubjectPredicate(a,e.subClassOf))i.o.kind==="uri"&&o.add(s(n,e.subClassOf,i.o.key))&&(t=!0)}return t}},k=[w,C,A,V,W,F];var N={name:"prp-trp",apply(o,e){let t=!1,r=o.subjectsWithPredicateObject(e.type,e.transitiveProperty);for(let n of r){let a=o.byPredicate(n);for(let i of a){if(i.o.kind!=="uri")continue;let f=i.o.key;for(let c of o.bySubjectPredicate(f,n))c.o.kind==="uri"&&i.s!==c.o.key&&o.add(s(i.s,n,c.o.key))&&(t=!0)}}return t}},D={name:"prp-symp",apply(o,e){let t=!1,r=o.subjectsWithPredicateObject(e.type,e.symmetricProperty);for(let n of r)for(let a of o.byPredicate(n))a.o.kind==="uri"&&o.add(s(a.o.key,n,a.s))&&(t=!0);return t}},z={name:"prp-inv1",apply(o,e){let t=!1;for(let r of o.byPredicate(e.inverseOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.byPredicate(n))i.o.kind==="uri"&&o.add(s(i.o.key,a,i.s))&&(t=!0)}return t}},B={name:"prp-inv2",apply(o,e){let t=!1;for(let r of o.byPredicate(e.inverseOf)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;for(let i of o.byPredicate(a))i.o.kind==="uri"&&o.add(s(i.o.key,n,i.s))&&(t=!0)}return t}},M={name:"prp-eqp1",apply(o,e){let t=!1;for(let r of o.byPredicate(e.equivalentProperty)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicate(n))o.add({s:i.s,p:a,o:i.o})&&(t=!0)}return t}},G={name:"prp-eqp2",apply(o,e){let t=!1;for(let r of o.byPredicate(e.equivalentProperty)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicate(a))o.add({s:i.s,p:n,o:i.o})&&(t=!0)}return t}},H={name:"cax-eqc1",apply(o,e){let t=!1;for(let r of o.byPredicate(e.equivalentClass)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicateObject(e.type,n))o.add(s(i.s,e.type,a))&&(t=!0)}return t}},J={name:"cax-eqc2",apply(o,e){let t=!1;for(let r of o.byPredicate(e.equivalentClass)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.byPredicateObject(e.type,a))o.add(s(i.s,e.type,n))&&(t=!0)}return t}},Q={name:"eq-rep-s",apply(o,e){let t=!1;for(let r of o.byPredicate(e.sameAs)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a){for(let i of o.snapshot())i.s===n&&o.add({s:a,p:i.p,o:i.o})&&(t=!0);for(let i of o.snapshot())i.s===a&&o.add({s:n,p:i.p,o:i.o})&&(t=!0)}}return t}},X={name:"eq-rep-o",apply(o,e){let t=!1;for(let r of o.byPredicate(e.sameAs)){if(r.o.kind!=="uri")continue;let n=r.s,a=r.o.key;if(n!==a)for(let i of o.snapshot())i.o.kind==="uri"&&(i.o.key===n?o.add(s(i.s,i.p,a))&&(t=!0):i.o.key===a&&o.add(s(i.s,i.p,n))&&(t=!0))}return t}},K=[N,D,z,B,M,G,H,J,Q,X];var y=class{constructor(e,t){this.store=e;this.vocabulary=t}store;vocabulary;getInstancesOfClass(e){let t=p(e);return this.store.subjectsWithPredicateObject(this.vocabulary.type,t)}getSubclasses(e){let t=p(e);return this.store.subjectsWithPredicateObject(this.vocabulary.subClassOf,t).filter(n=>n!==t)}getSuperclasses(e){let t=p(e);return this.store.uriObjectsOf(t,this.vocabulary.subClassOf).filter(r=>r!==t)}getTypesOfIndividual(e){return this.store.uriObjectsOf(p(e),this.vocabulary.type)}isInstanceOf(e,t){return this.store.hasUri(p(e),this.vocabulary.type,p(t))}triples(){return this.store.snapshot()}size(){return this.store.size()}};function p(o){return typeof o=="string"?o:u(o.publisher,o.package_,o.name)}var R=class{vocabulary;profile;maxIterations;constructor(e={}){this.vocabulary=e.vocabulary??new h,this.profile=e.profile??"owl-rl-classification",this.maxIterations=e.maxIterations??100}async reason(e){let t=new d,n=await new _().parseKanonaks(e),a=new U;for(let c of n)if(c instanceof S){let m=Y(c);if(!m)continue;for(let E of c.statement)this.emitStatement(m,E,t,a)}let i=[...k];this.profile==="owl-rl-classification"&&i.push(...K);let f=0;for(;f<this.maxIterations;){let c=!1;for(let m of i)m.apply(t,this.vocabulary)&&(c=!0);if(!c)break;f++}return new y(t,this.vocabulary)}emitStatement(e,t,r,n){let a=Z(t);if(a){if(t instanceof I){r.add({s:e,p:a,o:{kind:"literal",lexical:t.object,datatype:"string"}});return}if(t instanceof T){r.add({s:e,p:a,o:{kind:"literal",lexical:String(t.object),datatype:"number"}});return}if(t instanceof g){r.add({s:e,p:a,o:{kind:"literal",lexical:String(t.object),datatype:"boolean"}});return}if(t instanceof v){let i=l(t.object.subject);r.add(s(e,a,i));return}if(t instanceof L){let i=n.next();r.add({s:e,p:a,o:{kind:"blank",id:i}}),this.emitEmbedded(i,t.object,r,n);return}if(t instanceof q){for(let i of t.object??[])this.emitListItem(e,a,i,r,n);return}}}emitListItem(e,t,r,n,a){if(r instanceof O)n.add(s(e,t,l(r.subject)));else if(r instanceof j){let i=a.next();n.add({s:e,p:t,o:{kind:"blank",id:i}}),this.emitEmbedded(i,r,n,a)}else if(r instanceof x){let i=typeof r.value=="number"?"number":typeof r.value=="boolean"?"boolean":"string";n.add({s:e,p:t,o:{kind:"literal",lexical:String(r.value),datatype:i}})}}emitEmbedded(e,t,r,n){let a=`_:${e}`;for(let i of t.statement)this.emitStatement(a,i,r,n)}},U=class{counter=0;next(){return`b${this.counter++}`}};function Y(o){let e=o.namespace??"",t=e.indexOf("@"),r=t===-1?e:e.substring(0,t),n=r.indexOf("/");if(n===-1)return null;let a=r.substring(0,n),i=r.substring(n+1);return!a||!i||!o.name?null:u(a,i,o.name)}function Z(o){let e=o.predicate;return e?.subject?l(e.subject):null}export{d as a,k as b,K as c,y as d,R as e};
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
import{a as U}from"./chunk-ZYAABYDS.js";import{b as F,c as V,i as E}from"./chunk-VKTFLHCW.js";import{a as B,b as _,c as x,d as k,g as $,h as T,i as C,j as K,k as w,l as j}from"./chunk-T3JR2SV6.js";import{j as L}from"./chunk-2ACBWC7K.js";var S=class extends _{name};var I=class extends B{value;carrier;lexical};var R=class extends ${links=[]};var W=n=>({publisher:"kanonak.org",package_:"core-xsd",name:n}),J=n=>({publisher:"kanonak.org",package_:"core-rdf",name:n}),Y=(p=>(p.Integer="integer",p.Decimal="decimal",p.Double="double",p.Float="float",p.Boolean="boolean",p.String="string",p.AnyUri="anyURI",p.LangString="langString",p.DateTime="dateTime",p.Date="date",p.Time="time",p.HexBinary="hexBinary",p.Base64Binary="base64Binary",p))(Y||{});function v(n){return`${n.publisher}/${n.package_}/${n.name}`}var Q=[["integer","integer"],["long","integer"],["int","integer"],["short","integer"],["byte","integer"],["unsignedLong","integer"],["unsignedInt","integer"],["unsignedShort","integer"],["unsignedByte","integer"],["nonNegativeInteger","integer"],["positiveInteger","integer"],["nonPositiveInteger","integer"],["negativeInteger","integer"],["decimal","decimal"],["double","double"],["float","float"],["boolean","boolean"],["string","string"],["normalizedString","string"],["token","string"],["anyURI","anyURI"],["dateTime","dateTime"],["date","date"],["time","time"],["hexBinary","hexBinary"],["base64Binary","base64Binary"]],ee=new Map(Q.map(([n,e])=>[v(W(n)),e])),ne=v(J("langString"));function M(n){let e=v(n);return e===ne?"langString":ee.get(e)}function te(n){let e=n.trim();if(!/^[+-]?\d+$/.test(e))throw new Error(`canonicalInteger: '${n}' is not a valid xsd:integer lexical`);return BigInt(e.replace(/^\+/,"")).toString()}function re(n){let e=n.trim(),t=/^([+-]?)(\d*)(?:\.(\d*))?$/.exec(e);if(!t||t[2]===""&&(t[3]??"")==="")throw new Error(`canonicalDecimal: '${n}' is not a valid xsd:decimal lexical`);let a=t[1]==="-"?"-":"",r=(t[2]??"").replace(/^0+/,"")||"0",i=(t[3]??"").replace(/0+$/,""),o=i.length>0?`${r}.${i}`:r;return o==="0"?"0":`${a}${o}`}function Z(n,e,t){let a=n.trim();if(a==="NaN")return"NaN";if(a==="INF")return"INF";if(a==="-INF")return"-INF";if(!/^[+-]?(\d+\.?\d*|\.\d+)([eE][+-]?\d+)?$/.test(a))throw new Error(`canonical${t}: '${n}' is not a valid xsd:${t.toLowerCase()} lexical`);let r=e(Number(a));if(!Number.isFinite(r))throw new Error(`canonical${t}: '${n}' is out of the finite range`);return Object.is(r,-0)?"0":String(r)}function ae(n){return Z(n,e=>e,"Double")}function oe(n){return Z(n,e=>Math.fround(e),"Float")}function ie(n){let e=n.trim();if(e==="true"||e==="1")return"true";if(e==="false"||e==="0")return"false";throw new Error(`canonicalBoolean: '${n}' is not a valid xsd:boolean lexical`)}function z(n){return n.normalize("NFC")}function se(n){return n.normalize("NFC")}function ce(n){let e=n.trim();if(!/^([0-9A-Fa-f]{2})*$/.test(e))throw new Error(`canonicalHexBinary: '${n}' is not a valid xsd:hexBinary lexical`);return e.toUpperCase()}function fe(n){let e=n.replace(/\s+/g,"");if(!/^[A-Za-z0-9+/]*={0,2}$/.test(e)||e.length%4!==0)throw new Error(`canonicalBase64: '${n}' is not a valid xsd:base64Binary lexical`);return Buffer.from(e,"base64").toString("base64")}var D=n=>n<10?`0${n}`:`${n}`;function P(n){let e=n.startsWith("-"),t=(e?n.slice(1):n).replace(/^0+/,"")||"0",a=t.length<4?t.padStart(4,"0"):t;return`${e?"-":""}${a}`}function H(n){if(!n)return"";let e=n.replace(/^\./,"").replace(/0+$/,"");return e.length>0?`.${e}`:""}function X(n){return n?n==="Z"||n==="+00:00"||n==="-00:00"?"Z":n:""}function pe(n){return n==="Z"?0:(n[0]==="-"?-1:1)*(Number(n.slice(1,3))*60+Number(n.slice(4,6)))}var ue=/^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(\.\d+)?(Z|[+-]\d{2}:\d{2})?$/,le=/^(-?\d{4,})-(\d{2})-(\d{2})(Z|[+-]\d{2}:\d{2})?$/,me=/^(\d{2}):(\d{2}):(\d{2})(\.\d+)?(Z|[+-]\d{2}:\d{2})?$/;function de(n){let e=ue.exec(n.trim());if(!e)throw new Error(`canonicalDateTime: '${n}' is not a valid xsd:dateTime lexical`);let[,t,a,r,i,o,c,f,u]=e,d=H(f);if(!u)return`${P(t)}-${a}-${r}T${i}:${o}:${c}${d}`;let m=new Date(0);m.setUTCFullYear(Number(t),Number(a)-1,Number(r)),m.setUTCHours(Number(i),Number(o),Number(c),0);let s=new Date(m.getTime()-pe(u)*6e4);return`${P(String(s.getUTCFullYear()))}-${D(s.getUTCMonth()+1)}-${D(s.getUTCDate())}T${D(s.getUTCHours())}:${D(s.getUTCMinutes())}:${D(s.getUTCSeconds())}${d}Z`}function ge(n){let e=le.exec(n.trim());if(!e)throw new Error(`canonicalDate: '${n}' is not a valid xsd:date lexical`);let[,t,a,r,i]=e;return`${P(t)}-${a}-${r}${X(i)}`}function ye(n){let e=me.exec(n.trim());if(!e)throw new Error(`canonicalTime: '${n}' is not a valid xsd:time lexical`);let[,t,a,r,i,o]=e,c=H(i),f=t;return t==="24"&&a==="00"&&r==="00"&&c===""&&(f="00"),`${f}:${a}:${r}${c}${X(o)}`}function Re(n,e){switch(n){case"integer":return te(e);case"decimal":return re(e);case"double":return ae(e);case"float":return oe(e);case"boolean":return ie(e);case"string":return z(e);case"anyURI":return se(e);case"langString":return z(e);case"dateTime":return de(e);case"date":return ge(e);case"time":return ye(e);case"hexBinary":return ce(e);case"base64Binary":return fe(e)}}var ke=/\[\[([^\[\]\n]+)\]\]/g,be=/\[\[/g,G=/```[\s\S]*?```|`[^`\n]*`/g;function he(n){let e=[];for(let t of n.matchAll(G))e.push([t.index,t.index+t[0].length]);return e}function Te(n){if(!n||!n.includes("[["))return[];let e=he(n),t=i=>e.some(([o,c])=>i>=o&&i<c),a=new Set(A(n).map(i=>i.startOffset)),r=[];for(let i of n.matchAll(be)){let o=i.index;if(t(o)||a.has(o))continue;let c=n.slice(o,o+48).replace(/\s+/g," ").trim();r.push({startOffset:o,snippet:c})}return r}function A(n){if(!n||!n.includes("[["))return[];let e=[];for(let r of n.matchAll(G))e.push([r.index,r.index+r[0].length]);let t=r=>e.some(([i,o])=>r>=i&&r<o),a=[];for(let r of n.matchAll(ke)){let i=r.index;if(t(i))continue;let o=r[1],c=o.indexOf("|"),f=(c===-1?o:o.slice(0,c)).trim();if(f.length===0)continue;let u=c===-1?"":o.slice(c+1).trim(),d={reference:f,startOffset:i,endOffset:i+r[0].length};u.length>0&&(d.displayText=u),a.push(d)}return a}var q=class{constructor(e){}async parseKanonaks(e){let t=[],a=await e.getAllDocumentsAsync(),r=new F(e),i=new V(r);for(let s of a){let p=s.metadata.namespace_?.toString()??"";for(let[l,y]of Object.entries(s.body)){let g=new x,b=this.resolveCanonicalEntity(l,s,p);g.namespace=b.namespace,g.name=b.name,g.statement=[];let h=await this.parseStatements(y,s,r,i,e);g.statement.push(...h),t.push(g)}}let o=new Map,c=new Map,f=[];for(let s of t)if(s instanceof x){let p=`${s.namespace}/${s.name}`,l=o.get(p);if(l){let y=c.get(p);for(let g of s.statement){let b=O(g);y.has(b)||(y.add(b),l.statement.push(g))}}else{let y=new Set,g=[];for(let b of s.statement){let h=O(b);y.has(h)||(y.add(h),g.push(b))}s.statement=g,c.set(p,y),o.set(p,s),f.push(s)}}else f.push(s);let u=new Set;for(let s of f)if(s instanceof x){let p=s.namespace||"",l=p.indexOf("/"),y=l>=0?p.slice(0,l):"",g=l>=0?p.slice(l+1):"",b=g.indexOf("@"),h=b>=0?g.slice(0,b):g;u.add(`${y}/${h}/${s.name}`)}let d=s=>u.has(`${s.publisher}/${s.package_}/${s.name}`),m=new Map;for(let s of["core-rdf","core-owl","core-kanonak"]){let p=await e.getDocumentsByNamespaceAsync("kanonak.org",s);m.set(s,L(p).chosen?.metadata.namespace_?.version??void 0)}for(let s of f)s instanceof x&&this.canonicalizeStatementBuiltins(s.statement,d,m);return f}canonicalizeStatementBuiltins(e,t,a){for(let r of e){let i=r.predicate?.subject;if(E(i,t,a),r instanceof K)r.object instanceof k&&E(r.object.subject,t,a);else if(r instanceof w)r.object&&this.canonicalizeStatementBuiltins(r.object.statement,t,a);else if(r instanceof j)for(let o of r.object??[])o instanceof k?E(o.subject,t,a):o instanceof S&&this.canonicalizeStatementBuiltins(o.statement,t,a)}}resolveCanonicalEntity(e,t,a){if(!e.includes(".")||!t.metadata?.imports)return{namespace:a,name:e};let r=e.indexOf("."),i=e.substring(0,r),o=e.substring(r+1);for(let[c,f]of Object.entries(t.metadata.imports))for(let u of f)if((u.alias??u.packageName)===i){let m=u.version;return{namespace:`${c}/${u.packageName}@${m.major}.${m.minor}.${m.patch}`,name:o}}return{namespace:a,name:e}}async parseStatements(e,t,a,r,i){let o=[];if(typeof e!="object"||e===null||Array.isArray(e))return o;for(let[c,f]of Object.entries(e))try{let u=await this.getPropertyMetadata(c,t,a,i,r);if(!u)continue;let d=await this.parsePropertyValue(c,f,u,t,a,r,i);d&&o.push(d)}catch(u){throw new Error(`Failed to parse property '${c}': ${u.message}`,{cause:u})}return o}async getPropertyMetadata(e,t,a,r,i){let o=await a.resolveEntityAsync(e,t);if(!o)return;let c=o.entity,f=c.type?.toString()??"",u=f.includes(".")?f.substring(f.lastIndexOf(".")+1):f;if(!new Set(["Property","DatatypeProperty","ObjectProperty","AnnotationProperty"]).has(u))return;let m=i.getPropertyTypeClassification(f),s=c.range?.toString(),p;if(m==="ObjectProperty")p="ObjectProperty";else if(m==="DatatypeProperty")p="DatatypeProperty";else{let g=s&&s.includes(".")?s.substring(s.lastIndexOf(".")+1):s??"";(s?i.isKnownXsdDatatypeName(s):!1)||g==="Literal"?p="DatatypeProperty":p="ObjectProperty"}let l;if(s){let g=t;if(o.isImported&&o.definedInNamespace){if(typeof r.getDocumentAsync!="function")throw new Error(`Cannot resolve the range of imported property '${e}': the parse repository cannot fetch defining document '${o.definedInNamespace}'. Thread the real repository through to embedded-object parsing \u2014 no stub, no fallback.`);let h=await r.getDocumentAsync(o.definedInNamespace);if(!h)throw new Error(`Cannot resolve the range of imported property '${e}': defining document '${o.definedInNamespace}' was not found in the repository.`);g=h}l=(await a.resolveEntityAsync(s,g))?.uri}return{propertyUri:o.uri.toString(),propertyType:p,range:s,rangeUri:l,isImported:o.isImported,definedInNamespace:o.definedInNamespace}}async parsePropertyValue(e,t,a,r,i,o,c){let f=a.propertyUri;if(t!=null){if(Array.isArray(t))return this.parseListValue(f,t,a,r,i,o,c);if(a.propertyType==="DatatypeProperty")return this.parseDatatypeValue(f,t,a,r,i,o);if(a.propertyType==="ObjectProperty")return this.parseObjectValue(f,t,a,r,i,o,c)}}async parseDatatypeValue(e,t,a,r,i,o){let c;if(typeof t=="string"){if(o.isSubstitutableDatatype(a.rangeUri))return await this.parseSubstitutableValue(e,t,r,i);c=t}else if(typeof t=="number"||typeof t=="boolean")c=String(t);else return;return this.typedScalarStatement(e,c,a)}typedScalarStatement(e,t,a){let r=k.parse(e),i=a.rangeUri?M(a.rangeUri):void 0;if(i==="boolean"){let c=new C;return c.predicate=r,c.object=t==="true"||t==="1",c.carrier=i,c.lexical=t,c}if(i==="integer"||i==="decimal"||i==="double"||i==="float"){let c=new T;return c.predicate=r,c.object=Number(t),c.carrier=i,c.lexical=t,c}let o=$.parse(e,t);return i&&(o.carrier=i,o.lexical=t),o}typedListLiteral(e,t){let a=new I,r=t.rangeUri?M(t.rangeUri):void 0;return r==="boolean"?a.value=e==="true"||e==="1":r==="integer"||r==="decimal"||r==="double"||r==="float"?a.value=Number(e):a.value=e,r&&(a.carrier=r,a.lexical=e),a}async parseSubstitutableValue(e,t,a,r){let i=new R;i.predicate=k.parse(e),i.object=t;for(let o of A(t)){let c=await r.resolveEntityAsync(o.reference,a),f;c&&(f=new k,f.subject=c.uri);let u={reference:o.reference,startOffset:o.startOffset,endOffset:o.endOffset};o.displayText!==void 0&&(u.displayText=o.displayText),f!==void 0&&(u.target=f),i.links.push(u)}return i}async parseObjectValue(e,t,a,r,i,o,c){if(typeof t=="string"){let f=await this.resolveReference(t,r,i);if(!f)return;let u=new K;return u.predicate=k.parse(e),u.object=f,u}if(typeof t=="object"&&!Array.isArray(t)){let f=new S;if(f.statement=await this.parseStatements(t,r,i,o,c),f.statement.length>0){let m=new w;return m.predicate=k.parse(e),m.object=f,m}let u=[];for(let[m,s]of Object.entries(t))if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let p=new S;p.name=m,p.statement=await this.parseStatements(s,r,i,o,c),u.push(p)}else if(typeof s=="string"){let p=await this.resolveReference(s,r,i);p&&u.push(p)}if(u.length>0){let m=new j;return m.predicate=k.parse(e),m.object=u,m}let d=new w;return d.predicate=k.parse(e),d.object=f,d}}async parseListValue(e,t,a,r,i,o,c){let f=[],u=a.propertyType==="DatatypeProperty",d=a.rangeUri?.publisher==="kanonak.org"&&a.rangeUri?.package_==="core-rdf"&&a.rangeUri?.name==="List"||!a.rangeUri&&(a.range?.includes(".")?a.range.substring(a.range.lastIndexOf(".")+1):a.range)==="List";for(let s of t){let p=typeof s=="string"||typeof s=="number"||typeof s=="boolean";if(u&&p){let l=typeof s=="string"?s:String(s);f.push(this.typedListLiteral(l,a));continue}if(d&&p){if(typeof s=="string"){let l=await i.resolveEntityAsync(s,r);if(l){let y=new k;y.subject=l.uri,f.push(y)}else{let y=new I;y.value=s,f.push(y)}}else{let l=new I;l.value=s,f.push(l)}continue}if(typeof s=="string"){let l=await this.resolveReference(s,r,i);l&&f.push(l)}else if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let l=new S;l.statement=await this.parseStatements(s,r,i,o,c),f.push(l)}}let m=new j;return m.predicate=k.parse(e),m.object=f,m}async resolveReference(e,t,a){let r=await a.resolveEntityAsync(e,t);if(r){let o=new k;return o.subject=r.uri,o}let i=t.metadata?.namespace_;if(i){let{KanonakUri:o}=await import("./KanonakUri-4VJGV3FN.js"),c=i.version??{major:0,minor:0,patch:0,toString:()=>"0.0.0",equals:()=>!1,getHashCode:()=>0,compareTo:()=>0};if(e.includes(".")){let u=e.indexOf("."),d=e.substring(0,u),m=e.substring(u+1);if(t.metadata?.imports){for(let[s,p]of Object.entries(t.metadata.imports))for(let l of p)if((l.alias??l.packageName)===d){let g=new k;return g.subject=new o(s,l.packageName,m,l.version),g}}}let f=new k;return f.subject=new o(i.publisher,i.package_,e,c),f}return null}async saveKanonaks(e,t){let a=new Map;for(let r of e)r instanceof x&&r.namespace&&(a.has(r.namespace)||a.set(r.namespace,[]),a.get(r.namespace).push(r));for(let[r,i]of a){let o=await this.convertKanonaksToDocument(r,i),c=`${r.split("@")[0]}.yml`;await t.saveDocumentAsync(o,c)}}async serializeToYaml(e,t){let a=e.filter(o=>o instanceof x&&o.namespace===t);if(a.length===0)throw new Error(`No kanonaks found with namespace '${t}'`);let r=await this.convertKanonaksToDocument(t,a);return new U().save(r)}async convertKanonaksToDocument(e,t){let r={metadata:{namespace_:e,get allImports(){if(!this.imports)return[];let o=[];for(let c of Object.values(this.imports))o.push(...c);return o}},body:{}},i=new Map;for(let o of t){let c={};for(let f of o.statement){let[u,d]=this.convertStatementToProperty(f);u&&d!==null&&d!==void 0&&(c[u]=d),this.collectImportsFromStatement(f,e,i)}r.body[o.name]=c}return r}convertStatementToProperty(e){if(e instanceof $)return[e.predicate.subject.name,e.object];if(e instanceof T)return[e.predicate.subject.name,e.object];if(e instanceof C)return[e.predicate.subject.name,e.object];if(e instanceof K)return[e.predicate.subject.name,e.object.subject.name];if(e instanceof j){let t=this.convertKanonakListToValue(e.object);return[e.predicate.subject.name,t]}else if(e instanceof w){let t=this.convertEmbeddedKanonakToValue(e.object);return[e.predicate.subject.name,t]}return[null,null]}convertKanonakListToValue(e){let t=[];for(let a of e)a instanceof k?t.push(a.subject.name):a instanceof S&&t.push(this.convertEmbeddedKanonakToValue(a));return t}convertEmbeddedKanonakToValue(e){let t={};for(let a of e.statement){let[r,i]=this.convertStatementToProperty(a);r&&i!==null&&i!==void 0&&(t[r]=i)}return t}collectImportsFromStatement(e,t,a){}};function O(n){let e=n.predicate?.subject;return(e?`${e.publisher}/${e.package_}/${e.name}`:"?")+"="+Se(n)}function Se(n){return n instanceof R?"m:"+String(n.object):n instanceof $?"s:"+String(n.object):n instanceof T?"n:"+String(n.object):n instanceof C?"b:"+String(n.object):n instanceof K?"r:"+N(n.object):n instanceof w?"e:"+N(n.object):n instanceof j?"l:["+(n.object??[]).map(N).join("|")+"]":"x"}function N(n){if(!n)return"";if(n instanceof k){let e=n.subject;return"R("+(e?`${e.publisher}/${e.package_}/${e.name}`:"")+")"}return n instanceof S?"E("+(n.statement??[]).map(O).join(";")+")":n instanceof I?"L("+String(n.value)+")":"N"}export{S as a,I as b,R as c,Y as d,M as e,Re as f,Te as g,A as h,q as i};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
import{a as D}from"./chunk-
|
|
1
|
+
import{a as D}from"./chunk-FSHQVKZ5.js";import{c as j,d as m,g as R,j as p,k as K,l as k}from"./chunk-T3JR2SV6.js";import{c as b,g as u}from"./chunk-2ACBWC7K.js";function F(a,e,n,t){let i=g(a);if(i.length>0){let s=v(i,e,n);return s?{transformation:s.transformation,source:"instance"}:void 0}let r=new Set,o=O(a);for(;o.length>0;){let s=o.shift(),f=_(s.subject);if(r.has(f))continue;r.add(f);let l=S(t,s.subject);if(l.length===0)continue;let U=l.flatMap(g),h=v(U,e,n);if(h)return{transformation:h.transformation,source:{publisher:s.subject.publisher,package_:s.subject.package_,name:s.subject.name}};for(let T of l)for(let P of $(T))o.push(P)}let c={publisher:"kanonak.org",package_:"core-rdf",name:"Resource"};if(!r.has(_(c))){let s=S(t,c).flatMap(g),f=v(s,e,n);if(f)return{transformation:f.transformation,source:c}}}function g(a){let e=[];for(let n of a.statement)if(n instanceof k&&d(n,"kanonak.org","derivation","derivations"))for(let t of n.object??[]){if(!(t instanceof D))continue;let i=x(t);i&&e.push(i)}return e}function v(a,e,n){let t=a.filter(o=>E(o.format,e)&&E(o.variant,n));if(t.length<=1)return t[0];let i=t[0].transformation,r=t[0];for(let o of t){let c=o.transformation;if(c.publisher!==i.publisher||c.package_!==i.package_||c.name!==i.name)continue;let s=u(r.transformation.version),f=u(c.version);s&&f&&b(f,s)>0&&(r=o)}return r}function x(a){let e,n,t;for(let i of a.statement)i instanceof p?d(i,"kanonak.org","derivation","format")?e=y(i):d(i,"kanonak.org","derivation","variant")&&(n=y(i)):i instanceof K&&d(i,"kanonak.org","derivation","transformation")&&(t=C(i.object));if(!(!e||!t))return n||(n={publisher:"kanonak.org",package_:"derivation",name:"default"}),{format:e,variant:n,transformation:t}}function C(a){let e,n,t,i;for(let r of a.statement){if(!(r instanceof R))continue;let o=r.predicate?.subject?.name;o==="publisher"?e=r.object:o==="package"?n=r.object:o==="version"?t=r.object:o==="name"&&(i=r.object)}if(!(!e||!n||!t||!i))return{publisher:e,package_:n,version:t,name:i}}function O(a){let e=[];for(let n of a.statement)n instanceof p&&n.predicate?.subject?.name==="type"&&n.object instanceof m&&e.push(n.object);return e}function $(a){let e=[];for(let n of a.statement)if(n instanceof p){if(n.predicate?.subject?.name!=="subClassOf")continue;n.object instanceof m&&e.push(n.object)}else if(n instanceof k){if(n.predicate?.subject?.name!=="subClassOf")continue;for(let t of n.object??[])t instanceof m&&e.push(t)}return e}function S(a,e){let n=[];for(let t of a){if(!(t instanceof j)||t.name!==e.name)continue;(t.namespace||"").startsWith(`${e.publisher}/${e.package_}@`)&&n.push(t)}return n.sort((t,i)=>{let r=u((t.namespace||"").split("@")[1]??""),o=u((i.namespace||"").split("@")[1]??"");return!r||!o?0:b(o,r)}),n}function d(a,e,n,t){let i=a.predicate?.subject;return i?i.publisher===e&&i.package_===n&&i.name===t:!1}function y(a){let e=a.object.subject;return{publisher:e.publisher,package_:e.package_,name:e.name}}function E(a,e){return a.publisher===e.publisher&&a.package_===e.package_&&a.name===e.name}function _(a){return`${a.publisher}/${a.package_}/${a.name}`}export{F as a};
|
|
@@ -0,0 +1,86 @@
|
|
|
1
|
+
import{d as _}from"./chunk-SHDHMKMJ.js";import{a as D,b as Ne,c as Ye,g as Ze,i as A}from"./chunk-FSHQVKZ5.js";import{a as Fe}from"./chunk-ZYAABYDS.js";import{a as B,d as W,e as Je,f as Qe,g as T,h as et}from"./chunk-UK2OIPAB.js";import{a as C,d as E,f as x,h as Te,i as w,j as L,k as V,l as O,m as S,n as M}from"./chunk-PBNVHBS3.js";import{a as N,b as U,c as Ge}from"./chunk-VKTFLHCW.js";import{c as I,d as H,k as qe,l as ze}from"./chunk-T3JR2SV6.js";import{a as Xe}from"./chunk-FUUTGGJS.js";import{e as P}from"./chunk-2ACBWC7K.js";var q=class{isValid=!1;errors=[];warnings=[];get totalIssues(){return this.errors.length+this.warnings.length}};var b=(n=>(n.Warning="Warning",n.Error="Error",n))(b||{});var g=class{ruleType="";severity="Error";lineNumber;column;entityName;propertyName;propertyPath;message="";suggestion;actualValue;expectedValue;toString(){let e="";return this.lineNumber!==void 0&&(e+=`Line ${this.lineNumber}: `),this.entityName&&(e+=`[${this.entityName}] `),e+=this.message,e}};var Ue=class y{resolvedDocuments=[];currentEntityPath;withPath(e){let n=new y;return n.resolvedDocuments=this.resolvedDocuments,n.currentEntityPath=e,n}};var Se=class{constructor(e){this.underlying=e;this.repository=new Me(e)}underlying;repository;kanonaksPromise=null;importClosureCache=new Map;classDeclarationsCache=new Map;propertyNamesCache=new Map;allDocumentsPromise=null;getKanonaks(){return this.kanonaksPromise||(this.kanonaksPromise=new A().parseKanonaks(this.underlying)),this.kanonaksPromise}async getImportClosure(e){let n=this.importClosureCache.get(e);return n||(n=this.computeImportClosure(e),this.importClosureCache.set(e,n),n)}async getClassDeclarations(e){let n=this.classDeclarationsCache.get(e);return n||(n=this.computeClassDeclarations(e),this.classDeclarationsCache.set(e,n),n)}async getPropertyNames(e){let n=this.propertyNamesCache.get(e);return n||(n=this.computePropertyNames(e),this.propertyNamesCache.set(e,n),n)}getAllDocuments(){return this.allDocumentsPromise||(this.allDocumentsPromise=this.underlying.getAllDocumentsAsync()),this.allDocumentsPromise}async computeImportClosure(e){let n=new Set([e]),t=[e],o=await this.buildDocsByIdIndex();for(;t.length>0;){let a=t.shift(),r=o.get(a);if(r?.metadata.imports)for(let[i,s]of Object.entries(r.metadata.imports))for(let c of s){let p=await this.repository.getHighestCompatibleVersionAsync(i,c);if(!p)continue;let l=Le(p);!l||n.has(l)||(n.add(l),t.push(l))}}return n}async buildDocsByIdIndex(){let e=await this.getAllDocuments(),n=new Map;for(let t of e){let o=Le(t);o&&n.set(o,t)}return n}async computeClassDeclarations(e){let n=await this.findDocById(e),t=new Map;if(!n)return t;for(let[o,a]of Object.entries(n.body)){if(!tt(a))continue;let r=a,i=nt(r,"type");if(i==="Class"||i?.endsWith(".Class")){let s=dt(r);t.set(o,s)}}return t}async computePropertyNames(e){let n=await this.findDocById(e),t=new Set;if(!n)return t;for(let[o,a]of Object.entries(n.body)){if(!tt(a))continue;let i=nt(a,"type");(i==="ObjectProperty"||i?.endsWith(".ObjectProperty")||i==="DatatypeProperty"||i?.endsWith(".DatatypeProperty")||i==="AnnotationProperty"||i?.endsWith(".AnnotationProperty")||i==="Property"||i?.endsWith(".Property"))&&t.add(o)}return t}async findDocById(e){let n=await this.getAllDocuments();for(let t of n)if(Le(t)===e)return t}};function Le(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}function tt(y){return typeof y=="object"&&y!==null&&!Array.isArray(y)}function nt(y,e){if(e in y)return ot(y[e]);for(let n of Object.keys(y))if(n.endsWith(`.${e}`))return ot(y[n])}function ot(y){return Array.isArray(y)?y.length>0?String(y[0]):void 0:y==null?void 0:String(y)}function dt(y){let e=y.subClassOf;if(e===void 0){for(let n of Object.keys(y))if(n.endsWith(".subClassOf")){e=y[n];break}}return N(e)}var Me=class{constructor(e){this.inner=e}inner;highestVersionCache=new Map;byNamespaceCache=new Map;getAllDocumentsAsync(){return this.inner.getAllDocumentsAsync()}getDocumentAsync(e){return this.inner.getDocumentAsync(e)}getDocumentsByNamespaceAsync(e,n){let t=`${e}/${n}`,o=this.byNamespaceCache.get(t);return o||(o=this.inner.getDocumentsByNamespaceAsync(e,n),this.byNamespaceCache.set(t,o),o)}getHighestCompatibleVersionAsync(e,n){let t=n.version,o=t?`${t.major}.${t.minor}.${t.patch}`:"",a=`${e}/${n.packageName}@${n.versionOperator}:${o}`,r=this.highestVersionCache.get(a);return r||(r=this.inner.getHighestCompatibleVersionAsync(e,n),this.highestVersionCache.set(a,r),r)}saveDocumentAsync(){throw new Error("CachingRepository is read-only during a validation pass.")}deleteDocumentAsync(){throw new Error("CachingRepository is read-only during a validation pass.")}clearNamespaceAsync(){throw new Error("CachingRepository is read-only during a validation pass.")}getAllDocumentReferencesAsync(){return this.inner.getAllDocumentReferencesAsync()}getDocumentContentAsync(e){return this.inner.getDocumentContentAsync(e)}getDocumentUriAsync(e){return this.inner.getDocumentUriAsync(e)}};var z=class y{static NAMESPACE_PREFIX_PATTERN=/^(rdfs|xsd|owl|rdf|dc|foaf|skos|dct|dcterms|geo|time|prov|schema|og|dbo):/i;ruleName="NamespacePrefix";validate(e){let n=[];for(let[t,o]of Object.entries(e.body))o&&typeof o=="object"&&!Array.isArray(o)&&this.validateEntity(t,o,n);return n}validateEntity(e,n,t){for(let[o,a]of Object.entries(n)){let r=a?.toString()??"";if(r&&y.NAMESPACE_PREFIX_PATTERN.test(r)){let i=this.getSuggestionForPrefixedValue(r),s=e.split(".")[0],c=new g;c.ruleType=this.ruleName,c.severity="Error",c.entityName=s,c.propertyName=e,c.actualValue=o,c.expectedValue=i,c.message=`Invalid namespace prefix '${r}'. Use '${i}' without prefix.`,c.suggestion="Kanonak YAML uses simple type names. Namespace resolution is handled through imports.",t.push(c)}a&&typeof a=="object"&&!Array.isArray(a)&&this.validateEntity(`${e}.${o}`,a,t)}}getSuggestionForPrefixedValue(e){let n=e.toLowerCase();if(n==="rdfs:class"||n==="owl:class")return"Class";if(n==="rdfs:property"||n==="rdf:property")return"DatatypeProperty or ObjectProperty";if(n.startsWith("xsd:"))return e.substring(4);let t=e.indexOf(":");return t>=0?e.substring(t+1):e}};var Y=class y{static RESERVED_WORDS=new Set(["kanonak","imports","namespace","type","label","comment","subclassof","domain","range","required","functional"]);static VALID_PROPERTIES=new Set(["type","label","comment","subClassOf","subPropertyOf","domain","range","required","functional","inverseOf","transitive","symmetric","inverseFunctional"]);static VALID_NAME_PATTERN=/^[a-zA-Z][a-zA-Z0-9_-]*$/;static VALID_AUGMENTATION_PATTERN=/^[a-zA-Z][a-zA-Z0-9_-]*\.[a-zA-Z][a-zA-Z0-9_-]*$/;static VALID_PROPERTY_NAME_PATTERN=/^[a-zA-Z][a-zA-Z0-9_.]*$/;ruleName="ResourceNaming";validate(e){let n=[],t=e.metadata?.namespace_?.publisher==="kanonak.org"&&e.metadata?.namespace_?.package_?.startsWith("core-");for(let[o,a]of Object.entries(e.body)){let r=y.VALID_AUGMENTATION_PATTERN.test(o);if(!r&&!t&&y.RESERVED_WORDS.has(o.toLowerCase())){let i=new g;i.ruleType=this.ruleName,i.severity="Error",i.entityName=o,i.message=`Entity name '${o}' is a reserved word and cannot be used.`,i.suggestion="Choose a different name that doesn't conflict with Kanonak reserved words.",n.push(i);continue}if(!r&&!y.VALID_NAME_PATTERN.test(o)){let i;/^\d/.test(o)?i="Entity names must start with a letter, not a number.":o.includes(" ")?i="Entity names cannot contain spaces. Use camelCase or underscores instead.":i="Entity names must start with a letter and contain only letters, numbers, and underscores.";let s=new g;s.ruleType=this.ruleName,s.severity="Error",s.entityName=o,s.message=`Invalid entity name '${o}'. ${i}`,s.suggestion=i,n.push(s)}a&&typeof a=="object"&&!Array.isArray(a)&&this.validatePropertyNames(o,a,n)}return n}validatePropertyNames(e,n,t){for(let o of Object.keys(n))if(!y.VALID_PROPERTIES.has(o)&&!y.VALID_PROPERTY_NAME_PATTERN.test(o)){let a=new g;a.ruleType=this.ruleName,a.severity="Warning",a.entityName=e,a.propertyName=o,a.message=`Property name '${o}' in entity '${e}' doesn't follow naming conventions.`,a.suggestion="Property names should start with a letter and contain only letters, numbers, and underscores.",t.push(a)}}};var G=class y{static XSD_TYPES=new Set(["string","integer","int","long","short","byte","decimal","float","double","boolean","bool","datetime","date","time","duration","anyuri","anysimpletype","nonnegativeinteger","positiveinteger","negativeinteger","nonpositiveinteger","unsignedint","unsignedlong","unsignedshort","unsignedbyte","base64binary","hexbinary"]);ruleName="PropertyTypeSpecificity";validate(e){let n=[];if(e.metadata?.namespace_?.publisher==="kanonak.org"&&e.metadata?.namespace_?.package_?.startsWith("core-"))return n;let t=this.isPropertyDefinedAsClass(e);for(let[o,a]of Object.entries(e.body))if(a&&typeof a=="object"&&!Array.isArray(a)){let r=a,i=r.type;if(i){let s=[];if(Array.isArray(i))for(let c of i){let p=c?.toString();p&&p==="Property"&&!t&&s.push(p)}else{let c=i?.toString();c&&c==="Property"&&!t&&s.push(c)}for(let c of s){let p=this.getPropertyValue(r,"range"),l=this.determinePropertyType(p),m=new g;m.ruleType=this.ruleName,m.severity="Error",m.entityName=o,m.propertyName="type",m.actualValue=c,m.expectedValue=l,m.message=`Invalid property type '${c}'. Use '${l}' instead.`,m.suggestion="Properties should specify their type: DatatypeProperty for data values, ObjectProperty for relationships.",n.push(m)}}}return n}determinePropertyType(e){return!e||e.trim().length===0?"DatatypeProperty or ObjectProperty":y.XSD_TYPES.has(e.toLowerCase())?"DatatypeProperty":/^[A-Z]/.test(e)?"ObjectProperty":"DatatypeProperty or ObjectProperty"}getPropertyValue(e,n){let t=e[n];return t?t.toString():null}isPropertyDefinedAsClass(e){let n=e.body.Property;if(n&&typeof n=="object"&&!Array.isArray(n)){let o=n.type;if(o){let a=o.toString();return a==="Class"||a.endsWith(".Class")}}return!1}};var Z=class{get ruleName(){return"SubjectKanonakTypeRequired"}validate(e){let n=[];for(let[t,o]of Object.entries(e.body)){if(typeof o!="object"||o===null||Array.isArray(o)||t.includes("."))continue;let a=o,r="type"in a,i=a.type?.toString().trim();if(!r||!i){let s=new g;s.ruleType=this.ruleName,s.severity="Error",s.entityName=t,s.propertyName="type",s.message=`Subject Kanonak '${t}' must have a 'type' property.`,s.suggestion=`Add a type statement like:
|
|
2
|
+
type: Scene
|
|
3
|
+
|
|
4
|
+
Only embedded objects can infer type from their parent property's range. Subject Kanonaks (top-level entities) must explicitly declare their type.`,s.expectedValue="A valid class name (Scene, Character, Story, etc.)",n.push(s)}}return n}};var gt=new Set(["EphemeralPackage"]),J=class{get ruleName(){return"PackageHeader"}validate(e){let n=e.metadata;if(!n.type_)return[];let t=[],o=this.packageKey(e,n.type_);return n.namespace_?(!gt.has(n.type_)&&!n.namespace_.version&&t.push(this.error(o,"version",`Package resource '${o}' requires a 'version' property \u2014 packages are addressed by name@version.`,`Add a version, e.g.:
|
|
5
|
+
version: 1.0.0`)),t):(t.push(this.error(o,"publisher",`Package resource '${o}' requires a 'publisher' property.`,`Add a publisher, e.g.:
|
|
6
|
+
publisher: example.org`)),t)}packageKey(e,n){for(let[t,o]of Object.entries(e.body))if(o&&typeof o=="object"&&!Array.isArray(o)&&o.type===n)return t;return n}error(e,n,t,o){let a=new g;return a.ruleType=this.ruleName,a.severity="Error",a.entityName=e,a.propertyName=n,a.message=t,a.suggestion=o,a}};var Q=class{get ruleName(){return"EmbeddedKanonakType"}async validateAsync(e,n){let t=[],o=new U(n),a=await this.buildPropertyRangeMap(e,o);for(let[r,i]of Object.entries(e.body))typeof i=="object"&&i!==null&&!Array.isArray(i)&&await this.checkEmbeddedTypes(r,i,void 0,a,o,e,t,0);return t}pickRange(e,n,t){if(e.length===0)return;if(e.length===1)return e[0].range;let o=n.indexOf(".");if(o>0){let a=n.substring(0,o),r=e.find(i=>i.declaringAlias===a);if(r)return r.range}if(t){let a=this.localName(t),r=e.find(i=>this.localName(i.domain)===a);if(r)return r.range}return e[0].range}async checkEmbeddedTypes(e,n,t,o,a,r,i,s){if(s>0){let p=n.type;if(p!=null){let l=await this.validateEmbeddedType(e,String(p),t,a,r);l&&i.push(l)}}let c=n.type!==void 0&&n.type!==null?String(n.type):void 0;for(let[p,l]of Object.entries(n)){let m=this.localName(p),u=o.get(m),d=(u!==void 0?this.pickRange(u,p,c):void 0)??t;if(typeof l=="object"&&l!==null)if(Array.isArray(l))for(let k=0;k<l.length;k++){let h=l[k];typeof h=="object"&&h!==null&&!Array.isArray(h)&&await this.checkEmbeddedTypes(`${e}.${p}[${k}]`,h,d,o,a,r,i,s+1)}else await this.checkEmbeddedTypes(`${e}.${p}`,l,d,o,a,r,i,s+1)}}async validateEmbeddedType(e,n,t,o,a){if(n.length===0||!t)return null;let r=this.localName(n),i=this.localName(t);if(i==="Resource"||i==="Class")return null;let s=e.split(".")[0];if(r===i){let p=new g;return p.ruleType=this.ruleName,p.severity="Warning",p.entityName=s,p.propertyName=e,p.actualValue=n,p.expectedValue=t,p.message=`Embedded object at '${e}' declares 'type: ${n}', which equals the parent property's range '${t}'. The declaration is redundant \u2014 the type is already inferred from the property's range.`,p.suggestion=`Remove the 'type: ${n}' line, or keep it if explicitness is preferred over concision.`,p}if(await o.isSubclassOfAsync(n,t,a)||(r!==n||i!==t)&&await o.isSubclassOfAsync(r,i,a))return null;let c=new g;return c.ruleType=this.ruleName,c.severity="Error",c.entityName=s,c.propertyName=e,c.actualValue=n,c.expectedValue=t,c.message=`Embedded object at '${e}' has 'type: ${n}', which is not a subclass of the parent property's range '${t}'.`,c.suggestion=`Either remove the 'type: ${n}' line (so the type is inferred from the property's range '${t}'), or add 'subClassOf: ${t}' to the '${n}' class definition so the relationship holds.`,c}localName(e){let n=e.lastIndexOf(".");return n<0||n===e.length-1?e:e.substring(n+1)}async buildPropertyRangeMap(e,n){let t=new Map,o=await n.buildEntityIndexAsync(e),a=new Map;for(let[r,i]of o){let s=i.entity.type;if(s==null)continue;let c=String(s),p=this.localName(c);if(!(p==="Property"||p==="DatatypeProperty"||p==="ObjectProperty"||p==="AnnotationProperty"))continue;let m=i.entity.range;if(m==null)continue;let u=String(m);if(u.length===0)continue;let f=i.entity.domain,d=f!=null?String(f):"",k=i.uri.toString(),h=a.get(k),v=r.includes(".");(!h||v&&!h.entityName.includes("."))&&a.set(k,{entityName:r,domain:d,range:u})}for(let r of a.values()){let i=this.localName(r.entityName),s=r.entityName.indexOf("."),c=s>0?r.entityName.substring(0,s):void 0,p=t.get(i)??[];p.push({domain:r.domain,range:r.range,declaringAlias:c}),t.set(i,p)}return t}};import{VersionOperator as xe}from"@kanonak-protocol/types/document/models/enums";var ee=class{ruleName="ImportExistence";async validateAsync(e,n){let t=[];if(!e.metadata?.imports)return t;let o=await n.getAllDocumentsAsync();for(let[a,r]of Object.entries(e.metadata.imports))for(let i of r)if(!await n.getHighestCompatibleVersionAsync(a,i)){let c=await this.determineImportErrorAsync(n,a,i,o),p=new g;p.ruleType=this.ruleName,p.severity="Error",p.message=c.message,p.suggestion=c.suggestion,p.entityName=`Import: ${a}/${i.packageName}`,p.actualValue=i.toString(),p.expectedValue=c.expectedValue,t.push(p)}return t}async determineImportErrorAsync(e,n,t,o){let a=await e.getDocumentsByNamespaceAsync(n,t.packageName);if(a.length===0){let c=o.filter(u=>u.metadata.namespace_?.publisher===n).map(u=>u.metadata.namespace_.package_).filter((u,f,d)=>d.indexOf(u)===f),p=this.findSimilarPackages(t.packageName,c),l=`Import '${n}/${t.package_}' not found - package does not exist`,m=p.length>0?`Did you mean: ${p.slice(0,3).join(", ")}?`:c.length>0?`Available packages in ${n}: ${c.slice(0,5).join(", ")}`:`No packages found for publisher '${n}'. Verify the publisher name is correct.`;return{message:l,suggestion:m,expectedValue:"Existing package"}}let i=a.filter(c=>c.metadata.namespace_?.version).map(c=>c.metadata.namespace_.version.toString()).sort().join(", "),s=this.getAcceptableVersionRange(t);return{message:`Import '${n}/${t.toString()}' version mismatch - no compatible version found`,suggestion:`Available versions: ${i}. Required: ${s}`,expectedValue:s}}getAcceptableVersionRange(e){switch(e.versionOperator){case xe.Exact:return`exactly ${e.version.major}.${e.version.minor}.${e.version.patch}`;case xe.Compatible:return`${e.version.major}.${e.version.minor}.${e.version.patch} to ${e.version.major}.${e.version.minor}.x`;case xe.Major:return e.version.major===0?`0.${e.version.minor}.x`:`${e.version.major}.x.x`;case xe.Any:return`any version >= ${e.version.major}.${e.version.minor}.${e.version.patch}`;default:return e.toString()}}findSimilarPackages(e,n){if(n.length===0)return[];let t=n.filter(r=>r.toLowerCase().includes(e.toLowerCase())||e.toLowerCase().includes(r.toLowerCase()));if(t.length>0)return t.sort((r,i)=>r.length-i.length);let o=n.map(r=>({package:r,distance:this.levenshteinDistance(e.toLowerCase(),r.toLowerCase())})).sort((r,i)=>r.distance-i.distance),a=Math.max(3,Math.floor(e.length*.4));return o.filter(r=>r.distance<=a).map(r=>r.package)}levenshteinDistance(e,n){if(!e||e.length===0)return n?.length??0;if(!n||n.length===0)return e.length;let t=e.length,o=n.length,a=Array(t+1).fill(null).map(()=>Array(o+1).fill(0));for(let r=0;r<=t;r++)a[r][0]=r;for(let r=0;r<=o;r++)a[0][r]=r;for(let r=1;r<=t;r++)for(let i=1;i<=o;i++){let s=e[r-1]===n[i-1]?0:1;a[r][i]=Math.min(Math.min(a[r-1][i]+1,a[r][i-1]+1),a[r-1][i-1]+s)}return a[t][o]}};var te=class{ruleName="UnresolvedReference";async validateAsync(e,n){let t=[],o=new U(n),a=await o.buildEntityIndexAsync(e),r=new Set;for(let[i,s]of a.entries()){let c=s.entity.type;if(c){let p=c.toString();(p==="ObjectProperty"||p.endsWith(".ObjectProperty"))&&r.add(i)}}for(let[i,s]of Object.entries(e.body)){if(!s||typeof s!="object"||Array.isArray(s))continue;let c=s,p=this.getPropertyValue(c,"type");if(!(!p||p==="Class"||p.endsWith("Property")||p==="AnnotationProperty"))for(let[l,m]of Object.entries(c))l==="type"||l==="label"||l==="comment"||!(r.has(l)||Array.from(r).some(f=>f.endsWith(`.${l}`)))||await this.validateReferenceValue(i,l,m,e,o,t)}return t}async validateReferenceValue(e,n,t,o,a,r){if(t!=null){if(typeof t=="string")await a.resolveEntityAsync(t,o)||r.push(this.createUnresolvedReferenceError(e,n,t));else if(Array.isArray(t))for(let i=0;i<t.length;i++){let s=t[i];typeof s=="string"&&(await a.resolveEntityAsync(s,o)||r.push(this.createUnresolvedReferenceError(e,`${n}[${i}]`,s)))}}}createUnresolvedReferenceError(e,n,t){let o=`The entity '${t}' cannot be found in the current document or any imported namespaces.
|
|
7
|
+
|
|
8
|
+
Possible solutions:
|
|
9
|
+
\u2022 Add import if the entity is defined in another namespace:
|
|
10
|
+
kanonak namespace add-import <publisher>/<package>@<version>
|
|
11
|
+
\u2022 Check for typos in the reference name '${t}'
|
|
12
|
+
\u2022 Define '${t}' in the current namespace or an appropriate namespace
|
|
13
|
+
\u2022 Use 'kanonak search type ${t} --include-imports' to locate the entity`,a=new g;return a.ruleType=this.ruleName,a.severity="Error",a.entityName=e,a.propertyName=n,a.actualValue=t,a.message=`Reference to '${t}' could not be resolved`,a.suggestion=o,a.expectedValue="A valid entity reference that exists in the current document or imported namespaces",a}getPropertyValue(e,n){let t=e[n];return t?t.toString():null}};var ne=class{ruleName="ClassHierarchyCycle";async validateAsync(e,n){let t=[],o=new Map,a=new Set;await this.buildClassHierarchy(e,n,o,a);for(let[r,i]of Object.entries(e.body))if(i&&typeof i=="object"&&!Array.isArray(i)){let s=i,c=s.type,p=s.subClassOf;if(c?.toString()==="Class"&&p){let l=r,m=this.detectCycle(l,o);if(m){let u=m.join(" \u2192 "),f=new g;f.ruleType=this.ruleName,f.severity="Error",f.message=`Circular class hierarchy detected: ${u}`,f.suggestion="Remove the circular dependency by breaking one of the subClassOf relationships",f.entityName=l,f.propertyName="subClassOf",f.actualValue=u,t.push(f);break}}}return t}async buildClassHierarchy(e,n,t,o){let a=e.metadata?.namespace_?.toString()??"";if(!(a&&o.has(a))){a&&o.add(a);for(let[r,i]of Object.entries(e.body))if(i&&typeof i=="object"&&!Array.isArray(i)){let s=i,c=s.type,p=s.subClassOf;if(c?.toString()==="Class"&&p){let l=N(p);l.length>0&&t.set(r,l)}}if(e.metadata?.imports)for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);c&&await this.buildClassHierarchy(c,n,t,o)}}}detectCycle(e,n){let t=[],o=new Set;return this.detectCycleRecursive(e,n,t,o)}detectCycleRecursive(e,n,t,o){if(t.includes(e)){let r=t.indexOf(e),i=t.slice(r);return i.push(e),i}if(o.has(e))return null;t.push(e),o.add(e);let a=n.get(e);if(a)for(let r of a){let i=this.detectCycleRecursive(r,n,t,o);if(i)return i}return t.pop(),null}};var oe=class{ruleName="PropertyHierarchyCycle";async validateAsync(e,n){let t=[],o=new Map,a=new Set;await this.buildPropertyHierarchy(e,n,o,a);for(let[r,i]of Object.entries(e.body))if(i&&typeof i=="object"&&!Array.isArray(i)&&i.subPropertyOf){let p=r,l=this.detectCycle(p,o);if(l){let m=l.join(" \u2192 "),u=new g;u.ruleType=this.ruleName,u.severity="Error",u.message=`Circular property hierarchy detected: ${m}`,u.suggestion="Remove the circular dependency by breaking one of the subPropertyOf relationships",u.entityName=p,u.propertyName="subPropertyOf",u.actualValue=m,t.push(u);break}}return t}async buildPropertyHierarchy(e,n,t,o){let a=e.metadata?.namespace_?.toString()??"";if(!(a&&o.has(a))){a&&o.add(a);for(let[r,i]of Object.entries(e.body))if(i&&typeof i=="object"&&!Array.isArray(i)){let s=i,c=s.type;if(c){let p=c.toString();if(p==="DatatypeProperty"||p==="ObjectProperty"||p==="AnnotationProperty"){let l=s.subPropertyOf;if(l){let m=N(l);m.length>0&&t.set(r,m)}}}}if(e.metadata?.imports)for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);c&&await this.buildPropertyHierarchy(c,n,t,o)}}}detectCycle(e,n){let t=[],o=new Set;return this.detectCycleRecursive(e,n,t,o)}detectCycleRecursive(e,n,t,o){if(t.includes(e)){let r=t.indexOf(e),i=t.slice(r);return i.push(e),i}if(o.has(e))return null;t.push(e),o.add(e);let a=n.get(e);if(a)for(let r of a){let i=this.detectCycleRecursive(r,n,t,o);if(i)return i}return t.pop(),null}};var re=class{get ruleName(){return"PropertyRangeRequired"}async validateAsync(e,n){let t=[];for(let[o,a]of Object.entries(e.body)){if(typeof a!="object"||a===null||Array.isArray(a))continue;let r=a,i=r.type?.toString();if(i==="DatatypeProperty"||i==="ObjectProperty"||i?.endsWith(".DatatypeProperty")||i?.endsWith(".ObjectProperty")){let s="range"in r,c=r.range?.toString().trim();if(!s||!c){let p=new g;p.ruleType=this.ruleName,p.severity="Error",p.entityName=o,p.propertyName="range",p.message=`Property '${o}' must have a 'range' defined.`,p.suggestion=i==="DatatypeProperty"?"Add a range like: range: string (or integer, boolean, etc.)":"Add a range like: range: ClassName (the class this property expects)",p.expectedValue=i==="DatatypeProperty"?"A datatype (string, integer, boolean, decimal, etc.)":"A class name (Character, Scene, Story, etc.)",t.push(p)}}}return t}};var ie=class{builtInClasses=new Set(["Resource","Class","Datatype","Literal","Thing","Nothing","Property","DatatypeProperty","ObjectProperty","AnnotationProperty","FunctionalProperty","InverseFunctionalProperty","TransitiveProperty","SymmetricProperty"]);get ruleName(){return"SubClassOfReference"}isClassLikeType(e){return e?e==="Class"||e.endsWith(".Class")||e==="Datatype"||e.endsWith(".Datatype"):!1}async validateAsync(e,n){let t=[],o=new Set;for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=r.type?.toString();this.isClassLikeType(s)&&o.add(a)}for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=N(r.subClassOf);for(let c=0;c<s.length;c++){let p=s[c];if(this.builtInClasses.has(p)||o.has(p))continue;if(!await this.isClassAvailableInImports(e,n,p)){let m=s.length>1?`[${c}]`:"",u=new g;u.ruleType=this.ruleName,u.severity="Error",u.message=`Class '${p}' referenced in subClassOf${m} is not defined or imported`,u.suggestion=`Define '${p}' as a Class, or import a namespace that contains it`,u.entityName=a,u.propertyName="subClassOf",u.actualValue=p,u.expectedValue="Defined or imported class",t.push(u)}}}return t}async isClassAvailableInImports(e,n,t){if(!e.metadata.imports)return!1;let o=null,a=t;if(t.includes(".")){let r=t.split(".",2);o=r[0],a=r[1]}for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){if(o!==null&&s.alias!==o)continue;let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=o!==null?a:t,l=c.body[p];if(l&&typeof l=="object"&&!Array.isArray(l)){let f=l.type?.toString();if(this.isClassLikeType(f))return!0}let m=new Set;if(await this.isClassAvailableInImportsRecursive(c,n,p,m))return!0}}return!1}async isClassAvailableInImportsRecursive(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(a&&o.has(a)||(a&&o.add(a),!e.metadata.imports))return!1;for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.body[t];if(p&&typeof p=="object"&&!Array.isArray(p)){let m=p.type?.toString();if(this.isClassLikeType(m))return!0}if(await this.isClassAvailableInImportsRecursive(c,n,t,o))return!0}}return!1}};var ae=class{builtInProperties=new Set(["type","label","comment","domain","range","subPropertyOf","subClassOf","inverseOf","sameAs","seeAlso","isDefinedBy","functional","required"]);get ruleName(){return"SubPropertyOfReference"}async validateAsync(e,n){let t=[],o=new Set;for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=r.type?.toString();(s==="DatatypeProperty"||s==="ObjectProperty"||s==="AnnotationProperty")&&o.add(a)}for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=N(r.subPropertyOf);for(let c=0;c<s.length;c++){let p=s[c];if(this.builtInProperties.has(p)||o.has(p))continue;if(!await this.isPropertyAvailableInImports(e,n,p)){let m=s.length>1?`[${c}]`:"",u=new g;u.ruleType=this.ruleName,u.severity="Error",u.message=`Property '${p}' referenced in subPropertyOf${m} is not defined or imported`,u.suggestion=`Define '${p}' as a DatatypeProperty or ObjectProperty, or import a namespace that contains it`,u.entityName=a,u.propertyName="subPropertyOf",u.actualValue=p,u.expectedValue="Defined or imported property",t.push(u)}}}return t}async isPropertyAvailableInImports(e,n,t){if(!e.metadata.imports)return!1;let o=null,a=t;if(t.includes(".")){let r=t.split(".",2);o=r[0],a=r[1]}for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){if(o!==null&&s.alias!==o)continue;let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=o!==null?a:t,l=c.body[p];if(l&&typeof l=="object"&&!Array.isArray(l)){let f=l.type?.toString();if(f==="DatatypeProperty"||f==="ObjectProperty"||f==="AnnotationProperty")return!0}let m=new Set;if(await this.isPropertyAvailableInImportsRecursive(c,n,p,m))return!0}}return!1}async isPropertyAvailableInImportsRecursive(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(a&&o.has(a)||(a&&o.add(a),!e.metadata.imports))return!1;for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.body[t];if(p&&typeof p=="object"&&!Array.isArray(p)){let m=p.type?.toString();if(m==="DatatypeProperty"||m==="ObjectProperty"||m==="AnnotationProperty")return!0}if(await this.isPropertyAvailableInImportsRecursive(c,n,t,o))return!0}}return!1}};var se=class{get ruleName(){return"NamespaceImportCycle"}async validateAsync(e,n){let t=[],o=e.metadata.namespace_?.toString();if(!o)return t;let a=new Map,r=new Set;await this.buildImportGraph(e,n,a,r);let i=this.detectCycle(o,a);if(i){let s=i.join(" \u2192 "),c=new g;c.ruleType=this.ruleName,c.severity="Error",c.message=`Circular namespace import detected: ${s}`,c.suggestion="Remove one of the imports to break the circular dependency. Circular dependencies prevent proper package resolution.",c.entityName="imports",c.propertyName="imports",c.actualValue=s,t.push(c)}return t}async buildImportGraph(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(!(!a||o.has(a))&&(o.add(a),e.metadata.imports)){let r=[];for(let[i,s]of Object.entries(e.metadata.imports))for(let c of s){let p=`${i}/${c.packageName}@${c.version}`;r.push(p);let l=await n.getHighestCompatibleVersionAsync(i,c);l&&await this.buildImportGraph(l,n,t,o)}r.length>0&&t.set(a,r)}}detectCycle(e,n){let t=[],o=new Set;return this.detectCycleRecursive(e,n,t,o)}detectCycleRecursive(e,n,t,o){let a=t.indexOf(e);if(a>=0){let i=t.slice(a);return i.push(e),i}if(o.has(e))return null;t.push(e),o.add(e);let r=n.get(e);if(r)for(let i of r){let s=this.detectCycleRecursive(i,n,t,o);if(s)return s}return t.pop(),null}};var ce=class{metadataKeys=new Set(["type","label","comment","subClassOf","subPropertyOf","domain","range","inverseOf","transitive","symmetric","functional","inverseFunctional"]);get ruleName(){return"InstancePropertyReference"}async validateAsync(e,n,t){let o=[],a=new Set,r=t?await this.closurePropertyNamesViaCache(e,t):void 0,i=t?await this.aliasClosurePropertyNamesViaCache(e,t):void 0;for(let[s,c]of Object.entries(e.body))if(typeof c=="object"&&c!==null&&!Array.isArray(c)){let l=c.type?.toString();this.isPropertyType(l)&&a.add(s)}for(let[s,c]of Object.entries(e.body))if(typeof c=="object"&&c!==null&&!Array.isArray(c)){let p=c,l=p.type?.toString();if(this.isPropertyType(l)||this.isClassType(l))continue;for(let[m,u]of Object.entries(p)){if(!m||this.metadataKeys.has(m))continue;let f=m,d=null;if(m.includes(".")){let h=m.lastIndexOf(".");d=m.substring(0,h),f=m.substring(h+1)}if(a.has(f))continue;if(!await this.isPropertyAvailable(e,n,f,d,r,i)){let h=new g;h.ruleType=this.ruleName,h.severity="Error",h.message=`Property '${m}' is not defined or imported`,h.suggestion=d?`The property '${f}' is not found in the imported namespace with alias '${d}'.
|
|
14
|
+
1. Verify the namespace is imported with the correct alias
|
|
15
|
+
2. Check if the property name is spelled correctly
|
|
16
|
+
3. Ensure the imported namespace version contains this property`:`The property '${m}' is not defined in this namespace or any imported namespace.
|
|
17
|
+
1. Define '${m}' as an ObjectProperty or DatatypeProperty in this namespace, OR
|
|
18
|
+
2. Import the namespace that contains '${m}', OR
|
|
19
|
+
3. Use a qualified reference like 'alias.${m}' if already imported with an alias`,h.entityName=s,h.propertyName=m,h.actualValue=u?.toString(),h.expectedValue="A defined or imported property",o.push(h)}}}return o}isPropertyType(e){return e?e==="ObjectProperty"||e==="DatatypeProperty"||e==="AnnotationProperty"||e==="Property"||e.endsWith(".ObjectProperty")||e.endsWith(".DatatypeProperty")||e.endsWith(".AnnotationProperty")||e.endsWith(".Property"):!1}isClassType(e){return e?e==="Class"||e.endsWith(".Class"):!1}async isPropertyAvailable(e,n,t,o,a,r){if(a!==void 0&&r!==void 0){if(o===null)return a.has(t);let i=r.get(o);return i?i.has(t):!1}return await this.isPropertyAvailableInImports(e,n,t,o)}async closurePropertyNamesViaCache(e,n){let t=new Set,o=rt(e);if(!o)return t;let a=await n.getImportClosure(o);for(let r of a)if(r!==o)for(let i of await n.getPropertyNames(r))t.add(i);return t}async aliasClosurePropertyNamesViaCache(e,n){let t=new Map;if(!e.metadata.imports)return t;for(let[o,a]of Object.entries(e.metadata.imports))for(let r of a){if(!r.alias)continue;let i=await n.repository.getHighestCompatibleVersionAsync(o,r);if(!i)continue;let s=rt(i);if(!s)continue;let c=await n.getImportClosure(s),p=t.get(r.alias)??new Set;for(let l of c)for(let m of await n.getPropertyNames(l))p.add(m);t.set(r.alias,p)}return t}async isPropertyAvailableInImports(e,n,t,o){if(!e.metadata.imports)return!1;for(let[a,r]of Object.entries(e.metadata.imports))for(let i of r){if(o!==null&&i.alias!==o)continue;let s=await n.getHighestCompatibleVersionAsync(a,i);if(s){let c=s.body[t];if(c&&typeof c=="object"&&!Array.isArray(c)){let m=c.type?.toString();if(this.isPropertyType(m))return!0}let p=new Set;if(await this.isPropertyAvailableInImportsRecursive(s,n,t,p))return!0}}return!1}async isPropertyAvailableInImportsRecursive(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(a&&o.has(a)||(a&&o.add(a),!e.metadata.imports))return!1;for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.body[t];if(p&&typeof p=="object"&&!Array.isArray(p)){let m=p.type?.toString();if(this.isPropertyType(m))return!0}if(await this.isPropertyAvailableInImportsRecursive(c,n,t,o))return!0}}return!1}};function rt(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var pe=class{metadataKeys=new Set(["type","label","comment","subClassOf","subPropertyOf","domain","range","inverseOf","transitive","symmetric","functional","inverseFunctional"]);get ruleName(){return"DefinitionPropertyReference"}async validateAsync(e,n){let t=[],o=new Set;for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=r.type?.toString();this.isPropertyType(s)&&o.add(a)}for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let i=r,s=i.type?.toString();if(!this.isPropertyType(s)&&!this.isClassType(s))continue;for(let[c,p]of Object.entries(i)){if(!c||this.metadataKeys.has(c))continue;let l=c,m=null;if(c.includes(".")){let f=c.lastIndexOf(".");m=c.substring(0,f),l=c.substring(f+1)}if(o.has(l))continue;if(!await this.isPropertyAvailableInImports(e,n,l,m)){let f=this.isClassType(s)?"class":"property",d=new g;d.ruleType=this.ruleName,d.severity="Error",d.message=`Property '${c}' used on ${f} '${a}' is not defined or imported`,d.suggestion=m?`The property '${l}' is not found in the imported namespace with alias '${m}'.
|
|
20
|
+
1. Verify the namespace is imported with the correct alias
|
|
21
|
+
2. Check if the property name is spelled correctly
|
|
22
|
+
3. Ensure the imported namespace version contains this property`:`The property '${c}' is not defined in this namespace or any imported namespace.
|
|
23
|
+
1. Define '${c}' as an ObjectProperty or DatatypeProperty in this namespace, OR
|
|
24
|
+
2. Import the namespace that contains '${c}', OR
|
|
25
|
+
3. Use a qualified reference like 'alias.${c}' if already imported with an alias`,d.entityName=a,d.propertyName=c,d.actualValue=p?.toString(),d.expectedValue="A defined or imported property",t.push(d)}}}return t}isPropertyType(e){return e?e==="ObjectProperty"||e==="DatatypeProperty"||e==="AnnotationProperty"||e==="Property"||e.endsWith(".ObjectProperty")||e.endsWith(".DatatypeProperty")||e.endsWith(".AnnotationProperty")||e.endsWith(".Property"):!1}isClassType(e){return e?e==="Class"||e.endsWith(".Class"):!1}async isPropertyAvailableInImports(e,n,t,o){if(!e.metadata.imports)return!1;for(let[a,r]of Object.entries(e.metadata.imports))for(let i of r){if(o!==null&&i.alias!==o)continue;let s=await n.getHighestCompatibleVersionAsync(a,i);if(s){let c=s.body[t];if(c&&typeof c=="object"&&!Array.isArray(c)){let m=c.type?.toString();if(this.isPropertyType(m))return!0}let p=new Set;if(await this.isPropertyAvailableInImportsRecursive(s,n,t,p))return!0}}return!1}async isPropertyAvailableInImportsRecursive(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(a&&o.has(a)||(a&&o.add(a),!e.metadata.imports))return!1;for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.body[t];if(p&&typeof p=="object"&&!Array.isArray(p)){let m=p.type?.toString();if(this.isPropertyType(m))return!0}if(await this.isPropertyAvailableInImportsRecursive(c,n,t,o))return!0}}return!1}};var le=class{xsdTypes=new Set(["string","integer","boolean","decimal","float","double","date","dateTime","time","duration","anyURI","base64Binary","hexBinary","long","int","short","byte","unsignedLong","unsignedInt","unsignedShort","unsignedByte","positiveInteger","nonPositiveInteger","negativeInteger","nonNegativeInteger","normalizedString","token","language","Name","NCName","ENTITY","ENTITIES","IDREF","IDREFS","NMTOKEN","NMTOKENS"]);get ruleName(){return"XsdImport"}async validateAsync(e,n){let t=[],o=new Set,a=[];for(let[r,i]of Object.entries(e.body))if(typeof i=="object"&&i!==null&&!Array.isArray(i)){let s=i,c=!1,p=s.type;if(Array.isArray(p)){for(let l of p)if(l?.toString()==="DatatypeProperty"){c=!0;break}}else p?.toString()==="DatatypeProperty"&&(c=!0);if(c){a.push(r);let l=this.getPropertyValue(s,"range");l&&this.xsdTypes.has(l)&&o.add(l)}}if(o.size>0&&!await this.checkXsdImportAsync(e.metadata,n)){let i=Array.from(o).sort().join(", "),s=a.sort().join(", "),c=new g;c.ruleType=this.ruleName,c.severity="Error",c.message=`XSD namespace not imported but XSD types are used: ${i}`,c.suggestion=`Add an XSD import to the imports section. The core XSD types package is 'core-xsd' from publisher 'kanonak.org'. Used by properties: ${s}`,c.entityName="imports",t.push(c)}return t}async checkXsdImportAsync(e,n,t=new Set){if(!e?.imports)return!1;let o=e.namespace_?.toString()??"";if(o&&t.has(o))return!1;o&&t.add(o);for(let[,a]of Object.entries(e.imports))for(let r of a)if(r.packageName==="xsd"||r.packageName.toLowerCase().endsWith("-xsd"))return!0;for(let[a,r]of Object.entries(e.imports))for(let i of r){let s=await n.getHighestCompatibleVersionAsync(a,i);if(s?.metadata&&await this.checkXsdImportAsync(s.metadata,n,t))return!0}return!1}getPropertyValue(e,n){return e[n]?.toString()}};var ye=class{get ruleName(){return"AmbiguousReference"}async validateAsync(e,n){let t=[],{entitySources:o,importPaths:a}=await this.buildEntitySourceMapAsync(e,n),r=await this.buildDatatypePropertyNamesAsync(e,n);for(let[i,s]of Object.entries(e.body))typeof s=="object"&&s!==null&&!Array.isArray(s)&&this.validateEntityReferences(i,s,o,a,r,e,t);return t}async buildEntitySourceMapAsync(e,n){let t=new Map,o=new Set,a=new Map;for(let r of Object.keys(e.body)){let i=e.metadata.namespace_?.toString()??"";t.has(r)||t.set(r,[]),t.get(r).push(`(local:${i})`)}if(e.metadata.imports)for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.metadata.namespace_?.toString()??"";await this.collectEntitiesRecursivelyAsync(c,t,o,a,[p],n)}}return{entitySources:t,importPaths:a}}async collectEntitiesRecursivelyAsync(e,n,t,o,a,r){let i=e.metadata.namespace_?.toString()??"";if(!t.has(i)){t.add(i),o.has(i)||o.set(i,a);for(let s of Object.keys(e.body)){n.has(s)||n.set(s,[]);let c=n.get(s);c.includes(i)||c.push(i)}if(e.metadata.imports)for(let[s,c]of Object.entries(e.metadata.imports))for(let p of c){let l=await r.getHighestCompatibleVersionAsync(s,p);if(l){let m=l.metadata.namespace_?.toString()??"";await this.collectEntitiesRecursivelyAsync(l,n,t,o,[...a,m],r)}}}}async buildDatatypePropertyNamesAsync(e,n){let t=new Set,o=new Set;if(await this.collectDatatypePropertiesAsync(e,t,o,n),e.metadata.imports)for(let[a,r]of Object.entries(e.metadata.imports))for(let i of r){let s=await n.getHighestCompatibleVersionAsync(a,i);s&&await this.collectDatatypePropertiesAsync(s,t,o,n)}return t}async collectDatatypePropertiesAsync(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(!t.has(a)){t.add(a);for(let[r,i]of Object.entries(e.body)){if(typeof i!="object"||i===null||Array.isArray(i))continue;let s=i.type;if(typeof s!="string")continue;(s.includes(".")?s.substring(s.lastIndexOf(".")+1):s)==="DatatypeProperty"&&n.add(r)}if(e.metadata.imports)for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await o.getHighestCompatibleVersionAsync(r,s);c&&await this.collectDatatypePropertiesAsync(c,n,t,o)}}}validateEntityReferences(e,n,t,o,a,r,i){for(let[s,c]of Object.entries(n)){let p=s;if(p&&!p.includes(".")){let l=t.get(p);if(l&&l.length>1&&!l.some(u=>u.startsWith("(local:"))){let u=l.filter(f=>!f.startsWith("(local:"));u.length>1&&i.push(this.createAmbiguityError(e,p,`Property '${p}'`,u,o,r,!0,p))}}this.validatePropertyValue(e,p,c,t,o,a,r,i)}}validatePropertyValue(e,n,t,o,a,r,i,s){if(t==null)return;let c=n&&n.includes(".")?n.substring(n.lastIndexOf(".")+1):n,p=!!c&&r.has(c);if(typeof t=="string"&&!t.includes(".")&&!p){let l=o.get(t);if(l&&l.length>1&&!l.some(u=>u.startsWith("(local:"))){let u=l.filter(f=>!f.startsWith("(local:"));u.length>1&&s.push(this.createAmbiguityError(e,n,`Reference '${t}'`,u,a,i,!1,t))}}else if(Array.isArray(t))for(let l=0;l<t.length;l++){let m=`${e}.${n}[${l}]`;this.validatePropertyValue(m,n,t[l],o,a,r,i,s)}else if(typeof t=="object"&&!Array.isArray(t)){let l=n?`${e}.${n}`:e;this.validateEntityReferences(l,t,o,a,r,i,s)}}createAmbiguityError(e,n,t,o,a,r,i,s){let c=[];for(let k of o){let h=this.findAliasForNamespace(r,k);if(h){let v=n?.split(".").pop()??n;c.push(`${h}.${v}`)}}let p=c.length>0?`Use one of: ${c.map(k=>`'${k}'`).join(", ")}`:`Add aliases to imports and use qualified names (e.g., 'alias.${n}')`,l=o.map(k=>{let h=a.get(k);return!h||h.length===0?` \u2022 ${k}`:h.length===1?` \u2022 ${k} (direct import)`:` \u2022 ${k}
|
|
26
|
+
imported via: ${h.join(" \u2192 ")}`}).join(`
|
|
27
|
+
`),m=e.split(".")[0],u=e.includes(".")?e:n,f=new g;f.ruleType=this.ruleName,f.severity="Error",f.entityName=m,u&&(f.propertyName=u);let d=s??n;return d&&(f.actualValue=d),f.message=`${t} is ambiguous - defined in multiple imported namespaces`,f.suggestion=`${p}
|
|
28
|
+
|
|
29
|
+
Defined in:
|
|
30
|
+
${l}`,f.expectedValue="Unambiguous reference (use namespace alias to disambiguate)",f}findAliasForNamespace(e,n){if(!e.metadata.imports)return null;for(let[t,o]of Object.entries(e.metadata.imports))for(let a of o)if(`${t}/${a.packageName}@${a.version}`===n&&a.alias)return a.alias;return null}};var me=class{builtInClasses=new Set(["Resource","Class","Literal","Thing","Nothing","Property","DatatypeProperty","ObjectProperty","AnnotationProperty"]);primitiveTypes=new Set(["string","integer","int","long","short","byte","decimal","float","double","boolean","bool","dateTime","date","time","duration","anyURI","anySimpleType","nonNegativeInteger","positiveInteger","negativeInteger","nonPositiveInteger","unsignedInt","unsignedLong","unsignedShort","unsignedByte","base64Binary","hexBinary","Literal","Resource"]);get ruleName(){return"PropertyRangeReference"}async validateAsync(e,n){let t=[],o=new Set;for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let s=r.type?.toString();this.isValidRangeTargetType(s)&&o.add(a)}for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let i=r,s=i.type?.toString();if(s!=="DatatypeProperty"&&s!=="ObjectProperty"&&!s?.endsWith(".DatatypeProperty")&&!s?.endsWith(".ObjectProperty"))continue;let c=i.range;if(!c)continue;let p=[];if(Array.isArray(c))for(let l of c){let m=l?.toString();m&&p.push(m)}else{let l=c?.toString();l&&p.push(l)}if(p.length===0)continue;for(let l of p){if(this.primitiveTypes.has(l)||this.builtInClasses.has(l)||o.has(l))continue;if(!await this.isTypeAvailableInImports(e,n,l)){let u=s?.includes("ObjectProperty")?"ObjectProperty":"DatatypeProperty",f=new g;f.ruleType=this.ruleName,f.severity="Error",f.message=`Property '${a}' has range '${l}' which is not defined or imported`,f.suggestion=u==="ObjectProperty"?`For ObjectProperty:
|
|
31
|
+
1. Define '${l}' as a Class in this namespace, OR
|
|
32
|
+
2. Import the namespace that contains '${l}', OR
|
|
33
|
+
3. Use a qualified reference like 'alias.${l}' if already imported with an alias`:`For DatatypeProperty:
|
|
34
|
+
1. Use a primitive type (string, integer, boolean, dateTime, etc.), OR
|
|
35
|
+
2. If '${l}' should be a class, change property type to ObjectProperty`,f.entityName=a,f.propertyName="range",f.actualValue=l,f.expectedValue=u==="ObjectProperty"?"A defined or imported class name":"A primitive type or defined class",t.push(f)}}}return t}async isTypeAvailableInImports(e,n,t){if(!e.metadata.imports)return!1;let o=null,a=t;if(t.includes(".")){let r=t.split(".",2);o=r[0],a=r[1]}for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){if(o!==null&&s.alias!==o)continue;let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=o!==null?a:t,l=c.body[p];if(l&&typeof l=="object"&&!Array.isArray(l)){let f=l.type?.toString();if(this.isValidRangeTargetType(f))return!0}let m=new Set;if(await this.isTypeAvailableInImportsRecursive(c,n,p,m))return!0}}return!1}async isTypeAvailableInImportsRecursive(e,n,t,o){let a=e.metadata.namespace_?.toString()??"";if(a&&o.has(a)||(a&&o.add(a),!e.metadata.imports))return!1;for(let[r,i]of Object.entries(e.metadata.imports))for(let s of i){let c=await n.getHighestCompatibleVersionAsync(r,s);if(c){let p=c.body[t];if(p&&typeof p=="object"&&!Array.isArray(p)){let m=p.type?.toString();if(this.isValidRangeTargetType(m))return!0}if(await this.isTypeAvailableInImportsRecursive(c,n,t,o))return!0}}return!1}isValidRangeTargetType(e){return e?e==="Class"||e.endsWith(".Class")||e==="Datatype"||e.endsWith(".Datatype"):!1}};var ue=class{xsdTypes=new Set(["string","integer","boolean","decimal","float","double","date","dateTime","time","duration","anyURI","base64Binary","hexBinary","long","int","short","byte","unsignedLong","unsignedInt","unsignedShort","unsignedByte","positiveInteger","nonPositiveInteger","negativeInteger","nonNegativeInteger","normalizedString","token","language","Name","NCName","ENTITY","ENTITIES","IDREF","IDREFS","NMTOKEN","NMTOKENS"]);get ruleName(){return"ObjectPropertyImport"}async validateAsync(e,n){let t=[],o=new Map,a=new U(n);await a.buildEntityIndexAsync(e);for(let[r,i]of Object.entries(e.body))if(typeof i=="object"&&i!==null&&!Array.isArray(i)){let s=i,c=!1,p=s.type;if(Array.isArray(p)){for(let l of p)if(l?.toString()==="ObjectProperty"){c=!0;break}}else p?.toString()==="ObjectProperty"&&(c=!0);if(c){let l=s.range,m=[];if(Array.isArray(l))for(let u of l){let f=u?.toString();f&&m.push(f)}else{let u=l?.toString();u&&m.push(u)}for(let u of m)this.xsdTypes.has(u)||(o.has(u)||o.set(u,[]),o.get(u).push(r))}}for(let[r,i]of o)if(!await a.resolveEntityAsync(r,e))for(let c of i){let p=new g;p.ruleType=this.ruleName,p.severity="Warning",p.message=`ObjectProperty references class '${r}' which may not be imported`,p.suggestion=`Ensure the namespace containing '${r}' is imported, or define '${r}' in this document`,p.entityName=c,p.propertyName="range",p.actualValue=r,t.push(p)}return t}};var fe=class{standardProperties=new Set(["type","label","comment","subClassOf","domain","range","subPropertyOf","inverseOf","sameAs","seeAlso","isDefinedBy"]);get ruleName(){return"ObjectPropertyValue"}async validateAsync(e,n){let t=[],o=new U(n),a=new Ge(o),r=await o.buildEntityIndexAsync(e),i=await this.buildPropertyMetadataAsync(e,n,o,r);for(let[s,c]of Object.entries(e.body))typeof c=="object"&&c!==null&&!Array.isArray(c)&&await this.scanEntityForObjectProperties(c,s,"",i,o,a,e,t);return t}async scanEntityForObjectProperties(e,n,t,o,a,r,i,s){for(let[c,p]of Object.entries(e)){if(this.standardProperties.has(c))continue;let l,m=await a.resolveEntityAsync(c,i);if(m?.uri){let u=`${m.uri.publisher}/${m.uri.package_}/${m.uri.name}`;l=o.get(u)}if(!l){let u=c,f=c.lastIndexOf(".");f>0&&f<c.length-1&&(u=c.substring(f+1)),l=o.get(u)}if(l&&r.isEffectiveObjectProperty(l.propertyType,l.rangeUri)){let f=t?`${t}.${c}`:c;if(typeof p=="string"&&p.trim().length>0){let d=p.trim();if(d.includes(",")){let h=d.split(",").map(v=>v.trim()).filter(v=>v.length>0);s.push({ruleType:this.ruleName,severity:"Error",message:`Property '${c}' has a comma-separated string value, but ObjectProperty expects a list of references`,suggestion:`Use YAML list format:
|
|
36
|
+
${c}:
|
|
37
|
+
- ${h[0]}
|
|
38
|
+
${h.slice(1).map(v=>` - ${v}`).join(`
|
|
39
|
+
`)}`,entityName:n,propertyName:c,propertyPath:f,actualValue:d,expectedValue:`A single reference to ${l.range??"an entity"} OR a YAML list`});continue}let k=await a.resolveEntityAsync(d,i);if(k)l.range&&(await this.validateRangeType(k,l.range,a,i)||s.push({ruleType:this.ruleName,severity:"Warning",message:`Property '${c}' expects a ${l.range}, but '${d}' may not be a ${l.range}`,suggestion:`Ensure '${d}' is defined with appropriate type`,entityName:n,propertyName:c,propertyPath:f,actualValue:d,expectedValue:l.range}));else{let h=l.range??"entity";s.push({ruleType:this.ruleName,severity:"Error",message:`Property '${c}' references '${d}' which is not defined or imported`,suggestion:`Define '${d}' or import a namespace that contains it. Expected range: ${h}`,entityName:n,propertyName:c,propertyPath:f,actualValue:d,expectedValue:"Defined or imported entity"})}}else if(typeof p=="object"&&p!==null&&!Array.isArray(p)){let d=t?`${t}.${c}`:c;await this.scanEntityForObjectProperties(p,n,d,o,a,r,i,s)}else if(Array.isArray(p))for(let d=0;d<p.length;d++){let k=p[d];if(typeof k=="string"&&k.trim().length>0){let h=k.trim(),v=await a.resolveEntityAsync(h,i);if(v){if(l.range&&!await this.validateRangeType(v,l.range,a,i)){let je=t?`${t}.${c}[${d}]`:`${c}[${d}]`;s.push({ruleType:this.ruleName,severity:"Warning",message:`Property '${c}' expects a ${l.range}, but '${h}' may not be a ${l.range}`,suggestion:`Ensure '${h}' is defined with appropriate type`,entityName:n,propertyName:`${c}[${d}]`,propertyPath:je,actualValue:h,expectedValue:l.range})}}else{let K=l.range??"entity",je=t?`${t}.${c}[${d}]`:`${c}[${d}]`;s.push({ruleType:this.ruleName,severity:"Error",message:`Property '${c}' references '${h}' which is not defined or imported`,suggestion:`Define '${h}' or import a namespace that contains it. Expected range: ${K}`,entityName:n,propertyName:`${c}[${d}]`,propertyPath:je,actualValue:h,expectedValue:"Defined or imported entity"})}}else if(typeof k=="object"&&k!==null&&!Array.isArray(k)){let h=t?`${t}.${c}[${d}]`:`${c}[${d}]`;await this.scanEntityForObjectProperties(k,n,h,o,a,r,i,s)}}}if(typeof p=="object"&&p!==null&&!Array.isArray(p)&&!o.has(c)){let u=t?`${t}.${c}`:c;await this.scanEntityForObjectProperties(p,n,u,o,a,r,i,s)}else if(Array.isArray(p))for(let u=0;u<p.length;u++){let f=p[u];if(typeof f=="object"&&f!==null&&!Array.isArray(f)){let d=t?`${t}.${c}[${u}]`:`${c}[${u}]`;await this.scanEntityForObjectProperties(f,n,d,o,a,r,i,s)}}}}async validateRangeType(e,n,t,o){if(!new Set(["Property","DatatypeProperty","ObjectProperty","AnnotationProperty","Class","Resource"]).has(n))return!0;let r=e.entity.type;if(r){let i=[];if(Array.isArray(r))for(let s of r){let c=s?.toString();c&&c.trim().length>0&&i.push(c)}else{let s=r?.toString();s&&s.trim().length>0&&i.push(s)}for(let s of i){let c=s.includes(".")?s.split(".")[1]:s;if(c===n||n==="Property"&&(c==="DatatypeProperty"||c==="ObjectProperty"||c==="AnnotationProperty")||n==="Class"&&c==="Class"||await t.isSubclassOfAsync(s,n,o))return!0}}return!1}async buildPropertyMetadataAsync(e,n,t,o){let a=new Map;for(let[r,i]of o){let s=i.entity.type;if(s){let c=[];if(Array.isArray(s))for(let m of s){let u=m?.toString();u&&u.trim().length>0&&c.push(u)}else{let m=s?.toString();m&&m.trim().length>0&&c.push(m)}let p=!1,l="Property";for(let m of c){let u=m.includes(".")?m.split(".")[1]:m;if(u==="Property"||u==="DatatypeProperty"||u==="ObjectProperty"||u==="AnnotationProperty"){p=!0,l=m;break}}if(p){let m={propertyType:l},u=i.entity.range;if(u){let f=u?.toString();if(f&&f.trim().length>0){m.range=f;let d=await t.resolveEntityAsync(f,e);d&&(m.rangeUri=d.uri)}}if(a.set(r,m),i.uri){let f=`${i.uri.publisher}/${i.uri.package_}/${i.uri.name}`;a.set(f,m)}}}}return a}};var de=class{standardProperties=new Set(["type","label","comment","subClassOf","domain","range","subPropertyOf","inverseOf","sameAs","seeAlso","isDefinedBy"]);get ruleName(){return"PropertyDomain"}async validateAsync(e,n,t){let o=[],a=new Map;for(let[i,s]of Object.entries(e.body))if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let c=s,p=this.getPropertyValue(c,"type");(p==="DatatypeProperty"||p?.endsWith(".DatatypeProperty")||p==="ObjectProperty"||p?.endsWith(".ObjectProperty")||p==="AnnotationProperty"||p?.endsWith(".AnnotationProperty"))&&a.set(i,c)}let r=t?await this.buildClassHierarchyViaCache(e,t):await this.buildCompleteClassHierarchyAsync(e,n);for(let[i,s]of Object.entries(e.body))if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let c=s,p=this.getPropertyValue(c,"type");if(!p||p==="Class"||p.endsWith(".Class")||p.endsWith("Property")||p==="AnnotationProperty")continue;this.validateEntityProperties(c,i,p,a,r,o)}return o}async buildClassHierarchyViaCache(e,n){let t=new Map,o=ht(e);if(!o)return t;let a=await n.getImportClosure(o);for(let r of a){let i=await n.getClassDeclarations(r);for(let[s,c]of i)c.length>0&&t.set(s,c)}return t}async buildCompleteClassHierarchyAsync(e,n){let t=new Map,o=new Set,a=async(i,s)=>{if(!o.has(s)){o.add(s);for(let[c,p]of Object.entries(i.body))if(typeof p=="object"&&p!==null&&!Array.isArray(p)){let l=p,m=this.getPropertyValue(l,"type");if(m==="Class"||m?.endsWith(".Class")){let u=l.subClassOf;if(u===void 0){for(let d of Object.keys(l))if(d.endsWith(".subClassOf")){u=l[d];break}}let f=N(u);f.length>0&&t.set(c,f)}}if(i.metadata.imports)for(let[c,p]of Object.entries(i.metadata.imports))for(let l of p)try{let m=await n.getHighestCompatibleVersionAsync(c,l);if(m){let u=`${c}/${l.packageName}@${l.version}`;await a(m,u)}}catch{}}},r=e.metadata.namespace_?.toString()??"unknown";return await a(e,r),t}validateEntityProperties(e,n,t,o,a,r){for(let[i,s]of Object.entries(e)){if(this.standardProperties.has(i))continue;let c=i,p=i.lastIndexOf(".");p>0&&p<i.length-1&&(c=i.substring(p+1));let l=o.get(c);if(!l)continue;let m=this.getPropertyValue(l,"domain");if(m){if(!this.isTypeCompatibleWithDomain(t,m,a)){let u=n.split(".")[0];r.push({ruleType:this.ruleName,severity:"Error",entityName:u,propertyName:n,actualValue:i,message:`Property '${i}' has domain '${m}' but is used on '${t}' at '${n}'`,suggestion:`Either:
|
|
40
|
+
1. Use this property only on '${m}' instances
|
|
41
|
+
2. Change the property domain to include '${t}'
|
|
42
|
+
3. Create a different property for '${t}'`,expectedValue:`Property used on ${m} or its subclasses`})}if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let u=s,f=this.getPropertyValue(u,"type");if(f){let d=`${n}.${i}`;this.validateEntityProperties(u,d,f,o,a,r)}else{let d=this.getPropertyValue(l,"range");if(d){let k=`${n}.${i}`;this.validateEntityProperties(u,k,d,o,a,r)}}}else if(Array.isArray(s))for(let u=0;u<s.length;u++){let f=s[u];if(typeof f=="object"&&f!==null&&!Array.isArray(f)){let d=f,k=this.getPropertyValue(d,"type");if(k){let h=`${n}.${i}[${u}]`;this.validateEntityProperties(d,h,k,o,a,r)}else{let h=this.getPropertyValue(l,"range");if(h){let v=`${n}.${i}[${u}]`;this.validateEntityProperties(d,v,h,o,a,r)}}}}}}}isTypeCompatibleWithDomain(e,n,t){if(e===n)return!0;let o=new Set,a=[e];for(;a.length>0;){let r=a.shift();if(o.has(r))continue;o.add(r);let i=t.get(r);if(i)for(let s of i){if(s===n)return!0;a.push(s)}}return!1}getPropertyValue(e,n){if(n in e){let t=e[n];return this.extractFirstValue(t)}for(let t of Object.keys(e))if(t.endsWith(`.${n}`)){let o=e[t];return this.extractFirstValue(o)}}extractFirstValue(e){if(Array.isArray(e)){let n=[];for(let t of e)n.push(t?.toString()??"");return n.length>0?n[0]:void 0}return e?.toString()}};function ht(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var ge=class{get ruleName(){return"PropertyValueType"}async validateAsync(e,n){let t=[],o=new Map;for(let[a,r]of Object.entries(e.body))if(typeof r=="object"&&r!==null&&!Array.isArray(r)){let i=r,s=this.getPropertyValue(i,"type");(s==="DatatypeProperty"||s==="ObjectProperty")&&o.set(a,i)}for(let[a,r]of Object.entries(e.body)){if(typeof r!="object"||r===null||Array.isArray(r))continue;let i=r,s=this.getPropertyValue(i,"type");if(!(!s||s==="Class"||s.endsWith("Property")||s==="AnnotationProperty"))for(let[c,p]of Object.entries(i)){if(c==="type"||c==="label"||c==="comment")continue;let l=c,m=c.lastIndexOf(".");m>0&&m<c.length-1&&(l=c.substring(m+1));let u=o.get(l);if(!u)continue;let f=this.getPropertyValue(u,"type"),d=this.getPropertyValue(u,"range");if(f==="DatatypeProperty"){if(typeof p=="object"&&p!==null&&!Array.isArray(p)||Array.isArray(p))t.push({ruleType:this.ruleName,severity:"Error",entityName:a,propertyName:c,message:`Property '${c}' is a DatatypeProperty with range '${d}' but instance '${a}' has a complex object value`,suggestion:`Either:
|
|
43
|
+
1. Create a class for this data and change '${c}' to an ObjectProperty
|
|
44
|
+
2. Store as a JSON string to keep it as DatatypeProperty
|
|
45
|
+
3. Use separate properties instead of nesting`,expectedValue:`A simple value of type '${d}'`});else if(!this.validateDatatypeValue(d,p)){let k={ruleType:this.ruleName,severity:"Error",entityName:a,propertyName:c,message:`Property '${c}' expects type '${d}' but instance '${a}' has value of type '${this.getValueTypeName(p)}'`,suggestion:`Provide a value of type '${d}'`,toString:()=>""};d&&(k.expectedValue=d),t.push(k)}}else if(f==="ObjectProperty")if(Array.isArray(p))for(let k=0;k<p.length;k++){let h=p[k];typeof h!="string"&&(typeof h!="object"||h===null||Array.isArray(h))&&t.push({ruleType:this.ruleName,severity:"Error",entityName:a,propertyName:`${c}[${k}]`,message:`ObjectProperty '${c}' array item ${k} in instance '${a}' has invalid type '${this.getValueTypeName(h)}'`,suggestion:"Array items must be references (strings) or embedded objects (dictionaries)",expectedValue:"string or object"})}else typeof p!="string"&&(typeof p!="object"||p===null||Array.isArray(p))&&t.push({ruleType:this.ruleName,severity:"Error",entityName:a,propertyName:c,message:`ObjectProperty '${c}' in instance '${a}' has invalid value type '${this.getValueTypeName(p)}'`,suggestion:"Value must be a reference (string), embedded object (dictionary), or array of these",expectedValue:`Reference to ${d} or embedded ${d} object`})}}return t}validateDatatypeValue(e,n){switch(e?.toLowerCase()){case"string":return typeof n=="string";case"integer":case"int":return typeof n=="number"&&Number.isInteger(n);case"decimal":return typeof n=="number";case"boolean":return typeof n=="boolean";case"float":case"double":return typeof n=="number";default:return!0}}getValueTypeName(e){return typeof e=="string"?"string":typeof e=="number"?Number.isInteger(e)?"integer":"decimal":typeof e=="boolean"?"boolean":Array.isArray(e)?"array":typeof e=="object"&&e!==null?"object":e===null?"null":e===void 0?"undefined":typeof e}getPropertyValue(e,n){if(n in e){let t=e[n];if(Array.isArray(t)){let o=[];for(let a of t)o.push(a?.toString()??"");return o.length>0?o[0]:void 0}return t?.toString()}}};var he=class{builtInClasses=new Set(["Resource","Class","Literal","Thing","Nothing","Property","DatatypeProperty","ObjectProperty","AnnotationProperty","FunctionalProperty","InverseFunctionalProperty","TransitiveProperty","SymmetricProperty","Package"]);get ruleName(){return"ClassDefinition"}async validateAsync(e,n){let t=[],o=new Map,a=new Set;for(let[i,s]of Object.entries(e.body))if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let p=s.type;if(p)if(Array.isArray(p))for(let l of p){let m=l?.toString();if(m==="Class"||m&&m.endsWith(".Class")){a.add(i);break}}else{let l=p?.toString();(l==="Class"||l&&l.endsWith(".Class"))&&a.add(i)}}for(let[i,s]of Object.entries(e.body))if(typeof s=="object"&&s!==null&&!Array.isArray(s)){let c=s,p=c.type;if(p)if(Array.isArray(p)){let l=!1;for(let m of p){let u=m?.toString();if(u&&this.isDefinitionType(u)){l=!0;break}}if(!l)for(let m of p){let u=m?.toString();u&&u.trim().length>0&&(o.has(u)||o.set(u,[]),o.get(u).push(i))}}else{let l=p?.toString();l&&l.trim().length>0&&(this.isDefinitionType(l)||(o.has(l)||o.set(l,[]),o.get(l).push(i)))}this.checkNestedTypes(c,i,o,i)}let r=new U(n);for(let[i,s]of o){if(this.builtInClasses.has(i)||a.has(i))continue;let c=await r.resolveEntityAsync(i,e);if(!(c&&this.isClassEntity(c.entity))){let l=Array.from(new Set(s)).sort();for(let m of l)t.push({ruleType:this.ruleName,severity:"Error",message:`Class '${i}' is not defined or imported`,suggestion:`Define '${i}' as a Class in this document, or import a namespace that contains it`,entityName:m,propertyName:"type",actualValue:i,expectedValue:"Defined or imported class"})}}return t}checkNestedTypes(e,n,t,o){if(typeof e=="object"&&e!==null&&!Array.isArray(e)){let a=e,r=a.type;if(r){let i=new Set(["Class","DatatypeProperty","ObjectProperty","AnnotationProperty"]);if(Array.isArray(r))for(let s of r){let c=s?.toString();c&&c.trim().length>0&&!i.has(c)&&(t.has(c)||t.set(c,[]),t.get(c).push(o))}else{let s=r?.toString();s&&s.trim().length>0&&!i.has(s)&&(t.has(s)||t.set(s,[]),t.get(s).push(o))}}for(let[i,s]of Object.entries(a))if(i!=="type"){let c=`${o}.${i}`;this.checkNestedTypes(s,n,t,c)}}else if(Array.isArray(e))for(let a=0;a<e.length;a++){let r=`${o}[${a}]`;this.checkNestedTypes(e[a],n,t,r)}}isClassEntity(e){if(!e)return!1;let n=e.type;if(!n)return!1;if(Array.isArray(n))for(let t of n){let o=t?.toString();if(o==="Class"||o&&o.endsWith(".Class"))return!0}else{let t=n?.toString();if(t==="Class"||t&&t.endsWith(".Class"))return!0}return!1}isDefinitionType(e){return!e||e.trim().length===0?!1:new Set(["Class","Property","DatatypeProperty","ObjectProperty","AnnotationProperty"]).has(e)?!0:e.endsWith(".Class")||e.endsWith(".Property")||e.endsWith(".DatatypeProperty")||e.endsWith(".ObjectProperty")||e.endsWith(".AnnotationProperty")}};var ke=class{ruleName="MarkdownLink";async validateAsync(e,n,t){let o=[],a;if(t){let r=await t.getKanonaks(),i=kt(e);a=i?r.filter(s=>s instanceof I&&s.namespace===i):[]}else{let r=new M(e,n);a=await new A().parseKanonaks(r)}for(let r of a)r instanceof I&&this.checkDefined(r,r.name,o);return o}checkDefined(e,n,t){for(let o of e.statement)if(o instanceof Ye){let a=o.predicate.subject?.name??"(unknown)";for(let r of o.links)r.target||t.push(this.unresolvedLinkError(n,a,r.reference));for(let r of Ze(o.object))t.push(this.malformedLinkError(n,a,r.snippet))}else if(o instanceof qe)this.checkDefined(o.object,n,t);else if(o instanceof ze)for(let a of o.object)a instanceof D&&this.checkDefined(a,n,t)}unresolvedLinkError(e,n,t){let o=new g;return o.ruleType=this.ruleName,o.severity="Error",o.entityName=e,o.propertyName=n,o.actualValue=t,o.message=`Embedded link [[${t}]] in '${n}' could not be resolved`,o.expectedValue="A reference resolvable through the document's import closure",o.suggestion=`The reference '${t}' inside a markdown value cannot be found in the current document or any imported namespace.
|
|
46
|
+
|
|
47
|
+
Possible solutions:
|
|
48
|
+
\u2022 Import the package that defines '${t}' so the link can resolve
|
|
49
|
+
\u2022 Check for typos in the reference name
|
|
50
|
+
\u2022 If the name collides across imports, alias-qualify it: [[alias.${t}]]`,o}malformedLinkError(e,n,t){let o=new g;return o.ruleType=this.ruleName,o.severity="Error",o.entityName=e,o.propertyName=n,o.actualValue=t,o.message=`Malformed embedded reference near '${t}' in '${n}'`,o.expectedValue="A single-line [[reference]] with no internal line break",o.suggestion=`A '[[' in '${n}' does not form a complete [[reference]] link.
|
|
51
|
+
|
|
52
|
+
A reference may not span a line break \u2014 the most common cause is wrapping a
|
|
53
|
+
long reference across two lines in a block scalar, e.g.:
|
|
54
|
+
... read for [[persistent-energy-
|
|
55
|
+
shock]] held ...
|
|
56
|
+
which is parsed as literal text, not a link. Keep each [[reference]] on one
|
|
57
|
+
line (let the line run long), or check for an unterminated [[.`,o}};function kt(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var it="kanonak.org",at="look",bt={publisher:it,package_:at,name:"displayLabel"},Rt={publisher:it,package_:at,name:"displaySummary"},be=class{ruleName="DisplayLensScope";async validateAsync(e,n,t){let o=[],a;t?a=await t.getKanonaks():a=await new A().parseKanonaks(new M(e,n));let r=vt(e);if(!r)return o;for(let i of a)i instanceof I&&i.namespace===r&&(this.checkLens(a,i,bt,"displayLabel",o),this.checkLens(a,i,Rt,"displaySummary",o));return o}checkLens(e,n,t,o,a){let r=V(n,t);if(!r)return;let i=[],s=W(n);if(s&&i.push(s),i.push(...et(n)),i.length===0)return;i.some(p=>T(e,p,r).ok)||a.push(this.scopeError(n.name,o,r.name))}scopeError(e,n,t){let o=new g;return o.ruleType=this.ruleName,o.severity="Error",o.entityName=e,o.propertyName=n,o.actualValue=t,o.message=`${n} points at '${t}', which is not a property in scope for '${e}'`,o.expectedValue="A property whose domain is this resource's class, an ancestor, or rdfs.Resource",o.suggestion=`'${t}' resolves, but its domain does not cover '${e}', so the lens would silently fall back to the resource's name at render time.
|
|
58
|
+
|
|
59
|
+
Possible solutions:
|
|
60
|
+
\u2022 Point ${n} at a property declared on this class (or an ancestor / rdfs.Resource)
|
|
61
|
+
\u2022 Set the property's domain to this class if it should apply here
|
|
62
|
+
\u2022 Use rdfs.label / rdfs.comment for the universal default`,o}};function vt(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}function F(y,e,n){let t=[];return $e(y,n,{input:e},t),t}function $e(y,e,n,t){if(E(e,_.VarRef)){let r=L(e,_.varName);return r?n[r]:void 0}if(E(e,_.PropertyRead)){let r=O(e,_.readSource),i=r?$e(y,r,n,t):void 0,s=V(e,_.readProp);if(!i||!s)return;let c=T(y,i,s);if(!c.ok){t.push({contextClass:i,propertyUri:s,via:"PropertyRead"});return}return c.descriptor?.range}if(E(e,_.Traverse)){let r=O(e,_.traverseSource),i=r?$e(y,r,n,t):void 0,s=V(e,_.through),c;if(i&&s){let l=T(y,i,s);l.ok?c=l.descriptor?.range:t.push({contextClass:i,propertyUri:s,via:"Traverse"})}let p=O(e,_.step);return p?$e(y,p,{...n,input:c},t):void 0}let o=L(e,_.loopVar),a=o?{...n,[o]:void 0}:n;for(let r of Pt(e))$e(y,r,a,t)}function Pt(y){let e=[];for(let n of y.statement){let t=n.object;if(t instanceof D)e.push(t);else if(Array.isArray(t))for(let o of t)o instanceof D&&e.push(o)}return e}var Ke="kanonak.org",Ce="look",Vt={publisher:Ke,package_:Ce,name:"semanticSvg"},It={publisher:Ke,package_:Ce,name:"tierChip"},Dt={publisher:Ke,package_:Ce,name:"tierIcon"},At={publisher:Ke,package_:Ce,name:"tierCard"},Et={publisher:Ke,package_:Ce,name:"tierFull"},Ot=[It,Dt,At,Et],Re=class{ruleName="LookSemanticSvgPath";async validateAsync(e,n,t){let o=[],a;t?a=await t.getKanonaks():a=await new A().parseKanonaks(new M(e,n));let r=St(e);if(!r)return o;for(let i of a)i instanceof I&&i.namespace===r&&this.checkSemanticSvg(a,i,o);return o}checkSemanticSvg(e,n,t){let o=O(n,Vt);if(!o)return;let a=W(n);if(a)for(let r of Ot){let i=O(o,r);if(i)for(let s of F(e,a,i))t.push(this.toError(n.name,r.name,s))}}toError(e,n,t){let o=`${t.propertyUri.publisher}/${t.propertyUri.package_}/${t.propertyUri.name}`,a=t.contextClass.name,r=a===e?`'${e}' (the class this SemanticSvg is declared on)`:`'${a}', reached by traversal from '${e}' (the class this SemanticSvg is declared on)`,i=new g;return i.ruleType=this.ruleName,i.severity="Error",i.entityName=e,i.propertyName=`look.semanticSvg.${n}`,i.actualValue=o,i.message=`tx.${t.via} reads property '${t.propertyUri.name}' off the rendered instance, but its domain is not in scope for ${r}. The read would silently return undefined at render time.`,i.expectedValue=`A property whose domain is '${a}', an ancestor, or rdfs.Resource`,i.suggestion=`Property '${o}' is not in scope for '${a}'.
|
|
63
|
+
|
|
64
|
+
Possible solutions:
|
|
65
|
+
\u2022 Read a property declared on '${a}' (or an ancestor / rdfs.Resource)
|
|
66
|
+
\u2022 If the property should apply to '${a}', adjust its domain
|
|
67
|
+
\u2022 If the value comes from a pre-computed env binding, use tx.VarRef instead of PropertyRead`,i}};function St(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var $t="kanonak.org",R=(y,e)=>({publisher:$t,package_:y,name:e}),Kt=R("derivation","look"),Ct=R("look","bands"),wt=R("look","Distribution"),jt=R("look","StatRow"),Nt=R("look","VersionDelta"),Tt=R("look","Timeline"),xt=R("look","VersionDiff"),_t=R("look","TimePlot"),Ut=R("look","ReferenceList"),Lt=R("look","Diagram"),Mt=R("look","alphaPath"),Wt=R("look","betaPath"),We=R("look","metricPath"),st=R("look","lowerPath"),ct=R("look","upperPath"),pt=R("look","hueBy"),Ht=R("look","statPath"),Bt=R("look","laneBy"),lt=R("look","labelPath"),Ft=R("look","badgePath"),Xt=R("look","mapPath"),qt=R("look","nodeNote"),zt=R("look","edgeValue"),Yt=R("look","stats"),Gt=R("look","facets"),Zt=R("look","channels"),Jt=R("look","track"),Qt=R("look","source"),en=R("look","relation"),tn=R("look","entries"),we=class{ruleName="LookBandPath";async validateAsync(e,n,t){let o=[],a;t?a=await t.getKanonaks():a=await new A().parseKanonaks(new M(e,n));let r=on(e);if(!r)return o;for(let i of a)i instanceof I&&i.namespace===r&&this.checkDeclaration(a,i,o);return o}checkDeclaration(e,n,t){let o=O(n,Kt);if(!o)return;let a=W(n);if(!a)return;let r=S(o,Ct).filter(i=>i instanceof D);for(let i of r)for(let s of this.carriersOf(e,i,a))for(let c of F(e,s.context,s.expr))t.push(this.toError(n.name,s.slot,c))}carriersOf(e,n,t){let o=[],a=(r,i)=>{let s=O(n,r);s&&o.push({slot:`look.${r.name}`,context:i,expr:s})};if(E(n,wt))for(let r of[Mt,Wt,We,st,ct,pt])a(r,t);if(E(n,Nt)&&a(We,t),E(n,jt)){let r=S(n,Yt).filter(i=>i instanceof D);for(let i of r){let s=O(i,Ht);s&&o.push({slot:"look.stats[].statPath",context:t,expr:s})}}if(E(n,Tt)||E(n,xt)){let r=this.rangeOf(e,t,V(n,Jt));if(r)for(let i of[We,st,ct,pt])a(i,r)}if(E(n,_t)){let r=this.rangeOf(e,t,V(n,Qt));if(r)for(let i of[Bt,lt])a(i,r)}if(E(n,Ut))for(let r of S(n,tn)){let i=r instanceof D?void 0:nn(r),s=this.rangeOf(e,t,i);if(s)for(let c of[lt,Ft])a(c,s)}if(E(n,Lt)){let r=S(n,Gt).filter(i=>i instanceof D);for(let i of r){let s=this.rangeOf(e,t,V(i,en));if(!s)continue;let c=O(i,qt);c&&o.push({slot:"look.facets[].nodeNote",context:s,expr:c});let p=O(i,zt);p&&o.push({slot:"look.facets[].edgeValue",context:s,expr:p});let l=S(i,Zt).filter(m=>m instanceof D);for(let m of l){let u=O(m,Xt);u&&o.push({slot:"look.facets[].channels[].mapPath",context:s,expr:u})}}}return o}rangeOf(e,n,t){if(!t)return;let o=T(e,n,t);return o.ok?o.descriptor?.range:void 0}toError(e,n,t){let o=`${t.propertyUri.publisher}/${t.propertyUri.package_}/${t.propertyUri.name}`,a=t.contextClass.name,r=new g;return r.ruleType=this.ruleName,r.severity="Error",r.entityName=e,r.propertyName=n,r.actualValue=o,r.message=`tx.${t.via} reads property '${t.propertyUri.name}', but its domain is not in scope for '${a}' (the class this band carrier is evaluated against). The read would silently return undefined at render time and the band would render empty.`,r.expectedValue=`A property whose domain is '${a}', an ancestor, or rdfs.Resource`,r.suggestion=`Property '${o}' is not in scope for '${a}'.
|
|
68
|
+
|
|
69
|
+
Possible solutions:
|
|
70
|
+
\u2022 Read a property declared on '${a}' (or an ancestor / rdfs.Resource)
|
|
71
|
+
\u2022 If the property should apply to '${a}', adjust its domain
|
|
72
|
+
\u2022 If the path is wrong, correct the tx.PropertyRead/tx.Traverse chain`,r}};function nn(y){let e=y.subject;return e&&typeof e.name=="string"?e:void 0}function on(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var Pe="kanonak.org",Ve="view",rn={publisher:Pe,package_:Ve,name:"bind"},an={publisher:Pe,package_:Ve,name:"produces"},sn={publisher:Pe,package_:Ve,name:"projections"},cn={publisher:Pe,package_:Ve,name:"where"},pn={publisher:Pe,package_:Ve,name:"value"},ln={publisher:Pe,package_:Ve,name:"as"},ve=class{ruleName="TxExpressionPath";async validateAsync(e,n,t){let o=[],a;t?a=await t.getKanonaks():a=await new A().parseKanonaks(new M(e,n));let r=un(e);if(!r)return o;for(let i of a)i instanceof I&&i.namespace===r&&this.checkView(a,i,o);return o}checkView(e,n,t){let o=V(n,rn);if(!o)return;let a=V(n,an),r=0;for(let s of mn(e,S(n,sn))){let c=O(s,pn);if(c)for(let l of F(e,o,c))t.push(this.toError(n.name,`view.projections[${r}].value`,o,l));let p=V(s,ln);p&&a&&(T(e,a,p).ok||t.push(this.asError(n.name,r,a,p))),r+=1}let i=0;for(let s of yn(n,cn)){for(let c of F(e,o,s))t.push(this.toError(n.name,`view.where[${i}]`,o,c));i+=1}}asError(e,n,t,o){let a=`${o.publisher}/${o.package_}/${o.name}`,r=new g;return r.ruleType=this.ruleName,r.severity="Error",r.entityName=e,r.propertyName=`view.projections[${n}].as`,r.actualValue=a,r.message=`Projection stores its value under property '${o.name}', but that property's domain is not in scope for the view's produces class '${t.name}'. The materialized result instance could not carry this value.`,r.expectedValue=`A property whose domain is '${t.name}', an ancestor, or rdfs.Resource`,r.suggestion=`Property '${a}' is not in scope for produces class '${t.name}'.
|
|
73
|
+
|
|
74
|
+
Possible solutions:
|
|
75
|
+
\u2022 Use an output property whose domain covers '${t.name}'
|
|
76
|
+
\u2022 Define a new property in the ViewPackage with domain '${t.name}' and the right range
|
|
77
|
+
\u2022 If the value belongs on a different output class, adjust the view's produces`,r}toError(e,n,t,o){let a=`${o.propertyUri.publisher}/${o.propertyUri.package_}/${o.propertyUri.name}`,r=o.contextClass.name,i=r===t.name?`the view's bound class '${t.name}'`:`'${r}', reached by traversal from the view's bound class '${t.name}'`,s=new g;return s.ruleType=this.ruleName,s.severity="Error",s.entityName=e,s.propertyName=n,s.actualValue=a,s.message=`tx.${o.via} reads property '${o.propertyUri.name}', but its domain is not in scope for ${i}. The read would silently return undefined when the view materializes.`,s.expectedValue=`A property whose domain is '${r}', an ancestor, or rdfs.Resource`,s.suggestion=`Property '${a}' is not in scope for '${r}'.
|
|
78
|
+
|
|
79
|
+
Possible solutions:
|
|
80
|
+
\u2022 Read a property declared on '${r}' (or an ancestor / rdfs.Resource)
|
|
81
|
+
\u2022 If the property should apply to '${r}', adjust its domain
|
|
82
|
+
\u2022 If the path is wrong, correct the tx.PropertyRead/tx.Traverse chain`,s}};function yn(y,e){let n=O(y,e);return n?[n]:S(y,e).filter(t=>t instanceof D)}function mn(y,e){let n=[];for(let t of e)if(t instanceof D)n.push(t);else if(t instanceof H){let o=x(y,t.subject);o&&n.push(o)}return n}function un(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var _e="kanonak.org",fn="core-shacl",$=y=>({publisher:_e,package_:fn,name:y}),dn=$("NodeShape"),gn=$("PropertyShape"),hn=$("targetClass"),kn=$("property"),bn=$("path"),Rn=$("minCount"),vn=$("maxCount"),Pn=$("datatype"),Vn=$("class"),yt=$("in"),In=$("pattern"),Dn=$("flags"),An=$("minLength"),En=$("maxLength"),On=$("minInclusive"),Sn=$("maxInclusive"),$n=new Set(["decimal","integer","int","long","short","byte","float","double","nonNegativeInteger","positiveInteger","negativeInteger","nonPositiveInteger","unsignedInt","unsignedLong","unsignedShort","unsignedByte"]),He=y=>y,De=class{ruleName="ShaclShape";async validateAsync(e,n,t){let o=[],a=t?await t.getKanonaks():await new A().parseKanonaks(n),r=Kn(e);if(!r)return o;let i=new Set;for(let s of a){if(!(s instanceof I)||s.namespace!==r||!E(s,dn))continue;let c=V(s,hn);c?this.resolvesToClass(a,c)||o.push(this.err(s.name,"targetClass","Error",`NodeShape '${s.name}' sh:targetClass '${c.name}' does not resolve to a class.`,"Reference a defined or imported rdfs.Class.",X(c))):o.push(this.err(s.name,"targetClass","Error",`NodeShape '${s.name}' has no sh:targetClass; it constrains nothing.`,"Add sh:targetClass naming the class this shape applies to."));for(let p of S(s,kn)){let l;if(p instanceof D)l=p;else if(p instanceof H){let m=x(a,p.subject);m&&(l=m,i.add(C(p.subject)))}l&&this.checkPropertyShape(a,s.name,l,c??void 0,o)}}for(let s of a){if(!(s instanceof I)||s.namespace!==r||!E(s,gn))continue;let c=W(s);c&&i.has(C(c))||this.checkPropertyShape(a,s.name,s,void 0,o)}return o}checkPropertyShape(e,n,t,o,a){let r=V(t,bn);if(!r){a.push(this.err(n,"property.path","Error",`A PropertyShape on '${n}' has no sh:path; a PropertyShape must name the property it constrains.`,"Add sh:path naming a property."));return}let i=x(e,r),s=i?B.isAnyPropertyType(He(i)):!1;s?o&&(T(e,o,r).ok||a.push(this.err(n,"property.path","Warning",`sh:path '${r.name}' is not in scope for sh:targetClass '${o.name}'; the constraint would never bind a value.`,`Constrain a property whose domain is '${o.name}', an ancestor, or rdfs.Resource.`,X(r)))):a.push(this.err(n,"property.path","Error",`sh:path '${r.name}' on '${n}' does not resolve to a property.`,"Reference a defined or imported property.",X(r)));let c=V(t,Pn),p=V(t,Vn);c&&p&&a.push(this.err(n,"property","Error",`A PropertyShape on '${n}' sets both sh:datatype and sh:class; a value is a literal or a node, not both.`,"Keep sh:datatype (literal values) or sh:class (node values), not both.")),c&&!this.resolvesToDatatype(e,c)&&a.push(this.err(n,"datatype","Error",`sh:datatype '${c.name}' on '${n}' does not resolve to a datatype.`,"Reference an xsd datatype or rdfs.Datatype.",X(c))),p&&!this.resolvesToClass(e,p)&&a.push(this.err(n,"class","Error",`sh:class '${p.name}' on '${n}' does not resolve to a class.`,"Reference a defined or imported rdfs.Class.",X(p)));let l=Ie(w(t,Rn)),m=Ie(w(t,vn));this.checkOrder(n,"minCount",l,"maxCount",m,a);let u=Ie(w(t,An)),f=Ie(w(t,En));this.checkOrder(n,"minLength",u,"maxLength",f,a);let d=Ie(w(t,On)),k=Ie(w(t,Sn));this.checkOrder(n,"minInclusive",d,"maxInclusive",k,a);let h=L(t,In);if(h!==void 0){let v=L(t,Dn);try{new RegExp(h,v)}catch{a.push(this.err(n,"pattern","Error",`sh:pattern on '${n}' is not a valid regular expression`+(v!==void 0?` (with flags '${v}')`:"")+`: ${h}`,"Provide a valid regular expression and flags.",h))}}if(Te(t,yt)&&S(t,yt).length===0&&a.push(this.err(n,"in","Error",`sh:in on '${n}' is empty; an enumeration must list at least one permitted value.`,"List the permitted literal values, or remove sh:in.")),s&&o){let K=T(e,o,r).descriptor;K&&((h!==void 0||u!==void 0||f!==void 0)&&K.kind==="object"&&a.push(this.err(n,"pattern/minLength/maxLength","Warning",`String facets on '${n}' apply to '${r.name}', which is an object property; string facets constrain literal values.`,"Apply string facets to a datatype property, or use sh:class for node values.",X(r))),(d!==void 0||k!==void 0)&&!this.isNumericDatatypeRange(K.range)&&a.push(this.err(n,"minInclusive/maxInclusive","Warning",`Numeric bounds on '${n}' apply to '${r.name}', whose range is not a numeric datatype.`,"Apply numeric bounds to a numeric datatype property.",X(r))))}}checkOrder(e,n,t,o,a,r){t!==void 0&&a!==void 0&&t>a&&r.push(this.err(e,`${n}/${o}`,"Error",`${n} (${t}) exceeds ${o} (${a}) on '${e}'.`,`Set ${n} <= ${o}.`))}resolvesToClass(e,n){let t=x(e,n);return t?B.isClassType(He(t)):!1}resolvesToDatatype(e,n){if(n.publisher===_e&&n.package_==="core-rdf"&&n.name==="Literal")return!0;let t=x(e,n);return t?B.isDatatypeType(He(t)):!1}isNumericDatatypeRange(e){return!e||e.publisher===_e&&e.package_==="core-rdf"&&e.name==="Literal"?!0:e.publisher===_e&&e.package_==="core-xsd"&&$n.has(e.name)}err(e,n,t,o,a,r){let i=new g;return i.ruleType=this.ruleName,i.severity=t,i.entityName=e,i.propertyName=n,i.message=o,i.suggestion=a,r!==void 0&&(i.actualValue=r),i}};function Ie(y){return typeof y=="number"?y:void 0}function X(y){return`${y.publisher}/${y.package_}/${y.name}`}function Kn(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var mt={publisher:"kanonak.org",package_:"core-owl",name:"oneOf"},Cn=y=>y,Ae=class{ruleName="OwlOneOf";async validateAsync(e,n,t){let o=[],a=t?await t.getKanonaks():await new A().parseKanonaks(n),r=wn(e);if(!r)return o;for(let i of a){if(!(i instanceof I)||i.namespace!==r||!Te(i,mt))continue;let s=S(i,mt);if(s.length===0){o.push(this.err(i.name,"Warning",`owl:oneOf on '${i.name}' is empty; a closed enumeration must list at least one individual.`,"List the individuals that make up the enumeration, or remove owl:oneOf."));continue}for(let c of s)if(c instanceof Ne)o.push(this.err(i.name,"Error",`owl:oneOf member '${String(c.value)}' on '${i.name}' is not a named individual; a class enumeration is of individuals (a misspelled or unimported individual reads as a literal). For a closed set of literal VALUES, constrain a property with sh:in instead.`,"Reference a defined or imported individual, or move literal value sets to a property sh:in.",String(c.value)));else if(c instanceof H){let p=x(a,c.subject);p&&B.isSchemaDefinitionType(Cn(p))&&o.push(this.err(i.name,"Error",`owl:oneOf member '${c.subject.name}' on '${i.name}' is a class/property/datatype, not an individual.`,"List named individuals (instances), not schema definitions.",`${c.subject.publisher}/${c.subject.package_}/${c.subject.name}`))}}return o}err(e,n,t,o,a){let r=new g;return r.ruleType=this.ruleName,r.severity=n,r.entityName=e,r.propertyName="oneOf",r.message=t,r.suggestion=o,a!==void 0&&(r.actualValue=a),r}};function wn(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var jn="kanonak.org",Nn="core-shacl",j=y=>({publisher:jn,package_:Nn,name:y}),Tn=j("NodeShape"),xn=j("targetClass"),_n=j("property"),Un=j("path"),Ln=j("minCount"),Mn=j("maxCount"),Wn=j("in"),Hn=j("pattern"),Bn=j("flags"),Fn=j("minLength"),Xn=j("maxLength"),qn=j("minInclusive"),zn=j("maxInclusive"),Yn=j("message");function Ee(y){return typeof y=="number"?y:void 0}function Gn(y){let e={},n=Ee(w(y,Ln)),t=Ee(w(y,Mn));n!==void 0&&(e.minCount=n),t!==void 0&&(e.maxCount=t);let o=Ee(w(y,Fn)),a=Ee(w(y,Xn));o!==void 0&&(e.minLength=o),a!==void 0&&(e.maxLength=a);let r=Ee(w(y,qn)),i=Ee(w(y,zn));r!==void 0&&(e.minInclusive=r),i!==void 0&&(e.maxInclusive=i);let s=L(y,Hn);if(s!==void 0){let l=L(y,Bn);e.pattern=l!==void 0?{regex:s,flags:l}:{regex:s}}let c=S(y,Wn).filter(l=>l instanceof Ne).map(l=>l.value);c.length>0&&(e.enumValues=c);let p=L(y,Yn);return p!==void 0&&(e.message=p),e}function Zn(y,e){let n=[];for(let t of S(e,_n))if(t instanceof D)n.push(t);else if(t instanceof H){let o=x(y,t.subject);o&&n.push(o)}return n}function ut(y){let e=new Map;for(let n of y){if(!(n instanceof I)||!E(n,Tn))continue;let t=V(n,xn);if(!t)continue;let o=C(t);for(let a of Zn(y,n)){let r=V(a,Un);if(!r)continue;let i={pathKey:C(r),constraints:Gn(a)},s=e.get(o);s?s.push(i):e.set(o,[i])}}return e}function Jn(y,e){e.minCount!==void 0&&(y.minCount=e.minCount),e.maxCount!==void 0&&(y.maxCount=e.maxCount),e.minLength!==void 0&&(y.minLength=e.minLength),e.maxLength!==void 0&&(y.maxLength=e.maxLength),e.minInclusive!==void 0&&(y.minInclusive=e.minInclusive),e.maxInclusive!==void 0&&(y.maxInclusive=e.maxInclusive),e.pattern!==void 0&&(y.pattern=e.pattern),e.enumValues!==void 0&&(y.enumValues=e.enumValues),e.message!==void 0&&(y.message=e.message)}function ft(y,e,n){let t=C(n),o=!1,a={};for(let r=e.length-1;r>=0;r--){let i=y.get(C(e[r]));if(i)for(let s of i)s.pathKey===t&&(o=!0,Jn(a,s.constraints))}if(o)return a.cardinality=a.maxCount===1?"single":"list",a.required=(a.minCount??0)>=1,a}var Qn=y=>y,eo=new Xe("kanonak.org","core-rdf","Resource"),Oe=class{ruleName="DiamondNameClash";async validateAsync(e,n,t){let o=[],a=t?await t.getKanonaks():await new A().parseKanonaks(n),r=to(e);if(!r)return o;let i=ut(a);for(let s of a){if(!(s instanceof I)||s.namespace!==r||!B.isClassType(Qn(s)))continue;let c=W(s);if(!c)continue;let p=Je(a,c),l=C(c),m=new Set(p.map(f=>C(f)));m.delete(l),m.delete(C(eo));let u=new Map;for(let f of Qe(a,c)){if(!f.domains.some(h=>m.has(C(h))))continue;let k=u.get(f.uri.name);k?k.push(f):u.set(f.uri.name,[f])}for(let[f,d]of u){if(d.length<2)continue;let k=K=>ft(i,p,K.uri)?.cardinality,h=new Set(d.map(K=>K.range?C(K.range):void 0).filter(K=>K!==void 0)),v=new Set(d.map(k).filter(K=>K!==void 0));h.size<=1&&v.size<=1||o.push(this.toError(s.name,f,d,k))}}return o}toError(e,n,t,o){let a=s=>{let c=`${s.uri.publisher}/${s.uri.package_}/${s.uri.name}`,p=s.range?`${s.range.publisher}/${s.range.package_}/${s.range.name}`:"no range",l=o(s);return`${c} (range ${p}${l?`, ${l}`:""})`},r=t.map(a).join("; "),i=new g;return i.ruleType=this.ruleName,i.severity="Error",i.entityName=e,i.propertyName=n,i.actualValue=r,i.message=`Class '${e}' inherits ${t.length} distinct properties named '${n}' with incompatible range or cardinality: ${r}. The generated interface would multiply-inherit '${n}' with conflicting types and could not compile.`,i.suggestion=`Disambiguate the diamond name-clash on '${n}':
|
|
83
|
+
\u2022 rename one of the properties, or
|
|
84
|
+
\u2022 re-domain one so it is not inherited by '${e}', or
|
|
85
|
+
\u2022 restructure the hierarchy so '${e}' inherits only one '${n}', or
|
|
86
|
+
\u2022 make the ranges/cardinalities compatible (identical) if they are meant to be the same property.`,i}};function to(y){let e=y.metadata.namespace_;if(!(!e||!e.version))return`${e.publisher}/${e.package_}@${P(e.version)}`}var Be=class{parser;documentRules;repositoryRules;includeWarnings=!0;constructor(e){this.parser=e??new Fe,this.documentRules=[new z,new Y,new G,new Z,new J],this.repositoryRules=[new Q,new ee,new te,new ne,new oe,new re,new ie,new ae,new se,new ce,new pe,new le,new ye,new me,new ue,new fe,new de,new ge,new he,new ke,new be,new Re,new we,new ve,new De,new Ae,new Oe]}async validateAsync(e,n,t){let o=new q;for(let a of this.documentRules)try{let r=a.validate(e);this.addErrorsToResult(o,r)}catch(r){let i=new g;i.ruleType=a.ruleName,i.severity="Error",i.message=`Validation rule '${a.ruleName}' failed: ${r instanceof Error?r.message:String(r)}`,o.errors.push(i)}if(n){let a=[],r=t?.repository??n;for(let i of this.repositoryRules)try{let s=await i.validateAsync(e,r,t);this.addErrorsToResult(o,s)}catch(s){let c=s instanceof Error?s.message:String(s);a.push({ruleName:i.ruleName,cause:c})}if(a.length>0){let i=new Map;for(let{ruleName:s,cause:c}of a){let p=i.get(c);p?p.push(s):i.set(c,[s])}for(let[s,c]of i){let p=new g;p.ruleType=c[0],p.severity="Error",c.length===1?p.message=`Validation rule '${c[0]}' failed: ${s}`:p.message=`${s} (affects ${c.length} rules: ${c.join(", ")})`,o.errors.push(p)}}}return o.isValid=o.errors.length===0,o}async validateDocumentsAsync(e,n){let t=new Se(n),o=[];for(let a of e){let r=await this.validateAsync(a,t.repository,t);o.push({document:a,result:r})}return o}async validateYamlAsync(e,n,t){let o=this.parser.parseWithErrors(e);if(!o.isValid){let a=new q;a.isValid=!1;for(let r of o.errors){let i=new g;i.ruleType="ParseError",i.severity="Error",i.lineNumber=r.line,i.column=r.column,i.message=r.message,r.keyName&&(i.entityName=r.keyName),r.errorType==="DuplicateKey"&&(i.suggestion="All property names must be unique across the entire document. Rename one of the duplicate properties to make them unique."),a.errors.push(i)}return a}return await this.validateAsync(o.document,n,t)}addDocumentRule(e){this.documentRules.push(e)}addRepositoryRule(e){this.repositoryRules.push(e)}removeDocumentRule(e){let n=this.documentRules.findIndex(t=>t instanceof e);n>=0&&this.documentRules.splice(n,1)}removeRepositoryRule(e){let n=this.repositoryRules.findIndex(t=>t instanceof e);n>=0&&this.repositoryRules.splice(n,1)}addErrorsToResult(e,n){for(let t of n)t.severity==="Error"?e.errors.push(t):this.includeWarnings&&e.warnings.push(t)}};export{q as a,b,g as c,Ue as d,Se as e,z as f,Y as g,G as h,Z as i,J as j,Q as k,ee as l,te as m,ne as n,oe as o,re as p,ie as q,ae as r,se as s,ce as t,pe as u,le as v,ye as w,me as x,ue as y,fe as z,de as A,ge as B,he as C,ke as D,be as E,Re as F,ve as G,De as H,Ae as I,ut as J,ft as K,Oe as L,Be as M};
|