npm - @cratis/screenplay-language - Versions diffs - 4.125.0 → 4.126.0 - Mend

@cratis/screenplay-language 4.125.0 → 4.126.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.

Files changed (53) hide show

package/dist/bundles/compiler/Parsing/PurposeParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{firstWord as i}from"./LineText.js";import{locationOf as a}from"./SourceLine.js";import{parseDescription as o}from"./DescriptionParser.js";const s=t(`^purpose\\s+([A-Za-z_]\\w*)$`),c=t(`^(basis|condition)\\s+(\\w+)(?:\\s+"(${n})")?$`),l=t(`^(interest|authorization|retention|recipient)\\s+"(${n})"$`),u=t(`^transfer\\s+"(${n})"\\s+safeguard\\s+"(${n})"$`),d=t(`^[A-Za-z_]\\w*$`),f=t(`^erasure\\s+exception\\s+(\\w+)$`),p=[`consent`,`contract`,`legalObligation`,`vitalInterests`,`publicTask`,`legitimateInterests`],m=[`explicitConsent`,`employmentLaw`,`vitalInterests`,`notForProfit`,`madePublic`,`legalClaims`,`substantialPublicInterest`,`healthCare`,`publicHealth`,`research`],h=[`expression`,`legalObligation`,`publicTask`,`publicHealth`,`archiving`,`legalClaims`];function parsePurpose(t,n){let s=purposeName(t,n),g={kind:`PurposeSyntax`,name:s,description:null,basis:null,basisReference:null,interest:null,condition:null,conditionReference:null,authorization:null,subjects:[],retention:null,recipients:[],transfers:[],erasureException:null,location:a(n)},_=/* @__PURE__ */ new Set,v=[],y=[];for(let b=t.peekChild(n.indent);b!==void 0;b=t.peekChild(n.indent)){t.reader.takeSignificant();let n=i(b.content);if(n!==`recipient`&&n!==`transfer`&&_.has(n))t.error(e.DuplicatePurposeField,`Purpose '${s}' already declares '${n}' - at most one is allowed`,a(b)),t.skipBlock(b.indent);else if(_.add(n),n===`description`)g={...g,description:o(t,b,g.description,`Purpose '${s}'`)};else if(n===`basis`||n===`condition`){let i=c.exec(b.content),o=n===`basis`?p:m;if(i===null||!o.includes(i[2]))t.error(e.InvalidPurposeVocabulary,`Invalid ${n} in purpose '${s}' - expected ${o.join(`, `)} with an optional quoted reference`,a(b));else{let e=i[3]===void 0?null:r(i[3]);g=n===`basis`?{...g,basis:i[2],basisReference:e}:{...g,condition:i[2],conditionReference:e}}}else if(n===`interest`||n===`authorization`||n===`retention`||n===`recipient`){let i=l.exec(b.content);i===null?t.error(e.InvalidPurposeDeclaration,`Invalid purpose field '${b.content}' - expected '${n} "<text>"'`,a(b)):n===`recipient`?v.push(r(i[2])):g={...g,[n]:r(i[2])}}else if(n===`subjects`){let n=b.content.slice(8).split(`,`).map(e=>e.trim());n.every(e=>d.test(e))?g={...g,subjects:[...new Set(n)]}:t.error(e.InvalidPurposeDeclaration,`Invalid purpose subjects '${b.content}' - expected comma-separated identifiers`,a(b))}else if(n===`erasure`){let n=f.exec(b.content);n!==null&&h.includes(n[1])?g={...g,erasureException:n[1]}:t.error(e.InvalidPurposeVocabulary,`Invalid erasure exception '${b.content}' - expected 'erasure exception ${h.join(`|`)}'`,a(b))}else if(n===`transfer`){let n=u.exec(b.content);n===null?t.error(e.InvalidPurposeDeclaration,`Invalid transfer '${b.content}' - expected 'transfer "<destination>" safeguard "<text>"'`,a(b)):y.push({kind:`PurposeTransferSyntax`,destination:r(n[1]),safeguard:r(n[2]),location:a(b)})}else t.error(e.InvalidPurposeDeclaration,`Unexpected '${b.content}' in purpose '${s}'`,a(b)),t.skipBlock(b.indent)}return{...g,recipients:v,transfers:y}}function parsePurposeReference(e,t,n){let r=purposeName(e,t);r.length>0&&!n.some(e=>e.name===r)&&n.push({kind:`PurposeReferenceSyntax`,name:r,location:a(t)})}function purposeName(t,n){let r=s.exec(n.content);return r===null?(t.error(e.InvalidPurposeDeclaration,`Invalid purpose declaration '${n.content}' - expected 'purpose <Name>'`,a(n)),``):r[1]}export{parsePurpose,parsePurposeReference};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{pattern as r}from"../Text/patterns.js";import{locationOf as i}from"./SourceLine.js";import{firstWord as a}from"./LineText.js";import{parseDescription as o}from"./DescriptionParser.js";const s=r(`^purpose\\s+([A-Za-z_]\\w*)$`),c=r(`^(basis|condition)\\s+(\\w+)(?:\\s+"(${t})")?$`),l=r(`^(interest|authorization|retention|recipient)\\s+"(${t})"$`),u=r(`^transfer\\s+"(${t})"\\s+safeguard\\s+"(${t})"$`),d=r(`^[A-Za-z_]\\w*$`),f=r(`^erasure\\s+exception\\s+(\\w+)$`),p=[`consent`,`contract`,`legalObligation`,`vitalInterests`,`publicTask`,`legitimateInterests`],m=[`explicitConsent`,`employmentLaw`,`vitalInterests`,`notForProfit`,`madePublic`,`legalClaims`,`substantialPublicInterest`,`healthCare`,`publicHealth`,`research`],h=[`expression`,`legalObligation`,`publicTask`,`publicHealth`,`archiving`,`legalClaims`];function parsePurpose(t,r){let s=purposeName(t,r),g={kind:`PurposeSyntax`,name:s,description:null,basis:null,basisReference:null,interest:null,condition:null,conditionReference:null,authorization:null,subjects:[],retention:null,recipients:[],transfers:[],erasureException:null,location:i(r)},_=/* @__PURE__ */ new Set,v=[],y=[];for(let b=t.peekChild(r.indent);b!==void 0;b=t.peekChild(r.indent)){t.reader.takeSignificant();let r=a(b.content);if(r!==`recipient`&&r!==`transfer`&&_.has(r))t.error(e.DuplicatePurposeField,`Purpose '${s}' already declares '${r}' - at most one is allowed`,i(b)),t.skipBlock(b.indent);else if(_.add(r),r===`description`)g={...g,description:o(t,b,g.description,`Purpose '${s}'`)};else if(r===`basis`||r===`condition`){let a=c.exec(b.content),o=r===`basis`?p:m;if(a===null||!o.includes(a[2]))t.error(e.InvalidPurposeVocabulary,`Invalid ${r} in purpose '${s}' - expected ${o.join(`, `)} with an optional quoted reference`,i(b));else{let e=a[3]===void 0?null:n(a[3]);g=r===`basis`?{...g,basis:a[2],basisReference:e}:{...g,condition:a[2],conditionReference:e}}}else if(r===`interest`||r===`authorization`||r===`retention`||r===`recipient`){let a=l.exec(b.content);a===null?t.error(e.InvalidPurposeDeclaration,`Invalid purpose field '${b.content}' - expected '${r} "<text>"'`,i(b)):r===`recipient`?v.push(n(a[2])):g={...g,[r]:n(a[2])}}else if(r===`subjects`){let n=b.content.slice(8).split(`,`).map(e=>e.trim());n.every(e=>d.test(e))?g={...g,subjects:[...new Set(n)]}:t.error(e.InvalidPurposeDeclaration,`Invalid purpose subjects '${b.content}' - expected comma-separated identifiers`,i(b))}else if(r===`erasure`){let n=f.exec(b.content);n!==null&&h.includes(n[1])?g={...g,erasureException:n[1]}:t.error(e.InvalidPurposeVocabulary,`Invalid erasure exception '${b.content}' - expected 'erasure exception ${h.join(`|`)}'`,i(b))}else if(r===`transfer`){let r=u.exec(b.content);r===null?t.error(e.InvalidPurposeDeclaration,`Invalid transfer '${b.content}' - expected 'transfer "<destination>" safeguard "<text>"'`,i(b)):y.push({kind:`PurposeTransferSyntax`,destination:n(r[1]),safeguard:n(r[2]),location:i(b)})}else t.error(e.InvalidPurposeDeclaration,`Unexpected '${b.content}' in purpose '${s}'`,i(b)),t.skipBlock(b.indent)}return{...g,recipients:v,transfers:y}}function parsePurposeReference(e,t,n){let r=purposeName(e,t);r.length>0&&!n.some(e=>e.name===r)&&n.push({kind:`PurposeReferenceSyntax`,name:r,location:i(t)})}function purposeName(t,n){let r=s.exec(n.content);return r===null?(t.error(e.InvalidPurposeDeclaration,`Invalid purpose declaration '${n.content}' - expected 'purpose <Name>'`,i(n)),``):r[1]}export{parsePurpose,parsePurposeReference};
 //# sourceMappingURL=PurposeParser.js.map

package/dist/bundles/compiler/Parsing/QueryParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{parseMappingSource as n}from"./ExpressionParser.js";import{firstWord as r}from"./LineText.js";import{locationOf as i}from"./SourceLine.js";import{parseTypeRef as a,reportLegacyOptionalSuffix as o}from"./PropertyLineParser.js";import{combineAuthorize as s,parseAuthorize as c}from"./AuthorizeParser.js";import{parseDescription as l}from"./DescriptionParser.js";const u=t(`^query\\s+([A-Za-z_]\\w*)\\s*=>\\s*(observable\\s+)?([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?)$`),d=t(`^([a-z_]\\w*)\\s+([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?)(?:\\s+from\\s+(.+))?$`),f=t(`^scoped\\s+to\\s+([a-z_]\\w*)$`),p=/* @__PURE__ */ new Set([`performer`]);function parseQuery(t,n){let d=u.exec(n.content);if(d===null)return t.error(e.InvalidQueryDeclaration,`Invalid query declaration '${n.content}' - expected 'query <Name> => [observable] <ReadModel>'`,i(n)),t.skipBlock(n.indent),{kind:`QuerySyntax`,name:r(n.content),returnType:a(``,i(n)),by:null,filters:[],description:null,isObservable:!1,scope:null,authorize:null,location:i(n)};let f=d[1],m=a(d[3],{...i(n),column:n.indent+1+d[0].length-d[3].length});(d[2]!==void 0||m.name!==`observable`||!m.isOptional||m.isCollection)&&o(t,m,n);let h=null,g=[],_=null,v=null,y=null;for(let a=t.peekChild(n.indent);a!==void 0;a=t.peekChild(n.indent)){t.reader.takeSignificant();let n=r(a.content);if(n===`description`)_=l(t,a,_,`Query '${f}'`);else if(n===`by`){let n=parseParameter(t,a,`by`);n!==void 0&&(h!==null&&t.error(e.InvalidQueryParameter,`Query '${f}' already declares 'by' - a query can have at most one key parameter`,i(a)),h=n)}else if(n===`filter`){let e=parseParameter(t,a,`filter`);e!==void 0&&g.push(e)}else n===`authorize`?y=s(y,c(t,a)):n===`scoped`?v=parseScope(t,a,v,f)??v:p.has(n)?t.skipOpaqueBlock(a.indent):(t.error(e.UnknownQueryDirective,`Unexpected '${a.content}' in query body - expected description, by, filter, authorize, scoped or performer`,i(a)),t.skipBlock(a.indent))}return{kind:`QuerySyntax`,name:f,returnType:m,by:h,filters:g,description:_,isObservable:d[2]!==void 0,scope:v,authorize:y,location:i(n)}}function parseParameter(t,r,s){let c=d.exec(r.content.substring(s.length).trim());if(c===null){t.error(e.InvalidQueryParameter,`Invalid '${s}' parameter '${r.content}' - expected '${s} <name> <Type> [from <source>]'`,i(r));return}let l=r.content.indexOf(c[1],s.length),u=a(c[2],{...i(r),column:r.indent+1+r.content.indexOf(c[2],l+c[1].length)});return o(t,u,r),{kind:`QueryParameterSyntax`,name:c[1],type:u,source:c[3]===void 0?null:n(c[3],i(r),t.valueContext),location:i(r)}}function parseScope(t,n,r,a){let o=f.exec(n.content);if(o===null)t.error(e.InvalidScopeDeclaration,`Invalid scope declaration '${n.content}' - expected 'scoped to <scope>'`,i(n));else if(r!==null)t.error(e.DuplicateScope,`Query '${a}' already declares a scope - results are narrowed one way`,i(n));else return o[1]}export{parseQuery};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{locationOf as n}from"./SourceLine.js";import{parseMappingSource as r}from"./ExpressionParser.js";import{firstWord as i}from"./LineText.js";import{parseTypeRef as a,reportLegacyOptionalSuffix as o}from"./PropertyLineParser.js";import{combineAuthorize as s,parseAuthorize as c}from"./AuthorizeParser.js";import{parseDescription as l}from"./DescriptionParser.js";const u=t(`^query\\s+([A-Za-z_]\\w*)\\s*=>\\s*(observable\\s+)?([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?)$`),d=t(`^([a-z_]\\w*)\\s+([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?)(?:\\s+from\\s+(.+))?$`),f=t(`^scoped\\s+to\\s+([a-z_]\\w*)$`),p=/* @__PURE__ */ new Set([`performer`]);function parseQuery(t,r){let d=u.exec(r.content);if(d===null)return t.error(e.InvalidQueryDeclaration,`Invalid query declaration '${r.content}' - expected 'query <Name> => [observable] <ReadModel>'`,n(r)),t.skipBlock(r.indent),{kind:`QuerySyntax`,name:i(r.content),returnType:a(``,n(r)),by:null,filters:[],description:null,isObservable:!1,scope:null,authorize:null,location:n(r)};let f=d[1],m=a(d[3],{...n(r),column:r.indent+1+d[0].length-d[3].length});(d[2]!==void 0||m.name!==`observable`||!m.isOptional||m.isCollection)&&o(t,m,r);let h=null,g=[],_=null,v=null,y=null;for(let a=t.peekChild(r.indent);a!==void 0;a=t.peekChild(r.indent)){t.reader.takeSignificant();let r=i(a.content);if(r===`description`)_=l(t,a,_,`Query '${f}'`);else if(r===`by`){let r=parseParameter(t,a,`by`);r!==void 0&&(h!==null&&t.error(e.InvalidQueryParameter,`Query '${f}' already declares 'by' - a query can have at most one key parameter`,n(a)),h=r)}else if(r===`filter`){let e=parseParameter(t,a,`filter`);e!==void 0&&g.push(e)}else r===`authorize`?y=s(y,c(t,a)):r===`scoped`?v=parseScope(t,a,v,f)??v:p.has(r)?t.skipOpaqueBlock(a.indent):(t.error(e.UnknownQueryDirective,`Unexpected '${a.content}' in query body - expected description, by, filter, authorize, scoped or performer`,n(a)),t.skipBlock(a.indent))}return{kind:`QuerySyntax`,name:f,returnType:m,by:h,filters:g,description:_,isObservable:d[2]!==void 0,scope:v,authorize:y,location:n(r)}}function parseParameter(t,i,s){let c=d.exec(i.content.substring(s.length).trim());if(c===null){t.error(e.InvalidQueryParameter,`Invalid '${s}' parameter '${i.content}' - expected '${s} <name> <Type> [from <source>]'`,n(i));return}let l=i.content.indexOf(c[1],s.length),u=a(c[2],{...n(i),column:i.indent+1+i.content.indexOf(c[2],l+c[1].length)});return o(t,u,i),{kind:`QueryParameterSyntax`,name:c[1],type:u,source:c[3]===void 0?null:r(c[3],n(i),t.valueContext),location:n(i)}}function parseScope(t,r,i,a){let o=f.exec(r.content);if(o===null)t.error(e.InvalidScopeDeclaration,`Invalid scope declaration '${r.content}' - expected 'scoped to <scope>'`,n(r));else if(i!==null)t.error(e.DuplicateScope,`Query '${a}' already declares a scope - results are narrowed one way`,n(r));else return o[1]}export{parseQuery};
 //# sourceMappingURL=QueryParser.js.map

package/dist/bundles/compiler/Parsing/ReactionIdentityParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{dotNetWhitespace as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{locationOf as i}from"./SourceLine.js";const a=RegExp(`^runs${t}+as${t}+system(?:${t}+role${t}+"${n}"(?:${t}+and${t}+role${t}+"${n}")*)?$`,`u`),o=RegExp(`"(${n})"`,`gu`),s=RegExp(`^runs${t}+as\\b`,`u`),isReactionIdentityLine=e=>s.test(e.content);function parseReactionIdentity(t,n,s){if(s)return t.error(e.InvalidReactionIdentity,`A reaction may declare 'runs as' only once.`,i(n)),t.skipBlock(n.indent),null;if(!a.test(n.content)||t.peekChild(n.indent)!==void 0)return t.error(e.InvalidReactionIdentity,`Expected one reaction-level line: 'runs as system [role "<Role>" and role "<Role>"]'.`,i(n)),t.skipBlock(n.indent),null;let c=[...n.content.matchAll(o)].map(e=>r(e[1]));return c.some(e=>e.length===0)||new Set(c).size!==c.length?(t.error(e.InvalidReactionIdentity,`Reaction identity roles must be nonempty and distinct quoted literals.`,i(n)),null):{kind:`ReactionIdentitySyntax`,syntaxKind:`system`,roles:c,location:i(n)}}function misplacedReactionIdentity(t,n){t.error(e.InvalidReactionIdentity,`'runs as' belongs directly in a reaction body, not under a trigger or invocation.`,i(n)),t.skipBlock(n.indent)}export{isReactionIdentityLine,misplacedReactionIdentity,parseReactionIdentity};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{dotNetWhitespace as r}from"../Text/patterns.js";import{locationOf as i}from"./SourceLine.js";const a=RegExp(`^runs${r}+as${r}+system(?:${r}+role${r}+"${t}"(?:${r}+and${r}+role${r}+"${t}")*)?$`,`u`),o=RegExp(`"(${t})"`,`gu`),s=RegExp(`^runs${r}+as\\b`,`u`),isReactionIdentityLine=e=>s.test(e.content);function parseReactionIdentity(t,r,s){if(s)return t.error(e.InvalidReactionIdentity,`A reaction may declare 'runs as' only once.`,i(r)),t.skipBlock(r.indent),null;if(!a.test(r.content)||t.peekChild(r.indent)!==void 0)return t.error(e.InvalidReactionIdentity,`Expected one reaction-level line: 'runs as system [role "<Role>" and role "<Role>"]'.`,i(r)),t.skipBlock(r.indent),null;let c=[...r.content.matchAll(o)].map(e=>n(e[1]));return c.some(e=>e.length===0)||new Set(c).size!==c.length?(t.error(e.InvalidReactionIdentity,`Reaction identity roles must be nonempty and distinct quoted literals.`,i(r)),null):{kind:`ReactionIdentitySyntax`,syntaxKind:`system`,roles:c,location:i(r)}}function misplacedReactionIdentity(t,n){t.error(e.InvalidReactionIdentity,`'runs as' belongs directly in a reaction body, not under a trigger or invocation.`,i(n)),t.skipBlock(n.indent)}export{isReactionIdentityLine,misplacedReactionIdentity,parseReactionIdentity};
 //# sourceMappingURL=ReactionIdentityParser.js.map

package/dist/bundles/compiler/Parsing/ReactionParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{nativePattern as t,pattern as n}from"../Text/patterns.js";import{dependencySources as r}from"../Syntax/DependencySources.js";import{parseModeledMappingSource as i}from"./ExpressionParser.js";import{firstWord as a}from"./LineText.js";import{locationOf as o}from"./SourceLine.js";import{parseDescription as s}from"./DescriptionParser.js";import{parseDocumentation as c}from"./DocumentationParser.js";import{parseCondition as l}from"./ConditionParser.js";import{ParserContext as u}from"./ParserContext.js";import{collectInputUses as d}from"./InputUses.js";import{isReactionIdentityLine as f,misplacedReactionIdentity as p,parseReactionIdentity as m}from"./ReactionIdentityParser.js";import{captureReads as h}from"./DependencySourceParser.js";import{parseProduces as g}from"./ProducesParser.js";import{parseTriggerData as _}from"./TriggerDataParser.js";const v=n(`^reaction\\s+([A-Za-z_]\\w*)$`),y=n(`^when\\s+([A-Za-z_]\\w*)$`),b=n(`^every\\s+(\\d+)\\s+(seconds?|minutes?|hours?|days?)$`),x=n(`^at\\s+(\\d{2}:\\d{2})(?:\\s+on\\s+(?:(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)|day\\s+(\\d{1,2})))?$`),S=/* @__PURE__ */ new Set([`when`,`every`,`at`]),C=n(`^invokes\\s+([A-Z]\\w*)$`),w=t(`^(@?[\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),T=t(`^on\\s+refused\\b(?=$|\\s+by\\b)`),E=t(`^on\\s+refused(?:\\s+by\\s+(validation|constraint|authorization)(?:\\s+([A-Za-z_]\\w*(?:\\.\\w+)*))?)?$`),D=n(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`);function parseReaction(t,n){let r=v.exec(n.content)?.[1]??``;r===``&&t.error(e.InvalidReactionDeclaration,`Invalid reaction declaration '${n.content}' - expected 'reaction <Name>'`,o(n));let i=null,u=null,d=null,f=null,p=!1,h=[],g=/* @__PURE__ */ new Set,_=!1;for(let v=t.peekChild(n.indent);v!==void 0;v=t.peekChild(n.indent)){t.reader.takeSignificant();let n=a(v.content);if(n===`description`){i=s(t,v,i,`Reaction '${r}'`);continue}if(n===`documentation`){u=c(t,v,u,`Reaction '${r}'`);continue}if(n===`runs`){f=m(t,v,p)??f,p=!0;continue}if(n===`where`){d=l(t,v.content.substring(5).trim(),o(v));continue}if(T.test(v.content)){t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,o(v)),t.skipBlock(v.indent),_=!0;continue}if(!S.has(n)){t.error(e.InvalidReactionTrigger,`Expected a trigger in reaction body, got '${v.content}' - a reaction is set off by 'when <Name>', 'every <n> <unit>' or 'at <HH:mm>'`,o(v)),t.skipBlock(v.indent),_=!0;continue}let y=parseTriggerSource(t,v);if(y===void 0){_=!0;continue}let b=sourceKey(y);g.has(b)?(t.error(e.DuplicateReactionTrigger,`Reaction '${r}' already declares '${v.content}' - a second says nothing the first did not`,o(v)),t.skipBlock(v.indent)):(g.add(b),h.push(parseTrigger(t,v,y)))}return h.length===0&&!_&&t.error(e.ReactionWithoutTrigger,`Reaction '${r}' must declare at least one trigger - nothing sets it off`,o(n)),{kind:`ReactionSyntax`,name:r,description:i,documentation:u,runsAs:f,where:d,triggers:h,location:o(n)}}function parseTrigger(t,n,c){let l=null,m=[],v=[],y=[],b=[],x=!1;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=a(r.content);if(n===`runs`&&f(r))p(t,r);else if(n===`description`)l=s(t,r,l,`Trigger '${r.content}'`);else if(n===`produces`){let e=g(t,r);e!==void 0&&m.push(e)}else if(n===`invokes`){let n=C.exec(r.content);if(n===null)t.error(e.InvalidInvokesDeclaration,`Invalid invokes declaration '${r.content}' - expected 'invokes <Command>'`,o(r)),t.skipBlock(r.indent);else{let a=new u(t.reader.fork(),t.path,t.languages);a.scope=t.scope,a.sourceOptions=t.sourceOptions,d(a,r),t.inputUses.push(...a.inputUses);let s=[],c=[];for(let n=t.peekChild(r.indent);n!==void 0;n=t.peekChild(r.indent)){if(t.reader.takeSignificant(),f(n)){p(t,n);continue}if(T.test(n.content)){let e=parseRefusal(t,n);e!==void 0&&c.push(e);continue}let r=w.exec(n.content);r===null?t.error(e.InvalidPropertyMapping,`Invalid property mapping '${n.content}' - expected '<property> = <source>'`,o(n)):s.push({kind:`PropertyMappingSyntax`,property:r[1].replaceAll(`@`,``),source:i(r[2],o(n),t.valueContext),location:o(n)})}v.push({kind:`InvokesSyntax`,command:n[1],mappings:s,onRefused:c,location:o(r)})}}else if(T.test(r.content))t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,o(r)),t.skipBlock(r.indent);else if(n===`reads`||n===`file`||r.content===`csharp`||r.content.startsWith("```")){x||=n===`file`||r.content===`csharp`||r.content.startsWith("```");let i=h(r);i!==void 0&&y.push(i),D.test(r.content)&&t.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,o(r)),r.content.startsWith("```")&&t.skipFencedBody(),t.skipOpaqueBlock(r.indent)}else{let e=t.triggerData.length;_(t,r);for(let n of t.triggerData.slice(e))b.push({kind:`TriggerDataSyntax`,name:n.name,type:n.type,location:n.location})}}let S={kind:`ReactionTriggerSyntax`,source:c,description:l,produces:m,invokes:v,location:o(n)};return r.set(S,{reads:y,data:b,implementation:x}),S}function parseRefusal(t,n){let r=E.exec(n.content);if(r===null||r[2]!==void 0&&r[1]!==`constraint`){t.error(e.InvalidRefusalBranch,`Expected 'on refused [by validation | by constraint [<Name>] | by authorization]'.`,o(n)),t.skipBlock(n.indent);return}let i=[],s=!1,c=!1;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent))if(t.reader.takeSignificant(),f(r))p(t,r),c=!0;else if(r.content===`acknowledge`)(s||i.length>0||t.peekChild(r.indent)!==void 0)&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch contains 'acknowledge' alone or one or more 'produces' blocks.`,o(r)),c=!0),s=!0,t.skipBlock(r.indent);else if(a(r.content)===`produces`){s&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch cannot combine 'acknowledge' and 'produces'.`,o(r)),c=!0);let n=g(t,r);n===void 0?c=!0:i.push(n)}else t.error(e.InvalidRefusalBranchBody,`Expected 'acknowledge' or 'produces <Event>' in a refusal branch.`,o(r)),t.skipBlock(r.indent),c=!0;return!s&&i.length===0&&!c&&t.error(e.InvalidRefusalBranchBody,`A refusal branch must acknowledge or produce an event.`,o(n)),{kind:`InvocationRefusalSyntax`,selector:r[1]??`any`,constraint:r[2]??null,acknowledge:s,produces:i,location:o(n)}}function sourceKey(e){switch(e.kind){case`NamedTriggerSourceSyntax`:return JSON.stringify([e.kind,e.name]);case`IntervalTriggerSourceSyntax`:return JSON.stringify([e.kind,e.amount,e.unit]);case`ScheduleTriggerSourceSyntax`:return JSON.stringify([e.kind,e.time,e.dayOfWeek,e.dayOfMonth])}}function parseTriggerSource(t,n){let r=o(n);switch(a(n.content)){case`when`:{let i=y.exec(n.content);if(i===null){t.error(e.InvalidReactionTrigger,`Invalid trigger '${n.content}' - expected 'when <Name>'`,r),t.skipBlock(n.indent);return}return{kind:`NamedTriggerSourceSyntax`,name:i[1],location:r}}case`every`:{let i=b.exec(n.content),a=i===null?NaN:Number(i[1]);if(i===null||!Number.isInteger(a)||a<1||a>2147483647){t.error(e.InvalidIntervalTrigger,`Invalid interval '${n.content}' - expected 'every <n> <seconds|minutes|hours|days>'`,r),t.skipBlock(n.indent);return}return{kind:`IntervalTriggerSourceSyntax`,amount:a,unit:unitOf(i[2]),location:r}}default:return parseSchedule(t,n)}}function parseSchedule(t,n){let r=o(n),i=x.exec(n.content),a=i===null?void 0:timeOf(i[1]);if(i===null||a===void 0)t.error(e.InvalidScheduleTrigger,`Invalid schedule '${n.content}' - expected 'at <HH:mm>', optionally followed by 'on <Weekday>' or 'on day <n>'`,r),t.skipBlock(n.indent);else{if(i[3]!==void 0){let o=Number(i[3]);if(o<1||o>31){t.error(e.InvalidScheduleTrigger,`Invalid day of month '${o}' in '${n.content}' - a day of the month is between 1 and 31`,r),t.skipBlock(n.indent);return}return{kind:`ScheduleTriggerSourceSyntax`,time:a,dayOfWeek:null,dayOfMonth:o,location:r}}return{kind:`ScheduleTriggerSourceSyntax`,time:a,dayOfWeek:i[2]??null,dayOfMonth:null,location:r}}}function timeOf(e){let[t,n]=e.split(`:`).map(Number);if(t>=0&&t<=23&&n>=0&&n<=59)return`${e}:00.0000000`}function unitOf(e){switch(e.replace(/s+$/,``)){case`second`:return`Seconds`;case`minute`:return`Minutes`;case`hour`:return`Hours`;default:return`Days`}}export{parseReaction,parseTriggerSource};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{nativePattern as t,pattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{dependencySources as i}from"../Syntax/DependencySources.js";import{parseModeledMappingSource as a}from"./ExpressionParser.js";import{firstWord as o}from"./LineText.js";import{parseDescription as s}from"./DescriptionParser.js";import{parseDocumentation as c}from"./DocumentationParser.js";import{parseCondition as l}from"./ConditionParser.js";import{ParserContext as u}from"./ParserContext.js";import{collectInputUses as d}from"./InputUses.js";import{isReactionIdentityLine as f,misplacedReactionIdentity as p,parseReactionIdentity as m}from"./ReactionIdentityParser.js";import{captureReads as h}from"./DependencySourceParser.js";import{parseProduces as g}from"./ProducesParser.js";import{parseTriggerData as _}from"./TriggerDataParser.js";const v=n(`^reaction\\s+([A-Za-z_]\\w*)$`),y=n(`^when\\s+([A-Za-z_]\\w*)$`),b=n(`^every\\s+(\\d+)\\s+(seconds?|minutes?|hours?|days?)$`),x=n(`^at\\s+(\\d{2}:\\d{2})(?:\\s+on\\s+(?:(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)|day\\s+(\\d{1,2})))?$`),S=/* @__PURE__ */ new Set([`when`,`every`,`at`]),C=n(`^invokes\\s+([A-Z]\\w*)$`),w=t(`^(@?[\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),T=t(`^on\\s+refused\\b(?=$|\\s+by\\b)`),E=t(`^on\\s+refused(?:\\s+by\\s+(validation|constraint|authorization)(?:\\s+([A-Za-z_]\\w*(?:\\.\\w+)*))?)?$`),D=n(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`);function parseReaction(t,n){let i=v.exec(n.content)?.[1]??``;i===``&&t.error(e.InvalidReactionDeclaration,`Invalid reaction declaration '${n.content}' - expected 'reaction <Name>'`,r(n));let a=null,u=null,d=null,f=null,p=!1,h=[],g=/* @__PURE__ */ new Set,_=!1;for(let v=t.peekChild(n.indent);v!==void 0;v=t.peekChild(n.indent)){t.reader.takeSignificant();let n=o(v.content);if(n===`description`){a=s(t,v,a,`Reaction '${i}'`);continue}if(n===`documentation`){u=c(t,v,u,`Reaction '${i}'`);continue}if(n===`runs`){f=m(t,v,p)??f,p=!0;continue}if(n===`where`){d=l(t,v.content.substring(5).trim(),r(v));continue}if(T.test(v.content)){t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,r(v)),t.skipBlock(v.indent),_=!0;continue}if(!S.has(n)){t.error(e.InvalidReactionTrigger,`Expected a trigger in reaction body, got '${v.content}' - a reaction is set off by 'when <Name>', 'every <n> <unit>' or 'at <HH:mm>'`,r(v)),t.skipBlock(v.indent),_=!0;continue}let y=parseTriggerSource(t,v);if(y===void 0){_=!0;continue}let b=sourceKey(y);g.has(b)?(t.error(e.DuplicateReactionTrigger,`Reaction '${i}' already declares '${v.content}' - a second says nothing the first did not`,r(v)),t.skipBlock(v.indent)):(g.add(b),h.push(parseTrigger(t,v,y)))}return h.length===0&&!_&&t.error(e.ReactionWithoutTrigger,`Reaction '${i}' must declare at least one trigger - nothing sets it off`,r(n)),{kind:`ReactionSyntax`,name:i,description:a,documentation:u,runsAs:f,where:d,triggers:h,location:r(n)}}function parseTrigger(t,n,c){let l=null,m=[],v=[],y=[],b=[],x=!1;for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent)){t.reader.takeSignificant();let n=o(i.content);if(n===`runs`&&f(i))p(t,i);else if(n===`description`)l=s(t,i,l,`Trigger '${i.content}'`);else if(n===`produces`){let e=g(t,i);e!==void 0&&m.push(e)}else if(n===`invokes`){let n=C.exec(i.content);if(n===null)t.error(e.InvalidInvokesDeclaration,`Invalid invokes declaration '${i.content}' - expected 'invokes <Command>'`,r(i)),t.skipBlock(i.indent);else{let o=new u(t.reader.fork(),t.path,t.languages);o.scope=t.scope,o.sourceOptions=t.sourceOptions,d(o,i),t.inputUses.push(...o.inputUses);let s=[],c=[];for(let n=t.peekChild(i.indent);n!==void 0;n=t.peekChild(i.indent)){if(t.reader.takeSignificant(),f(n)){p(t,n);continue}if(T.test(n.content)){let e=parseRefusal(t,n);e!==void 0&&c.push(e);continue}let i=w.exec(n.content);i===null?t.error(e.InvalidPropertyMapping,`Invalid property mapping '${n.content}' - expected '<property> = <source>'`,r(n)):s.push({kind:`PropertyMappingSyntax`,property:i[1].replaceAll(`@`,``),source:a(i[2],r(n),t.valueContext),location:r(n)})}v.push({kind:`InvokesSyntax`,command:n[1],mappings:s,onRefused:c,location:r(i)})}}else if(T.test(i.content))t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,r(i)),t.skipBlock(i.indent);else if(n===`reads`||n===`file`||i.content===`csharp`||i.content.startsWith("```")){x||=n===`file`||i.content===`csharp`||i.content.startsWith("```");let a=h(i);a!==void 0&&y.push(a),D.test(i.content)&&t.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,r(i)),i.content.startsWith("```")&&t.skipFencedBody(),t.skipOpaqueBlock(i.indent)}else{let e=t.triggerData.length;_(t,i);for(let n of t.triggerData.slice(e))b.push({kind:`TriggerDataSyntax`,name:n.name,type:n.type,location:n.location})}}let S={kind:`ReactionTriggerSyntax`,source:c,description:l,produces:m,invokes:v,location:r(n)};return i.set(S,{reads:y,data:b,implementation:x}),S}function parseRefusal(t,n){let i=E.exec(n.content);if(i===null||i[2]!==void 0&&i[1]!==`constraint`){t.error(e.InvalidRefusalBranch,`Expected 'on refused [by validation | by constraint [<Name>] | by authorization]'.`,r(n)),t.skipBlock(n.indent);return}let a=[],s=!1,c=!1;for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent))if(t.reader.takeSignificant(),f(i))p(t,i),c=!0;else if(i.content===`acknowledge`)(s||a.length>0||t.peekChild(i.indent)!==void 0)&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch contains 'acknowledge' alone or one or more 'produces' blocks.`,r(i)),c=!0),s=!0,t.skipBlock(i.indent);else if(o(i.content)===`produces`){s&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch cannot combine 'acknowledge' and 'produces'.`,r(i)),c=!0);let n=g(t,i);n===void 0?c=!0:a.push(n)}else t.error(e.InvalidRefusalBranchBody,`Expected 'acknowledge' or 'produces <Event>' in a refusal branch.`,r(i)),t.skipBlock(i.indent),c=!0;return!s&&a.length===0&&!c&&t.error(e.InvalidRefusalBranchBody,`A refusal branch must acknowledge or produce an event.`,r(n)),{kind:`InvocationRefusalSyntax`,selector:i[1]??`any`,constraint:i[2]??null,acknowledge:s,produces:a,location:r(n)}}function sourceKey(e){switch(e.kind){case`NamedTriggerSourceSyntax`:return JSON.stringify([e.kind,e.name]);case`IntervalTriggerSourceSyntax`:return JSON.stringify([e.kind,e.amount,e.unit]);case`ScheduleTriggerSourceSyntax`:return JSON.stringify([e.kind,e.time,e.dayOfWeek,e.dayOfMonth])}}function parseTriggerSource(t,n){let i=r(n);switch(o(n.content)){case`when`:{let r=y.exec(n.content);if(r===null){t.error(e.InvalidReactionTrigger,`Invalid trigger '${n.content}' - expected 'when <Name>'`,i),t.skipBlock(n.indent);return}return{kind:`NamedTriggerSourceSyntax`,name:r[1],location:i}}case`every`:{let r=b.exec(n.content),a=r===null?NaN:Number(r[1]);if(r===null||!Number.isInteger(a)||a<1||a>2147483647){t.error(e.InvalidIntervalTrigger,`Invalid interval '${n.content}' - expected 'every <n> <seconds|minutes|hours|days>'`,i),t.skipBlock(n.indent);return}return{kind:`IntervalTriggerSourceSyntax`,amount:a,unit:unitOf(r[2]),location:i}}default:return parseSchedule(t,n)}}function parseSchedule(t,n){let i=r(n),a=x.exec(n.content),o=a===null?void 0:timeOf(a[1]);if(a===null||o===void 0)t.error(e.InvalidScheduleTrigger,`Invalid schedule '${n.content}' - expected 'at <HH:mm>', optionally followed by 'on <Weekday>' or 'on day <n>'`,i),t.skipBlock(n.indent);else{if(a[3]!==void 0){let r=Number(a[3]);if(r<1||r>31){t.error(e.InvalidScheduleTrigger,`Invalid day of month '${r}' in '${n.content}' - a day of the month is between 1 and 31`,i),t.skipBlock(n.indent);return}return{kind:`ScheduleTriggerSourceSyntax`,time:o,dayOfWeek:null,dayOfMonth:r,location:i}}return{kind:`ScheduleTriggerSourceSyntax`,time:o,dayOfWeek:a[2]??null,dayOfMonth:null,location:i}}}function timeOf(e){let[t,n]=e.split(`:`).map(Number);if(t>=0&&t<=23&&n>=0&&n<=59)return`${e}:00.0000000`}function unitOf(e){switch(e.replace(/s+$/,``)){case`second`:return`Seconds`;case`minute`:return`Minutes`;case`hour`:return`Hours`;default:return`Days`}}export{parseReaction,parseTriggerSource};
 //# sourceMappingURL=ReactionParser.js.map

package/dist/bundles/compiler/Parsing/ScreenParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{parseMappingSource as i}from"./ExpressionParser.js";import{firstWord as a}from"./LineText.js";import{locationOf as o}from"./SourceLine.js";import{parseTypeRef as s}from"./PropertyLineParser.js";import{parseFencedText as c}from"./CodeBlockParser.js";import{parseDescription as l}from"./DescriptionParser.js";import{parseGuardedAction as u}from"./GuardedActionParser.js";import{collectInputUses as d}from"./InputUses.js";import{isFileDirective as f}from"./FileReferences.js";import{parseFromClause as p}from"./UiBindingParser.js";const m=`(?:"(${n})"|(\\$strings\\.\\w+(?:\\.\\w+)*))`,h=t(`^screen\\s+([A-Za-z_]\\w*)$`),g=t(`^data\\s+([\\w.]+(?:\\[\\])?)\\s+via\\s+query\\s+(\\w+(?:\\.\\w+)*)(?:\\s+by\\s+(\\w+))?$`),_=t(`^action\\s+([A-Za-z_]\\w*(?:\\.\\w+)*)$`),v=t(`^label\\s+${m}$`),y=t(`^action\\s+${m}$`),b=t(`^navigate\\s+to\\s+(\\w+(?:\\.\\w+)*)(?:\\s+by\\s+(\\w+))?$`),x=t(`^route\\s+${m}$`),S=t(`^outlet\\s+([A-Za-z_]\\w*)$`),C=t(`^contribute\\s+to\\s+([A-Za-z_]\\w*)(?:\\s+order\\s+(-?\\d+))?$`),w=t(`^parameter\\s+([A-Za-z_]\\w*)\\s+from\\s+(.+)$`),T=t(`^component\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)\\s+([A-Za-z_]\\w*)$`),E=t(`^id\\s+(?:"(${n})"|(\\S+))$`),D=t(`^property\\s+([\\w.]+)\\s+from\\s+(.+)$`),O=t(`^property\\s+([\\w.]+)\\s*=\\s+(.+)$`),k=t(`^exposes\\s+([A-Za-z_]\\w*)\\s+from\\s+(.+)$`),A=t(`^presentation\\s+([A-Za-z_]\\w*)\\s+${m}$`),j=t(`^item\\s+([A-Za-z_]\\w*)\\s+(action|navigate|dialog)(?:\\s+to)?\\s+([A-Za-z_]\\w*(?:\\.\\w+)*)$`),M=t(`^[a-z_]\\w*$`),N=t(`^title\\s+${m}$`),P=t(`^column\\s+([\\w.]+)(?:\\s+label\\s+${m})?$`),F=t(`^on\\s+row-click\\s+(navigate\\s+to\\s+.+)$`),I=t(`^field\\s+([\\w.]+)\\s+label\\s+${m}$`),operandText=(e,t)=>e[t]===void 0?e[t+1]:r(e[t]),isInteraction=e=>[`on`,`uses`].includes(a(e.content)),isCodeLine=(e,t)=>t.content.startsWith("```")||e.languages.has(t.content);function parseScreen(t,n){let r=h.exec(n.content);r===null&&t.error(e.InvalidScreenDeclaration,`Invalid screen declaration '${n.content}' - expected 'screen <Name>'`,o(n));let i=[],s=[],c=null;for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent))if(t.reader.takeSignificant(),a(e.content)===`contribute`){let n=parseScreenContribution(t,e);n!==void 0&&s.push(n)}else a(e.content)===`description`?c=l(t,e,c,`Screen '${r?.[1]??``}'`):f(e)||pushDirective(t,e,i);return{kind:`ScreenSyntax`,name:r?.[1]??``,directives:i,description:c,...s.length>0?{contributions:s}:{},location:o(n)}}function parseScreenContribution(t,n){let r=C.exec(n.content);if(r===null)t.error(e.UnknownScreenDirective,`Invalid screen contribution '${n.content}' - expected 'contribute to <Point> [order <n>]'`,o(n)),t.skipBlock(n.indent);else return{kind:`ScreenContributionSyntax`,contributionPoint:r[1],order:r[2]===void 0?null:Number(r[2]),directives:parseDirectives(t,n),location:o(n)}}function pushDirective(e,t,n){let r=parseDirective(e,t);r!==void 0&&n.push(r)}function parseDirectives(e,t){let n=[];for(let r=e.peekChild(t.indent);r!==void 0;r=e.peekChild(t.indent))e.reader.takeSignificant(),pushDirective(e,r,n);return n}function parseDirective(t,n){switch(a(n.content)){case`data`:return parseData(t,n);case`action`:return parseAction(t,n);case`template`:return parseTemplateReference(t,n);case`section`:return parseSection(t,n);case`title`:return parseTitle(t,n);case`table`:return parseTable(t,n);case`summary`:return parseSummary(t,n);case`component`:return parseComponent(t,n);case`toolbar`:return parseToolbar(t,n);case`navigate`:return parseNavigate(t,n.content,n);case`on`:return d(t,n),{kind:`ScreenBehaviorSyntax`,location:o(n)};case`uses`:return t.skipOpaqueBlock(n.indent),{kind:`ScreenUsesBehaviorSyntax`,location:o(n)};default:if(isCodeLine(t,n))return parseCode(t,n);t.error(e.UnknownScreenDirective,`Unexpected '${n.content}' in screen body`,o(n)),t.skipBlock(n.indent);return}}function parseData(t,n){let r=g.exec(n.content);if(r===null)t.error(e.InvalidDataDirective,`Invalid data directive '${n.content}' - expected 'data <ReadModel> via query <Query> [by <param>]'`,o(n));else return{kind:`ScreenDataSyntax`,type:s(r[1],o(n)),query:r[2],by:r[3]??null,location:o(n)}}function parseAction(t,n){let r=y.exec(n.content);if(r!==null)return u(t,n,operandText(r,1),parseNavigate);let i=_.exec(n.content);if(i===null){t.error(e.InvalidActionDirective,`Invalid action directive '${n.content}' - expected 'action <Command>'`,o(n)),t.skipBlock(n.indent);return}let s=null,c=null;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=v.exec(r.content);n===null?a(r.content)===`navigate`?c=parseNavigate(t,r.content,r)??null:t.error(e.UnknownActionDirective,`Unexpected '${r.content}' in action - expected 'label "..."' or 'navigate to ...'`,o(r)):s=operandText(n,1)}return{kind:`ScreenActionSyntax`,command:i[1],label:s,navigate:c,location:o(n)}}function parseNavigate(t,n,r){let i=b.exec(n);if(i===null){t.error(e.InvalidNavigation,`Invalid navigation '${n}' - expected 'navigate to <Screen> [by <param>]'`,o(r));return}let a=[],s=null,c=null;for(let n=t.peekChild(r.indent);n!==void 0;n=t.peekChild(r.indent)){t.reader.takeSignificant();let r=w.exec(n.content);if(r!==null){a.push({kind:`ScreenNavigationParameterSyntax`,name:r[1],binding:p(t,r[2],o(n)),location:o(n)});continue}let i=x.exec(n.content);if(i!==null){s=operandText(i,1);continue}let l=S.exec(n.content);l===null?t.error(e.InvalidNavigation,`Unexpected '${n.content}' in navigation - expected 'route "..."', 'outlet <name>' or 'parameter <name> from <binding>'`,o(n)):c=l[1]}return{kind:`ScreenNavigateSyntax`,screen:i[1],by:i[2]??null,route:s,...c===null?{}:{outlet:c},parameters:a,location:o(r)}}function parseTemplateReference(t,n){let r=n.content.substring(8).trim(),i=[];for(let a=t.peekChild(n.indent);a!==void 0;a=t.peekChild(n.indent))t.reader.takeSignificant(),M.test(a.content)?i.push({kind:`ScreenSlotSyntax`,name:a.content,directives:parseDirectives(t,a),location:o(a)}):(t.error(e.InvalidScreenLayoutSlot,`Expected a slot name in template '${r}', got '${a.content}'`,o(a)),t.skipBlock(a.indent));return{kind:`ScreenTemplateReferenceSyntax`,name:r,slots:i,location:o(n)}}function parseSection(e,t){return{kind:`ScreenSectionSyntax`,name:t.content.substring(7).trim(),directives:parseDirectives(e,t),location:o(t)}}function parseTitle(t,n){let r=N.exec(n.content);return r===null?(t.error(e.InvalidTitleDirective,`Invalid title directive '${n.content}' - expected 'title "..."'`,o(n)),{kind:`ScreenTitleSyntax`,text:``,location:o(n)}):{kind:`ScreenTitleSyntax`,text:operandText(r,1),location:o(n)}}function parseTable(t,n){let r=n.content.substring(5).trim(),i=[],s=null;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=P.exec(r.content),c=F.exec(r.content);if(n!==null){let e=n[2]!==void 0||n[3]!==void 0;i.push({kind:`ScreenColumnSyntax`,property:n[1],label:e?operandText(n,2):null,location:o(r)})}else c===null?a(r.content)===`on`?d(t,r):isInteraction(r)?t.skipOpaqueBlock(r.indent):t.error(e.UnknownTableDirective,`Unexpected '${r.content}' in table - expected 'column ...', 'on row-click navigate to ...', 'on <trigger>' or 'uses <Behavior>'`,o(r)):s=parseNavigate(t,c[1],r)??null}return{kind:`ScreenTableSyntax`,target:r,columns:i,rowClick:s,location:o(n)}}function parseSummary(t,n){let r=n.content.substring(7).trim(),i=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=I.exec(r.content);n===null?t.error(e.UnknownSummaryDirective,`Unexpected '${r.content}' in summary - expected 'field <property> label "..."'`,o(r)):i.push({kind:`ScreenFieldSyntax`,property:n[1],label:operandText(n,2),location:o(r)})}return{kind:`ScreenSummarySyntax`,target:r,fields:i,location:o(n)}}function parseComponent(t,n){let r=T.exec(n.content);if(r===null){t.error(e.UnknownScreenDirective,`Invalid component directive '${n.content}' - expected 'component <Package.Component> <name>'`,o(n)),t.skipBlock(n.indent);return}let i=null,s=null,c=null,l=[],u=[],f=[],p=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent))switch(t.reader.takeSignificant(),a(r.content)){case`context`:i=parseUiContext(t,r);break;case`id`:s=parseStableId(t,r);break;case`property`:parseComponentProperty(t,r,l);break;case`icon`:c=r.content.substring(4).trim();break;case`presentation`:parsePresentationValue(t,r,f);break;case`exposes`:parseExposedValue(t,r,u);break;case`outlet`:p.push({kind:`ComponentOutletSyntax`,name:r.content.substring(6).trim(),directives:parseDirectives(t,r),location:o(r)});break;case`on`:d(t,r);break;case`uses`:t.skipOpaqueBlock(r.indent);break;default:t.error(e.UnknownScreenDirective,`Unexpected '${r.content}' in component - expected context, id, property, icon, presentation, exposes, outlet, on or uses`,o(r)),t.skipBlock(r.indent)}return{kind:`ScreenComponentSyntax`,component:r[1],name:r[2],stableId:s,context:i,properties:l,exposes:u,presentation:f,icon:c,outlets:p,location:o(n)}}function parseUiContext(e,t){return parseUiBindingValue(e,t.content.substring(7).trim(),t)}function parseComponentProperty(t,n,r){let a=D.exec(n.content);if(a!==null){r.push({kind:`ComponentPropertySyntax`,property:a[1],binding:p(t,a[2],o(n)),value:null,location:o(n)});return}let s=O.exec(n.content);s===null?t.error(e.UnknownScreenDirective,`Invalid component property '${n.content}' - expected 'property <path> from <binding>' or 'property <path> = <literal|object|array|null>'`,o(n)):r.push({kind:`ComponentPropertySyntax`,property:s[1],binding:null,value:i(s[2],o(n),t),location:o(n)})}function parseStableId(t,n){let r=E.exec(n.content);return r===null?(t.error(e.UnknownScreenDirective,`Invalid component id '${n.content}' - expected 'id "stable-id"'`,o(n)),null):operandText(r,1)}function parseExposedValue(t,n,r){let i=k.exec(n.content);i===null?t.error(e.UnknownScreenDirective,`Invalid exposed value '${n.content}' - expected 'exposes <name> from <binding>'`,o(n)):r.push({kind:`ComponentExposedValueSyntax`,name:i[1],binding:p(t,i[2],o(n)),location:o(n)})}function parsePresentationValue(t,n,r){let i=A.exec(n.content);i===null?t.error(e.UnknownScreenDirective,`Invalid presentation value '${n.content}' - expected 'presentation <key> "value"'`,o(n)):r.push({kind:`PresentationValueSyntax`,name:i[1],value:operandText(i,2),location:o(n)})}function parseToolbar(e,t){let n=t.content.substring(7).trim(),r=[];for(let n=e.peekChild(t.indent);n!==void 0;n=e.peekChild(t.indent)){e.reader.takeSignificant();let t=parseToolbarItem(e,n);t!==void 0&&r.push(t)}return{kind:`ScreenToolbarSyntax`,name:n,items:r,location:o(t)}}function parseToolbarItem(t,n){let r=j.exec(n.content);if(r===null){t.error(e.UnknownScreenDirective,`Invalid toolbar item '${n.content}' - expected 'item <name> action <Command>', 'item <name> navigate to <Screen>' or 'item <name> dialog <DialogTemplate>'`,o(n)),t.skipBlock(n.indent);return}let i=null,s=null,c=[],l=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=v.exec(e.content);if(n!==null){i=operandText(n,1);continue}let r=w.exec(e.content);r===null?a(e.content)===`icon`?s=e.content.substring(4).trim():parsePresentationValue(t,e,l):c.push({kind:`ScreenNavigationParameterSyntax`,name:r[1],binding:p(t,r[2],o(e)),location:o(e)})}let u=r[2]===`navigate`?`Navigate`:r[2]===`dialog`?`Dialog`:`Action`;return{kind:`ToolbarItemSyntax`,name:r[1],syntaxKind:u,target:r[3],label:i,icon:s,parameters:c,presentation:l,location:o(n)}}function parseUiBindingValue(e,t,n){return p(e,t,o(n))}function parseCode(t,n){let r=n.content.startsWith("```")?n.content.substring(3):n.content;if(!t.languages.has(r)){t.error(e.ExpectedCodeFence,`Expected a registered language on the opening fence, not '${n.content}'`,o(n));return}n.content.startsWith("```")||t.warning(e.LegacyInlineCodeFence,`'${r}' on its own line is deprecated - use '\`\`\`${r}' instead`,o(n));let i=c(t,r,n);return i===null?void 0:{kind:`ScreenCodeSyntax`,code:{kind:`CodeBlockSyntax`,language:r,code:i,location:o(n)},location:o(n)}}export{parseScreen};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{pattern as r}from"../Text/patterns.js";import{locationOf as i}from"./SourceLine.js";import{parseMappingSource as a}from"./ExpressionParser.js";import{firstWord as o}from"./LineText.js";import{parseTypeRef as s}from"./PropertyLineParser.js";import{parseFencedText as c}from"./CodeBlockParser.js";import{parseDescription as l}from"./DescriptionParser.js";import{parseGuardedAction as u}from"./GuardedActionParser.js";import{collectInputUses as d}from"./InputUses.js";import{isFileDirective as f}from"./FileReferences.js";import{parseFromClause as p}from"./UiBindingParser.js";const m=`(?:"(${t})"|(\\$strings\\.\\w+(?:\\.\\w+)*))`,h=r(`^screen\\s+([A-Za-z_]\\w*)$`),g=r(`^data\\s+([\\w.]+(?:\\[\\])?)\\s+via\\s+query\\s+(\\w+(?:\\.\\w+)*)(?:\\s+by\\s+(\\w+))?$`),_=r(`^action\\s+([A-Za-z_]\\w*(?:\\.\\w+)*)$`),v=r(`^label\\s+${m}$`),y=r(`^action\\s+${m}$`),b=r(`^navigate\\s+to\\s+(\\w+(?:\\.\\w+)*)(?:\\s+by\\s+(\\w+))?$`),x=r(`^route\\s+${m}$`),S=r(`^outlet\\s+([A-Za-z_]\\w*)$`),C=r(`^contribute\\s+to\\s+([A-Za-z_]\\w*)(?:\\s+order\\s+(-?\\d+))?$`),w=r(`^parameter\\s+([A-Za-z_]\\w*)\\s+from\\s+(.+)$`),T=r(`^component\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)\\s+([A-Za-z_]\\w*)$`),E=r(`^id\\s+(?:"(${t})"|(\\S+))$`),D=r(`^property\\s+([\\w.]+)\\s+from\\s+(.+)$`),O=r(`^property\\s+([\\w.]+)\\s*=\\s+(.+)$`),k=r(`^exposes\\s+([A-Za-z_]\\w*)\\s+from\\s+(.+)$`),A=r(`^presentation\\s+([A-Za-z_]\\w*)\\s+${m}$`),j=r(`^item\\s+([A-Za-z_]\\w*)\\s+(action|navigate|dialog)(?:\\s+to)?\\s+([A-Za-z_]\\w*(?:\\.\\w+)*)$`),M=r(`^[a-z_]\\w*$`),N=r(`^title\\s+${m}$`),P=r(`^column\\s+([\\w.]+)(?:\\s+label\\s+${m})?$`),F=r(`^on\\s+row-click\\s+(navigate\\s+to\\s+.+)$`),I=r(`^field\\s+([\\w.]+)\\s+label\\s+${m}$`),operandText=(e,t)=>e[t]===void 0?e[t+1]:n(e[t]),isInteraction=e=>[`on`,`uses`].includes(o(e.content)),isCodeLine=(e,t)=>t.content.startsWith("```")||e.languages.has(t.content);function parseScreen(t,n){let r=h.exec(n.content);r===null&&t.error(e.InvalidScreenDeclaration,`Invalid screen declaration '${n.content}' - expected 'screen <Name>'`,i(n));let a=[],s=[],c=null;for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent))if(t.reader.takeSignificant(),o(e.content)===`contribute`){let n=parseScreenContribution(t,e);n!==void 0&&s.push(n)}else o(e.content)===`description`?c=l(t,e,c,`Screen '${r?.[1]??``}'`):f(e)||pushDirective(t,e,a);return{kind:`ScreenSyntax`,name:r?.[1]??``,directives:a,description:c,...s.length>0?{contributions:s}:{},location:i(n)}}function parseScreenContribution(t,n){let r=C.exec(n.content);if(r===null)t.error(e.UnknownScreenDirective,`Invalid screen contribution '${n.content}' - expected 'contribute to <Point> [order <n>]'`,i(n)),t.skipBlock(n.indent);else return{kind:`ScreenContributionSyntax`,contributionPoint:r[1],order:r[2]===void 0?null:Number(r[2]),directives:parseDirectives(t,n),location:i(n)}}function pushDirective(e,t,n){let r=parseDirective(e,t);r!==void 0&&n.push(r)}function parseDirectives(e,t){let n=[];for(let r=e.peekChild(t.indent);r!==void 0;r=e.peekChild(t.indent))e.reader.takeSignificant(),pushDirective(e,r,n);return n}function parseDirective(t,n){switch(o(n.content)){case`data`:return parseData(t,n);case`action`:return parseAction(t,n);case`template`:return parseTemplateReference(t,n);case`section`:return parseSection(t,n);case`title`:return parseTitle(t,n);case`table`:return parseTable(t,n);case`summary`:return parseSummary(t,n);case`component`:return parseComponent(t,n);case`toolbar`:return parseToolbar(t,n);case`navigate`:return parseNavigate(t,n.content,n);case`on`:return d(t,n),{kind:`ScreenBehaviorSyntax`,location:i(n)};case`uses`:return t.skipOpaqueBlock(n.indent),{kind:`ScreenUsesBehaviorSyntax`,location:i(n)};default:if(isCodeLine(t,n))return parseCode(t,n);t.error(e.UnknownScreenDirective,`Unexpected '${n.content}' in screen body`,i(n)),t.skipBlock(n.indent);return}}function parseData(t,n){let r=g.exec(n.content);if(r===null)t.error(e.InvalidDataDirective,`Invalid data directive '${n.content}' - expected 'data <ReadModel> via query <Query> [by <param>]'`,i(n));else return{kind:`ScreenDataSyntax`,type:s(r[1],i(n)),query:r[2],by:r[3]??null,location:i(n)}}function parseAction(t,n){let r=y.exec(n.content);if(r!==null)return u(t,n,operandText(r,1),parseNavigate);let a=_.exec(n.content);if(a===null){t.error(e.InvalidActionDirective,`Invalid action directive '${n.content}' - expected 'action <Command>'`,i(n)),t.skipBlock(n.indent);return}let s=null,c=null;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=v.exec(r.content);n===null?o(r.content)===`navigate`?c=parseNavigate(t,r.content,r)??null:t.error(e.UnknownActionDirective,`Unexpected '${r.content}' in action - expected 'label "..."' or 'navigate to ...'`,i(r)):s=operandText(n,1)}return{kind:`ScreenActionSyntax`,command:a[1],label:s,navigate:c,location:i(n)}}function parseNavigate(t,n,r){let a=b.exec(n);if(a===null){t.error(e.InvalidNavigation,`Invalid navigation '${n}' - expected 'navigate to <Screen> [by <param>]'`,i(r));return}let o=[],s=null,c=null;for(let n=t.peekChild(r.indent);n!==void 0;n=t.peekChild(r.indent)){t.reader.takeSignificant();let r=w.exec(n.content);if(r!==null){o.push({kind:`ScreenNavigationParameterSyntax`,name:r[1],binding:p(t,r[2],i(n)),location:i(n)});continue}let a=x.exec(n.content);if(a!==null){s=operandText(a,1);continue}let l=S.exec(n.content);l===null?t.error(e.InvalidNavigation,`Unexpected '${n.content}' in navigation - expected 'route "..."', 'outlet <name>' or 'parameter <name> from <binding>'`,i(n)):c=l[1]}return{kind:`ScreenNavigateSyntax`,screen:a[1],by:a[2]??null,route:s,...c===null?{}:{outlet:c},parameters:o,location:i(r)}}function parseTemplateReference(t,n){let r=n.content.substring(8).trim(),a=[];for(let o=t.peekChild(n.indent);o!==void 0;o=t.peekChild(n.indent))t.reader.takeSignificant(),M.test(o.content)?a.push({kind:`ScreenSlotSyntax`,name:o.content,directives:parseDirectives(t,o),location:i(o)}):(t.error(e.InvalidScreenLayoutSlot,`Expected a slot name in template '${r}', got '${o.content}'`,i(o)),t.skipBlock(o.indent));return{kind:`ScreenTemplateReferenceSyntax`,name:r,slots:a,location:i(n)}}function parseSection(e,t){return{kind:`ScreenSectionSyntax`,name:t.content.substring(7).trim(),directives:parseDirectives(e,t),location:i(t)}}function parseTitle(t,n){let r=N.exec(n.content);return r===null?(t.error(e.InvalidTitleDirective,`Invalid title directive '${n.content}' - expected 'title "..."'`,i(n)),{kind:`ScreenTitleSyntax`,text:``,location:i(n)}):{kind:`ScreenTitleSyntax`,text:operandText(r,1),location:i(n)}}function parseTable(t,n){let r=n.content.substring(5).trim(),a=[],s=null;for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=P.exec(r.content),c=F.exec(r.content);if(n!==null){let e=n[2]!==void 0||n[3]!==void 0;a.push({kind:`ScreenColumnSyntax`,property:n[1],label:e?operandText(n,2):null,location:i(r)})}else c===null?o(r.content)===`on`?d(t,r):isInteraction(r)?t.skipOpaqueBlock(r.indent):t.error(e.UnknownTableDirective,`Unexpected '${r.content}' in table - expected 'column ...', 'on row-click navigate to ...', 'on <trigger>' or 'uses <Behavior>'`,i(r)):s=parseNavigate(t,c[1],r)??null}return{kind:`ScreenTableSyntax`,target:r,columns:a,rowClick:s,location:i(n)}}function parseSummary(t,n){let r=n.content.substring(7).trim(),a=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=I.exec(r.content);n===null?t.error(e.UnknownSummaryDirective,`Unexpected '${r.content}' in summary - expected 'field <property> label "..."'`,i(r)):a.push({kind:`ScreenFieldSyntax`,property:n[1],label:operandText(n,2),location:i(r)})}return{kind:`ScreenSummarySyntax`,target:r,fields:a,location:i(n)}}function parseComponent(t,n){let r=T.exec(n.content);if(r===null){t.error(e.UnknownScreenDirective,`Invalid component directive '${n.content}' - expected 'component <Package.Component> <name>'`,i(n)),t.skipBlock(n.indent);return}let a=null,s=null,c=null,l=[],u=[],f=[],p=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent))switch(t.reader.takeSignificant(),o(r.content)){case`context`:a=parseUiContext(t,r);break;case`id`:s=parseStableId(t,r);break;case`property`:parseComponentProperty(t,r,l);break;case`icon`:c=r.content.substring(4).trim();break;case`presentation`:parsePresentationValue(t,r,f);break;case`exposes`:parseExposedValue(t,r,u);break;case`outlet`:p.push({kind:`ComponentOutletSyntax`,name:r.content.substring(6).trim(),directives:parseDirectives(t,r),location:i(r)});break;case`on`:d(t,r);break;case`uses`:t.skipOpaqueBlock(r.indent);break;default:t.error(e.UnknownScreenDirective,`Unexpected '${r.content}' in component - expected context, id, property, icon, presentation, exposes, outlet, on or uses`,i(r)),t.skipBlock(r.indent)}return{kind:`ScreenComponentSyntax`,component:r[1],name:r[2],stableId:s,context:a,properties:l,exposes:u,presentation:f,icon:c,outlets:p,location:i(n)}}function parseUiContext(e,t){return parseUiBindingValue(e,t.content.substring(7).trim(),t)}function parseComponentProperty(t,n,r){let o=D.exec(n.content);if(o!==null){r.push({kind:`ComponentPropertySyntax`,property:o[1],binding:p(t,o[2],i(n)),value:null,location:i(n)});return}let s=O.exec(n.content);s===null?t.error(e.UnknownScreenDirective,`Invalid component property '${n.content}' - expected 'property <path> from <binding>' or 'property <path> = <literal|object|array|null>'`,i(n)):r.push({kind:`ComponentPropertySyntax`,property:s[1],binding:null,value:a(s[2],i(n),t),location:i(n)})}function parseStableId(t,n){let r=E.exec(n.content);return r===null?(t.error(e.UnknownScreenDirective,`Invalid component id '${n.content}' - expected 'id "stable-id"'`,i(n)),null):operandText(r,1)}function parseExposedValue(t,n,r){let a=k.exec(n.content);a===null?t.error(e.UnknownScreenDirective,`Invalid exposed value '${n.content}' - expected 'exposes <name> from <binding>'`,i(n)):r.push({kind:`ComponentExposedValueSyntax`,name:a[1],binding:p(t,a[2],i(n)),location:i(n)})}function parsePresentationValue(t,n,r){let a=A.exec(n.content);a===null?t.error(e.UnknownScreenDirective,`Invalid presentation value '${n.content}' - expected 'presentation <key> "value"'`,i(n)):r.push({kind:`PresentationValueSyntax`,name:a[1],value:operandText(a,2),location:i(n)})}function parseToolbar(e,t){let n=t.content.substring(7).trim(),r=[];for(let n=e.peekChild(t.indent);n!==void 0;n=e.peekChild(t.indent)){e.reader.takeSignificant();let t=parseToolbarItem(e,n);t!==void 0&&r.push(t)}return{kind:`ScreenToolbarSyntax`,name:n,items:r,location:i(t)}}function parseToolbarItem(t,n){let r=j.exec(n.content);if(r===null){t.error(e.UnknownScreenDirective,`Invalid toolbar item '${n.content}' - expected 'item <name> action <Command>', 'item <name> navigate to <Screen>' or 'item <name> dialog <DialogTemplate>'`,i(n)),t.skipBlock(n.indent);return}let a=null,s=null,c=[],l=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=v.exec(e.content);if(n!==null){a=operandText(n,1);continue}let r=w.exec(e.content);r===null?o(e.content)===`icon`?s=e.content.substring(4).trim():parsePresentationValue(t,e,l):c.push({kind:`ScreenNavigationParameterSyntax`,name:r[1],binding:p(t,r[2],i(e)),location:i(e)})}let u=r[2]===`navigate`?`Navigate`:r[2]===`dialog`?`Dialog`:`Action`;return{kind:`ToolbarItemSyntax`,name:r[1],syntaxKind:u,target:r[3],label:a,icon:s,parameters:c,presentation:l,location:i(n)}}function parseUiBindingValue(e,t,n){return p(e,t,i(n))}function parseCode(t,n){let r=n.content.startsWith("```")?n.content.substring(3):n.content;if(!t.languages.has(r)){t.error(e.ExpectedCodeFence,`Expected a registered language on the opening fence, not '${n.content}'`,i(n));return}n.content.startsWith("```")||t.warning(e.LegacyInlineCodeFence,`'${r}' on its own line is deprecated - use '\`\`\`${r}' instead`,i(n));let a=c(t,r,n);return a===null?void 0:{kind:`ScreenCodeSyntax`,code:{kind:`CodeBlockSyntax`,language:r,code:a,location:i(n)},location:i(n)}}export{parseScreen};
 //# sourceMappingURL=ScreenParser.js.map

package/dist/bundles/compiler/Parsing/ScreenplayParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{firstWord as i,unescapeIdentifier as a}from"./LineText.js";import{locationOf as o,startOf as s}from"./SourceLine.js";import{describePlacement as c,documentPlacement as l,isDocumentPlacement as u}from"../Files/PlayPlacement.js";import{parseDescription as d}from"./DescriptionParser.js";import{parsePurpose as f}from"./PurposeParser.js";import{isFileImport as p,parseFileImport as m}from"./FileImportParser.js";import{recordAuthoredDocument as h}from"../Syntax/SourceOptions.js";import{collectInputUses as g}from"./InputUses.js";import{misplacedReactionIdentity as _}from"./ReactionIdentityParser.js";import{parseEventSource as v}from"./EventSourceParser.js";import{isFileDirective as y}from"./FileReferences.js";import{parseSystem as b}from"./OperationParser.js";import{parseExample as x}from"./SpecificationExampleParser.js";import{isBlankPublicEventOrigin as S}from"../Syntax/PublicEventInvariants.js";import{parseType as C}from"./DeclarationParsers.js";import{parseValidate as w}from"./CommandParser.js";import{parseTriggerDeclaration as T}from"./TriggerDataParser.js";import{FeatureBody as E,featureBodyExpected as D}from"./FeatureBody.js";import{ModuleBody as O,moduleBodyExpected as k,modulePattern as A,parseModule as j}from"./ModuleBody.js";import{parseIdentity as M}from"./IdentityParser.js";import{parseComplianceDirective as N,parseComplianceMarkers as P}from"./ConceptComplianceParser.js";import{parsePolicy as F}from"./PolicyParser.js";import{parseSeed as I}from"./SeedParser.js";import{parseExposure as L,parseInstance as R}from"./CompositionParser.js";const z=t(`^domain\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),B=t(`^import\\s+([\\w.]+)(?:\\s+from\\s+"(?<origin>${n})")?$`),V=t(`^concept\\s+(\\w+)\\s*:\\s*(\\w+)((?:\\s+@?\\w+)*)$`),H=t(`^@?[a-z_]\\w*$`),U=t(`^persona\\s+([A-Za-z_]\\w*)$`),W=t(`^policy\\s+([A-Za-z_]\\w*)$`),G=/^[ ]*\t/,K=[`Uuid`,`String`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`],q=/* @__PURE__ */ new Set([`policy`,`authentication`,`seed`,`ui`,`theme`,`trigger`,`layout`,`behavior`]),J=/* @__PURE__ */ new Set([`slice`,`feature`,`description`,`documentation`,`authorize`,`screen`,`dialog`,`form`,`contribute`,`on`,`uses`]);function parseApplication(t,n,a=l){t.deferIdentityValidation=!0,warnOnTabIndentation(t,n);let s=a.length===1?new O(a[0]):void 0,c=a.length>1?new E(a[a.length-1]):void 0,d=s??c,y=null,w=null,D=[],k=[],A=[],N=[],P=[],z=[],V=[],H=[],U=[],W=[],G=[],K=[],J=[],Y=[],X=[],Z=!1;for(let n=t.reader.peekSignificant();n!==void 0;n=t.reader.peekSignificant()){t.reader.takeSignificant();let c=i(n.content);if(c===`runs`)_(t,n);else if(c===`domain`)t.authoredDeclarations=!0,w=parseDomain(t,n,w,Z);else if(Z||=declaresConstruct(c,n,a),t.authoredDeclarations||=c!==`import`&&declaresConstruct(c,n,a),c===`import`&&p(n.content))d===void 0?m(t,n,k):d.tryParse(t,n);else if(c===`import`){let i=B.exec(n.content);if(i===null)t.error(e.InvalidImportDeclaration,`Invalid import '${n.content}' - expected 'import <Qualified.Name> [from "<origin>"]'`,o(n));else{let a=i.groups?.origin===void 0?null:r(i.groups.origin);a!==null&&S(a)&&t.error(e.InvalidImportDeclaration,`An import origin must be a nonblank quoted string`,o(n)),D.push({kind:`ImportSyntax`,qualifiedName:i[1],origin:a,visibility:a===null?`Private`:`Public`,location:o(n)})}}else if(c===`example`)d===void 0?K.push(x(t,n)):d.tryParse(t,n);else if(c===`eventsource`)z.push(v(t,n));else if(c===`system`)P.push(b(t,n));else if(c===`concept`)A.push(parseConcept(t,n));else if(c===`type`)N.push(C(t,n));else if(c===`module`&&!u(a))parseModuleInPlacedFile(t,n,a,s);else if(c===`module`)V.push(j(t,n));else if(c===`persona`)H.push(parsePersona(t,n));else if(c===`seed`)G.push(I(t.valueContext,n));else if(c===`purpose`&&d!==void 0)d.tryParse(t,n);else if(c===`purpose`)W.push(f(t,n));else if(c===`identity`)y=M(t,n,y);else if(c===`policy`)U.push(F(t,n));else if(c===`exposure`)Y.push(L(t,n));else if(c===`instance`)X.push(R(t,n));else if(c===`trigger`){let e=T(t,n),r=/^trigger\s+([A-Za-z_]\w*)$/.exec(n.content)?.[1];r!==void 0&&J.push({name:r,data:e})}else q.has(c)?c===`behavior`||c===`layout`?g(t,n):t.skipOpaqueBlock(n.indent):d?.tryParse(t,n)!==!0&&reportUnexpectedTopLevel(t,n,a)}s===void 0?c!==void 0&&V.unshift(place(a,c.build(t.start,!0),t.start)):V.unshift(s.build(t.start,!0));let Q={kind:`ApplicationSyntax`,...y===null?{}:{identity:y},sourceOptions:t.sourceOptions,domain:w,imports:D,concepts:A,types:N,systems:P,eventSources:z,examples:K,modules:V,personas:H,policies:U,purposes:W,seeds:G,declaredTriggers:J,fileImports:k,...Y.length>0?{exposures:Y}:{},...X.length>0?{instanceContributions:X}:{},location:t.start};return t.authoredDeclarations&&h(Q),Q}function declaresConstruct(e,t,n){return e===`import`?B.test(t.content):e===`module`?u(n):e===`identity`?t.content===`identity`:e===`purpose`||e===`example`||e===`exposure`||e===`instance`||e===`eventsource`||e===`system`||e===`concept`||e===`type`||e===`persona`||q.has(e)}function parseModuleInPlacedFile(t,n,r,i){let a=A.exec(n.content)?.[1]??``;i!==void 0&&a===r[0]?(t.authoredDeclarations=!0,i.parseChildren(t,n)):(t.error(e.ModuleInPlacedFile,`This file is imported into ${c(r)}, so it cannot declare module '${a}' - import it at the top level of a document instead`,o(n)),t.skipBlock(n.indent))}function reportUnexpectedTopLevel(t,n,r){let a=i(n.content);if(u(r)){let r=J.has(a)?` - '${a}' belongs in a module or feature; wrap it in one, or import this file from inside one`:` - expected domain, import, concept, type, policy, persona, authentication, identity, module, seed, trigger, behavior, ui profile, theme or layout`;t.error(e.UnknownTopLevelConstruct,`Unexpected '${a}' at the top level${r}`,o(n))}else{let i=r.length===1?k:D;t.error(e.UnexpectedInPlacedFile,`Unexpected '${a}' in a file imported into ${c(r)} - expected an application declaration or ${i}`,o(n))}t.skipBlock(n.indent)}function place(e,t,n){let r=t;for(let t=e.length-2;t>=1;t--)r={kind:`FeatureSyntax`,name:e[t],description:null,authorize:null,features:[r],slices:[],fileImports:[],isPlacement:!0,location:n};return{kind:`ModuleSyntax`,name:e[0],description:null,authorize:null,features:[r],fileImports:[],isPlacement:!0,location:n}}function parseDomain(t,n,r,i){let a=z.exec(n.content);return a===null?(t.error(e.InvalidDomainDeclaration,`Invalid domain declaration '${n.content}' - expected 'domain <Qualified.Name>'`,o(n)),r):r===null?(i&&t.error(e.DomainNotFirst,`'domain' must be declared before any other construct`,o(n)),{kind:`DomainSyntax`,name:a[1],location:o(n)}):(t.error(e.DuplicateDomain,`The document already declares a domain - a document can have at most one`,o(n)),r)}function warnOnTabIndentation(t,n){let r=!1;for(let i of n)i.raw.trimStart().startsWith("```")?r=!r:!r&&G.test(i.raw)&&t.warning(e.TabIndentation,`Screenplay is indentation based - use spaces, not tabs`,s(i))}function parseConcept(t,n){let r=V.exec(n.content);if(r===null)return t.error(e.InvalidConceptDeclaration,`Invalid concept declaration '${n.content}' - expected 'concept <Name> : <Type>'`,o(n)),t.skipBlock(n.indent),{kind:`ConceptSyntax`,name:i(n.content),type:``,attributes:[],values:[],location:o(n)};let[,s,c,l]=r,u=P(t,n,l);c!==`Enum`&&!K.includes(c)&&t.error(e.UnknownPrimitiveType,`Unknown primitive type '${c}' - expected ${K.join(`, `)} or Enum`,o(n));let f=[],p=null,m=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent))if(t.reader.takeSignificant(),i(r.content)===`description`&&(c!==`Enum`||r.content!==`description`||t.peekChild(r.indent)?.content.startsWith("```")===!0))p=d(t,r,p,`Concept '${s}'`);else if(y(r))continue;else if(i(r.content)===`validate`){c===`Enum`&&r.content===`validate`&&t.peekChild(r.indent)===void 0&&t.warning(e.ValidateReadAsEnumerationBlock,`'validate' in enumeration concept '${s}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,o(r));let n=w(t,r,`concept`);n!==void 0&&m.push(n)}else N(t,r,s,u)||(c===`Enum`&&H.test(r.content)?f.push(a(r.content)):c===`Enum`?t.error(e.InvalidEnumerationValue,`Invalid enum value '${r.content}' - expected an identifier`,o(r)):(t.error(e.UnknownConceptDirective,`Unexpected '${r.content}' in concept body - expected validate, 'file <path>' or '<attribute> reason "<text>"'`,o(r)),t.skipBlock(r.indent)));return{kind:`ConceptSyntax`,name:s,type:c,attributes:u,values:f,validations:m,description:p,location:o(n)}}function parsePersona(t,n){let r=U.exec(n.content)?.[1]??``;r===``&&t.error(e.InvalidPersonaDeclaration,`Invalid persona declaration '${n.content}' - expected 'persona <Name>'`,o(n));let a=null,s=[];for(let c=t.peekChild(n.indent);c!==void 0;c=t.peekChild(n.indent)){t.reader.takeSignificant();let n=i(c.content);if(n===`description`)a=d(t,c,a,`Persona '${r}'`);else if(n===`policy`){let n=W.exec(c.content);n===null?t.error(e.InvalidPersonaPolicyReference,`Invalid policy reference '${c.content}' - expected 'policy <Name>'`,o(c)):s.push(n[1])}else t.error(e.UnknownPersonaDirective,`Unexpected '${n}' in persona body - expected description or policy`,o(c)),t.skipBlock(c.indent)}return{kind:`PersonaSyntax`,name:r,description:a,policies:s,location:o(n)}}export{parseApplication};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{pattern as r}from"../Text/patterns.js";import{locationOf as i,startOf as a}from"./SourceLine.js";import{parseComplianceDirective as o,parseComplianceMarkers as s}from"./ConceptComplianceParser.js";import{firstWord as c,unescapeIdentifier as l}from"./LineText.js";import{describePlacement as u,documentPlacement as d,isDocumentPlacement as f}from"../Files/PlayPlacement.js";import{parseDescription as p}from"./DescriptionParser.js";import{parsePurpose as m}from"./PurposeParser.js";import{isFileImport as h,parseFileImport as g}from"./FileImportParser.js";import{recordAuthoredDocument as _}from"../Syntax/SourceOptions.js";import{collectInputUses as v}from"./InputUses.js";import{misplacedReactionIdentity as y}from"./ReactionIdentityParser.js";import{parseEventSource as b}from"./EventSourceParser.js";import{isFileDirective as x}from"./FileReferences.js";import{parseSystem as S}from"./OperationParser.js";import{parseExample as C}from"./SpecificationExampleParser.js";import{isBlankPublicEventOrigin as w}from"../Syntax/PublicEventInvariants.js";import{parseType as T}from"./DeclarationParsers.js";import{parseValidate as E}from"./CommandParser.js";import{parseTriggerDeclaration as D}from"./TriggerDataParser.js";import{FeatureBody as O,featureBodyExpected as k}from"./FeatureBody.js";import{ModuleBody as A,moduleBodyExpected as j,modulePattern as M,parseModule as N}from"./ModuleBody.js";import{parseIdentity as P}from"./IdentityParser.js";import{parsePolicy as F}from"./PolicyParser.js";import{parseSeed as I}from"./SeedParser.js";import{parseExposure as L,parseInstance as R}from"./CompositionParser.js";const z=r(`^domain\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),B=r(`^import\\s+([\\w.]+)(?:\\s+from\\s+"(?<origin>${t})")?$`),V=r(`^concept\\s+(\\w+)\\s*:\\s*(\\w+)((?:\\s+@?\\w+)*)$`),H=r(`^@?[a-z_]\\w*$`),U=r(`^persona\\s+([A-Za-z_]\\w*)$`),W=r(`^policy\\s+([A-Za-z_]\\w*)$`),G=/^[ ]*\t/,K=[`Uuid`,`String`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`],q=/* @__PURE__ */ new Set([`policy`,`authentication`,`seed`,`ui`,`theme`,`trigger`,`layout`,`behavior`]),J=/* @__PURE__ */ new Set([`slice`,`feature`,`description`,`documentation`,`authorize`,`screen`,`dialog`,`form`,`contribute`,`on`,`uses`]);function parseApplication(t,r,a=d){t.deferIdentityValidation=!0,warnOnTabIndentation(t,r);let o=a.length===1?new A(a[0]):void 0,s=a.length>1?new O(a[a.length-1]):void 0,l=o??s,u=null,p=null,x=[],E=[],k=[],j=[],M=[],z=[],V=[],H=[],U=[],W=[],G=[],K=[],J=[],Y=[],X=[],Z=!1;for(let r=t.reader.peekSignificant();r!==void 0;r=t.reader.peekSignificant()){t.reader.takeSignificant();let s=c(r.content);if(s===`runs`)y(t,r);else if(s===`domain`)t.authoredDeclarations=!0,p=parseDomain(t,r,p,Z);else if(Z||=declaresConstruct(s,r,a),t.authoredDeclarations||=s!==`import`&&declaresConstruct(s,r,a),s===`import`&&h(r.content))l===void 0?g(t,r,E):l.tryParse(t,r);else if(s===`import`){let a=B.exec(r.content);if(a===null)t.error(e.InvalidImportDeclaration,`Invalid import '${r.content}' - expected 'import <Qualified.Name> [from "<origin>"]'`,i(r));else{let o=a.groups?.origin===void 0?null:n(a.groups.origin);o!==null&&w(o)&&t.error(e.InvalidImportDeclaration,`An import origin must be a nonblank quoted string`,i(r)),x.push({kind:`ImportSyntax`,qualifiedName:a[1],origin:o,visibility:o===null?`Private`:`Public`,location:i(r)})}}else if(s===`example`)l===void 0?K.push(C(t,r)):l.tryParse(t,r);else if(s===`eventsource`)z.push(b(t,r));else if(s===`system`)M.push(S(t,r));else if(s===`concept`)k.push(parseConcept(t,r));else if(s===`type`)j.push(T(t,r));else if(s===`module`&&!f(a))parseModuleInPlacedFile(t,r,a,o);else if(s===`module`)V.push(N(t,r));else if(s===`persona`)H.push(parsePersona(t,r));else if(s===`seed`)G.push(I(t.valueContext,r));else if(s===`purpose`&&l!==void 0)l.tryParse(t,r);else if(s===`purpose`)W.push(m(t,r));else if(s===`identity`)u=P(t,r,u);else if(s===`policy`)U.push(F(t,r));else if(s===`exposure`)Y.push(L(t,r));else if(s===`instance`)X.push(R(t,r));else if(s===`trigger`){let e=D(t,r),n=/^trigger\s+([A-Za-z_]\w*)$/.exec(r.content)?.[1];n!==void 0&&J.push({name:n,data:e})}else q.has(s)?s===`behavior`||s===`layout`?v(t,r):t.skipOpaqueBlock(r.indent):l?.tryParse(t,r)!==!0&&reportUnexpectedTopLevel(t,r,a)}o===void 0?s!==void 0&&V.unshift(place(a,s.build(t.start,!0),t.start)):V.unshift(o.build(t.start,!0));let Q={kind:`ApplicationSyntax`,...u===null?{}:{identity:u},sourceOptions:t.sourceOptions,domain:p,imports:x,concepts:k,types:j,systems:M,eventSources:z,examples:K,modules:V,personas:H,policies:U,purposes:W,seeds:G,declaredTriggers:J,fileImports:E,...Y.length>0?{exposures:Y}:{},...X.length>0?{instanceContributions:X}:{},location:t.start};return t.authoredDeclarations&&_(Q),Q}function declaresConstruct(e,t,n){return e===`import`?B.test(t.content):e===`module`?f(n):e===`identity`?t.content===`identity`:e===`purpose`||e===`example`||e===`exposure`||e===`instance`||e===`eventsource`||e===`system`||e===`concept`||e===`type`||e===`persona`||q.has(e)}function parseModuleInPlacedFile(t,n,r,a){let o=M.exec(n.content)?.[1]??``;a!==void 0&&o===r[0]?(t.authoredDeclarations=!0,a.parseChildren(t,n)):(t.error(e.ModuleInPlacedFile,`This file is imported into ${u(r)}, so it cannot declare module '${o}' - import it at the top level of a document instead`,i(n)),t.skipBlock(n.indent))}function reportUnexpectedTopLevel(t,n,r){let a=c(n.content);if(f(r)){let r=J.has(a)?` - '${a}' belongs in a module or feature; wrap it in one, or import this file from inside one`:` - expected domain, import, concept, type, policy, persona, authentication, identity, module, seed, trigger, behavior, ui profile, theme or layout`;t.error(e.UnknownTopLevelConstruct,`Unexpected '${a}' at the top level${r}`,i(n))}else{let o=r.length===1?j:k;t.error(e.UnexpectedInPlacedFile,`Unexpected '${a}' in a file imported into ${u(r)} - expected an application declaration or ${o}`,i(n))}t.skipBlock(n.indent)}function place(e,t,n){let r=t;for(let t=e.length-2;t>=1;t--)r={kind:`FeatureSyntax`,name:e[t],description:null,authorize:null,features:[r],slices:[],fileImports:[],isPlacement:!0,location:n};return{kind:`ModuleSyntax`,name:e[0],description:null,authorize:null,features:[r],fileImports:[],isPlacement:!0,location:n}}function parseDomain(t,n,r,a){let o=z.exec(n.content);return o===null?(t.error(e.InvalidDomainDeclaration,`Invalid domain declaration '${n.content}' - expected 'domain <Qualified.Name>'`,i(n)),r):r===null?(a&&t.error(e.DomainNotFirst,`'domain' must be declared before any other construct`,i(n)),{kind:`DomainSyntax`,name:o[1],location:i(n)}):(t.error(e.DuplicateDomain,`The document already declares a domain - a document can have at most one`,i(n)),r)}function warnOnTabIndentation(t,n){let r=!1;for(let i of n)i.raw.trimStart().startsWith("```")?r=!r:!r&&G.test(i.raw)&&t.warning(e.TabIndentation,`Screenplay is indentation based - use spaces, not tabs`,a(i))}function parseConcept(t,n){let r=V.exec(n.content);if(r===null)return t.error(e.InvalidConceptDeclaration,`Invalid concept declaration '${n.content}' - expected 'concept <Name> : <Type>'`,i(n)),t.skipBlock(n.indent),{kind:`ConceptSyntax`,name:c(n.content),type:``,attributes:[],values:[],location:i(n)};let[,a,u,d]=r,f=s(t,n,a,d);u!==`Enum`&&!K.includes(u)&&t.error(e.UnknownPrimitiveType,`Unknown primitive type '${u}' - expected ${K.join(`, `)} or Enum`,i(n));let m=[],h=null,g=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent))if(t.reader.takeSignificant(),c(r.content)===`description`&&(u!==`Enum`||r.content!==`description`||t.peekChild(r.indent)?.content.startsWith("```")===!0))h=p(t,r,h,`Concept '${a}'`);else if(x(r))continue;else if(c(r.content)===`validate`){u===`Enum`&&r.content===`validate`&&t.peekChild(r.indent)===void 0&&t.warning(e.ValidateReadAsEnumerationBlock,`'validate' in enumeration concept '${a}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,i(r));let n=E(t,r,`concept`);n!==void 0&&g.push(n)}else o(t,r,a,f)||(u===`Enum`&&H.test(r.content)?m.push(l(r.content)):u===`Enum`?t.error(e.InvalidEnumerationValue,`Invalid enum value '${r.content}' - expected an identifier`,i(r)):(t.error(e.UnknownConceptDirective,`Unexpected '${r.content}' in concept body - expected validate, 'file <path>' or '<attribute> reason "<text>"'`,i(r)),t.skipBlock(r.indent)));return{kind:`ConceptSyntax`,name:a,type:u,attributes:f,values:m,validations:g,description:h,location:i(n)}}function parsePersona(t,n){let r=U.exec(n.content)?.[1]??``;r===``&&t.error(e.InvalidPersonaDeclaration,`Invalid persona declaration '${n.content}' - expected 'persona <Name>'`,i(n));let a=null,o=[];for(let s=t.peekChild(n.indent);s!==void 0;s=t.peekChild(n.indent)){t.reader.takeSignificant();let n=c(s.content);if(n===`description`)a=p(t,s,a,`Persona '${r}'`);else if(n===`policy`){let n=W.exec(s.content);n===null?t.error(e.InvalidPersonaPolicyReference,`Invalid policy reference '${s.content}' - expected 'policy <Name>'`,i(s)):o.push(n[1])}else t.error(e.UnknownPersonaDirective,`Unexpected '${n}' in persona body - expected description or policy`,i(s)),t.skipBlock(s.indent)}return{kind:`PersonaSyntax`,name:r,description:a,policies:o,location:i(n)}}export{parseApplication};
 //# sourceMappingURL=ScreenplayParser.js.map

package/dist/bundles/compiler/Parsing/ScreenplayParser.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"ScreenplayParser.js","names":["domainPattern","pattern","importPattern","stringBodyPattern","conceptPattern","enumValuePattern","personaPattern","personaPolicyPattern","tabIndentPattern","primitiveTypes","opaqueTopLevel","bodyKeywords","documentPlacement","context","lines","moduleBody","placement","ModuleBody","featureBody","FeatureBody","placedBody","identity","domain","imports","fileImports","concepts","types","systems","eventSources","modules","personas","policies","purposes","seeds","examples","declaredTriggers","exposures","instanceContributions","sawOtherConstruct","line","keyword","firstWord","misplacedReactionIdentity","isFileImport","parseFileImport","match","DiagnosticCodes","locationOf","origin","unescapeString","isBlankPublicEventOrigin","parseExample","parseEventSource","parseSystem","parseType","isDocumentPlacement","parseModule","parseSeed","parsePurpose","parseIdentity","parsePolicy","parseExposure","parseInstance","data","parseTriggerDeclaration","name","collectInputUses","root","recordAuthoredDocument","modulePattern","describePlacement","word","hint","expected","moduleBodyExpected","featureBodyExpected","feature","innermost","index","start","existing","inFence","startOf","type","attributeText","attributes","parseComplianceMarkers","values","description","validations","child","parseDescription","isFileDirective","parsed","parseValidate","parseComplianceDirective","unescapeIdentifier","policy"],"sources":["../../../../../../Compiler/Parsing/ScreenplayParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { IdentitySyntax } from '../Syntax/IdentitySyntax';\nimport { parseIdentity } from './IdentityParser';\nimport { misplacedReactionIdentity } from './ReactionIdentityParser';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { recordAuthoredDocument } from '../Syntax/SourceOptions';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { describePlacement, documentPlacement, isDocumentPlacement, PlayPlacement } from '../Files/PlayPlacement';\nimport { PersonaSyntax } from '../Syntax/Authorization';\nimport { ConceptSyntax, DomainSyntax, ImportSyntax, TypeSyntax } from '../Syntax/Declarations';\nimport { SpecificationExampleSyntax } from '../Syntax/Specifications';\nimport { ApplicationSyntax, FeatureSyntax, FileImportSyntax, ModuleSyntax } from '../Syntax/Structure';\nimport { parseTriggerDeclaration } from './TriggerDataParser';\nimport { pattern } from '../Text/patterns';\nimport { parseComplianceDirective, parseComplianceMarkers } from './ConceptComplianceParser';\nimport { parseType } from './DeclarationParsers';\nimport { ValidateSyntax } from '../Syntax/Commands';\nimport { parseValidate } from './CommandParser';\nimport { parseDescription } from './DescriptionParser';\nimport { FeatureBody, featureBodyExpected } from './FeatureBody';\nimport { isFileImport, parseFileImport } from './FileImportParser';\nimport { isFileDirective } from './FileReferences';\nimport { collectInputUses } from './InputUses';\nimport { firstWord, unescapeIdentifier } from './LineText';\nimport { ModuleBody, moduleBodyExpected, modulePattern, parseModule } from './ModuleBody';\nimport { ParserContext } from './ParserContext';\nimport { PolicySyntax } from '../Syntax/Policies';\nimport { parsePolicy } from './PolicyParser';\nimport { PurposeSyntax } from '../Syntax/Purposes';\nimport { parsePurpose } from './PurposeParser';\nimport { SeedSyntax } from '../Syntax/Seeds';\nimport { parseSeed } from './SeedParser';\nimport { parseSystem } from './OperationParser';\nimport { EventVisibility } from '../Syntax/EventVisibility';\nimport { isBlankPublicEventOrigin } from '../Syntax/PublicEventInvariants';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { SystemSyntax } from '../Syntax/Operations';\nimport { EventSourceSyntax } from '../Syntax/EventSources';\nimport { parseEventSource } from './EventSourceParser';\nimport { parseExposure, parseInstance } from './CompositionParser';\nimport { ExposureSyntax, InstanceContributionsSyntax } from '../Syntax/CompositionSyntax';\nimport { parseExample } from './SpecificationExampleParser';\nimport { locationOf, SourceLine, startOf } from './SourceLine';\n\nconst domainPattern = pattern('^domain\\\\s+([A-Za-z_]\\\\w(?:\\\\.[A-Za-z_]\\\\w))$');\nconst importPattern = pattern(`^import\\\\s+([\\\\w.]+)(?:\\\\s+from\\\\s+\"(?<origin>${stringBodyPattern})\")?$`);\nconst conceptPattern = pattern('^concept\\\\s+(\\\\w+)\\\\s:\\\\s(\\\\w+)((?:\\\\s+@?\\\\w+))$');\nconst enumValuePattern = pattern('^@?[a-z_]\\\\w$');\nconst personaPattern = pattern('^persona\\\\s+([A-Za-z_]\\\\w)$');\nconst personaPolicyPattern = pattern('^policy\\\\s+([A-Za-z_]\\\\w)$');\nconst tabIndentPattern = /^[ ]\\t/;\nconst primitiveTypes = ['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime'];\n\n// Top-level, module and feature constructs the C# compiler knows that this compiler does not model. They\n// are skipped whole, not reported.\nconst opaqueTopLevel = new Set(['policy', 'authentication', 'seed', 'ui', 'theme', 'trigger', 'layout', 'behavior']);\n\n// What belongs in a module or feature body; at the top level of a whole document it gets a hint saying so.\nconst bodyKeywords = new Set(['slice', 'feature', 'description', 'documentation', 'authorize', 'screen', 'dialog', 'form', 'contribute', 'on', 'uses']);\n\n// Parses one document into its application syntax - the port of the C# ScreenplayParser. The placement says\n// where the document's top level belongs: the application, unless an import placed it in a module or feature.\nexport function parseApplication(context: ParserContext, lines: readonly SourceLine[], placement: PlayPlacement = documentPlacement): ApplicationSyntax {\n context.deferIdentityValidation = true;\n warnOnTabIndentation(context, lines);\n const moduleBody = placement.length === 1 ? new ModuleBody(placement[0]) : undefined;\n const featureBody = placement.length > 1 ? new FeatureBody(placement[placement.length - 1]) : undefined;\n const placedBody = moduleBody ?? featureBody;\n let identity: IdentitySyntax \| null = null;\n let domain: DomainSyntax \| null = null;\n const imports: ImportSyntax[] = [];\n const fileImports: FileImportSyntax[] = [];\n const concepts: ConceptSyntax[] = [];\n const types: TypeSyntax[] = [];\n const systems: SystemSyntax[] = [];\n const eventSources: EventSourceSyntax[] = [];\n const modules: ModuleSyntax[] = [];\n const personas: PersonaSyntax[] = [];\n const policies: PolicySyntax[] = [];\n const purposes: PurposeSyntax[] = [];\n const seeds: SeedSyntax[] = [];\n const examples: SpecificationExampleSyntax[] = [];\n const declaredTriggers: NonNullable<ApplicationSyntax['declaredTriggers']>[number][] = [];\n const exposures: ExposureSyntax[] = [];\n const instanceContributions: InstanceContributionsSyntax[] = [];\n let sawOtherConstruct = false;\n for (let line = context.reader.peekSignificant(); line !== undefined; line = context.reader.peekSignificant()) {\n context.reader.takeSignificant();\n const keyword = firstWord(line.content);\n if (keyword === 'runs') {\n misplacedReactionIdentity(context, line);\n continue;\n }\n if (keyword === 'domain') {\n context.authoredDeclarations = true;\n domain = parseDomain(context, line, domain, sawOtherConstruct);\n continue;\n }\n // The C# parser asks whether anything was declared before the domain, so an import it rejected,\n // a file import and an unknown construct do not count.\n sawOtherConstruct \|\|= declaresConstruct(keyword, line, placement);\n context.authoredDeclarations \|\|= keyword !== 'import' && declaresConstruct(keyword, line, placement);\n if (keyword === 'import' && isFileImport(line.content)) {\n // A top level import belongs to whatever the document's top level is - the application, or the\n // module or feature the document was itself imported into.\n if (placedBody !== undefined) {\n placedBody.tryParse(context, line);\n } else {\n parseFileImport(context, line, fileImports);\n }\n } else if (keyword === 'import') {\n const match = importPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidImportDeclaration, `Invalid import '${line.content}' - expected 'import <Qualified.Name> [from \"<origin>\"]'`, locationOf(line));\n } else {\n const origin = match.groups?.origin === undefined ? null : unescapeString(match.groups.origin);\n if (origin !== null && isBlankPublicEventOrigin(origin)) {\n context.error(DiagnosticCodes.InvalidImportDeclaration, 'An import origin must be a nonblank quoted string', locationOf(line));\n }\n imports.push({ kind: 'ImportSyntax', qualifiedName: match[1], origin, visibility: origin === null ? EventVisibility.Private : EventVisibility.Public, location: locationOf(line) });\n }\n } else if (keyword === 'example') {\n if (placedBody !== undefined) placedBody.tryParse(context, line);\n else examples.push(parseExample(context, line));\n } else if (keyword === 'eventsource') {\n eventSources.push(parseEventSource(context, line));\n } else if (keyword === 'system') {\n systems.push(parseSystem(context, line));\n } else if (keyword === 'concept') {\n concepts.push(parseConcept(context, line));\n } else if (keyword === 'type') {\n types.push(parseType(context, line));\n } else if (keyword === 'module' && !isDocumentPlacement(placement)) {\n parseModuleInPlacedFile(context, line, placement, moduleBody);\n } else if (keyword === 'module') {\n modules.push(parseModule(context, line));\n } else if (keyword === 'persona') {\n personas.push(parsePersona(context, line));\n } else if (keyword === 'seed') {\n seeds.push(parseSeed(context.valueContext, line));\n } else if (keyword === 'purpose' && placedBody !== undefined) {\n placedBody.tryParse(context, line);\n } else if (keyword === 'purpose') {\n purposes.push(parsePurpose(context, line));\n } else if (keyword === 'identity') {\n identity = parseIdentity(context, line, identity);\n } else if (keyword === 'policy') {\n // Legacy policies were opaque: enrich their structure without adding diagnostics.\n policies.push(parsePolicy(context, line));\n } else if (keyword === 'exposure') {\n exposures.push(parseExposure(context, line));\n } else if (keyword === 'instance') {\n instanceContributions.push(parseInstance(context, line));\n } else if (keyword === 'trigger') {\n const data = parseTriggerDeclaration(context, line);\n const name = /^trigger\\s+([A-Za-z_]\\w*)$/.exec(line.content)?.[1];\n if (name !== undefined) declaredTriggers.push({ name, data });\n } else if (opaqueTopLevel.has(keyword)) {\n if (keyword === 'behavior' \|\| keyword === 'layout') collectInputUses(context, line);\n else context.skipOpaqueBlock(line.indent);\n } else if (placedBody?.tryParse(context, line) !== true) {\n reportUnexpectedTopLevel(context, line, placement);\n }\n }\n if (moduleBody !== undefined) {\n modules.unshift(moduleBody.build(context.start, true));\n } else if (featureBody !== undefined) {\n modules.unshift(place(placement, featureBody.build(context.start, true), context.start));\n }\n const root: ApplicationSyntax = { kind: 'ApplicationSyntax', ...(identity === null ? {} : { identity }), sourceOptions: context.sourceOptions, domain, imports, concepts, types, systems, eventSources, examples, modules, personas, policies, purposes, seeds, declaredTriggers, fileImports, ...(exposures.length > 0 ? { exposures } : {}), ...(instanceContributions.length > 0 ? { instanceContributions } : {}), location: context.start };\n if (context.authoredDeclarations) recordAuthoredDocument(root);\n return root;\n}\n\nfunction declaresConstruct(keyword: string, line: SourceLine, placement: PlayPlacement): boolean {\n if (keyword === 'import') {\n return importPattern.test(line.content);\n }\n if (keyword === 'module') {\n return isDocumentPlacement(placement);\n }\n if (keyword === 'identity') return line.content === 'identity';\n return keyword === 'purpose' \|\| keyword === 'example' \|\| keyword === 'exposure' \|\| keyword === 'instance' \|\| keyword === 'eventsource' \|\| keyword === 'system' \|\| keyword === 'concept' \|\| keyword === 'type' \|\| keyword === 'persona' \|\| opaqueTopLevel.has(keyword);\n}\n\nfunction parseModuleInPlacedFile(context: ParserContext, line: SourceLine, placement: PlayPlacement, moduleBody: ModuleBody \| undefined): void {\n const name = modulePattern.exec(line.content)?.[1] ?? '';\n\n // Restating the module a file is placed in says nothing new, so its body simply joins the placement.\n if (moduleBody !== undefined && name === placement[0]) {\n context.authoredDeclarations = true;\n moduleBody.parseChildren(context, line);\n return;\n }\n context.error(DiagnosticCodes.ModuleInPlacedFile,\n `This file is imported into ${describePlacement(placement)}, so it cannot declare module '${name}' - import it at the top level of a document instead`, locationOf(line));\n context.skipBlock(line.indent);\n}\n\nfunction reportUnexpectedTopLevel(context: ParserContext, line: SourceLine, placement: PlayPlacement): void {\n const word = firstWord(line.content);\n if (!isDocumentPlacement(placement)) {\n const expected = placement.length === 1 ? moduleBodyExpected : featureBodyExpected;\n context.error(DiagnosticCodes.UnexpectedInPlacedFile,\n `Unexpected '${word}' in a file imported into ${describePlacement(placement)} - expected an application declaration or ${expected}`, locationOf(line));\n } else {\n const hint = bodyKeywords.has(word)\n ? ` - '${word}' belongs in a module or feature; wrap it in one, or import this file from inside one`\n : ' - expected domain, import, concept, type, policy, persona, authentication, identity, module, seed, trigger, behavior, ui profile, theme or layout';\n context.error(DiagnosticCodes.UnknownTopLevelConstruct, `Unexpected '${word}' at the top level${hint}`, locationOf(line));\n }\n context.skipBlock(line.indent);\n}\n\n// Wraps the feature a file is placed in in the features and module around it, each marked as a placement.\nfunction place(placement: PlayPlacement, innermost: FeatureSyntax, start: SourceLocation): ModuleSyntax {\n let feature = innermost;\n for (let index = placement.length - 2; index >= 1; index--) {\n feature = {\n kind: 'FeatureSyntax', name: placement[index], description: null, authorize: null,\n features: [feature], slices: [], fileImports: [], isPlacement: true, location: start,\n };\n }\n return {\n kind: 'ModuleSyntax', name: placement[0], description: null, authorize: null,\n features: [feature], fileImports: [], isPlacement: true, location: start,\n };\n}\n\nfunction parseDomain(context: ParserContext, line: SourceLine, existing: DomainSyntax \| null, sawOtherConstruct: boolean): DomainSyntax \| null {\n const match = domainPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidDomainDeclaration, `Invalid domain declaration '${line.content}' - expected 'domain <Qualified.Name>'`, locationOf(line));\n return existing;\n }\n if (existing !== null) {\n context.error(DiagnosticCodes.DuplicateDomain, 'The document already declares a domain - a document can have at most one', locationOf(line));\n return existing;\n }\n if (sawOtherConstruct) {\n context.error(DiagnosticCodes.DomainNotFirst, '\\'domain\\' must be declared before any other construct', locationOf(line));\n }\n return { kind: 'DomainSyntax', name: match[1], location: locationOf(line) };\n}\n\nfunction warnOnTabIndentation(context: ParserContext, lines: readonly SourceLine[]): void {\n let inFence = false;\n for (const line of lines) {\n if (line.raw.trimStart().startsWith('```')) {\n inFence = !inFence;\n continue;\n }\n if (!inFence && tabIndentPattern.test(line.raw)) {\n context.warning(DiagnosticCodes.TabIndentation, 'Screenplay is indentation based - use spaces, not tabs', startOf(line));\n }\n }\n}\n\nfunction parseConcept(context: ParserContext, line: SourceLine): ConceptSyntax {\n const match = conceptPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidConceptDeclaration, `Invalid concept declaration '${line.content}' - expected 'concept <Name> : <Type>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ConceptSyntax', name: firstWord(line.content), type: '', attributes: [], values: [], location: locationOf(line) };\n }\n const [, name, type, attributeText] = match;\n const attributes = parseComplianceMarkers(context, line, attributeText);\n if (type !== 'Enum' && !primitiveTypes.includes(type)) {\n context.error(DiagnosticCodes.UnknownPrimitiveType, `Unknown primitive type '${type}' - expected ${primitiveTypes.join(', ')} or Enum`, locationOf(line));\n }\n const values: string[] = [];\n let description: string \| null = null;\n const validations: ValidateSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (firstWord(child.content) === 'description' && (type !== 'Enum' \|\| child.content !== 'description' \|\| context.peekChild(child.indent)?.content.startsWith('```') === true)) {\n description = parseDescription(context, child, description, `Concept '${name}'`);\n } else if (isFileDirective(child)) {\n continue;\n } else if (firstWord(child.content) === 'validate') {\n if (type === 'Enum' && child.content === 'validate' && context.peekChild(child.indent) === undefined) {\n context.warning(DiagnosticCodes.ValidateReadAsEnumerationBlock,\n `'validate' in enumeration concept '${name}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,\n locationOf(child));\n }\n const parsed = parseValidate(context, child, 'concept');\n if (parsed !== undefined) validations.push(parsed);\n } else if (parseComplianceDirective(context, child, name, attributes)) {\n // Compliance directives are modeled by their original concept marker.\n } else if (type === 'Enum' && enumValuePattern.test(child.content)) {\n values.push(unescapeIdentifier(child.content));\n } else if (type === 'Enum') {\n context.error(DiagnosticCodes.InvalidEnumerationValue, `Invalid enum value '${child.content}' - expected an identifier`, locationOf(child));\n } else {\n context.error(DiagnosticCodes.UnknownConceptDirective, `Unexpected '${child.content}' in concept body - expected validate, 'file <path>' or '<attribute> reason \"<text>\"'`, locationOf(child));\n context.skipBlock(child.indent);\n }\n }\n return { kind: 'ConceptSyntax', name, type, attributes, values, validations, description, location: locationOf(line) };\n}\n\n// 'persona <Name>' with an optional description and the policies it holds - the port of the C# ParsePersona.\nfunction parsePersona(context: ParserContext, line: SourceLine): PersonaSyntax {\n const name = personaPattern.exec(line.content)?.[1] ?? '';\n if (name === '') {\n context.error(DiagnosticCodes.InvalidPersonaDeclaration, `Invalid persona declaration '${line.content}' - expected 'persona <Name>'`, locationOf(line));\n }\n let description: string \| null = null;\n const policies: string[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Persona '${name}'`);\n } else if (keyword === 'policy') {\n const policy = personaPolicyPattern.exec(child.content);\n if (policy === null) {\n context.error(DiagnosticCodes.InvalidPersonaPolicyReference, `Invalid policy reference '${child.content}' - expected 'policy <Name>'`, locationOf(child));\n } else {\n policies.push(policy[1]);\n }\n } else {\n context.error(DiagnosticCodes.UnknownPersonaDirective, `Unexpected '${keyword}' in persona body - expected description or policy`, locationOf(child));\n context.skipBlock(child.indent);\n }\n }\n return { kind: 'PersonaSyntax', name, description, policies, location: locationOf(line) };\n}\n"],"mappings":"6xDA8CA,MAAMA,EAAgBC,EAAQ,kDAAkD,EAC1EC,EAAgBD,EAAQ,iDAAiDE,EAAkB,MAAM,EACjGC,EAAiBH,EAAQ,qDAAqD,EAC9EI,EAAmBJ,EAAQ,gBAAgB,EAC3CK,EAAiBL,EAAQ,8BAA8B,EACvDM,EAAuBN,EAAQ,6BAA6B,EAC5DO,EAAmB,UACnBC,EAAiB,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,UAAU,EAIhFC,kBAAiB,IAAI,IAAI,CAAC,SAAU,iBAAkB,OAAQ,KAAM,QAAS,UAAW,SAAU,UAAU,CAAC,EAG7GC,kBAAe,IAAI,IAAI,CAAC,QAAS,UAAW,cAAe,gBAAiB,YAAa,SAAU,SAAU,OAAQ,aAAc,KAAM,MAAM,CAAC,EAItJ,SAAgB,iBAAiB,EAAwB,EAA8B,EAA2BC,EAAsC,CACpJ,EAAQ,wBAA0B,GAClC,qBAAqBC,EAASC,CAAK,EACnC,IAAMC,EAAaC,EAAU,SAAW,EAAI,IAAIC,EAAWD,EAAU,EAAE,EAAI,IAAA,GACrEE,EAAcF,EAAU,OAAS,EAAI,IAAIG,EAAYH,EAAUA,EAAU,OAAS,EAAE,EAAI,IAAA,GACxFI,EAAaL,GAAcG,EAC7BG,EAAkC,KAClCC,EAA8B,KAC5BC,EAA0B,CAAC,EAC3BC,EAAkC,CAAC,EACnCC,EAA4B,CAAC,EAC7BC,EAAsB,CAAC,EACvBC,EAA0B,CAAC,EAC3BC,EAAoC,CAAC,EACrCC,EAA0B,CAAC,EAC3BC,EAA4B,CAAC,EAC7BC,EAA2B,CAAC,EAC5BC,EAA4B,CAAC,EAC7BC,EAAsB,CAAC,EACvBC,EAAyC,CAAC,EAC1CC,EAAiF,CAAC,EAClFC,EAA8B,CAAC,EAC/BC,EAAuD,CAAC,EAC1DC,EAAoB,GACxB,IAAK,IAAIC,EAAO1B,EAAQ,OAAO,gBAAgB,EAAG0B,IAAS,IAAA,GAAW,EAAO1B,EAAQ,OAAO,gBAAgB,EAAG,CAC3GA,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2B,EAAUC,EAAUF,EAAK,OAAO,EACtC,GAAIC,IAAY,OACZE,EAA0B7B,EAAS0B,CAAI,OAG3C,GAAIC,IAAY,SACZ,EAAQ,qBAAuB,GAC/B,EAAS,YAAY3B,EAAS0B,EAAMjB,EAAQgB,CAAiB,OAOjE,GAFA,IAAsB,kBAAkBE,EAASD,EAAMvB,CAAS,EAChE,EAAQ,uBAAyBwB,IAAY,UAAY,kBAAkBA,EAASD,EAAMvB,CAAS,EAC/FwB,IAAY,UAAYG,EAAaJ,EAAK,OAAO,EAG7CnB,IAAe,IAAA,GAGfwB,EAAgB/B,EAAS0B,EAAMf,CAAW,EAF1CJ,EAAW,SAASP,EAAS0B,CAAI,OAIlC,GAAIC,IAAY,SAAU,CAC7B,IAAMK,EAAQ3C,EAAc,KAAKqC,EAAK,OAAO,EAC7C,GAAIM,IAAU,KACVhC,EAAQ,MAAMiC,EAAgB,yBAA0B,mBAAmBP,EAAK,QAAQ,0DAA2DQ,EAAWR,CAAI,CAAC,MAChK,CACH,IAAMS,EAASH,EAAM,QAAQ,SAAW,IAAA,GAAY,KAAOI,EAAeJ,EAAM,OAAO,MAAM,EACzFG,IAAW,MAAQE,EAAyBF,CAAM,GAClDnC,EAAQ,MAAMiC,EAAgB,yBAA0B,oDAAqDC,EAAWR,CAAI,CAAC,EAEjIhB,EAAQ,KAAK,CAAE,KAAM,eAAgB,cAAesB,EAAM,GAAI,SAAQ,WAAYG,IAAW,KAAA,UAAA,SAAyD,SAAUD,EAAWR,CAAI,CAAE,CAAC,CACtL,CACJ,MAAO,GAAIC,IAAY,UACfpB,IAAe,IAAA,GACdc,EAAS,KAAKiB,EAAatC,EAAS0B,CAAI,CAAC,EADhBnB,EAAW,SAASP,EAAS0B,CAAI,OAE5D,GAAIC,IAAY,cACnBZ,EAAa,KAAKwB,EAAiBvC,EAAS0B,CAAI,CAAC,OAC9C,GAAIC,IAAY,SACnBb,EAAQ,KAAK0B,EAAYxC,EAAS0B,CAAI,CAAC,OACpC,GAAIC,IAAY,UACnBf,EAAS,KAAK,aAAaZ,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,OACnBd,EAAM,KAAK4B,EAAUzC,EAAS0B,CAAI,CAAC,OAChC,GAAIC,IAAY,UAAY,CAACe,EAAoBvC,CAAS,EAC7D,wBAAwBH,EAAS0B,EAAMvB,EAAWD,CAAU,OACzD,GAAIyB,IAAY,SACnBX,EAAQ,KAAK2B,EAAY3C,EAAS0B,CAAI,CAAC,OACpC,GAAIC,IAAY,UACnBV,EAAS,KAAK,aAAajB,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,OACnBP,EAAM,KAAKwB,EAAU5C,EAAQ,aAAc0B,CAAI,CAAC,OAC7C,GAAIC,IAAY,WAAapB,IAAe,IAAA,GAC/CA,EAAW,SAASP,EAAS0B,CAAI,OAC9B,GAAIC,IAAY,UACnBR,EAAS,KAAK0B,EAAa7C,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,WACnB,EAAWmB,EAAc9C,EAAS0B,EAAMlB,CAAQ,OAC7C,GAAImB,IAAY,SAEnBT,EAAS,KAAK6B,EAAY/C,EAAS0B,CAAI,CAAC,OACrC,GAAIC,IAAY,WACnBJ,EAAU,KAAKyB,EAAchD,EAAS0B,CAAI,CAAC,OACxC,GAAIC,IAAY,WACnBH,EAAsB,KAAKyB,EAAcjD,EAAS0B,CAAI,CAAC,OACpD,GAAIC,IAAY,UAAW,CAC9B,IAAMuB,EAAOC,EAAwBnD,EAAS0B,CAAI,EAC5C0B,EAAO,6BAA6B,KAAK1B,EAAK,OAAO,CAAC,GAAG,GAC3D0B,IAAS,IAAA,IAAW9B,EAAiB,KAAK,CAAE,OAAM,MAAK,CAAC,CAChE,MAAWzB,EAAe,IAAI8B,CAAO,EAC7BA,IAAY,YAAcA,IAAY,SAAU0B,EAAiBrD,EAAS0B,CAAI,EAC7E1B,EAAQ,gBAAgB0B,EAAK,MAAM,EACjCnB,GAAY,SAASP,EAAS0B,CAAI,IAAM,IAC/C,yBAAyB1B,EAAS0B,EAAMvB,CAAS,CAEzD,CACID,IAAe,IAAA,GAERG,IAAgB,IAAA,IACvBW,EAAQ,QAAQ,MAAMb,EAAWE,EAAY,MAAML,EAAQ,MAAO,EAAI,EAAGA,EAAQ,KAAK,CAAC,EAFvFgB,EAAQ,QAAQd,EAAW,MAAMF,EAAQ,MAAO,EAAI,CAAC,EAIzD,IAAMsD,EAA0B,CAAE,KAAM,oBAAqB,GAAI9C,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,cAAeR,EAAQ,cAAe,SAAQ,UAAS,WAAU,QAAO,UAAS,eAAc,WAAU,UAAS,WAAU,WAAU,WAAU,QAAO,mBAAkB,cAAa,GAAIuB,EAAU,OAAS,EAAI,CAAE,WAAU,EAAI,CAAC,EAAI,GAAIC,EAAsB,OAAS,EAAI,CAAE,uBAAsB,EAAI,CAAC,EAAI,SAAUxB,EAAQ,KAAM,EAE/a,OADIA,EAAQ,sBAAsBuD,EAAuBD,CAAI,EACtDA,CACX,CAEA,SAAS,kBAAkB,EAAiB,EAAkB,EAAmC,CAQ7F,OAPI3B,IAAY,SACLtC,EAAc,KAAKqC,EAAK,OAAO,EAEtCC,IAAY,SACLe,EAAoBvC,CAAS,EAEpCwB,IAAY,WAAmBD,EAAK,UAAY,WAC7CC,IAAY,WAAaA,IAAY,WAAaA,IAAY,YAAcA,IAAY,YAAcA,IAAY,eAAiBA,IAAY,UAAYA,IAAY,WAAaA,IAAY,QAAUA,IAAY,WAAa9B,EAAe,IAAI8B,CAAO,CACxQ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAA0B,EAA0C,CAC3I,IAAMyB,EAAOI,EAAc,KAAK9B,EAAK,OAAO,CAAC,GAAG,IAAM,GAGlDxB,IAAe,IAAA,IAAakD,IAASjD,EAAU,IAC/C,EAAQ,qBAAuB,GAC/BD,EAAW,cAAcF,EAAS0B,CAAI,IAG1C1B,EAAQ,MAAMiC,EAAgB,mBAC1B,8BAA8BwB,EAAkBtD,CAAS,EAAE,iCAAiCiD,EAAK,sDAAuDlB,EAAWR,CAAI,CAAC,EAC5K1B,EAAQ,UAAU0B,EAAK,MAAM,EACjC,CAEA,SAAS,yBAAyB,EAAwB,EAAkB,EAAgC,CACxG,IAAMgC,EAAO9B,EAAUF,EAAK,OAAO,EACnC,GAAKgB,EAAoBvC,CAAS,EAI3B,CACH,IAAMwD,EAAO7D,EAAa,IAAI4D,CAAI,EAC5B,OAAOA,EAAK,uFACZ,qJACN1D,EAAQ,MAAMiC,EAAgB,yBAA0B,eAAeyB,EAAK,oBAAoBC,IAAQzB,EAAWR,CAAI,CAAC,CAC5H,KATqC,CACjC,IAAMkC,EAAWzD,EAAU,SAAW,EAAI0D,EAAqBC,EAC/D9D,EAAQ,MAAMiC,EAAgB,uBAC1B,eAAeyB,EAAK,4BAA4BD,EAAkBtD,CAAS,EAAE,4CAA4CyD,IAAY1B,EAAWR,CAAI,CAAC,CAC7J,CAMA1B,EAAQ,UAAU0B,EAAK,MAAM,CACjC,CAGA,SAAS,MAAM,EAA0B,EAA0B,EAAqC,CACpG,IAAIqC,EAAUC,EACd,IAAK,IAAIC,EAAQ9D,EAAU,OAAS,EAAG8D,GAAS,EAAG,IAC/C,EAAU,CACN,KAAM,gBAAiB,KAAM9D,EAAU8D,GAAQ,YAAa,KAAM,UAAW,KAC7E,SAAU,CAACF,CAAO,EAAG,OAAQ,CAAC,EAAG,YAAa,CAAC,EAAG,YAAa,GAAM,SAAUG,CACnF,EAEJ,MAAO,CACH,KAAM,eAAgB,KAAM/D,EAAU,GAAI,YAAa,KAAM,UAAW,KACxE,SAAU,CAAC4D,CAAO,EAAG,YAAa,CAAC,EAAG,YAAa,GAAM,SAAUG,CACvE,CACJ,CAEA,SAAS,YAAY,EAAwB,EAAkB,EAA+B,EAAiD,CAC3I,IAAMlC,EAAQ7C,EAAc,KAAKuC,EAAK,OAAO,EAY7C,OAXIM,IAAU,MACVhC,EAAQ,MAAMiC,EAAgB,yBAA0B,+BAA+BP,EAAK,QAAQ,wCAAyCQ,EAAWR,CAAI,CAAC,EACtJyC,GAEPA,IAAa,MAIb1C,GACAzB,EAAQ,MAAMiC,EAAgB,eAAgB,uDAA0DC,EAAWR,CAAI,CAAC,EAErH,CAAE,KAAM,eAAgB,KAAMM,EAAM,GAAI,SAAUE,EAAWR,CAAI,CAAE,IANtE1B,EAAQ,MAAMiC,EAAgB,gBAAiB,2EAA4EC,EAAWR,CAAI,CAAC,EACpIyC,EAMf,CAEA,SAAS,qBAAqB,EAAwB,EAAoC,CACtF,IAAIC,EAAU,GACd,IAAK,IAAM1C,KAAQzB,EACXyB,EAAK,IAAI,UAAU,CAAC,CAAC,WAAW,KAAK,EACrC,EAAU,CAAC0C,EAGX,CAACA,GAAWzE,EAAiB,KAAK+B,EAAK,GAAG,GAC1C1B,EAAQ,QAAQiC,EAAgB,eAAgB,yDAA0DoC,EAAQ3C,CAAI,CAAC,CAGnI,CAEA,SAAS,aAAa,EAAwB,EAAiC,CAC3E,IAAMM,EAAQzC,EAAe,KAAKmC,EAAK,OAAO,EAC9C,GAAIM,IAAU,KAGV,OAFAhC,EAAQ,MAAMiC,EAAgB,0BAA2B,gCAAgCP,EAAK,QAAQ,wCAAyCQ,EAAWR,CAAI,CAAC,EAC/J1B,EAAQ,UAAU0B,EAAK,MAAM,EACtB,CAAE,KAAM,gBAAiB,KAAME,EAAUF,EAAK,OAAO,EAAG,KAAM,GAAI,WAAY,CAAC,EAAG,OAAQ,CAAC,EAAG,SAAUQ,EAAWR,CAAI,CAAE,EAEpI,GAAM,EAAG0B,EAAMkB,EAAMC,GAAiBvC,EAChCwC,EAAaC,EAAuBzE,EAAS0B,EAAM6C,CAAa,EAClED,IAAS,QAAU,CAAC1E,EAAe,SAAS0E,CAAI,GAChDtE,EAAQ,MAAMiC,EAAgB,qBAAsB,2BAA2BqC,EAAK,eAAe1E,EAAe,KAAK,IAAI,EAAE,UAAWsC,EAAWR,CAAI,CAAC,EAE5J,IAAMgD,EAAmB,CAAC,EACtBC,EAA6B,KAC3BC,EAAgC,CAAC,EACvC,IAAK,IAAIC,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAGmD,IAAU,IAAA,GAAW,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAEvG,GADA1B,EAAQ,OAAO,gBAAgB,EAC3B4B,EAAUiD,EAAM,OAAO,IAAM,gBAAkBP,IAAS,QAAUO,EAAM,UAAY,eAAiB7E,EAAQ,UAAU6E,EAAM,MAAM,CAAC,EAAE,QAAQ,WAAW,KAAK,IAAM,IACpK,EAAcC,EAAiB9E,EAAS6E,EAAOF,EAAa,YAAYvB,EAAK,EAAE,OAC5E,GAAI2B,EAAgBF,CAAK,EAC5B,cACG,GAAIjD,EAAUiD,EAAM,OAAO,IAAM,WAAY,CAC5CP,IAAS,QAAUO,EAAM,UAAY,YAAc7E,EAAQ,UAAU6E,EAAM,MAAM,IAAM,IAAA,IACvF7E,EAAQ,QAAQiC,EAAgB,+BAC5B,sCAAsCmB,EAAK,oGAC3ClB,EAAW2C,CAAK,CAAC,EAEzB,IAAMG,EAASC,EAAcjF,EAAS6E,EAAO,SAAS,EAClDG,IAAW,IAAA,IAAWJ,EAAY,KAAKI,CAAM,CACrD,MAAWE,EAAyBlF,EAAS6E,EAAOzB,EAAMoB,CAAU,IAEzDF,IAAS,QAAU9E,EAAiB,KAAKqF,EAAM,OAAO,EAC7DH,EAAO,KAAKS,EAAmBN,EAAM,OAAO,CAAC,EACtCP,IAAS,OAChBtE,EAAQ,MAAMiC,EAAgB,wBAAyB,uBAAuB4C,EAAM,QAAQ,4BAA6B3C,EAAW2C,CAAK,CAAC,GAE1I7E,EAAQ,MAAMiC,EAAgB,wBAAyB,eAAe4C,EAAM,QAAQ,uFAAwF3C,EAAW2C,CAAK,CAAC,EAC7L7E,EAAQ,UAAU6E,EAAM,MAAM,IAGtC,MAAO,CAAE,KAAM,gBAAiB,OAAM,OAAM,aAAY,SAAQ,cAAa,cAAa,SAAU3C,EAAWR,CAAI,CAAE,CACzH,CAGA,SAAS,aAAa,EAAwB,EAAiC,CAC3E,IAAM0B,EAAO3D,EAAe,KAAKiC,EAAK,OAAO,CAAC,GAAG,IAAM,GACnD0B,IAAS,IACTpD,EAAQ,MAAMiC,EAAgB,0BAA2B,gCAAgCP,EAAK,QAAQ,+BAAgCQ,EAAWR,CAAI,CAAC,EAE1J,IAAIiD,EAA6B,KAC3BzD,EAAqB,CAAC,EAC5B,IAAK,IAAI2D,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAGmD,IAAU,IAAA,GAAW,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAG,CAC1G1B,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2B,EAAUC,EAAUiD,EAAM,OAAO,EACvC,GAAIlD,IAAY,cACZ,EAAcmD,EAAiB9E,EAAS6E,EAAOF,EAAa,YAAYvB,EAAK,EAAE,OAC5E,GAAIzB,IAAY,SAAU,CAC7B,IAAMyD,EAAS1F,EAAqB,KAAKmF,EAAM,OAAO,EAClDO,IAAW,KACXpF,EAAQ,MAAMiC,EAAgB,8BAA+B,6BAA6B4C,EAAM,QAAQ,8BAA+B3C,EAAW2C,CAAK,CAAC,EAExJ3D,EAAS,KAAKkE,EAAO,EAAE,CAE/B,MACIpF,EAAQ,MAAMiC,EAAgB,wBAAyB,eAAeN,EAAQ,oDAAqDO,EAAW2C,CAAK,CAAC,EACpJ7E,EAAQ,UAAU6E,EAAM,MAAM,CAEtC,CACA,MAAO,CAAE,KAAM,gBAAiB,OAAM,cAAa,WAAU,SAAU3C,EAAWR,CAAI,CAAE,CAC5F"}
1	+ {"version":3,"file":"ScreenplayParser.js","names":["domainPattern","pattern","importPattern","stringBodyPattern","conceptPattern","enumValuePattern","personaPattern","personaPolicyPattern","tabIndentPattern","primitiveTypes","opaqueTopLevel","bodyKeywords","documentPlacement","context","lines","moduleBody","placement","ModuleBody","featureBody","FeatureBody","placedBody","identity","domain","imports","fileImports","concepts","types","systems","eventSources","modules","personas","policies","purposes","seeds","examples","declaredTriggers","exposures","instanceContributions","sawOtherConstruct","line","keyword","firstWord","misplacedReactionIdentity","isFileImport","parseFileImport","match","DiagnosticCodes","locationOf","origin","unescapeString","isBlankPublicEventOrigin","parseExample","parseEventSource","parseSystem","parseType","isDocumentPlacement","parseModule","parseSeed","parsePurpose","parseIdentity","parsePolicy","parseExposure","parseInstance","data","parseTriggerDeclaration","name","collectInputUses","root","recordAuthoredDocument","modulePattern","describePlacement","word","hint","expected","moduleBodyExpected","featureBodyExpected","feature","innermost","index","start","existing","inFence","startOf","type","attributeText","attributes","parseComplianceMarkers","values","description","validations","child","parseDescription","isFileDirective","parsed","parseValidate","parseComplianceDirective","unescapeIdentifier","policy"],"sources":["../../../../../../Compiler/Parsing/ScreenplayParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { IdentitySyntax } from '../Syntax/IdentitySyntax';\nimport { parseIdentity } from './IdentityParser';\nimport { misplacedReactionIdentity } from './ReactionIdentityParser';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { recordAuthoredDocument } from '../Syntax/SourceOptions';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { describePlacement, documentPlacement, isDocumentPlacement, PlayPlacement } from '../Files/PlayPlacement';\nimport { PersonaSyntax } from '../Syntax/Authorization';\nimport { ConceptSyntax, DomainSyntax, ImportSyntax, TypeSyntax } from '../Syntax/Declarations';\nimport { SpecificationExampleSyntax } from '../Syntax/Specifications';\nimport { ApplicationSyntax, FeatureSyntax, FileImportSyntax, ModuleSyntax } from '../Syntax/Structure';\nimport { parseTriggerDeclaration } from './TriggerDataParser';\nimport { pattern } from '../Text/patterns';\nimport { parseComplianceDirective, parseComplianceMarkers } from './ConceptComplianceParser';\nimport { parseType } from './DeclarationParsers';\nimport { ValidateSyntax } from '../Syntax/Commands';\nimport { parseValidate } from './CommandParser';\nimport { parseDescription } from './DescriptionParser';\nimport { FeatureBody, featureBodyExpected } from './FeatureBody';\nimport { isFileImport, parseFileImport } from './FileImportParser';\nimport { isFileDirective } from './FileReferences';\nimport { collectInputUses } from './InputUses';\nimport { firstWord, unescapeIdentifier } from './LineText';\nimport { ModuleBody, moduleBodyExpected, modulePattern, parseModule } from './ModuleBody';\nimport { ParserContext } from './ParserContext';\nimport { PolicySyntax } from '../Syntax/Policies';\nimport { parsePolicy } from './PolicyParser';\nimport { PurposeSyntax } from '../Syntax/Purposes';\nimport { parsePurpose } from './PurposeParser';\nimport { SeedSyntax } from '../Syntax/Seeds';\nimport { parseSeed } from './SeedParser';\nimport { parseSystem } from './OperationParser';\nimport { EventVisibility } from '../Syntax/EventVisibility';\nimport { isBlankPublicEventOrigin } from '../Syntax/PublicEventInvariants';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { SystemSyntax } from '../Syntax/Operations';\nimport { EventSourceSyntax } from '../Syntax/EventSources';\nimport { parseEventSource } from './EventSourceParser';\nimport { parseExposure, parseInstance } from './CompositionParser';\nimport { ExposureSyntax, InstanceContributionsSyntax } from '../Syntax/CompositionSyntax';\nimport { parseExample } from './SpecificationExampleParser';\nimport { locationOf, SourceLine, startOf } from './SourceLine';\n\nconst domainPattern = pattern('^domain\\\\s+([A-Za-z_]\\\\w(?:\\\\.[A-Za-z_]\\\\w))$');\nconst importPattern = pattern(`^import\\\\s+([\\\\w.]+)(?:\\\\s+from\\\\s+\"(?<origin>${stringBodyPattern})\")?$`);\nconst conceptPattern = pattern('^concept\\\\s+(\\\\w+)\\\\s:\\\\s(\\\\w+)((?:\\\\s+@?\\\\w+))$');\nconst enumValuePattern = pattern('^@?[a-z_]\\\\w$');\nconst personaPattern = pattern('^persona\\\\s+([A-Za-z_]\\\\w)$');\nconst personaPolicyPattern = pattern('^policy\\\\s+([A-Za-z_]\\\\w)$');\nconst tabIndentPattern = /^[ ]\\t/;\nconst primitiveTypes = ['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime'];\n\n// Top-level, module and feature constructs the C# compiler knows that this compiler does not model. They\n// are skipped whole, not reported.\nconst opaqueTopLevel = new Set(['policy', 'authentication', 'seed', 'ui', 'theme', 'trigger', 'layout', 'behavior']);\n\n// What belongs in a module or feature body; at the top level of a whole document it gets a hint saying so.\nconst bodyKeywords = new Set(['slice', 'feature', 'description', 'documentation', 'authorize', 'screen', 'dialog', 'form', 'contribute', 'on', 'uses']);\n\n// Parses one document into its application syntax - the port of the C# ScreenplayParser. The placement says\n// where the document's top level belongs: the application, unless an import placed it in a module or feature.\nexport function parseApplication(context: ParserContext, lines: readonly SourceLine[], placement: PlayPlacement = documentPlacement): ApplicationSyntax {\n context.deferIdentityValidation = true;\n warnOnTabIndentation(context, lines);\n const moduleBody = placement.length === 1 ? new ModuleBody(placement[0]) : undefined;\n const featureBody = placement.length > 1 ? new FeatureBody(placement[placement.length - 1]) : undefined;\n const placedBody = moduleBody ?? featureBody;\n let identity: IdentitySyntax \| null = null;\n let domain: DomainSyntax \| null = null;\n const imports: ImportSyntax[] = [];\n const fileImports: FileImportSyntax[] = [];\n const concepts: ConceptSyntax[] = [];\n const types: TypeSyntax[] = [];\n const systems: SystemSyntax[] = [];\n const eventSources: EventSourceSyntax[] = [];\n const modules: ModuleSyntax[] = [];\n const personas: PersonaSyntax[] = [];\n const policies: PolicySyntax[] = [];\n const purposes: PurposeSyntax[] = [];\n const seeds: SeedSyntax[] = [];\n const examples: SpecificationExampleSyntax[] = [];\n const declaredTriggers: NonNullable<ApplicationSyntax['declaredTriggers']>[number][] = [];\n const exposures: ExposureSyntax[] = [];\n const instanceContributions: InstanceContributionsSyntax[] = [];\n let sawOtherConstruct = false;\n for (let line = context.reader.peekSignificant(); line !== undefined; line = context.reader.peekSignificant()) {\n context.reader.takeSignificant();\n const keyword = firstWord(line.content);\n if (keyword === 'runs') {\n misplacedReactionIdentity(context, line);\n continue;\n }\n if (keyword === 'domain') {\n context.authoredDeclarations = true;\n domain = parseDomain(context, line, domain, sawOtherConstruct);\n continue;\n }\n // The C# parser asks whether anything was declared before the domain, so an import it rejected,\n // a file import and an unknown construct do not count.\n sawOtherConstruct \|\|= declaresConstruct(keyword, line, placement);\n context.authoredDeclarations \|\|= keyword !== 'import' && declaresConstruct(keyword, line, placement);\n if (keyword === 'import' && isFileImport(line.content)) {\n // A top level import belongs to whatever the document's top level is - the application, or the\n // module or feature the document was itself imported into.\n if (placedBody !== undefined) {\n placedBody.tryParse(context, line);\n } else {\n parseFileImport(context, line, fileImports);\n }\n } else if (keyword === 'import') {\n const match = importPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidImportDeclaration, `Invalid import '${line.content}' - expected 'import <Qualified.Name> [from \"<origin>\"]'`, locationOf(line));\n } else {\n const origin = match.groups?.origin === undefined ? null : unescapeString(match.groups.origin);\n if (origin !== null && isBlankPublicEventOrigin(origin)) {\n context.error(DiagnosticCodes.InvalidImportDeclaration, 'An import origin must be a nonblank quoted string', locationOf(line));\n }\n imports.push({ kind: 'ImportSyntax', qualifiedName: match[1], origin, visibility: origin === null ? EventVisibility.Private : EventVisibility.Public, location: locationOf(line) });\n }\n } else if (keyword === 'example') {\n if (placedBody !== undefined) placedBody.tryParse(context, line);\n else examples.push(parseExample(context, line));\n } else if (keyword === 'eventsource') {\n eventSources.push(parseEventSource(context, line));\n } else if (keyword === 'system') {\n systems.push(parseSystem(context, line));\n } else if (keyword === 'concept') {\n concepts.push(parseConcept(context, line));\n } else if (keyword === 'type') {\n types.push(parseType(context, line));\n } else if (keyword === 'module' && !isDocumentPlacement(placement)) {\n parseModuleInPlacedFile(context, line, placement, moduleBody);\n } else if (keyword === 'module') {\n modules.push(parseModule(context, line));\n } else if (keyword === 'persona') {\n personas.push(parsePersona(context, line));\n } else if (keyword === 'seed') {\n seeds.push(parseSeed(context.valueContext, line));\n } else if (keyword === 'purpose' && placedBody !== undefined) {\n placedBody.tryParse(context, line);\n } else if (keyword === 'purpose') {\n purposes.push(parsePurpose(context, line));\n } else if (keyword === 'identity') {\n identity = parseIdentity(context, line, identity);\n } else if (keyword === 'policy') {\n // Legacy policies were opaque: enrich their structure without adding diagnostics.\n policies.push(parsePolicy(context, line));\n } else if (keyword === 'exposure') {\n exposures.push(parseExposure(context, line));\n } else if (keyword === 'instance') {\n instanceContributions.push(parseInstance(context, line));\n } else if (keyword === 'trigger') {\n const data = parseTriggerDeclaration(context, line);\n const name = /^trigger\\s+([A-Za-z_]\\w*)$/.exec(line.content)?.[1];\n if (name !== undefined) declaredTriggers.push({ name, data });\n } else if (opaqueTopLevel.has(keyword)) {\n if (keyword === 'behavior' \|\| keyword === 'layout') collectInputUses(context, line);\n else context.skipOpaqueBlock(line.indent);\n } else if (placedBody?.tryParse(context, line) !== true) {\n reportUnexpectedTopLevel(context, line, placement);\n }\n }\n if (moduleBody !== undefined) {\n modules.unshift(moduleBody.build(context.start, true));\n } else if (featureBody !== undefined) {\n modules.unshift(place(placement, featureBody.build(context.start, true), context.start));\n }\n const root: ApplicationSyntax = { kind: 'ApplicationSyntax', ...(identity === null ? {} : { identity }), sourceOptions: context.sourceOptions, domain, imports, concepts, types, systems, eventSources, examples, modules, personas, policies, purposes, seeds, declaredTriggers, fileImports, ...(exposures.length > 0 ? { exposures } : {}), ...(instanceContributions.length > 0 ? { instanceContributions } : {}), location: context.start };\n if (context.authoredDeclarations) recordAuthoredDocument(root);\n return root;\n}\n\nfunction declaresConstruct(keyword: string, line: SourceLine, placement: PlayPlacement): boolean {\n if (keyword === 'import') {\n return importPattern.test(line.content);\n }\n if (keyword === 'module') {\n return isDocumentPlacement(placement);\n }\n if (keyword === 'identity') return line.content === 'identity';\n return keyword === 'purpose' \|\| keyword === 'example' \|\| keyword === 'exposure' \|\| keyword === 'instance' \|\| keyword === 'eventsource' \|\| keyword === 'system' \|\| keyword === 'concept' \|\| keyword === 'type' \|\| keyword === 'persona' \|\| opaqueTopLevel.has(keyword);\n}\n\nfunction parseModuleInPlacedFile(context: ParserContext, line: SourceLine, placement: PlayPlacement, moduleBody: ModuleBody \| undefined): void {\n const name = modulePattern.exec(line.content)?.[1] ?? '';\n\n // Restating the module a file is placed in says nothing new, so its body simply joins the placement.\n if (moduleBody !== undefined && name === placement[0]) {\n context.authoredDeclarations = true;\n moduleBody.parseChildren(context, line);\n return;\n }\n context.error(DiagnosticCodes.ModuleInPlacedFile,\n `This file is imported into ${describePlacement(placement)}, so it cannot declare module '${name}' - import it at the top level of a document instead`, locationOf(line));\n context.skipBlock(line.indent);\n}\n\nfunction reportUnexpectedTopLevel(context: ParserContext, line: SourceLine, placement: PlayPlacement): void {\n const word = firstWord(line.content);\n if (!isDocumentPlacement(placement)) {\n const expected = placement.length === 1 ? moduleBodyExpected : featureBodyExpected;\n context.error(DiagnosticCodes.UnexpectedInPlacedFile,\n `Unexpected '${word}' in a file imported into ${describePlacement(placement)} - expected an application declaration or ${expected}`, locationOf(line));\n } else {\n const hint = bodyKeywords.has(word)\n ? ` - '${word}' belongs in a module or feature; wrap it in one, or import this file from inside one`\n : ' - expected domain, import, concept, type, policy, persona, authentication, identity, module, seed, trigger, behavior, ui profile, theme or layout';\n context.error(DiagnosticCodes.UnknownTopLevelConstruct, `Unexpected '${word}' at the top level${hint}`, locationOf(line));\n }\n context.skipBlock(line.indent);\n}\n\n// Wraps the feature a file is placed in in the features and module around it, each marked as a placement.\nfunction place(placement: PlayPlacement, innermost: FeatureSyntax, start: SourceLocation): ModuleSyntax {\n let feature = innermost;\n for (let index = placement.length - 2; index >= 1; index--) {\n feature = {\n kind: 'FeatureSyntax', name: placement[index], description: null, authorize: null,\n features: [feature], slices: [], fileImports: [], isPlacement: true, location: start,\n };\n }\n return {\n kind: 'ModuleSyntax', name: placement[0], description: null, authorize: null,\n features: [feature], fileImports: [], isPlacement: true, location: start,\n };\n}\n\nfunction parseDomain(context: ParserContext, line: SourceLine, existing: DomainSyntax \| null, sawOtherConstruct: boolean): DomainSyntax \| null {\n const match = domainPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidDomainDeclaration, `Invalid domain declaration '${line.content}' - expected 'domain <Qualified.Name>'`, locationOf(line));\n return existing;\n }\n if (existing !== null) {\n context.error(DiagnosticCodes.DuplicateDomain, 'The document already declares a domain - a document can have at most one', locationOf(line));\n return existing;\n }\n if (sawOtherConstruct) {\n context.error(DiagnosticCodes.DomainNotFirst, '\\'domain\\' must be declared before any other construct', locationOf(line));\n }\n return { kind: 'DomainSyntax', name: match[1], location: locationOf(line) };\n}\n\nfunction warnOnTabIndentation(context: ParserContext, lines: readonly SourceLine[]): void {\n let inFence = false;\n for (const line of lines) {\n if (line.raw.trimStart().startsWith('```')) {\n inFence = !inFence;\n continue;\n }\n if (!inFence && tabIndentPattern.test(line.raw)) {\n context.warning(DiagnosticCodes.TabIndentation, 'Screenplay is indentation based - use spaces, not tabs', startOf(line));\n }\n }\n}\n\nfunction parseConcept(context: ParserContext, line: SourceLine): ConceptSyntax {\n const match = conceptPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidConceptDeclaration, `Invalid concept declaration '${line.content}' - expected 'concept <Name> : <Type>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ConceptSyntax', name: firstWord(line.content), type: '', attributes: [], values: [], location: locationOf(line) };\n }\n const [, name, type, attributeText] = match;\n const attributes = parseComplianceMarkers(context, line, name, attributeText);\n if (type !== 'Enum' && !primitiveTypes.includes(type)) {\n context.error(DiagnosticCodes.UnknownPrimitiveType, `Unknown primitive type '${type}' - expected ${primitiveTypes.join(', ')} or Enum`, locationOf(line));\n }\n const values: string[] = [];\n let description: string \| null = null;\n const validations: ValidateSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (firstWord(child.content) === 'description' && (type !== 'Enum' \|\| child.content !== 'description' \|\| context.peekChild(child.indent)?.content.startsWith('```') === true)) {\n description = parseDescription(context, child, description, `Concept '${name}'`);\n } else if (isFileDirective(child)) {\n continue;\n } else if (firstWord(child.content) === 'validate') {\n if (type === 'Enum' && child.content === 'validate' && context.peekChild(child.indent) === undefined) {\n context.warning(DiagnosticCodes.ValidateReadAsEnumerationBlock,\n `'validate' in enumeration concept '${name}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,\n locationOf(child));\n }\n const parsed = parseValidate(context, child, 'concept');\n if (parsed !== undefined) validations.push(parsed);\n } else if (parseComplianceDirective(context, child, name, attributes)) {\n // Compliance directives are modeled by their original concept marker.\n } else if (type === 'Enum' && enumValuePattern.test(child.content)) {\n values.push(unescapeIdentifier(child.content));\n } else if (type === 'Enum') {\n context.error(DiagnosticCodes.InvalidEnumerationValue, `Invalid enum value '${child.content}' - expected an identifier`, locationOf(child));\n } else {\n context.error(DiagnosticCodes.UnknownConceptDirective, `Unexpected '${child.content}' in concept body - expected validate, 'file <path>' or '<attribute> reason \"<text>\"'`, locationOf(child));\n context.skipBlock(child.indent);\n }\n }\n return { kind: 'ConceptSyntax', name, type, attributes, values, validations, description, location: locationOf(line) };\n}\n\n// 'persona <Name>' with an optional description and the policies it holds - the port of the C# ParsePersona.\nfunction parsePersona(context: ParserContext, line: SourceLine): PersonaSyntax {\n const name = personaPattern.exec(line.content)?.[1] ?? '';\n if (name === '') {\n context.error(DiagnosticCodes.InvalidPersonaDeclaration, `Invalid persona declaration '${line.content}' - expected 'persona <Name>'`, locationOf(line));\n }\n let description: string \| null = null;\n const policies: string[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Persona '${name}'`);\n } else if (keyword === 'policy') {\n const policy = personaPolicyPattern.exec(child.content);\n if (policy === null) {\n context.error(DiagnosticCodes.InvalidPersonaPolicyReference, `Invalid policy reference '${child.content}' - expected 'policy <Name>'`, locationOf(child));\n } else {\n policies.push(policy[1]);\n }\n } else {\n context.error(DiagnosticCodes.UnknownPersonaDirective, `Unexpected '${keyword}' in persona body - expected description or policy`, locationOf(child));\n context.skipBlock(child.indent);\n }\n }\n return { kind: 'PersonaSyntax', name, description, policies, location: locationOf(line) };\n}\n"],"mappings":"6xDA8CA,MAAMA,EAAgBC,EAAQ,kDAAkD,EAC1EC,EAAgBD,EAAQ,iDAAiDE,EAAkB,MAAM,EACjGC,EAAiBH,EAAQ,qDAAqD,EAC9EI,EAAmBJ,EAAQ,gBAAgB,EAC3CK,EAAiBL,EAAQ,8BAA8B,EACvDM,EAAuBN,EAAQ,6BAA6B,EAC5DO,EAAmB,UACnBC,EAAiB,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,UAAU,EAIhFC,kBAAiB,IAAI,IAAI,CAAC,SAAU,iBAAkB,OAAQ,KAAM,QAAS,UAAW,SAAU,UAAU,CAAC,EAG7GC,kBAAe,IAAI,IAAI,CAAC,QAAS,UAAW,cAAe,gBAAiB,YAAa,SAAU,SAAU,OAAQ,aAAc,KAAM,MAAM,CAAC,EAItJ,SAAgB,iBAAiB,EAAwB,EAA8B,EAA2BC,EAAsC,CACpJ,EAAQ,wBAA0B,GAClC,qBAAqBC,EAASC,CAAK,EACnC,IAAMC,EAAaC,EAAU,SAAW,EAAI,IAAIC,EAAWD,EAAU,EAAE,EAAI,IAAA,GACrEE,EAAcF,EAAU,OAAS,EAAI,IAAIG,EAAYH,EAAUA,EAAU,OAAS,EAAE,EAAI,IAAA,GACxFI,EAAaL,GAAcG,EAC7BG,EAAkC,KAClCC,EAA8B,KAC5BC,EAA0B,CAAC,EAC3BC,EAAkC,CAAC,EACnCC,EAA4B,CAAC,EAC7BC,EAAsB,CAAC,EACvBC,EAA0B,CAAC,EAC3BC,EAAoC,CAAC,EACrCC,EAA0B,CAAC,EAC3BC,EAA4B,CAAC,EAC7BC,EAA2B,CAAC,EAC5BC,EAA4B,CAAC,EAC7BC,EAAsB,CAAC,EACvBC,EAAyC,CAAC,EAC1CC,EAAiF,CAAC,EAClFC,EAA8B,CAAC,EAC/BC,EAAuD,CAAC,EAC1DC,EAAoB,GACxB,IAAK,IAAIC,EAAO1B,EAAQ,OAAO,gBAAgB,EAAG0B,IAAS,IAAA,GAAW,EAAO1B,EAAQ,OAAO,gBAAgB,EAAG,CAC3GA,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2B,EAAUC,EAAUF,EAAK,OAAO,EACtC,GAAIC,IAAY,OACZE,EAA0B7B,EAAS0B,CAAI,OAG3C,GAAIC,IAAY,SACZ,EAAQ,qBAAuB,GAC/B,EAAS,YAAY3B,EAAS0B,EAAMjB,EAAQgB,CAAiB,OAOjE,GAFA,IAAsB,kBAAkBE,EAASD,EAAMvB,CAAS,EAChE,EAAQ,uBAAyBwB,IAAY,UAAY,kBAAkBA,EAASD,EAAMvB,CAAS,EAC/FwB,IAAY,UAAYG,EAAaJ,EAAK,OAAO,EAG7CnB,IAAe,IAAA,GAGfwB,EAAgB/B,EAAS0B,EAAMf,CAAW,EAF1CJ,EAAW,SAASP,EAAS0B,CAAI,OAIlC,GAAIC,IAAY,SAAU,CAC7B,IAAMK,EAAQ3C,EAAc,KAAKqC,EAAK,OAAO,EAC7C,GAAIM,IAAU,KACVhC,EAAQ,MAAMiC,EAAgB,yBAA0B,mBAAmBP,EAAK,QAAQ,0DAA2DQ,EAAWR,CAAI,CAAC,MAChK,CACH,IAAMS,EAASH,EAAM,QAAQ,SAAW,IAAA,GAAY,KAAOI,EAAeJ,EAAM,OAAO,MAAM,EACzFG,IAAW,MAAQE,EAAyBF,CAAM,GAClDnC,EAAQ,MAAMiC,EAAgB,yBAA0B,oDAAqDC,EAAWR,CAAI,CAAC,EAEjIhB,EAAQ,KAAK,CAAE,KAAM,eAAgB,cAAesB,EAAM,GAAI,SAAQ,WAAYG,IAAW,KAAA,UAAA,SAAyD,SAAUD,EAAWR,CAAI,CAAE,CAAC,CACtL,CACJ,MAAO,GAAIC,IAAY,UACfpB,IAAe,IAAA,GACdc,EAAS,KAAKiB,EAAatC,EAAS0B,CAAI,CAAC,EADhBnB,EAAW,SAASP,EAAS0B,CAAI,OAE5D,GAAIC,IAAY,cACnBZ,EAAa,KAAKwB,EAAiBvC,EAAS0B,CAAI,CAAC,OAC9C,GAAIC,IAAY,SACnBb,EAAQ,KAAK0B,EAAYxC,EAAS0B,CAAI,CAAC,OACpC,GAAIC,IAAY,UACnBf,EAAS,KAAK,aAAaZ,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,OACnBd,EAAM,KAAK4B,EAAUzC,EAAS0B,CAAI,CAAC,OAChC,GAAIC,IAAY,UAAY,CAACe,EAAoBvC,CAAS,EAC7D,wBAAwBH,EAAS0B,EAAMvB,EAAWD,CAAU,OACzD,GAAIyB,IAAY,SACnBX,EAAQ,KAAK2B,EAAY3C,EAAS0B,CAAI,CAAC,OACpC,GAAIC,IAAY,UACnBV,EAAS,KAAK,aAAajB,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,OACnBP,EAAM,KAAKwB,EAAU5C,EAAQ,aAAc0B,CAAI,CAAC,OAC7C,GAAIC,IAAY,WAAapB,IAAe,IAAA,GAC/CA,EAAW,SAASP,EAAS0B,CAAI,OAC9B,GAAIC,IAAY,UACnBR,EAAS,KAAK0B,EAAa7C,EAAS0B,CAAI,CAAC,OACtC,GAAIC,IAAY,WACnB,EAAWmB,EAAc9C,EAAS0B,EAAMlB,CAAQ,OAC7C,GAAImB,IAAY,SAEnBT,EAAS,KAAK6B,EAAY/C,EAAS0B,CAAI,CAAC,OACrC,GAAIC,IAAY,WACnBJ,EAAU,KAAKyB,EAAchD,EAAS0B,CAAI,CAAC,OACxC,GAAIC,IAAY,WACnBH,EAAsB,KAAKyB,EAAcjD,EAAS0B,CAAI,CAAC,OACpD,GAAIC,IAAY,UAAW,CAC9B,IAAMuB,EAAOC,EAAwBnD,EAAS0B,CAAI,EAC5C0B,EAAO,6BAA6B,KAAK1B,EAAK,OAAO,CAAC,GAAG,GAC3D0B,IAAS,IAAA,IAAW9B,EAAiB,KAAK,CAAE,OAAM,MAAK,CAAC,CAChE,MAAWzB,EAAe,IAAI8B,CAAO,EAC7BA,IAAY,YAAcA,IAAY,SAAU0B,EAAiBrD,EAAS0B,CAAI,EAC7E1B,EAAQ,gBAAgB0B,EAAK,MAAM,EACjCnB,GAAY,SAASP,EAAS0B,CAAI,IAAM,IAC/C,yBAAyB1B,EAAS0B,EAAMvB,CAAS,CAEzD,CACID,IAAe,IAAA,GAERG,IAAgB,IAAA,IACvBW,EAAQ,QAAQ,MAAMb,EAAWE,EAAY,MAAML,EAAQ,MAAO,EAAI,EAAGA,EAAQ,KAAK,CAAC,EAFvFgB,EAAQ,QAAQd,EAAW,MAAMF,EAAQ,MAAO,EAAI,CAAC,EAIzD,IAAMsD,EAA0B,CAAE,KAAM,oBAAqB,GAAI9C,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,cAAeR,EAAQ,cAAe,SAAQ,UAAS,WAAU,QAAO,UAAS,eAAc,WAAU,UAAS,WAAU,WAAU,WAAU,QAAO,mBAAkB,cAAa,GAAIuB,EAAU,OAAS,EAAI,CAAE,WAAU,EAAI,CAAC,EAAI,GAAIC,EAAsB,OAAS,EAAI,CAAE,uBAAsB,EAAI,CAAC,EAAI,SAAUxB,EAAQ,KAAM,EAE/a,OADIA,EAAQ,sBAAsBuD,EAAuBD,CAAI,EACtDA,CACX,CAEA,SAAS,kBAAkB,EAAiB,EAAkB,EAAmC,CAQ7F,OAPI3B,IAAY,SACLtC,EAAc,KAAKqC,EAAK,OAAO,EAEtCC,IAAY,SACLe,EAAoBvC,CAAS,EAEpCwB,IAAY,WAAmBD,EAAK,UAAY,WAC7CC,IAAY,WAAaA,IAAY,WAAaA,IAAY,YAAcA,IAAY,YAAcA,IAAY,eAAiBA,IAAY,UAAYA,IAAY,WAAaA,IAAY,QAAUA,IAAY,WAAa9B,EAAe,IAAI8B,CAAO,CACxQ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAA0B,EAA0C,CAC3I,IAAMyB,EAAOI,EAAc,KAAK9B,EAAK,OAAO,CAAC,GAAG,IAAM,GAGlDxB,IAAe,IAAA,IAAakD,IAASjD,EAAU,IAC/C,EAAQ,qBAAuB,GAC/BD,EAAW,cAAcF,EAAS0B,CAAI,IAG1C1B,EAAQ,MAAMiC,EAAgB,mBAC1B,8BAA8BwB,EAAkBtD,CAAS,EAAE,iCAAiCiD,EAAK,sDAAuDlB,EAAWR,CAAI,CAAC,EAC5K1B,EAAQ,UAAU0B,EAAK,MAAM,EACjC,CAEA,SAAS,yBAAyB,EAAwB,EAAkB,EAAgC,CACxG,IAAMgC,EAAO9B,EAAUF,EAAK,OAAO,EACnC,GAAKgB,EAAoBvC,CAAS,EAI3B,CACH,IAAMwD,EAAO7D,EAAa,IAAI4D,CAAI,EAC5B,OAAOA,EAAK,uFACZ,qJACN1D,EAAQ,MAAMiC,EAAgB,yBAA0B,eAAeyB,EAAK,oBAAoBC,IAAQzB,EAAWR,CAAI,CAAC,CAC5H,KATqC,CACjC,IAAMkC,EAAWzD,EAAU,SAAW,EAAI0D,EAAqBC,EAC/D9D,EAAQ,MAAMiC,EAAgB,uBAC1B,eAAeyB,EAAK,4BAA4BD,EAAkBtD,CAAS,EAAE,4CAA4CyD,IAAY1B,EAAWR,CAAI,CAAC,CAC7J,CAMA1B,EAAQ,UAAU0B,EAAK,MAAM,CACjC,CAGA,SAAS,MAAM,EAA0B,EAA0B,EAAqC,CACpG,IAAIqC,EAAUC,EACd,IAAK,IAAIC,EAAQ9D,EAAU,OAAS,EAAG8D,GAAS,EAAG,IAC/C,EAAU,CACN,KAAM,gBAAiB,KAAM9D,EAAU8D,GAAQ,YAAa,KAAM,UAAW,KAC7E,SAAU,CAACF,CAAO,EAAG,OAAQ,CAAC,EAAG,YAAa,CAAC,EAAG,YAAa,GAAM,SAAUG,CACnF,EAEJ,MAAO,CACH,KAAM,eAAgB,KAAM/D,EAAU,GAAI,YAAa,KAAM,UAAW,KACxE,SAAU,CAAC4D,CAAO,EAAG,YAAa,CAAC,EAAG,YAAa,GAAM,SAAUG,CACvE,CACJ,CAEA,SAAS,YAAY,EAAwB,EAAkB,EAA+B,EAAiD,CAC3I,IAAMlC,EAAQ7C,EAAc,KAAKuC,EAAK,OAAO,EAY7C,OAXIM,IAAU,MACVhC,EAAQ,MAAMiC,EAAgB,yBAA0B,+BAA+BP,EAAK,QAAQ,wCAAyCQ,EAAWR,CAAI,CAAC,EACtJyC,GAEPA,IAAa,MAIb1C,GACAzB,EAAQ,MAAMiC,EAAgB,eAAgB,uDAA0DC,EAAWR,CAAI,CAAC,EAErH,CAAE,KAAM,eAAgB,KAAMM,EAAM,GAAI,SAAUE,EAAWR,CAAI,CAAE,IANtE1B,EAAQ,MAAMiC,EAAgB,gBAAiB,2EAA4EC,EAAWR,CAAI,CAAC,EACpIyC,EAMf,CAEA,SAAS,qBAAqB,EAAwB,EAAoC,CACtF,IAAIC,EAAU,GACd,IAAK,IAAM1C,KAAQzB,EACXyB,EAAK,IAAI,UAAU,CAAC,CAAC,WAAW,KAAK,EACrC,EAAU,CAAC0C,EAGX,CAACA,GAAWzE,EAAiB,KAAK+B,EAAK,GAAG,GAC1C1B,EAAQ,QAAQiC,EAAgB,eAAgB,yDAA0DoC,EAAQ3C,CAAI,CAAC,CAGnI,CAEA,SAAS,aAAa,EAAwB,EAAiC,CAC3E,IAAMM,EAAQzC,EAAe,KAAKmC,EAAK,OAAO,EAC9C,GAAIM,IAAU,KAGV,OAFAhC,EAAQ,MAAMiC,EAAgB,0BAA2B,gCAAgCP,EAAK,QAAQ,wCAAyCQ,EAAWR,CAAI,CAAC,EAC/J1B,EAAQ,UAAU0B,EAAK,MAAM,EACtB,CAAE,KAAM,gBAAiB,KAAME,EAAUF,EAAK,OAAO,EAAG,KAAM,GAAI,WAAY,CAAC,EAAG,OAAQ,CAAC,EAAG,SAAUQ,EAAWR,CAAI,CAAE,EAEpI,GAAM,EAAG0B,EAAMkB,EAAMC,GAAiBvC,EAChCwC,EAAaC,EAAuBzE,EAAS0B,EAAM0B,EAAMmB,CAAa,EACxED,IAAS,QAAU,CAAC1E,EAAe,SAAS0E,CAAI,GAChDtE,EAAQ,MAAMiC,EAAgB,qBAAsB,2BAA2BqC,EAAK,eAAe1E,EAAe,KAAK,IAAI,EAAE,UAAWsC,EAAWR,CAAI,CAAC,EAE5J,IAAMgD,EAAmB,CAAC,EACtBC,EAA6B,KAC3BC,EAAgC,CAAC,EACvC,IAAK,IAAIC,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAGmD,IAAU,IAAA,GAAW,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAEvG,GADA1B,EAAQ,OAAO,gBAAgB,EAC3B4B,EAAUiD,EAAM,OAAO,IAAM,gBAAkBP,IAAS,QAAUO,EAAM,UAAY,eAAiB7E,EAAQ,UAAU6E,EAAM,MAAM,CAAC,EAAE,QAAQ,WAAW,KAAK,IAAM,IACpK,EAAcC,EAAiB9E,EAAS6E,EAAOF,EAAa,YAAYvB,EAAK,EAAE,OAC5E,GAAI2B,EAAgBF,CAAK,EAC5B,cACG,GAAIjD,EAAUiD,EAAM,OAAO,IAAM,WAAY,CAC5CP,IAAS,QAAUO,EAAM,UAAY,YAAc7E,EAAQ,UAAU6E,EAAM,MAAM,IAAM,IAAA,IACvF7E,EAAQ,QAAQiC,EAAgB,+BAC5B,sCAAsCmB,EAAK,oGAC3ClB,EAAW2C,CAAK,CAAC,EAEzB,IAAMG,EAASC,EAAcjF,EAAS6E,EAAO,SAAS,EAClDG,IAAW,IAAA,IAAWJ,EAAY,KAAKI,CAAM,CACrD,MAAWE,EAAyBlF,EAAS6E,EAAOzB,EAAMoB,CAAU,IAEzDF,IAAS,QAAU9E,EAAiB,KAAKqF,EAAM,OAAO,EAC7DH,EAAO,KAAKS,EAAmBN,EAAM,OAAO,CAAC,EACtCP,IAAS,OAChBtE,EAAQ,MAAMiC,EAAgB,wBAAyB,uBAAuB4C,EAAM,QAAQ,4BAA6B3C,EAAW2C,CAAK,CAAC,GAE1I7E,EAAQ,MAAMiC,EAAgB,wBAAyB,eAAe4C,EAAM,QAAQ,uFAAwF3C,EAAW2C,CAAK,CAAC,EAC7L7E,EAAQ,UAAU6E,EAAM,MAAM,IAGtC,MAAO,CAAE,KAAM,gBAAiB,OAAM,OAAM,aAAY,SAAQ,cAAa,cAAa,SAAU3C,EAAWR,CAAI,CAAE,CACzH,CAGA,SAAS,aAAa,EAAwB,EAAiC,CAC3E,IAAM0B,EAAO3D,EAAe,KAAKiC,EAAK,OAAO,CAAC,GAAG,IAAM,GACnD0B,IAAS,IACTpD,EAAQ,MAAMiC,EAAgB,0BAA2B,gCAAgCP,EAAK,QAAQ,+BAAgCQ,EAAWR,CAAI,CAAC,EAE1J,IAAIiD,EAA6B,KAC3BzD,EAAqB,CAAC,EAC5B,IAAK,IAAI2D,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAGmD,IAAU,IAAA,GAAW,EAAQ7E,EAAQ,UAAU0B,EAAK,MAAM,EAAG,CAC1G1B,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2B,EAAUC,EAAUiD,EAAM,OAAO,EACvC,GAAIlD,IAAY,cACZ,EAAcmD,EAAiB9E,EAAS6E,EAAOF,EAAa,YAAYvB,EAAK,EAAE,OAC5E,GAAIzB,IAAY,SAAU,CAC7B,IAAMyD,EAAS1F,EAAqB,KAAKmF,EAAM,OAAO,EAClDO,IAAW,KACXpF,EAAQ,MAAMiC,EAAgB,8BAA+B,6BAA6B4C,EAAM,QAAQ,8BAA+B3C,EAAW2C,CAAK,CAAC,EAExJ3D,EAAS,KAAKkE,EAAO,EAAE,CAE/B,MACIpF,EAAQ,MAAMiC,EAAgB,wBAAyB,eAAeN,EAAQ,oDAAqDO,EAAW2C,CAAK,CAAC,EACpJ7E,EAAQ,UAAU6E,EAAM,MAAM,CAEtC,CACA,MAAO,CAAE,KAAM,gBAAiB,OAAM,cAAa,WAAU,SAAU3C,EAAWR,CAAI,CAAE,CAC5F"}

package/dist/bundles/compiler/Parsing/SeedParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{nativePattern as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{parseModeledMappingSource as i}from"./ExpressionParser.js";import{locationOf as a}from"./SourceLine.js";const o=RegExp(`^for\\s+"(${n})"$`,`u`),s=t(`^[A-Z]\\w*$`),c=t(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`);function parseSeed(t,n){let l=[];if(t=t.valueContext,n.content!==`seed`)return t.error(e.InvalidSeedDeclaration,`Invalid seed declaration '${n.content}' - expected 'seed'`,a(n)),t.skipOpaqueBlock(n.indent),{kind:`SeedSyntax`,groups:l,location:a(n)};for(let u=t.peekChild(n.indent);u!==void 0;u=t.peekChild(n.indent)){t.reader.takeSignificant();let n=o.exec(u.content);if(n===null){t.error(e.InvalidSeedGroup,`Invalid seed group '${u.content}' - expected 'for "<event source id>"'`,a(u)),t.skipOpaqueBlock(u.indent);continue}let d=[];for(let n=t.peekChild(u.indent);n!==void 0;n=t.peekChild(u.indent)){if(t.reader.takeSignificant(),!s.test(n.content)){t.error(e.InvalidSeedEvent,`Invalid seed event '${n.content}' - expected an event type name`,a(n)),t.skipOpaqueBlock(n.indent);continue}let r=[];for(let o=t.peekChild(n.indent);o!==void 0;o=t.peekChild(n.indent)){t.reader.takeSignificant();let n=c.exec(o.content);n===null?t.error(e.InvalidSeedPropertyAssignment,`Invalid property assignment '${o.content}' - expected '<property> = <value>'`,a(o)):r.push({kind:`PropertyMappingSyntax`,property:n[1],source:i(n[2],a(o),t),location:a(o)})}d.push({kind:`SeedEventSyntax`,event:n.content,properties:r,location:a(n)})}l.push({kind:`SeedGroupSyntax`,eventSourceId:r(n[1]),events:d,location:a(u)})}return{kind:`SeedSyntax`,groups:l,location:a(n)}}export{parseSeed};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{nativePattern as r}from"../Text/patterns.js";import{locationOf as i}from"./SourceLine.js";import{parseModeledMappingSource as a}from"./ExpressionParser.js";const o=RegExp(`^for\\s+"(${t})"$`,`u`),s=r(`^[A-Z]\\w*$`),c=r(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`);function parseSeed(t,r){let l=[];if(t=t.valueContext,r.content!==`seed`)return t.error(e.InvalidSeedDeclaration,`Invalid seed declaration '${r.content}' - expected 'seed'`,i(r)),t.skipOpaqueBlock(r.indent),{kind:`SeedSyntax`,groups:l,location:i(r)};for(let u=t.peekChild(r.indent);u!==void 0;u=t.peekChild(r.indent)){t.reader.takeSignificant();let r=o.exec(u.content);if(r===null){t.error(e.InvalidSeedGroup,`Invalid seed group '${u.content}' - expected 'for "<event source id>"'`,i(u)),t.skipOpaqueBlock(u.indent);continue}let d=[];for(let n=t.peekChild(u.indent);n!==void 0;n=t.peekChild(u.indent)){if(t.reader.takeSignificant(),!s.test(n.content)){t.error(e.InvalidSeedEvent,`Invalid seed event '${n.content}' - expected an event type name`,i(n)),t.skipOpaqueBlock(n.indent);continue}let r=[];for(let o=t.peekChild(n.indent);o!==void 0;o=t.peekChild(n.indent)){t.reader.takeSignificant();let n=c.exec(o.content);n===null?t.error(e.InvalidSeedPropertyAssignment,`Invalid property assignment '${o.content}' - expected '<property> = <value>'`,i(o)):r.push({kind:`PropertyMappingSyntax`,property:n[1],source:a(n[2],i(o),t),location:i(o)})}d.push({kind:`SeedEventSyntax`,event:n.content,properties:r,location:i(n)})}l.push({kind:`SeedGroupSyntax`,eventSourceId:n(r[1]),events:d,location:i(u)})}return{kind:`SeedSyntax`,groups:l,location:i(r)}}export{parseSeed};
 //# sourceMappingURL=SeedParser.js.map

package/dist/bundles/compiler/Parsing/SliceParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{dependencySources as n}from"../Syntax/DependencySources.js";import{firstWord as r}from"./LineText.js";import{locationOf as i}from"./SourceLine.js";import{parseDescription as a}from"./DescriptionParser.js";import{parsePurposeReference as o}from"./PurposeParser.js";import{parseDocumentation as s}from"./DocumentationParser.js";import{misplacedReactionIdentity as c}from"./ReactionIdentityParser.js";import{isFileDirective as l}from"./FileReferences.js";import{parseOperation as u}from"./OperationParser.js";import{parseSpecification as d}from"./SpecificationParser.js";import{parseExample as f}from"./SpecificationExampleParser.js";import{sliceTypes as p}from"../Syntax/Structure.js";import{parseEvent as m,parseReadModel as h}from"./DeclarationParsers.js";import{parseCapture as g}from"./CaptureParser.js";import{captureReducer as _}from"./DependencySourceParser.js";import{parseCommand as v}from"./CommandParser.js";import{parseConstraint as y}from"./ConstraintParser.js";import{parseProjection as b}from"./ProjectionParser.js";import{parseQuery as x}from"./QueryParser.js";import{parseReaction as S}from"./ReactionParser.js";import{parseScreen as C}from"./ScreenParser.js";const w=t(`^slice\\s+([A-Za-z]\\w*)\\s+([A-Za-z_]\\w*)$`),T=/* @__PURE__ */ new Set([`reducer`]);function parseSlice(t,E){let D=w.exec(E.content),O=`StateChange`,k=``;D===null?t.error(e.InvalidSliceDeclaration,`Invalid slice declaration '${E.content}' - expected 'slice <Type> <Name>'`,i(E)):(k=D[2],p.includes(D[1])?O=D[1]:t.error(e.UnknownSliceType,`Unknown slice type '${D[1]}' - expected StateChange, StateView, Automation or Translate`,i(E)));let A=t.scope;t.scope=[...A,k];let j=null,M=!1,N=null,P=null,F=[],I=[],L=[],R=[],z=[],B=[],V=[],H=[],U=[],W=[],G=[],K=[],q=[],J=[];for(let n=t.peekChild(E.indent);n!==void 0;n=t.peekChild(E.indent)){if(t.reader.takeSignificant(),l(n))continue;let p=n.content.split(/[ \t]/,1)[0],w=p===`public`||p===`direction`?p:r(n.content);if(w===`description`)N=a(t,n,N,`Slice '${k}'`);else if(w===`documentation`)P=s(t,n,P,`Slice '${k}'`);else if(w===`purpose`)o(t,n,G);else if(w===`operation`)I.push(u(t,n).operation);else if(w===`direction`){let r=/^direction\s+(inbound|outbound)$/.exec(n.content);M||O!==`Translate`||r===null?t.error(e.InvalidSliceDeclaration,`Declare direction inbound or direction outbound once, inside a Translate slice only`,i(n)):j=r[1]===`inbound`?`Inbound`:`Outbound`,M=!0}else w===`event`||w===`public`?F.push(m(t,n)):w===`command`?L.push(v(t,n)):w===`query`?R.push(x(t,n)):w===`projection`?z.push(b(t,n)):w===`capture`?V.push(g(t,n)):w===`runs`?c(t,n):w===`reaction`?B.push(S(t,n)):w===`constraint`?H.push(y(t,n)):w===`example`?W.push(f(t,n)):w===`specification`?U.push(d(t,n)):w===`readmodel`?K.push(h(t,n)):w===`screen`?q.push(C(t,n)):T.has(w)?(J.push(_(t,n)),t.skipOpaqueBlock(n.indent)):(t.warning(e.UnknownSliceDirective,`Unknown construct '${w}' in slice '${k}'`,i(n)),t.skipBlock(n.indent))}t.scope=A;let Y={kind:`SliceSyntax`,type:O,name:k,direction:j,description:N,documentation:P,examples:W,purposes:G,events:F,operations:I,commands:L,queries:R,projections:z,captures:V,reactions:B,constraints:H,specifications:U,readModels:K,screens:q,location:i(E)};return n.set(Y,{reducers:J}),Y}export{parseSlice};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{locationOf as n}from"./SourceLine.js";import{dependencySources as r}from"../Syntax/DependencySources.js";import{firstWord as i}from"./LineText.js";import{parseDescription as a}from"./DescriptionParser.js";import{parsePurposeReference as o}from"./PurposeParser.js";import{parseDocumentation as s}from"./DocumentationParser.js";import{misplacedReactionIdentity as c}from"./ReactionIdentityParser.js";import{isFileDirective as l}from"./FileReferences.js";import{parseOperation as u}from"./OperationParser.js";import{parseSpecification as d}from"./SpecificationParser.js";import{parseExample as f}from"./SpecificationExampleParser.js";import{sliceTypes as p}from"../Syntax/Structure.js";import{parseEvent as m,parseReadModel as h}from"./DeclarationParsers.js";import{parseCapture as g}from"./CaptureParser.js";import{captureReducer as _}from"./DependencySourceParser.js";import{parseCommand as v}from"./CommandParser.js";import{parseConstraint as y}from"./ConstraintParser.js";import{parseProjection as b}from"./ProjectionParser.js";import{parseQuery as x}from"./QueryParser.js";import{parseReaction as S}from"./ReactionParser.js";import{parseScreen as C}from"./ScreenParser.js";const w=t(`^slice\\s+([A-Za-z]\\w*)\\s+([A-Za-z_]\\w*)$`),T=/* @__PURE__ */ new Set([`reducer`]);function parseSlice(t,E){let D=w.exec(E.content),O=`StateChange`,k=``;D===null?t.error(e.InvalidSliceDeclaration,`Invalid slice declaration '${E.content}' - expected 'slice <Type> <Name>'`,n(E)):(k=D[2],p.includes(D[1])?O=D[1]:t.error(e.UnknownSliceType,`Unknown slice type '${D[1]}' - expected StateChange, StateView, Automation or Translate`,n(E)));let A=t.scope;t.scope=[...A,k];let j=null,M=!1,N=null,P=null,F=[],I=[],L=[],R=[],z=[],B=[],V=[],H=[],U=[],W=[],G=[],K=[],q=[],J=[];for(let r=t.peekChild(E.indent);r!==void 0;r=t.peekChild(E.indent)){if(t.reader.takeSignificant(),l(r))continue;let p=r.content.split(/[ \t]/,1)[0],w=p===`public`||p===`direction`?p:i(r.content);if(w===`description`)N=a(t,r,N,`Slice '${k}'`);else if(w===`documentation`)P=s(t,r,P,`Slice '${k}'`);else if(w===`purpose`)o(t,r,G);else if(w===`operation`)I.push(u(t,r).operation);else if(w===`direction`){let i=/^direction\s+(inbound|outbound)$/.exec(r.content);M||O!==`Translate`||i===null?t.error(e.InvalidSliceDeclaration,`Declare direction inbound or direction outbound once, inside a Translate slice only`,n(r)):j=i[1]===`inbound`?`Inbound`:`Outbound`,M=!0}else w===`event`||w===`public`?F.push(m(t,r)):w===`command`?L.push(v(t,r)):w===`query`?R.push(x(t,r)):w===`projection`?z.push(b(t,r)):w===`capture`?V.push(g(t,r)):w===`runs`?c(t,r):w===`reaction`?B.push(S(t,r)):w===`constraint`?H.push(y(t,r)):w===`example`?W.push(f(t,r)):w===`specification`?U.push(d(t,r)):w===`readmodel`?K.push(h(t,r)):w===`screen`?q.push(C(t,r)):T.has(w)?(J.push(_(t,r)),t.skipOpaqueBlock(r.indent)):(t.warning(e.UnknownSliceDirective,`Unknown construct '${w}' in slice '${k}'`,n(r)),t.skipBlock(r.indent))}t.scope=A;let Y={kind:`SliceSyntax`,type:O,name:k,direction:j,description:N,documentation:P,examples:W,purposes:G,events:F,operations:I,commands:L,queries:R,projections:z,captures:V,reactions:B,constraints:H,specifications:U,readModels:K,screens:q,location:n(E)};return r.set(Y,{reducers:J}),Y}export{parseSlice};
 //# sourceMappingURL=SliceParser.js.map

package/dist/bundles/compiler/Parsing/SourceOptionsParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{commentStart as t}from"./SourceLineSplitter.js";import{firstWord as n}from"./LineText.js";import{locationOf as r}from"./SourceLine.js";import{LineReader as i}from"./LineReader.js";import{exactSourceOptions as a,legacySourceOptions as o}from"../Syntax/SourceOptions.js";import{ParserContext as s}from"./ParserContext.js";import{isClosingCodeFence as c}from"./ImplementationParser.js";function sourceContext(l,u,d,f=!1){let p=[],m=[],h=o,g=!1,_=!1,v=!1,y=/* @__PURE__ */ new Map,b=new s(new i([]),u,d).languages;for(let i of l){let o=i;if(o.number===1&&o.raw.startsWith(``)){let e=o.raw.substring(1),n=e.length-e.trimStart().length,r=t(e.substring(n),f);o={...o,indent:n,contentOffset:1,content:(r<0?e.substring(n):e.substring(n,n+r)).trimEnd()}}if(v)c(o)&&(v=!1),p.push(o);else if(o.content.startsWith("```")&&(["```","```text","```markdown"].includes(o.content)||b.has(o.content.substring(3)))&&(v=!0),!v&&o.indent===0&&n(o.content)===`numbers`){let t=o.content===`numbers exact`?g?e.DuplicateNumericDirective:_?e.LateNumericDirective:void 0:e.InvalidNumericDirective;t===void 0?h=a:(m.push({severity:`error`,code:t,message:`Expected one 'numbers exact' preamble before domain, imports and declarations.`,location:r(o)}),h=Object.freeze({numericMode:`invalid`})),g=!0,p.push({...o,content:``})}else!v&&o.indent>0&&/^numbers(\s+(exact|legacy))?$/.test(o.content)&&y.set(o.number,{severity:`error`,code:e.InvalidNumericDirective,message:`Expected 'numbers exact' only as the document preamble, not inside a body.`,location:r(o)}),_||=o.content.trim().length>0,p.push(o)}let x=new s(new i(g?p:l),u,d);return x.sourceOptions=h,x.nestedNumericDirectives=y,m.forEach(e=>x.error(e.code,e.message,e.location)),x}export{sourceContext};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{locationOf as t}from"./SourceLine.js";import{commentStart as n}from"./SourceLineSplitter.js";import{firstWord as r}from"./LineText.js";import{LineReader as i}from"./LineReader.js";import{exactSourceOptions as a,legacySourceOptions as o}from"../Syntax/SourceOptions.js";import{ParserContext as s}from"./ParserContext.js";import{isClosingCodeFence as c}from"./ImplementationParser.js";function sourceContext(l,u,d,f=!1){let p=[],m=[],h=o,g=!1,_=!1,v=!1,y=/* @__PURE__ */ new Map,b=new s(new i([]),u,d).languages;for(let i of l){let o=i;if(o.number===1&&o.raw.startsWith(``)){let e=o.raw.substring(1),t=e.length-e.trimStart().length,r=n(e.substring(t),f);o={...o,indent:t,contentOffset:1,content:(r<0?e.substring(t):e.substring(t,t+r)).trimEnd()}}if(v)c(o)&&(v=!1),p.push(o);else if(o.content.startsWith("```")&&(["```","```text","```markdown"].includes(o.content)||b.has(o.content.substring(3)))&&(v=!0),!v&&o.indent===0&&r(o.content)===`numbers`){let n=o.content===`numbers exact`?g?e.DuplicateNumericDirective:_?e.LateNumericDirective:void 0:e.InvalidNumericDirective;n===void 0?h=a:(m.push({severity:`error`,code:n,message:`Expected one 'numbers exact' preamble before domain, imports and declarations.`,location:t(o)}),h=Object.freeze({numericMode:`invalid`})),g=!0,p.push({...o,content:``})}else!v&&o.indent>0&&/^numbers(\s+(exact|legacy))?$/.test(o.content)&&y.set(o.number,{severity:`error`,code:e.InvalidNumericDirective,message:`Expected 'numbers exact' only as the document preamble, not inside a body.`,location:t(o)}),_||=o.content.trim().length>0,p.push(o)}let x=new s(new i(g?p:l),u,d);return x.sourceOptions=h,x.nestedNumericDirectives=y,m.forEach(e=>x.error(e.code,e.message,e.location)),x}export{sourceContext};
 //# sourceMappingURL=SourceOptionsParser.js.map

package/dist/bundles/compiler/Parsing/SpecificationCaseParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{parseMappingSource as n}from"./ExpressionParser.js";import{locationOf as r}from"./SourceLine.js";import{parseProperty as i}from"./PropertyLineParser.js";import{parseConcrete as a}from"./SpecificationResponseParser.js";const o=new RegExp(t(`^case\\s+([A-Za-z_]\\w*)(?:\\s+(?<property>[\\w.]+)\\s*=(?!=|>)\\s*(?<value>.+))?$`).source,`du`),s=t(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),c=t(`^case\\.([a-z_]\\w*)$`);function containsCaseReference(e){return/\bcase\.[a-z_]\w*/.test(e.replace(/"(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'/g,``))}function parseSpecificationValue(t,r,i,a=!1){if(!t.startsWith(`case.`))return containsCaseReference(t)&&i.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,r),n(t,r,i,a);let o=c.exec(t);return o===null&&i.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position: 'case.<parameter>'.`,r),{kind:`CaseValueExpressionSyntax`,parameter:o?.[1]??t.substring(5),location:r}}function parseParameter(t,n){let a=n.content.indexOf(` `)+1,o=a>0?i(t,{...n,content:n.content.substring(a),indent:n.indent+a}):void 0;if(o===void 0||o.isGenerated||o.isIdentifier)return t.error(e.InvalidSpecificationParameter,`Expected 'parameter <name> <Type>', with optional collection and optional modifiers.`,r(n)),t.skipOpaqueBlock(n.indent),null;let s=t.peekChild(n.indent);return s!==void 0&&(t.error(e.InvalidSpecificationParameter,`A parameter has no body or default.`,r(s)),t.skipOpaqueBlock(n.indent)),{kind:`SpecificationParameterSyntax`,name:o.name,type:o.type,location:r(n)}}function parseCase(t,n){let i=o.exec(n.content);if(i===null)return t.error(e.InvalidSpecificationCase,`Expected 'case <Name>' with at most one inline parameter assignment.`,r(n)),t.skipOpaqueBlock(n.indent),null;let c=[],add=(o,s,l)=>{let u=r(l),d={...u,column:u.column+l.content.indexOf(s,l.content.indexOf(`=`)+1)};if(s.startsWith(`case.`)){t.error(e.InvalidSpecificationCaseValue,`A case assigns concrete values, not case references.`,d);return}let f=a(t,s,d,e.InvalidSpecificationCaseValue);f!==null&&c.push({kind:`PropertyMappingSyntax`,property:o,source:f,location:l===n?{...u,column:u.column+i.indices.groups.property[0]}:u})};i.groups?.property!==void 0&&add(i.groups.property,i.groups.value,n);for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent)){t.reader.takeSignificant();let n=s.exec(i.content);if(n===null){t.error(e.InvalidSpecificationCaseAssignment,`Expected '<parameter> = <concrete value>' in a case.`,r(i)),t.skipOpaqueBlock(i.indent);continue}add(n[1],n[2],i);let a=t.peekChild(i.indent);a!==void 0&&(t.error(e.InvalidSpecificationCaseValue,`A case value must fit on one line.`,r(a)),t.skipOpaqueBlock(i.indent))}return{kind:`SpecificationCaseSyntax`,name:i[1],values:c,location:r(n)}}function caseReferences(e){return Array.isArray(e)?e.flatMap(caseReferences):typeof e!=`object`||!e?[]:`kind`in e&&e.kind===`CaseValueExpressionSyntax`?[e]:Object.values(e).flatMap(caseReferences)}function validateTable(t,n){let r=t.parameters??[],i=t.cases??[];r.length===0!=(i.length===0)&&n.error(e.IncompleteSpecificationTable,`A specification table requires parameters and at least one case.`,t.location),r.forEach((t,i)=>{r.slice(0,i).some(e=>e.name===t.name)&&n.error(e.DuplicateSpecificationParameter,`Parameter '${t.name}' is declared more than once.`,t.location)}),i.forEach((t,a)=>{i.slice(0,a).some(e=>e.name===t.name)&&n.error(e.DuplicateSpecificationCase,`Case '${t.name}' is declared more than once.`,t.location);for(let i of t.values.filter(e=>!r.some(t=>t.name===e.property)))n.error(e.InvalidSpecificationCaseAssignment,`Case '${t.name}' assigns undeclared parameter '${i.property}'.`,i.location);for(let i of r.filter(e=>t.values.filter(t=>t.property===e.name).length!==1))n.error(e.InvalidSpecificationCaseAssignment,`Case '${t.name}' must assign parameter '${i.name}' exactly once.`,t.location)});let a=caseReferences(t);for(let t of a)(i.length===0||!r.some(e=>e.name===t.parameter))&&n.error(e.InvalidSpecificationCaseReference,`Case reference '${t.parameter}' requires a declared parameter in a specification table.`,t.location);for(let t of r.filter(e=>!a.some(t=>t.parameter===e.name)))n.warning(e.UnusedSpecificationParameter,`Parameter '${t.name}' is never referenced.`,t.location);for(let r of caseReferences(t.whenRedelivered))n.error(e.InvalidSpecificationCaseReference,`Case references are not permitted in redelivery locators.`,r.location)}function substituteCase(e,t,n=/* @__PURE__ */ new WeakMap){if(typeof e==`object`&&e&&n.has(e))return n.get(e);if(Array.isArray(e)){let r=e.map(e=>substituteCase(e,t,n));return n.set(e,r),r}if(typeof e!=`object`||!e||!(`kind`in e))return e;if(e.kind===`CaseValueExpressionSyntax`){let n=e.parameter;return t.values.find(e=>e.property===n)?.source??e}let r=Object.fromEntries(Object.entries(e).map(([e,r])=>[e,substituteCase(r,t,n)]));if(e.kind===`SpecificationErrorSyntax`&&`caseValue`in e&&e.caseValue!==void 0){let e=r.caseValue;r.name=e.kind===`LiteralExpressionSyntax`?e.value:null,delete r.caseValue}return n.set(e,r),r}export{caseReferences,containsCaseReference,parseCase,parseParameter,parseSpecificationValue,substituteCase,validateTable};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{locationOf as n}from"./SourceLine.js";import{parseMappingSource as r}from"./ExpressionParser.js";import{parseProperty as i}from"./PropertyLineParser.js";import{parseConcrete as a}from"./SpecificationResponseParser.js";const o=new RegExp(t(`^case\\s+([A-Za-z_]\\w*)(?:\\s+(?<property>[\\w.]+)\\s*=(?!=|>)\\s*(?<value>.+))?$`).source,`du`),s=t(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),c=t(`^case\\.([a-z_]\\w*)$`);function containsCaseReference(e){return/\bcase\.[a-z_]\w*/.test(e.replace(/"(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'/g,``))}function parseSpecificationValue(t,n,i,a=!1){if(!t.startsWith(`case.`))return containsCaseReference(t)&&i.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,n),r(t,n,i,a);let o=c.exec(t);return o===null&&i.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position: 'case.<parameter>'.`,n),{kind:`CaseValueExpressionSyntax`,parameter:o?.[1]??t.substring(5),location:n}}function parseParameter(t,r){let a=r.content.indexOf(` `)+1,o=a>0?i(t,{...r,content:r.content.substring(a),indent:r.indent+a}):void 0;if(o===void 0||o.isGenerated||o.isIdentifier)return t.error(e.InvalidSpecificationParameter,`Expected 'parameter <name> <Type>', with optional collection and optional modifiers.`,n(r)),t.skipOpaqueBlock(r.indent),null;let s=t.peekChild(r.indent);return s!==void 0&&(t.error(e.InvalidSpecificationParameter,`A parameter has no body or default.`,n(s)),t.skipOpaqueBlock(r.indent)),{kind:`SpecificationParameterSyntax`,name:o.name,type:o.type,location:n(r)}}function parseCase(t,r){let i=o.exec(r.content);if(i===null)return t.error(e.InvalidSpecificationCase,`Expected 'case <Name>' with at most one inline parameter assignment.`,n(r)),t.skipOpaqueBlock(r.indent),null;let c=[],add=(o,s,l)=>{let u=n(l),d={...u,column:u.column+l.content.indexOf(s,l.content.indexOf(`=`)+1)};if(s.startsWith(`case.`)){t.error(e.InvalidSpecificationCaseValue,`A case assigns concrete values, not case references.`,d);return}let f=a(t,s,d,e.InvalidSpecificationCaseValue);f!==null&&c.push({kind:`PropertyMappingSyntax`,property:o,source:f,location:l===r?{...u,column:u.column+i.indices.groups.property[0]}:u})};i.groups?.property!==void 0&&add(i.groups.property,i.groups.value,r);for(let i=t.peekChild(r.indent);i!==void 0;i=t.peekChild(r.indent)){t.reader.takeSignificant();let r=s.exec(i.content);if(r===null){t.error(e.InvalidSpecificationCaseAssignment,`Expected '<parameter> = <concrete value>' in a case.`,n(i)),t.skipOpaqueBlock(i.indent);continue}add(r[1],r[2],i);let a=t.peekChild(i.indent);a!==void 0&&(t.error(e.InvalidSpecificationCaseValue,`A case value must fit on one line.`,n(a)),t.skipOpaqueBlock(i.indent))}return{kind:`SpecificationCaseSyntax`,name:i[1],values:c,location:n(r)}}function caseReferences(e){return Array.isArray(e)?e.flatMap(caseReferences):typeof e!=`object`||!e?[]:`kind`in e&&e.kind===`CaseValueExpressionSyntax`?[e]:Object.values(e).flatMap(caseReferences)}function validateTable(t,n){let r=t.parameters??[],i=t.cases??[];r.length===0!=(i.length===0)&&n.error(e.IncompleteSpecificationTable,`A specification table requires parameters and at least one case.`,t.location),r.forEach((t,i)=>{r.slice(0,i).some(e=>e.name===t.name)&&n.error(e.DuplicateSpecificationParameter,`Parameter '${t.name}' is declared more than once.`,t.location)}),i.forEach((t,a)=>{i.slice(0,a).some(e=>e.name===t.name)&&n.error(e.DuplicateSpecificationCase,`Case '${t.name}' is declared more than once.`,t.location);for(let i of t.values.filter(e=>!r.some(t=>t.name===e.property)))n.error(e.InvalidSpecificationCaseAssignment,`Case '${t.name}' assigns undeclared parameter '${i.property}'.`,i.location);for(let i of r.filter(e=>t.values.filter(t=>t.property===e.name).length!==1))n.error(e.InvalidSpecificationCaseAssignment,`Case '${t.name}' must assign parameter '${i.name}' exactly once.`,t.location)});let a=caseReferences(t);for(let t of a)(i.length===0||!r.some(e=>e.name===t.parameter))&&n.error(e.InvalidSpecificationCaseReference,`Case reference '${t.parameter}' requires a declared parameter in a specification table.`,t.location);for(let t of r.filter(e=>!a.some(t=>t.parameter===e.name)))n.warning(e.UnusedSpecificationParameter,`Parameter '${t.name}' is never referenced.`,t.location);for(let r of caseReferences(t.whenRedelivered))n.error(e.InvalidSpecificationCaseReference,`Case references are not permitted in redelivery locators.`,r.location)}function substituteCase(e,t,n=/* @__PURE__ */ new WeakMap){if(typeof e==`object`&&e&&n.has(e))return n.get(e);if(Array.isArray(e)){let r=e.map(e=>substituteCase(e,t,n));return n.set(e,r),r}if(typeof e!=`object`||!e||!(`kind`in e))return e;if(e.kind===`CaseValueExpressionSyntax`){let n=e.parameter;return t.values.find(e=>e.property===n)?.source??e}let r=Object.fromEntries(Object.entries(e).map(([e,r])=>[e,substituteCase(r,t,n)]));if(e.kind===`SpecificationErrorSyntax`&&`caseValue`in e&&e.caseValue!==void 0){let e=r.caseValue;r.name=e.kind===`LiteralExpressionSyntax`?e.value:null,delete r.caseValue}return n.set(e,r),r}export{caseReferences,containsCaseReference,parseCase,parseParameter,parseSpecificationValue,substituteCase,validateTable};
 //# sourceMappingURL=SpecificationCaseParser.js.map

package/dist/bundles/compiler/Parsing/SpecificationExampleParser.js CHANGED Viewed

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{dotNetWhitespace as t,nativePattern as n}from"../Text/patterns.js";import{firstWord as r}from"./LineText.js";import{locationOf as i}from"./SourceLine.js";import{generatedFixturePattern as a,generatedFixturePrefix as o,parseConcrete as s,parseConcreteMapping as c}from"./SpecificationResponseParser.js";import{caseReferences as l,parseSpecificationValue as u}from"./SpecificationCaseParser.js";import{parseDescription as d}from"./DescriptionParser.js";import{parseSpecificationStream as f,rejectSpecificationRouteChildren as p,specificationStream as m}from"./SpecificationParser.js";const h=n(`^example\\s+([A-Z]\\w*)\\s*:\\s*([A-Z]\\w*(?:\\.\\w+)*)$`.replaceAll(`\\s`,t)),g=n(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`.replaceAll(`\\s`,t));function parseExample(t,n){let r=h.exec(n.content);if(r===null)return t.error(e.InvalidSpecificationExample,`Invalid example declaration '${n.content}' - expected 'example <Name> : <EventOrCommandOrReadModel>'`,i(n)),t.skipOpaqueBlock(n.indent),{kind:`SpecificationExampleSyntax`,name:``,type:``,values:[],generatedValues:[],for:null,description:null,location:i(n)};let a=parseFixtureBody(t,n,void 0,!0,r[1]);for(let n of l(a))t.error(e.InvalidSpecificationCaseReference,`Case references are not permitted in example bodies.`,n.location);return{kind:`SpecificationExampleSyntax`,name:r[1],type:r[2],...a,location:i(n)}}function addInlineValue(t,n,r,a){if(r?.groups?.property===void 0)return;let o=r.groups.property,c=r.groups.value,l=n.content.length-c.length,u=i(n),d=s(t,c,{...u,column:u.column+l},e.InvalidSpecificationValue);d!==null&&a.push({kind:`PropertyMappingSyntax`,property:o,source:d,location:{...u,column:u.column+n.content.lastIndexOf(o,n.content.indexOf(`=`))}})}function addFixtureValue(t,n,r,i=[]){[...n,...i].some(e=>e.property===r.property)?t.error(e.DuplicateSpecificationAssignment,`Property '${r.property}' is assigned more than once in this fixture - assign it only once, inline or indented`,r.location):n.push(r)}function parseFixtureBody(t,n,s,l=!1,h){let _=[],v=[],y=null,b=null,x,S;addInlineValue(t,n,s,_);for(let s=t.peekChild(n.indent);s!==void 0;s=t.peekChild(n.indent)){if(t.reader.takeSignificant(),h!==void 0&&r(s.content)===`description`){b=d(t,s,b,`Example '${h}'`);continue}if(l&&o.test(s.content)){let n=c(t,s,a,e.InvalidGeneratedFixture);n!==null&&(h===void 0?v.push(n):addFixtureValue(t,v,n,_));continue}let n=g.exec(s.content);if(h!==void 0&&n===null&&(r(s.content)===`stream`||s.content.startsWith(`no stream`))){let n=m.exec(s.content);x!==void 0||S!==void 0?(t.error(e.InvalidSpecificationStream,`An event occurrence declares at most one stream or no stream directive.`,i(s)),t.skipOpaqueBlock(s.indent)):s.content===`no stream`?(S={kind:`SpecificationNoStreamSyntax`,location:i(s)},p(t,s)):n===null?(t.error(e.InvalidSpecificationStream,`Expected 'stream Source.Stream', or 'no stream' on an event example.`,i(s)),t.skipOpaqueBlock(s.indent)):x=f(t,s,n)}else if(n!==null)addFixtureValue(t,_,{kind:`PropertyMappingSyntax`,property:n[1],source:u(n[2],i(s),t),location:i(s)},v);else if(r(s.content)===`for`){let n=s.content.substring(3).trim();n.length===0?t.error(e.InvalidSpecificationEventSource,`Invalid event-source assertion 'for' - expected 'for <value>'`,i(s)):y===null?y=u(n,i(s),t):t.error(e.DuplicateSpecificationEventSource,`A specification step can declare its event-source assertion only once`,i(s))}else t.error(e.InvalidSpecificationValue,`Invalid property mapping '${s.content}' - expected '<property> = <value>'`,i(s))}return{values:_,for:y,generatedValues:v,description:b,...x===void 0?{}:{stream:x},...S===void 0?{}:{noStream:S}}}export{addFixtureValue,addInlineValue,parseExample,parseFixtureBody};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{dotNetWhitespace as t,nativePattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{firstWord as i}from"./LineText.js";import{generatedFixturePattern as a,generatedFixturePrefix as o,parseConcrete as s,parseConcreteMapping as c}from"./SpecificationResponseParser.js";import{caseReferences as l,parseSpecificationValue as u}from"./SpecificationCaseParser.js";import{parseDescription as d}from"./DescriptionParser.js";import{parseSpecificationStream as f,rejectSpecificationRouteChildren as p,specificationStream as m}from"./SpecificationParser.js";const h=n(`^example\\s+([A-Z]\\w*)\\s*:\\s*([A-Z]\\w*(?:\\.\\w+)*)$`.replaceAll(`\\s`,t)),g=n(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`.replaceAll(`\\s`,t));function parseExample(t,n){let i=h.exec(n.content);if(i===null)return t.error(e.InvalidSpecificationExample,`Invalid example declaration '${n.content}' - expected 'example <Name> : <EventOrCommandOrReadModel>'`,r(n)),t.skipOpaqueBlock(n.indent),{kind:`SpecificationExampleSyntax`,name:``,type:``,values:[],generatedValues:[],for:null,description:null,location:r(n)};let a=parseFixtureBody(t,n,void 0,!0,i[1]);for(let n of l(a))t.error(e.InvalidSpecificationCaseReference,`Case references are not permitted in example bodies.`,n.location);return{kind:`SpecificationExampleSyntax`,name:i[1],type:i[2],...a,location:r(n)}}function addInlineValue(t,n,i,a){if(i?.groups?.property===void 0)return;let o=i.groups.property,c=i.groups.value,l=n.content.length-c.length,u=r(n),d=s(t,c,{...u,column:u.column+l},e.InvalidSpecificationValue);d!==null&&a.push({kind:`PropertyMappingSyntax`,property:o,source:d,location:{...u,column:u.column+n.content.lastIndexOf(o,n.content.indexOf(`=`))}})}function addFixtureValue(t,n,r,i=[]){[...n,...i].some(e=>e.property===r.property)?t.error(e.DuplicateSpecificationAssignment,`Property '${r.property}' is assigned more than once in this fixture - assign it only once, inline or indented`,r.location):n.push(r)}function parseFixtureBody(t,n,s,l=!1,h){let _=[],v=[],y=null,b=null,x,S;addInlineValue(t,n,s,_);for(let s=t.peekChild(n.indent);s!==void 0;s=t.peekChild(n.indent)){if(t.reader.takeSignificant(),h!==void 0&&i(s.content)===`description`){b=d(t,s,b,`Example '${h}'`);continue}if(l&&o.test(s.content)){let n=c(t,s,a,e.InvalidGeneratedFixture);n!==null&&(h===void 0?v.push(n):addFixtureValue(t,v,n,_));continue}let n=g.exec(s.content);if(h!==void 0&&n===null&&(i(s.content)===`stream`||s.content.startsWith(`no stream`))){let n=m.exec(s.content);x!==void 0||S!==void 0?(t.error(e.InvalidSpecificationStream,`An event occurrence declares at most one stream or no stream directive.`,r(s)),t.skipOpaqueBlock(s.indent)):s.content===`no stream`?(S={kind:`SpecificationNoStreamSyntax`,location:r(s)},p(t,s)):n===null?(t.error(e.InvalidSpecificationStream,`Expected 'stream Source.Stream', or 'no stream' on an event example.`,r(s)),t.skipOpaqueBlock(s.indent)):x=f(t,s,n)}else if(n!==null)addFixtureValue(t,_,{kind:`PropertyMappingSyntax`,property:n[1],source:u(n[2],r(s),t),location:r(s)},v);else if(i(s.content)===`for`){let n=s.content.substring(3).trim();n.length===0?t.error(e.InvalidSpecificationEventSource,`Invalid event-source assertion 'for' - expected 'for <value>'`,r(s)):y===null?y=u(n,r(s),t):t.error(e.DuplicateSpecificationEventSource,`A specification step can declare its event-source assertion only once`,r(s))}else t.error(e.InvalidSpecificationValue,`Invalid property mapping '${s.content}' - expected '<property> = <value>'`,r(s))}return{values:_,for:y,generatedValues:v,description:b,...x===void 0?{}:{stream:x},...S===void 0?{}:{noStream:S}}}export{addFixtureValue,addInlineValue,parseExample,parseFixtureBody};
 //# sourceMappingURL=SpecificationExampleParser.js.map