@cratis/screenplay-language 5.3.0 → 5.3.1

package/dist/bundles/compiler/Parsing/CommandParser.js

@@ -1,2 +1,2 @@
-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{combineAuthorize as a,parseAuthorize as o}from"./AuthorizeParser.js";import{dependencySources as s}from"../Syntax/DependencySources.js";import{parseMappingSource as c}from"./ExpressionParser.js";import{validateHandlerContracts as l}from"./CommandHandlerValidator.js";import{firstWord as u}from"./LineText.js";import{reportInvalidModifierOrder as d,reportLegacyOptionalSuffix as f,tryParseProperty as p}from"./PropertyLineParser.js";import{parseDescription as m}from"./DescriptionParser.js";import{parseDocumentation as h}from"./DocumentationParser.js";import{parseCondition as g}from"./ConditionParser.js";import{ParserContext as _}from"./ParserContext.js";import{isReactionIdentityLine as v,misplacedReactionIdentity as y}from"./ReactionIdentityParser.js";import{sourceStreamPattern as b}from"../Text/SourceStreamNames.js";import{parseCommandStream as x}from"./EventSourceParser.js";import{isFileDirectiveAmongProperties as S}from"./FileReferences.js";import{isCode as C,isFile as w,parseCode as T,parseFile as E,parseHandler as D,parseImplementationWrapper as O}from"./ImplementationParser.js";import{parseCommandResponse as k,scalarResponsePattern as A}from"./CommandResponseParser.js";import{matchSubject as j,validateMatchOperand as M}from"./MatchOperandValidation.js";import{commandReadSources as N}from"./CommandReadSources.js";import{captureConcurrency as P}from"./DependencySourceParser.js";import{parseReads as F}from"./ReadsParser.js";import{parseProduces as I}from"./ProducesParser.js";const L=r(`^command\\s+([A-Za-z_]\\w*)$`),R=b(`^stream\\s+[A-Za-z_]\\w*\\.[A-Za-z_]\\w*$`),ee=r(`^calendar\\s+(?:"|from\\s+\\$context\\.)`),z=r(`^calendar\\s+(?:"(${t})"|from\\s+\\$context\\.([A-Za-z_][A-Za-z0-9_]*(?:\\.[A-Za-z_][A-Za-z0-9_]*)*))$`),B=r(`\\bseverity\\s+(\\S+)$`),V=r(`\\bmessage\\s+(?:"(${t})"|(\\$strings\\.\\S*))$`),H=r(`^([\\w.]+)\\s+(.+)$`),U=r(`^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\s*)(.*)$`),W=b(`^[A-Za-z_]\\w*$`),G=r(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`),K={max:`Max`,min:`Min`,">":`GreaterThan`,">=":`GreaterThanOrEqual`,"<":`LessThan`,"<=":`LessThanOrEqual`,"==":`Equal`,"!=":`NotEqual`,"length ==":`Length`,"decimals <=":`DecimalPlaces`,matches:`Matches`,contains:`Contains`,"not contains":`NotContains`,"starts with":`StartsWith`,"ends with":`EndsWith`,"all >":`AllGreaterThan`,"all >=":`AllGreaterThanOrEqual`},q={information:`Information`,warning:`Warning`,error:`Error`},J=/* @__PURE__ */ new Set([`reads`,`concurrency`]),Y=/* @__PURE__ */ new Set([`description`,`documentation`,`handler`,`concurrency`]);function parseCommand(e,t){let n=/* @__PURE__ */ new Set,r=new _(e.reader.fork(),e.path,e.languages);return r.sourceOptions=e.sourceOptions,r.streamCandidates=e.streamCandidates,parseCommandBody(r,t,void 0,n),parseCommandBody(e,t,n)}function parseCommandBody(t,r,c,f){let g=L.exec(r.content)?.[1]??``;g===``&&t.error(e.InvalidCommandDeclaration,`Invalid command declaration '${r.content}' - expected 'command <Name>'`,i(r));let _=[],b=[],S,C=[],w=[],T=[],E=[],O,j=null,M=null,B=null,V=null,H=[],U=null,W=[],K=null;for(let s=t.peekChild(r.indent);s!==void 0;s=t.peekChild(r.indent)){t.reader.takeSignificant();let r=u(s.content),l=p(s);if(r===`calendar`&&ee.test(s.content)){let r=z.exec(s.content);K!==null||r===null?t.error(e.InvalidCommandCalendar,`A command declares at most one 'calendar "<id>"' or 'calendar from $context.<member>'.`,i(s)):K={kind:`CommandCalendarSyntax`,id:r[1]===void 0?null:n(r[1]),contextMember:r[2]??null,location:i(s)}}else if(l!==void 0&&(Y.has(r)||r===`validate`&&s.content!==`validate csharp`))S=addProperty(t,_,l,g,s,S);else if(r===`returns`){let e=A.exec(s.content);e!==null&&!e[1].startsWith(`@`)&&l!==void 0?c===void 0?(_.push(l),b.push({line:s,candidate:l,response:null})):c.has(l.type.name)?b.push({line:s,candidate:null,response:k(t,s)}):S=addProperty(t,_,l,g,s,S):l===void 0?d(t,s)?t.skipBlock(s.indent):b.push({line:s,candidate:null,response:k(t,s)}):S=addProperty(t,_,l,g,s,S)}else if(r===`stream`&&R.test(s.content)&&l!==void 0&&t.streamCandidates?.hasSource(l.type.name.split(`.`)[0])===!0){let[n,r]=l.type.name.split(`.`),a=t.streamCandidates.hasPropertyType(l.type.name)&&t.streamCandidates.hasUniqueStream(n,r),o=x(t,s,l,a);(U!==null||W.length>0)&&t.error(e.InvalidCommandStream,`A command declares at most one stream route.`,i(s)),a||U!==null?W.push(o):U=o}else if(r===`runs`&&v(s))y(t,s);else if(r===`description`)j=m(t,s,j,`Command '${g}'`);else if(r===`documentation`)M=h(t,s,M,`Command '${g}'`);else if(r===`authorize`)B=a(B,o(t,s));else if(r===`validate`){let e=parseValidate(t,s,`command`,g);e!==void 0&&C.push(e)}else if(r===`produces`){let e=I(t,s,!0);e!==void 0&&w.push(e)}else if(r===`handler`)V=D(t,s),H.push({handler:V,location:i(s)});else if(J.has(r)){let n=r===`reads`?F(t,s):void 0;n!==void 0&&E.push(n),r===`concurrency`&&O===void 0&&(O=P(t,s));let a=/^reads\s+([A-Z]\w*)(?:\s+as\s+([a-z_]\w*))?(?:\s+by\s+([a-z_]\w*))?$/.exec(s.content);a!==null&&T.push({readModel:a[1],alias:a[2]??null}),G.test(s.content)&&t.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,i(s)),t.skipOpaqueBlock(s.indent)}else l===void 0?(d(t,s),t.error(e.UnknownCommandDirective,`Unexpected '${s.content}' in command body`,i(s)),t.skipBlock(s.indent)):S=addProperty(t,_,l,g,s,S)}let q=new Set(b.flatMap(e=>e.candidate===null?[]:[e.candidate])),X=new Set(_.filter(e=>!q.has(e)).map(e=>e.name));b.some(e=>e.candidate!==null&&!X.has(e.candidate.type.name)&&e.candidate.type.name!==`returns`)&&X.add(`returns`);for(let e of X)f?.add(e);let Z=null,Q=/* @__PURE__ */ new Set;for(let n of b){let r=n.response;if(n.candidate!==null){if(!X.has(n.candidate.type.name))continue;Q.add(n.candidate),r={kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:n.candidate.type.name,location:n.candidate.type.location},location:i(n.line)}}r!==null&&(Z===null?Z=r:t.error(e.InvalidCommandResponse,`A command declares at most one unconditional response.`,i(n.line)))}l(H,V,w.length>0,t);let $={kind:`CommandSyntax`,name:g,description:j,documentation:M,authorize:B,properties:_.filter(e=>!Q.has(e)),validations:C,produces:w,handler:V,response:Z,stream:U,streamCandidates:W,...K===null?{}:{calendar:K},location:i(r)};return N.set($,T),s.set($,{reads:E,concurrency:O}),$}function addProperty(t,n,r,i,a,o){return f(t,r.type,a),r.isIdentifier&&o!==void 0&&(t.error(e.DuplicateCommandIdentifier,`Command '${i}' already marks '${o.name}' as identifier - only one property can be the identifier`,r.location),r={...r,isIdentifier:!1}),n.push(r),o??(r.isIdentifier?r:void 0)}function parseValidationFile(e,t,n){let r=E(e,n);return r===void 0?void 0:{kind:`FileValidateSyntax`,file:r,location:i(t)}}function hasValidationOperand(e){let t=H.exec(e.content);if(t===null)return!1;let n=t[2];return u(n)===`not`&&u(n.substring(3).trimStart())===`empty`||u(n)===`checksum`||U.test(n)}function isValidationFileBody(e,t,n){if(!S(n)||hasValidationOperand(n))return!1;let r=e.reader.fork();r.takeSignificant();let i=r.peekSignificant();return i===void 0||i.indent<=t.indent}function parseValidate(t,r,a,o){if(r.content===`validate`){let s=t.peekChild(r.indent);if(s!==void 0&&isValidationFileBody(t,r,s))return t.reader.takeSignificant(),parseValidationFile(t,r,s);if(s!==void 0&&s.content.startsWith("```")){t.reader.takeSignificant();let e=T(t.valueContext,s);return e===null&&t.skipFencedBody(),{kind:`CodeValidateSyntax`,code:e,location:i(r)}}let c=[],l=[],d;for(let s=t.peekChild(r.indent);s!==void 0;s=t.peekChild(r.indent)){if(t.reader.takeSignificant(),a===`concept`){if(t.sourceOptions.numericMode===`legacy`&&s.content.startsWith("```")){t.skipFencedBody();continue}if(d!==void 0&&s.indent<=d&&(d=void 0),d!==void 0||u(s.content)===`implementation`){t.error(e.InvalidValidationRule,`Invalid validation rule '${s.content}'`,i(s)),d??=s.indent;continue}}if(u(s.content)===`require`){let e=g(a===`concept`?t.valueContext:t,s.content.substring(7).trim(),i(s)),r=null,o=`Error`,c=!1;for(let e=t.peekChild(s.indent);e!==void 0;e=t.peekChild(s.indent)){t.reader.takeSignificant();let i=V.exec(e.content);i!==null&&i.index===0?r=i[1]===void 0?i[2]:n(i[1]):u(e.content)===`severity`?(c||(o=q[e.content.substring(8).trim()]??`Error`),c=!0):t.skipOpaqueBlock(e.indent)}e!==null&&l.push({kind:`RequirementSyntax`,condition:e,message:r,severity:o,location:i(s)});continue}let r=parseValidationRule(t,a===`concept`?{...s,content:`value ${s.content}`}:s,a,o);r!==void 0&&c.push(r)}return{kind:`DeclarativeValidateSyntax`,rules:c,requirements:l,location:i(r)}}if(a===`concept`&&u(r.content.substring(8).trimStart())===`checksum`){let e=parseValidationRule(t,{...r,content:`value ${r.content.substring(8).trimStart()}`},a,o);return e===void 0?void 0:{kind:`DeclarativeValidateSyntax`,rules:[e],requirements:[],location:i(r)}}if(r.content===`validate csharp`){let e=T(t.valueContext,{...r,content:`csharp`});return e===null&&t.skipOpaqueBlock(r.indent),{kind:`CodeValidateSyntax`,code:e,location:i(r)}}t.error(e.InvalidValidateDeclaration,`Invalid validate declaration '${r.content}' - expected 'validate' or 'validate csharp'`,i(r)),t.skipBlock(r.indent)}function parseValidationRule(t,n,r,a){let o=u(H.exec(n.content)?.[2]??``)===`checksum`,s=r===`concept`&&!o?t.valueContext:t,{content:c,message:l}=splitMessage(n.content),d=splitSeverity(s,n,c);if(d===void 0)return;let f=H.exec(d.content);if(f===null){s.error(e.InvalidValidationRule,`Invalid validation rule '${n.content}'`,i(n));return}let p=parseRule(s,f[2],n);if(p===void 0)return;p.kind===`Matches`&&p.value!==null&&M(t,p.value,i(n),n.raw,j(t,r,a,f[1]));let m=p.kind===`Rule`?parseRuleImplementation(t,n,r===`command`):{file:null,code:null,implementation:null};return{kind:`ValidationRuleSyntax`,property:f[1],rule:p.kind,value:p.value,message:l,severity:d.severity,...m,location:i(n)}}function parseRuleImplementation(t,n,r){let a=t.peekChild(n.indent);if(a===void 0)return{file:null,code:null,implementation:null};t.reader.takeSignificant();let o=r&&u(a.content)===`implementation`,s=o?O(t,a):{file:w(a)?E(t,a):null,code:!w(a)&&C(t,a)?T(t,a):null,implementation:null};!o&&s.file===null&&s.code===null&&(t.error(e.UnknownRuleImplementationDirective,`Unexpected '${a.content}' in rule implementation - expected 'file <path>' or an inline code block`,i(a)),t.skipBlock(a.indent));for(let a=t.peekChild(n.indent);a!==void 0&&(o||r&&u(a.content)===`implementation`);a=t.peekChild(n.indent))t.reader.takeSignificant(),t.error(o&&u(a.content)===`implementation`?e.InvalidImplementationBlock:e.ConflictingImplementationSources,`A named rule has one implementation wrapper and cannot mix wrapped and direct sources.`,i(a)),C(t,a)?T(t,a):t.skipBlock(a.indent);return s}function splitMessage(e){let t=V.exec(e);if(t===null)return{content:e,message:null};let r=t[1]===void 0?t[2]:n(t[1]);return{content:e.substring(0,t.index).trimEnd(),message:r}}function splitSeverity(t,n,r){let a=B.exec(r);if(a===null)return{content:r,severity:`Error`};let o=q[a[1]];if(o===void 0)t.error(e.InvalidValidationSeverity,`Unknown validation severity '${a[1]}' - expected information, warning or error`,i(n));else return{content:r.substring(0,a.index).trimEnd(),severity:o}}function parseRule(t,n,r){if(n===`not empty`)return{kind:`NotEmpty`,value:null};if(u(n)===`checksum`){let a=n.substring(8).trim();if(a!==`luhn`&&a!==`mod11`&&a!==`mod97`){t.error(e.InvalidGenerationArgument,`Checksum validation requires luhn, mod11 or mod97.`,i(r));return}return{kind:`Checksum`,value:{kind:`LiteralExpressionSyntax`,value:a,location:i(r)}}}let a=U.exec(n);if(a===null){t.error(e.InvalidValidationRule,`Invalid validation rule '${r.content}'`,i(r));return}let o=a[1]??a[2];if(o===`rule`){let n=a[3].trim();if(!W.test(n)){t.error(e.InvalidRuleName,`Invalid rule name '${n}' in '${r.content}' - expected 'rule <Name>' with an identifier`,i(r));return}return{kind:`Rule`,value:{kind:`PathExpressionSyntax`,path:n,location:i(r)}}}return{kind:K[o],value:c(a[3],i(r),t)}}export{parseCommand,parseValidate};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{validateHandlerContracts as t}from"./CommandHandlerValidator.js";import{parseCondition as n}from"./ConditionParser.js";import{parseCommandStream as r}from"./EventSourceParser.js";import{pattern as i}from"../Text/patterns.js";import{sourceStreamPattern as a}from"../Text/SourceStreamNames.js";import{stringBodyPattern as o,unescapeString as s}from"../Text/StringLiteral.js";import{combineAuthorize as c,parseAuthorize as l}from"./AuthorizeParser.js";import{parseCommandResponse as u,scalarResponsePattern as d}from"./CommandResponseParser.js";import{parseDescription as f}from"./DescriptionParser.js";import{parseDocumentation as p}from"./DocumentationParser.js";import{isCode as m,isFile as h,parseCode as g,parseFile as _,parseHandler as v,parseImplementationWrapper as y}from"./ImplementationParser.js";import{parseMappingSource as b}from"./ExpressionParser.js";import{firstWord as x}from"./LineText.js";import{ParserContext as S}from"./ParserContext.js";import{matchSubject as C,validateMatchOperand as w}from"./MatchOperandValidation.js";import{isReactionIdentityLine as T,misplacedReactionIdentity as E}from"./ReactionIdentityParser.js";import{commandReadSources as D}from"./CommandReadSources.js";import{dependencySources as O}from"../Syntax/DependencySources.js";import{captureConcurrency as k}from"./DependencySourceParser.js";import{parseReads as A}from"./ReadsParser.js";import{parseProduces as j}from"./ProducesParser.js";import{reportInvalidModifierOrder as M,reportLegacyOptionalSuffix as N,tryParseProperty as P}from"./PropertyLineParser.js";import{locationOf as F}from"./SourceLine.js";import{isFileDirectiveAmongProperties as I}from"./FileReferences.js";const ee=i(`^command\\s+([A-Za-z_]\\w*)$`),te=a(`^stream\\s+[A-Za-z_]\\w*\\.[A-Za-z_]\\w*$`),L=i(`^calendar\\s+(?:"|from\\s+\\$context\\.)`),R=i(`^calendar\\s+(?:"(${o})"|from\\s+\\$context\\.([A-Za-z_][A-Za-z0-9_]*(?:\\.[A-Za-z_][A-Za-z0-9_]*)*))$`),z=i(`\\bseverity\\s+(\\S+)$`),B=i(`\\bmessage\\s+(?:"(${o})"|(\\$strings\\.\\S*))$`),V=i(`^([\\w.]+)\\s+(.+)$`),H=i(`^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\s*)(.*)$`),U=a(`^[A-Za-z_]\\w*$`),W=i(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`),G={max:`Max`,min:`Min`,">":`GreaterThan`,">=":`GreaterThanOrEqual`,"<":`LessThan`,"<=":`LessThanOrEqual`,"==":`Equal`,"!=":`NotEqual`,"length ==":`Length`,"decimals <=":`DecimalPlaces`,matches:`Matches`,contains:`Contains`,"not contains":`NotContains`,"starts with":`StartsWith`,"ends with":`EndsWith`,"all >":`AllGreaterThan`,"all >=":`AllGreaterThanOrEqual`},K={information:`Information`,warning:`Warning`,error:`Error`},q=/* @__PURE__ */ new Set([`reads`,`concurrency`]),J=/* @__PURE__ */ new Set([`description`,`documentation`,`handler`,`concurrency`]);function parseCommand(e,t){let n=/* @__PURE__ */ new Set,r=new S(e.reader.fork(),e.path,e.languages);return r.sourceOptions=e.sourceOptions,r.streamCandidates=e.streamCandidates,parseCommandBody(r,t,void 0,n),parseCommandBody(e,t,n)}function parseCommandBody(n,i,a,o){let m=ee.exec(i.content)?.[1]??``;m===``&&n.error(e.InvalidCommandDeclaration,`Invalid command declaration '${i.content}' - expected 'command <Name>'`,F(i));let h=[],g=[],_,y=[],b=[],S=[],C=[],w,N=null,I=null,z=null,B=!1,V=null,H=[],U=null,G=[],K=null;for(let t=n.peekChild(i.indent);t!==void 0;t=n.peekChild(i.indent)){n.reader.takeSignificant();let i=x(t.content),o=P(t);if(i===`calendar`&&L.test(t.content)){let r=R.exec(t.content);K!==null||r===null?n.error(e.InvalidCommandCalendar,`A command declares at most one 'calendar "<id>"' or 'calendar from $context.<member>'.`,F(t)):K={kind:`CommandCalendarSyntax`,id:r[1]===void 0?null:s(r[1]),contextMember:r[2]??null,location:F(t)}}else if(o!==void 0&&(J.has(i)||i===`validate`&&t.content!==`validate csharp`))_=addProperty(n,h,o,m,t,_);else if(i===`returns`){let e=d.exec(t.content);e!==null&&!e[1].startsWith(`@`)&&o!==void 0?a===void 0?(h.push(o),g.push({line:t,candidate:o,response:null})):a.has(o.type.name)?g.push({line:t,candidate:null,response:u(n,t)}):_=addProperty(n,h,o,m,t,_):o===void 0?M(n,t)?n.skipBlock(t.indent):g.push({line:t,candidate:null,response:u(n,t)}):_=addProperty(n,h,o,m,t,_)}else if(i===`stream`&&te.test(t.content)&&o!==void 0&&n.streamCandidates?.hasSource(o.type.name.split(`.`)[0])===!0){let[i,a]=o.type.name.split(`.`),s=n.streamCandidates.hasPropertyType(o.type.name)&&n.streamCandidates.hasUniqueStream(i,a),c=r(n,t,o,s);(U!==null||G.length>0)&&n.error(e.InvalidCommandStream,`A command declares at most one stream route.`,F(t)),s||U!==null?G.push(c):U=c}else if(i===`runs`&&T(t))E(n,t);else if(i===`description`)N=f(n,t,N,`Command '${m}'`);else if(i===`documentation`)I=p(n,t,I,`Command '${m}'`);else if(i===`authorize`){let e=l(n,t);if(!B){let t=z;z=c(z,e,n),B=t!==null&&z===null}}else if(i===`validate`){let e=parseValidate(n,t,`command`,m);e!==void 0&&y.push(e)}else if(i===`produces`){let e=j(n,t,!0);e!==void 0&&b.push(e)}else if(i===`handler`)V=v(n,t),H.push({handler:V,location:F(t)});else if(q.has(i)){let r=i===`reads`?A(n,t):void 0;r!==void 0&&C.push(r),i===`concurrency`&&w===void 0&&(w=k(n,t));let a=/^reads\s+([A-Z]\w*)(?:\s+as\s+([a-z_]\w*))?(?:\s+by\s+([a-z_]\w*))?$/.exec(t.content);a!==null&&S.push({readModel:a[1],alias:a[2]??null}),W.test(t.content)&&n.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,F(t)),n.skipOpaqueBlock(t.indent)}else o===void 0?(M(n,t),n.error(e.UnknownCommandDirective,`Unexpected '${t.content}' in command body`,F(t)),n.skipBlock(t.indent)):_=addProperty(n,h,o,m,t,_)}let Y=new Set(g.flatMap(e=>e.candidate===null?[]:[e.candidate])),X=new Set(h.filter(e=>!Y.has(e)).map(e=>e.name));g.some(e=>e.candidate!==null&&!X.has(e.candidate.type.name)&&e.candidate.type.name!==`returns`)&&X.add(`returns`);for(let e of X)o?.add(e);let Z=null,Q=/* @__PURE__ */ new Set;for(let t of g){let r=t.response;if(t.candidate!==null){if(!X.has(t.candidate.type.name))continue;Q.add(t.candidate),r={kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:t.candidate.type.name,location:t.candidate.type.location},location:F(t.line)}}r!==null&&(Z===null?Z=r:n.error(e.InvalidCommandResponse,`A command declares at most one unconditional response.`,F(t.line)))}t(H,V,b.length>0,n);let $={kind:`CommandSyntax`,name:m,description:N,documentation:I,authorize:z,properties:h.filter(e=>!Q.has(e)),validations:y,produces:b,handler:V,response:Z,stream:U,streamCandidates:G,...K===null?{}:{calendar:K},location:F(i)};return D.set($,S),O.set($,{reads:C,concurrency:w}),$}function addProperty(t,n,r,i,a,o){return N(t,r.type,a),r.isIdentifier&&o!==void 0&&(t.error(e.DuplicateCommandIdentifier,`Command '${i}' already marks '${o.name}' as identifier - only one property can be the identifier`,r.location),r={...r,isIdentifier:!1}),n.push(r),o??(r.isIdentifier?r:void 0)}function parseValidationFile(e,t,n){let r=_(e,n);return r===void 0?void 0:{kind:`FileValidateSyntax`,file:r,location:F(t)}}function hasValidationOperand(e){let t=V.exec(e.content);if(t===null)return!1;let n=t[2];return x(n)===`not`&&x(n.substring(3).trimStart())===`empty`||x(n)===`checksum`||H.test(n)}function isValidationFileBody(e,t,n){if(!I(n)||hasValidationOperand(n))return!1;let r=e.reader.fork();r.takeSignificant();let i=r.peekSignificant();return i===void 0||i.indent<=t.indent}function parseValidate(t,r,i,a){if(r.content===`validate`){let o=t.peekChild(r.indent);if(o!==void 0&&isValidationFileBody(t,r,o))return t.reader.takeSignificant(),parseValidationFile(t,r,o);if(o!==void 0&&o.content.startsWith("```")){t.reader.takeSignificant();let e=g(t.valueContext,o);return e===null&&t.skipFencedBody(),{kind:`CodeValidateSyntax`,code:e,location:F(r)}}let c=[],l=[],u;for(let o=t.peekChild(r.indent);o!==void 0;o=t.peekChild(r.indent)){if(t.reader.takeSignificant(),i===`concept`){if(t.sourceOptions.numericMode===`legacy`&&o.content.startsWith("```")){t.skipFencedBody();continue}if(u!==void 0&&o.indent<=u&&(u=void 0),u!==void 0||x(o.content)===`implementation`){t.error(e.InvalidValidationRule,`Invalid validation rule '${o.content}'`,F(o)),u??=o.indent;continue}}if(x(o.content)===`require`){let e=n(i===`concept`?t.valueContext:t,o.content.substring(7).trim(),F(o),!1,t),r=null,a=`Error`,c=!1;for(let e=t.peekChild(o.indent);e!==void 0;e=t.peekChild(o.indent)){t.reader.takeSignificant();let n=B.exec(e.content);n!==null&&n.index===0?r=n[1]===void 0?n[2]:s(n[1]):x(e.content)===`severity`?(c||(a=K[e.content.substring(8).trim()]??`Error`),c=!0):t.skipOpaqueBlock(e.indent)}e!==null&&l.push({kind:`RequirementSyntax`,condition:e,message:r,severity:a,location:F(o)});continue}let r=parseValidationRule(t,i===`concept`?{...o,content:`value ${o.content}`}:o,i,a);r!==void 0&&c.push(r)}return{kind:`DeclarativeValidateSyntax`,rules:c,requirements:l,location:F(r)}}if(i===`concept`&&x(r.content.substring(8).trimStart())===`checksum`){let e=parseValidationRule(t,{...r,content:`value ${r.content.substring(8).trimStart()}`},i,a);return e===void 0?void 0:{kind:`DeclarativeValidateSyntax`,rules:[e],requirements:[],location:F(r)}}if(r.content===`validate csharp`){let e=g(t.valueContext,{...r,content:`csharp`});return e===null&&t.skipOpaqueBlock(r.indent),{kind:`CodeValidateSyntax`,code:e,location:F(r)}}t.error(e.InvalidValidateDeclaration,`Invalid validate declaration '${r.content}' - expected 'validate' or 'validate csharp'`,F(r)),t.skipBlock(r.indent)}function parseValidationRule(t,n,r,i){let a=x(V.exec(n.content)?.[2]??``)===`checksum`,o=r===`concept`&&!a?t.valueContext:t,{content:s,message:c}=splitMessage(n.content),l=splitSeverity(o,n,s);if(l===void 0)return;let u=V.exec(l.content);if(u===null){o.error(e.InvalidValidationRule,`Invalid validation rule '${n.content}'`,F(n));return}let d=parseRule(o,u[2],n);if(d===void 0)return;d.kind===`Matches`&&d.value!==null&&w(t,d.value,F(n),n.raw,C(t,r,i,u[1]));let f=d.kind===`Rule`?parseRuleImplementation(t,n,r===`command`):{file:null,code:null,implementation:null};return{kind:`ValidationRuleSyntax`,property:u[1],rule:d.kind,value:d.value,message:c,severity:l.severity,...f,location:F(n)}}function parseRuleImplementation(t,n,r){let i=t.peekChild(n.indent);if(i===void 0)return{file:null,code:null,implementation:null};t.reader.takeSignificant();let a=r&&x(i.content)===`implementation`,o=a?y(t,i):{file:h(i)?_(t,i):null,code:!h(i)&&m(t,i)?g(t,i):null,implementation:null};!a&&o.file===null&&o.code===null&&(t.error(e.UnknownRuleImplementationDirective,`Unexpected '${i.content}' in rule implementation - expected 'file <path>' or an inline code block`,F(i)),t.skipBlock(i.indent));for(let i=t.peekChild(n.indent);i!==void 0&&(a||r&&x(i.content)===`implementation`);i=t.peekChild(n.indent))t.reader.takeSignificant(),t.error(a&&x(i.content)===`implementation`?e.InvalidImplementationBlock:e.ConflictingImplementationSources,`A named rule has one implementation wrapper and cannot mix wrapped and direct sources.`,F(i)),m(t,i)?g(t,i):t.skipBlock(i.indent);return o}function splitMessage(e){let t=B.exec(e);if(t===null)return{content:e,message:null};let n=t[1]===void 0?t[2]:s(t[1]);return{content:e.substring(0,t.index).trimEnd(),message:n}}function splitSeverity(t,n,r){let i=z.exec(r);if(i===null)return{content:r,severity:`Error`};let a=K[i[1]];if(a===void 0)t.error(e.InvalidValidationSeverity,`Unknown validation severity '${i[1]}' - expected information, warning or error`,F(n));else return{content:r.substring(0,i.index).trimEnd(),severity:a}}function parseRule(t,n,r){if(n===`not empty`)return{kind:`NotEmpty`,value:null};if(x(n)===`checksum`){let i=n.substring(8).trim();if(i!==`luhn`&&i!==`mod11`&&i!==`mod97`){t.error(e.InvalidGenerationArgument,`Checksum validation requires luhn, mod11 or mod97.`,F(r));return}return{kind:`Checksum`,value:{kind:`LiteralExpressionSyntax`,value:i,location:F(r)}}}let i=H.exec(n);if(i===null){t.error(e.InvalidValidationRule,`Invalid validation rule '${r.content}'`,F(r));return}let a=i[1]??i[2];if(a===`rule`){let n=i[3].trim();if(!U.test(n)){t.error(e.InvalidRuleName,`Invalid rule name '${n}' in '${r.content}' - expected 'rule <Name>' with an identifier`,F(r));return}return{kind:`Rule`,value:{kind:`PathExpressionSyntax`,path:n,location:F(r)}}}return{kind:G[a],value:b(i[3],F(r),t)}}export{parseCommand,parseValidate};
 //# sourceMappingURL=CommandParser.js.map

package/dist/bundles/compiler/Parsing/CommandParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"CommandParser.js","names":["header","pattern","routeHeader","sourceStreamPattern","calendarPrefix","calendarPattern","stringBodyPattern","severityPattern","messagePattern","rulePattern","operandPattern","ruleNamePattern","optionalReads","operandKinds","severities","opaqueDirectives","propertyShapedDirectives","names","lookahead","ParserContext","context","line","name","DiagnosticCodes","locationOf","properties","responses","identifier","validations","produces","reads","referenceReads","concurrency","description","documentation","authorize","handler","handlers","stream","streamCandidates","calendar","child","keyword","firstWord","asProperty","tryParseProperty","match","unescapeString","scalar","scalarResponsePattern","responseNames","parseCommandResponse","reportInvalidModifierOrder","source","streamName","ambiguous","route","parseCommandStream","isReactionIdentityLine","misplacedReactionIdentity","parseDescription","parseDocumentation","combineAuthorize","parseAuthorize","validate","production","parseProduces","parseHandler","reference","parseReads","captureConcurrency","read","candidates","entry","property","discoveredNames","response","removed","parsed","validateHandlerContracts","syntax","commandReadSources","dependencySources","reportLegacyOptionalSuffix","commandName","file","parseFile","body","rule","isFileDirectiveAmongProperties","next","fence","code","parseCode","rules","requirements","wrapperIndent","owner","condition","parseCondition","message","severity","hasSeverity","directive","matched","ownerName","checksum","valueContext","withSeverity","validateMatchOperand","matchSubject","wrapped","commandOwner","parseImplementationWrapper","isFile","isCode","extra","content","text","algorithm","operand","operator","parseMappingSource"],"sources":["../../../../../../Compiler/Parsing/CommandParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { validateHandlerContracts } from './CommandHandlerValidator';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { RequirementSyntax } from '../Syntax/Conditions';\nimport { parseCondition } from './ConditionParser';\nimport { AuthorizeSyntax } from '../Syntax/Authorization';\nimport { CommandSyntax, ValidateSyntax, ValidationRuleKind, ValidationRuleSyntax, ValidationSeverity } from '../Syntax/Commands';\nimport { PropertySyntax } from '../Syntax/Declarations';\nimport { CommandCalendarSyntax } from '../Syntax/Calendar';\nimport { CommandStreamSyntax } from '../Syntax/EventSources';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { ProducesSyntax } from '../Syntax/Reactions';\nimport { CommandResponseSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { sourceStreamPattern } from '../Text/SourceStreamNames';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { combineAuthorize, parseAuthorize } from './AuthorizeParser';\nimport { parseCommandResponse, scalarResponsePattern } from './CommandResponseParser';\nimport { parseDescription } from './DescriptionParser';\nimport { parseDocumentation } from './DocumentationParser';\nimport { isCode, isFile, parseCode, parseFile, parseHandler, parseImplementationWrapper } from './ImplementationParser';\nimport { CodeBlockSyntax, FileReferenceSyntax, HandlerSyntax, ImplementationSyntax } from '../Syntax/Implementations';\nimport { parseMappingSource } from './ExpressionParser';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { matchSubject, validateMatchOperand } from './MatchOperandValidation';\nimport { isReactionIdentityLine, misplacedReactionIdentity } from './ReactionIdentityParser';\nimport { commandReadSources } from './CommandReadSources';\nimport { dependencySources, ReadsSyntax, ConcurrencySyntax } from '../Syntax/DependencySources';\nimport { captureConcurrency } from './DependencySourceParser';\nimport { parseReads } from './ReadsParser';\nimport { parseProduces } from './ProducesParser';\nimport { reportInvalidModifierOrder, reportLegacyOptionalSuffix, tryParseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { isFileDirectiveAmongProperties } from './FileReferences';\n\nconst header = pattern('^command\\\\s+([A-Za-z_]\\\\w*)$');\nconst routeHeader = sourceStreamPattern('^stream\\\\s+[A-Za-z_]\\\\w*\\\\.[A-Za-z_]\\\\w*$');\nconst calendarPrefix = pattern('^calendar\\\\s+(?:\"|from\\\\s+\\\\$context\\\\.)');\nconst calendarPattern = pattern(`^calendar\\\\s+(?:\"(${stringBodyPattern})\"|from\\\\s+\\\\$context\\\\.([A-Za-z_][A-Za-z0-9_]*(?:\\\\.[A-Za-z_][A-Za-z0-9_]*)*))$`);\nconst severityPattern = pattern('\\\\bseverity\\\\s+(\\\\S+)$');\nconst messagePattern = pattern(`\\\\bmessage\\\\s+(?:\"(${stringBodyPattern})\"|(\\\\$strings\\\\.\\\\S*))$`);\nconst rulePattern = pattern('^([\\\\w.]+)\\\\s+(.+)$');\nconst operandPattern = pattern('^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\\\s*)(.*)$');\nconst ruleNamePattern = sourceStreamPattern('^[A-Za-z_]\\\\w*$');\nconst optionalReads = pattern('^reads\\\\s+[A-Z]\\\\w*\\\\s+optional(?:\\\\s|$)');\n\n// Every operand the pattern matches has a kind, so an operand never goes unrecognized here.\nconst operandKinds: Record<string, ValidationRuleKind> = {\n    max: 'Max',\n    min: 'Min',\n    '>': 'GreaterThan',\n    '>=': 'GreaterThanOrEqual',\n    '<': 'LessThan',\n    '<=': 'LessThanOrEqual',\n    '==': 'Equal',\n    '!=': 'NotEqual',\n    'length ==': 'Length',\n    'decimals <=': 'DecimalPlaces',\n    matches: 'Matches',\n    contains: 'Contains',\n    'not contains': 'NotContains',\n    'starts with': 'StartsWith',\n    'ends with': 'EndsWith',\n    'all >': 'AllGreaterThan',\n    'all >=': 'AllGreaterThanOrEqual',\n};\n\nconst severities: Record<string, ValidationSeverity> = { information: 'Information', warning: 'Warning', error: 'Error' };\n\n// Command directives this compiler does not model. They are skipped whole.\nconst opaqueDirectives = new Set(['reads', 'concurrency']);\n\n// The bare directives cannot take a type reference, so a line with property shape is a property whatever\n// keyword it starts with - 'description String' declares a property called description.\nconst propertyShapedDirectives = new Set(['description', 'documentation', 'handler', 'concurrency']);\n\nexport function parseCommand(context: ParserContext, line: SourceLine): CommandSyntax {\n    // Properties are leaves, not indentation owners. Resolve ambiguous returns spelling\n    // before the committed pass decides whether its deeper lines belong to a response.\n    const names = new Set<string>();\n    const lookahead = new ParserContext(context.reader.fork(), context.path, context.languages);\n    lookahead.sourceOptions = context.sourceOptions;\n    lookahead.streamCandidates = context.streamCandidates;\n    parseCommandBody(lookahead, line, undefined, names);\n    return parseCommandBody(context, line, names);\n}\n\nfunction parseCommandBody(context: ParserContext, line: SourceLine, responseNames?: ReadonlySet<string>, discoveredNames?: Set<string>): CommandSyntax {\n    const name = header.exec(line.content)?.[1] ?? '';\n    if (name === '') {\n        context.error(DiagnosticCodes.InvalidCommandDeclaration, `Invalid command declaration '${line.content}' - expected 'command <Name>'`, locationOf(line));\n    }\n    const properties: PropertySyntax[] = [];\n    const responses: { line: SourceLine; candidate: PropertySyntax | null; response: CommandResponseSyntax | null }[] = [];\n    let identifier: PropertySyntax | undefined;\n    const validations: ValidateSyntax[] = [];\n    const produces: ProducesSyntax[] = [];\n    const reads: { readModel: string; alias: string | null }[] = [];\n    const referenceReads: ReadsSyntax[] = [];\n    let concurrency: ConcurrencySyntax | undefined;\n    let description: string | null = null;\n    let documentation: string | null = null;\n    let authorize: AuthorizeSyntax | null = null;\n    let handler: HandlerSyntax | null = null;\n    const handlers: { handler: HandlerSyntax | null; location: SourceLocation }[] = [];\n    let stream: CommandStreamSyntax | null = null;\n    const streamCandidates: CommandStreamSyntax[] = [];\n    let calendar: CommandCalendarSyntax | null = null;\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        const asProperty = tryParseProperty(child);\n        if (keyword === 'calendar' && calendarPrefix.test(child.content)) {\n            const match = calendarPattern.exec(child.content);\n            if (calendar !== null || match === null) {\n                context.error(DiagnosticCodes.InvalidCommandCalendar, 'A command declares at most one \\'calendar \"<id>\"\\' or \\'calendar from $context.<member>\\'.', locationOf(child));\n            } else {\n                calendar = { kind: 'CommandCalendarSyntax', id: match[1] === undefined ? null : unescapeString(match[1]), contextMember: match[2] ?? null, location: locationOf(child) };\n            }\n        } else if (asProperty !== undefined && (propertyShapedDirectives.has(keyword) || (keyword === 'validate' && child.content !== 'validate csharp'))) {\n            identifier = addProperty(context, properties, asProperty, name, child, identifier);\n        } else if (keyword === 'returns') {\n            const scalar = scalarResponsePattern.exec(child.content);\n            if (scalar !== null && !scalar[1].startsWith('@') && asProperty !== undefined) {\n                if (responseNames === undefined) {\n                    properties.push(asProperty);\n                    responses.push({ line: child, candidate: asProperty, response: null });\n                } else if (responseNames.has(asProperty.type.name)) {\n                    responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n                } else {\n                    identifier = addProperty(context, properties, asProperty, name, child, identifier);\n                }\n            } else if (asProperty !== undefined) {\n                identifier = addProperty(context, properties, asProperty, name, child, identifier);\n            } else if (reportInvalidModifierOrder(context, child)) {\n                context.skipBlock(child.indent);\n            } else {\n                responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n            }\n        } else if (keyword === 'stream' && routeHeader.test(child.content) && asProperty !== undefined && context.streamCandidates?.hasSource(asProperty.type.name.split('.')[0]) === true) {\n            const [source, streamName] = asProperty.type.name.split('.');\n            const ambiguous = context.streamCandidates.hasPropertyType(asProperty.type.name) && context.streamCandidates.hasUniqueStream(source, streamName);\n            const route = parseCommandStream(context, child, asProperty, ambiguous);\n            if (stream !== null || streamCandidates.length > 0) context.error(DiagnosticCodes.InvalidCommandStream, 'A command declares at most one stream route.', locationOf(child));\n            if (ambiguous || stream !== null) streamCandidates.push(route);\n            else stream = route;\n        } else if (keyword === 'runs' && isReactionIdentityLine(child)) {\n            misplacedReactionIdentity(context, child);\n        } else if (keyword === 'description') {\n            description = parseDescription(context, child, description, `Command '${name}'`);\n        } else if (keyword === 'documentation') {\n            documentation = parseDocumentation(context, child, documentation, `Command '${name}'`);\n        } else if (keyword === 'authorize') {\n            authorize = combineAuthorize(authorize, parseAuthorize(context, child));\n        } else if (keyword === 'validate') {\n            const validate = parseValidate(context, child, 'command', name);\n            if (validate !== undefined) {\n                validations.push(validate);\n            }\n        } else if (keyword === 'produces') {\n            const production = parseProduces(context, child, true);\n            if (production !== undefined) produces.push(production);\n        } else if (keyword === 'handler') {\n            handler = parseHandler(context, child);\n            handlers.push({ handler, location: locationOf(child) });\n        } else if (opaqueDirectives.has(keyword)) {\n            const reference = keyword === 'reads' ? parseReads(context, child) : undefined;\n            if (reference !== undefined) referenceReads.push(reference);\n            if (keyword === 'concurrency' && concurrency === undefined) concurrency = captureConcurrency(context, child);\n            const read = /^reads\\s+([A-Z]\\w*)(?:\\s+as\\s+([a-z_]\\w*))?(?:\\s+by\\s+([a-z_]\\w*))?$/.exec(child.content);\n            if (read !== null) reads.push({ readModel: read[1], alias: read[2] ?? null });\n            if (optionalReads.test(child.content)) {\n                context.error(DiagnosticCodes.OptionalReadsNotSupported, 'Optional reads are not yet supported (see #308).', locationOf(child));\n            }\n            context.skipOpaqueBlock(child.indent);\n        } else if (asProperty !== undefined) {\n            identifier = addProperty(context, properties, asProperty, name, child, identifier);\n        } else {\n            reportInvalidModifierOrder(context, child);\n            context.error(DiagnosticCodes.UnknownCommandDirective, `Unexpected '${child.content}' in command body`, locationOf(child));\n            context.skipBlock(child.indent);\n        }\n    }\n    const candidates = new Set(responses.flatMap(entry => entry.candidate === null ? [] : [entry.candidate]));\n    const names = new Set(properties.filter(property => !candidates.has(property)).map(property => property.name));\n    if (responses.some(entry => entry.candidate !== null && !names.has(entry.candidate.type.name) && entry.candidate.type.name !== 'returns')) names.add('returns');\n    for (const name of names) discoveredNames?.add(name);\n    let response: CommandResponseSyntax | null = null;\n    const removed = new Set<PropertySyntax>();\n    for (const entry of responses) {\n        let parsed = entry.response;\n        if (entry.candidate !== null) {\n            if (!names.has(entry.candidate.type.name)) continue;\n            removed.add(entry.candidate);\n            parsed = { kind: 'ScalarCommandResponseSyntax', source: { kind: 'PropertyResponseSourceSyntax', property: entry.candidate.type.name, location: entry.candidate.type.location }, location: locationOf(entry.line) };\n        }\n        if (parsed === null) continue;\n        if (response !== null) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A command declares at most one unconditional response.', locationOf(entry.line));\n        } else {\n            response = parsed;\n        }\n    }\n    validateHandlerContracts(handlers, handler, produces.length > 0, context);\n    const syntax: CommandSyntax = { kind: 'CommandSyntax', name, description, documentation, authorize, properties: properties.filter(property => !removed.has(property)), validations, produces, handler, response, stream, streamCandidates, ...(calendar === null ? {} : { calendar }), location: locationOf(line) };\n    commandReadSources.set(syntax, reads);\n    dependencySources.set(syntax, { reads: referenceReads, concurrency });\n    return syntax;\n}\n\nfunction addProperty(context: ParserContext, properties: PropertySyntax[], property: PropertySyntax, commandName: string, line: SourceLine, identifier: PropertySyntax | undefined): PropertySyntax | undefined {\n    reportLegacyOptionalSuffix(context, property.type, line);\n    if (property.isIdentifier && identifier !== undefined) {\n        context.error(DiagnosticCodes.DuplicateCommandIdentifier, `Command '${commandName}' already marks '${identifier.name}' as identifier - only one property can be the identifier`, property.location);\n        property = { ...property, isIdentifier: false };\n    }\n    properties.push(property);\n    return identifier ?? (property.isIdentifier ? property : undefined);\n}\n\nfunction parseValidationFile(context: ParserContext, header: SourceLine, body: SourceLine): ValidateSyntax | undefined {\n    const file = parseFile(context, body);\n    return file === undefined ? undefined : { kind: 'FileValidateSyntax', file, location: locationOf(header) };\n}\n\nfunction hasValidationOperand(line: SourceLine): boolean {\n    const match = rulePattern.exec(line.content);\n    if (match === null) return false;\n    const rule = match[2];\n    return (firstWord(rule) === 'not' && firstWord(rule.substring('not'.length).trimStart()) === 'empty') ||\n        firstWord(rule) === 'checksum' || operandPattern.test(rule);\n}\n\nfunction isValidationFileBody(context: ParserContext, header: SourceLine, body: SourceLine): boolean {\n    if (!isFileDirectiveAmongProperties(body) || hasValidationOperand(body)) return false;\n    const lookahead = context.reader.fork();\n    lookahead.takeSignificant();\n    const next = lookahead.peekSignificant();\n    return next === undefined || next.indent <= header.indent;\n}\n\n// Reads a 'validate' block: declarative rules, or code - which is recognized but not modeled.\nexport function parseValidate(context: ParserContext, line: SourceLine, owner: 'command' | 'concept', ownerName: string): ValidateSyntax | undefined {\n    if (line.content === 'validate') {\n        const fence = context.peekChild(line.indent);\n        if (fence !== undefined && isValidationFileBody(context, line, fence)) {\n            context.reader.takeSignificant();\n            return parseValidationFile(context, line, fence);\n        }\n        if (fence !== undefined && fence.content.startsWith('```')) {\n            context.reader.takeSignificant();\n            const code = parseCode(context.valueContext, fence);\n            if (code === null) context.skipFencedBody();\n            return { kind: 'CodeValidateSyntax', code, location: locationOf(line) };\n        }\n        const rules: ValidationRuleSyntax[] = [];\n        const requirements: RequirementSyntax[] = [];\n        let wrapperIndent: number | undefined;\n        for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n            context.reader.takeSignificant();\n            if (owner === 'concept') {\n                if (context.sourceOptions.numericMode === 'legacy' && child.content.startsWith('```')) { context.skipFencedBody(); continue; }\n                if (wrapperIndent !== undefined && child.indent <= wrapperIndent) wrapperIndent = undefined;\n                if (wrapperIndent !== undefined || firstWord(child.content) === 'implementation') {\n                    context.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${child.content}'`, locationOf(child));\n                    wrapperIndent ??= child.indent;\n                    continue;\n                }\n            }\n            if (firstWord(child.content) === 'require') {\n                const condition = parseCondition(owner === 'concept' ? context.valueContext : context, child.content.substring('require'.length).trim(), locationOf(child));\n                let message: string | null = null;\n                let severity: ValidationSeverity = 'Error';\n                let hasSeverity = false;\n                for (let directive = context.peekChild(child.indent); directive !== undefined; directive = context.peekChild(child.indent)) {\n                    context.reader.takeSignificant();\n                    const matched = messagePattern.exec(directive.content);\n                    if (matched !== null && matched.index === 0) message = matched[1] !== undefined ? unescapeString(matched[1]) : matched[2];\n                    else if (firstWord(directive.content) === 'severity') {\n                        if (!hasSeverity) severity = severities[directive.content.substring('severity'.length).trim()] ?? 'Error';\n                        hasSeverity = true;\n                    } else context.skipOpaqueBlock(directive.indent);\n                }\n                if (condition !== null) requirements.push({ kind: 'RequirementSyntax', condition, message, severity, location: locationOf(child) });\n                continue;\n            }\n            const rule = parseValidationRule(context, owner === 'concept' ? { ...child, content: `value ${child.content}` } : child, owner, ownerName);\n            if (rule !== undefined) {\n                rules.push(rule);\n            }\n        }\n        return { kind: 'DeclarativeValidateSyntax', rules, requirements, location: locationOf(line) };\n    }\n    if (owner === 'concept' && firstWord(line.content.substring('validate'.length).trimStart()) === 'checksum') {\n        const ruleLine = { ...line, content: `value ${line.content.substring('validate'.length).trimStart()}` };\n        const rule = parseValidationRule(context, ruleLine, owner, ownerName);\n        return rule === undefined ? undefined : { kind: 'DeclarativeValidateSyntax', rules: [rule], requirements: [], location: locationOf(line) };\n    }\n    if (line.content === 'validate csharp') {\n        const code = parseCode(context.valueContext, { ...line, content: 'csharp' });\n        if (code === null) context.skipOpaqueBlock(line.indent);\n        return { kind: 'CodeValidateSyntax', code, location: locationOf(line) };\n    }\n    context.error(DiagnosticCodes.InvalidValidateDeclaration, `Invalid validate declaration '${line.content}' - expected 'validate' or 'validate csharp'`, locationOf(line));\n    context.skipBlock(line.indent);\n    return undefined;\n}\n\nfunction parseValidationRule(context: ParserContext, line: SourceLine, owner: 'command' | 'concept', ownerName: string): ValidationRuleSyntax | undefined {\n    // Checksum is a new declaration, not enrichment of a formerly opaque Legacy rule.\n    const checksum = firstWord(rulePattern.exec(line.content)?.[2] ?? '') === 'checksum';\n    const valueContext = owner === 'concept' && !checksum ? context.valueContext : context;\n    const { content: withSeverity, message } = splitMessage(line.content);\n    const severity = splitSeverity(valueContext, line, withSeverity);\n    if (severity === undefined) {\n        return undefined;\n    }\n    const match = rulePattern.exec(severity.content);\n    if (match === null) {\n        valueContext.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${line.content}'`, locationOf(line));\n        return undefined;\n    }\n    const parsed = parseRule(valueContext, match[2], line);\n    if (parsed === undefined) {\n        return undefined;\n    }\n    if (parsed.kind === 'Matches' && parsed.value !== null) validateMatchOperand(context, parsed.value, locationOf(line), line.raw, matchSubject(context, owner, ownerName, match[1]));\n    const source = parsed.kind === 'Rule' ? parseRuleImplementation(context, line, owner === 'command') : { file: null, code: null, implementation: null };\n    return {\n        kind: 'ValidationRuleSyntax',\n        property: match[1],\n        rule: parsed.kind,\n        value: parsed.value,\n        message,\n        severity: severity.severity,\n        ...source,\n        location: locationOf(line),\n    };\n}\n\nfunction parseRuleImplementation(context: ParserContext, rule: SourceLine, commandOwner: boolean): { file: FileReferenceSyntax | null; code: CodeBlockSyntax | null; implementation: ImplementationSyntax | null } {\n    const body = context.peekChild(rule.indent);\n    if (body === undefined) return { file: null, code: null, implementation: null };\n    context.reader.takeSignificant();\n    const wrapped = commandOwner && firstWord(body.content) === 'implementation';\n    const source = wrapped ? parseImplementationWrapper(context, body) : {\n        file: isFile(body) ? parseFile(context, body) : null,\n        code: !isFile(body) && isCode(context, body) ? parseCode(context, body) : null,\n        implementation: null,\n    };\n    if (!wrapped && source.file === null && source.code === null) {\n        context.error(DiagnosticCodes.UnknownRuleImplementationDirective, `Unexpected '${body.content}' in rule implementation - expected 'file <path>' or an inline code block`, locationOf(body));\n        context.skipBlock(body.indent);\n    }\n    for (let extra = context.peekChild(rule.indent); extra !== undefined && (wrapped || (commandOwner && firstWord(extra.content) === 'implementation')); extra = context.peekChild(rule.indent)) {\n        context.reader.takeSignificant();\n        context.error(wrapped && firstWord(extra.content) === 'implementation' ? DiagnosticCodes.InvalidImplementationBlock : DiagnosticCodes.ConflictingImplementationSources,\n            'A named rule has one implementation wrapper and cannot mix wrapped and direct sources.', locationOf(extra));\n        if (isCode(context, extra)) parseCode(context, extra);\n        else context.skipBlock(extra.indent);\n    }\n    return source;\n}\n\nfunction splitMessage(content: string): { content: string; message: string | null } {\n    const match = messagePattern.exec(content);\n    if (match === null) {\n        return { content, message: null };\n    }\n    const message = match[1] !== undefined ? unescapeString(match[1]) : match[2];\n    return { content: content.substring(0, match.index).trimEnd(), message };\n}\n\nfunction splitSeverity(context: ParserContext, line: SourceLine, text: string): { content: string; severity: ValidationSeverity } | undefined {\n    const match = severityPattern.exec(text);\n    if (match === null) {\n        return { content: text, severity: 'Error' };\n    }\n    const severity = severities[match[1]];\n    if (severity === undefined) {\n        context.error(DiagnosticCodes.InvalidValidationSeverity, `Unknown validation severity '${match[1]}' - expected information, warning or error`, locationOf(line));\n        return undefined;\n    }\n    return { content: text.substring(0, match.index).trimEnd(), severity };\n}\n\nfunction parseRule(context: ParserContext, rule: string, line: SourceLine): { kind: ValidationRuleKind; value: ExpressionSyntax | null } | undefined {\n    if (rule === 'not empty') {\n        return { kind: 'NotEmpty', value: null };\n    }\n    if (firstWord(rule) === 'checksum') {\n        const algorithm = rule.substring('checksum'.length).trim();\n        if (algorithm !== 'luhn' && algorithm !== 'mod11' && algorithm !== 'mod97') {\n            context.error(DiagnosticCodes.InvalidGenerationArgument, 'Checksum validation requires luhn, mod11 or mod97.', locationOf(line));\n            return undefined;\n        }\n        return { kind: 'Checksum', value: { kind: 'LiteralExpressionSyntax', value: algorithm, location: locationOf(line) } };\n    }\n    const operand = operandPattern.exec(rule);\n    if (operand === null) {\n        context.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${line.content}'`, locationOf(line));\n        return undefined;\n    }\n    const operator = operand[1] ?? operand[2];\n    if (operator === 'rule') {\n        const name = operand[3].trim();\n        if (!ruleNamePattern.test(name)) {\n            context.error(DiagnosticCodes.InvalidRuleName, `Invalid rule name '${name}' in '${line.content}' - expected 'rule <Name>' with an identifier`, locationOf(line));\n            return undefined;\n        }\n        return { kind: 'Rule', value: { kind: 'PathExpressionSyntax', path: name, location: locationOf(line) } };\n    }\n    return { kind: operandKinds[operator], value: parseMappingSource(operand[3], locationOf(line), context) };\n}\n"],"mappings":"swDAwCA,MAAMA,EAASC,EAAQ,8BAA8B,EAC/CC,EAAcC,EAAoB,2CAA2C,EAC7EC,GAAiBH,EAAQ,0CAA0C,EACnEI,EAAkBJ,EAAQ,qBAAqBK,EAAkB,iFAAiF,EAClJC,EAAkBN,EAAQ,wBAAwB,EAClDO,EAAiBP,EAAQ,sBAAsBK,EAAkB,yBAAyB,EAC1FG,EAAcR,EAAQ,qBAAqB,EAC3CS,EAAiBT,EAAQ,2JAA2J,EACpLU,EAAkBR,EAAoB,iBAAiB,EACvDS,EAAgBX,EAAQ,0CAA0C,EAGlEY,EAAmD,CACrD,IAAK,MACL,IAAK,MACL,IAAK,cACL,KAAM,qBACN,IAAK,WACL,KAAM,kBACN,KAAM,QACN,KAAM,WACN,YAAa,SACb,cAAe,gBACf,QAAS,UACT,SAAU,WACV,eAAgB,cAChB,cAAe,aACf,YAAa,WACb,QAAS,iBACT,SAAU,uBACd,EAEMC,EAAiD,CAAE,YAAa,cAAe,QAAS,UAAW,MAAO,OAAQ,EAGlHC,kBAAmB,IAAI,IAAI,CAAC,QAAS,aAAa,CAAC,EAInDC,kBAA2B,IAAI,IAAI,CAAC,cAAe,gBAAiB,UAAW,aAAa,CAAC,EAEnG,SAAgB,aAAa,EAAwB,EAAiC,CAGlF,IAAMC,kBAAQ,IAAI,IACZC,EAAY,IAAIC,EAAcC,EAAQ,OAAO,KAAK,EAAGA,EAAQ,KAAMA,EAAQ,SAAS,EAI1F,MAHA,GAAU,cAAgBA,EAAQ,cAClC,EAAU,iBAAmBA,EAAQ,iBACrC,iBAAiBF,EAAWG,EAAM,IAAA,GAAWJ,CAAK,EAC3C,iBAAiBG,EAASC,EAAMJ,CAAK,CAChD,CAEA,SAAS,iBAAiB,EAAwB,EAAkB,EAAqC,EAA8C,CACnJ,IAAMK,EAAOtB,EAAO,KAAKqB,EAAK,OAAO,CAAC,GAAG,IAAM,GAC3CC,IAAS,IACTF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EAE1J,IAAMI,EAA+B,CAAC,EAChCC,EAA8G,CAAC,EACjHC,EACEC,EAAgC,CAAC,EACjCC,EAA6B,CAAC,EAC9BC,EAAuD,CAAC,EACxDC,EAAgC,CAAC,EACnCC,EACAC,EAA6B,KAC7BC,EAA+B,KAC/BC,EAAoC,KACpCC,EAAgC,KAC9BC,EAA0E,CAAC,EAC7EC,EAAqC,KACnCC,EAA0C,CAAC,EAC7CC,EAAyC,KAC7C,IAAK,IAAIC,EAAQrB,EAAQ,UAAUC,EAAK,MAAM,EAAGoB,IAAU,IAAA,GAAW,EAAQrB,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAC1GD,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAUC,EAAUF,EAAM,OAAO,EACjCG,EAAaC,EAAiBJ,CAAK,EACzC,GAAIC,IAAY,YAActC,GAAe,KAAKqC,EAAM,OAAO,EAAG,CAC9D,IAAMK,EAAQzC,EAAgB,KAAKoC,EAAM,OAAO,EAC5CD,IAAa,MAAQM,IAAU,KAC/B1B,EAAQ,MAAMG,EAAgB,uBAAwB,yFAA8FC,EAAWiB,CAAK,CAAC,EAErK,EAAW,CAAE,KAAM,wBAAyB,GAAIK,EAAM,KAAO,IAAA,GAAY,KAAOC,EAAeD,EAAM,EAAE,EAAG,cAAeA,EAAM,IAAM,KAAM,SAAUtB,EAAWiB,CAAK,CAAE,CAE/K,MAAO,GAAIG,IAAe,IAAA,KAAc5B,EAAyB,IAAI0B,CAAO,GAAMA,IAAY,YAAcD,EAAM,UAAY,mBAC1H,EAAa,YAAYrB,EAASK,EAAYmB,EAAYtB,EAAMmB,EAAOd,CAAU,OAC9E,GAAIe,IAAY,UAAW,CAC9B,IAAMM,EAASC,EAAsB,KAAKR,EAAM,OAAO,EACnDO,IAAW,MAAQ,CAACA,EAAO,EAAE,CAAC,WAAW,GAAG,GAAKJ,IAAe,IAAA,GAC5DM,IAAkB,IAAA,IAClBzB,EAAW,KAAKmB,CAAU,EAC1BlB,EAAU,KAAK,CAAE,KAAMe,EAAO,UAAWG,EAAY,SAAU,IAAK,CAAC,GAC9DM,EAAc,IAAIN,EAAW,KAAK,IAAI,EAC7ClB,EAAU,KAAK,CAAE,KAAMe,EAAO,UAAW,KAAM,SAAUU,EAAqB/B,EAASqB,CAAK,CAAE,CAAC,EAE/F,EAAa,YAAYrB,EAASK,EAAYmB,EAAYtB,EAAMmB,EAAOd,CAAU,EAE9EiB,IAAe,IAAA,GAEfQ,EAA2BhC,EAASqB,CAAK,EAChDrB,EAAQ,UAAUqB,EAAM,MAAM,EAE9Bf,EAAU,KAAK,CAAE,KAAMe,EAAO,UAAW,KAAM,SAAUU,EAAqB/B,EAASqB,CAAK,CAAE,CAAC,EAJ/F,EAAa,YAAYrB,EAASK,EAAYmB,EAAYtB,EAAMmB,EAAOd,CAAU,CAMzF,MAAO,GAAIe,IAAY,UAAYxC,EAAY,KAAKuC,EAAM,OAAO,GAAKG,IAAe,IAAA,IAAaxB,EAAQ,kBAAkB,UAAUwB,EAAW,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC,EAAE,IAAM,GAAM,CAChL,GAAM,CAACS,EAAQC,GAAcV,EAAW,KAAK,KAAK,MAAM,GAAG,EACrDW,EAAYnC,EAAQ,iBAAiB,gBAAgBwB,EAAW,KAAK,IAAI,GAAKxB,EAAQ,iBAAiB,gBAAgBiC,EAAQC,CAAU,EACzIE,EAAQC,EAAmBrC,EAASqB,EAAOG,EAAYW,CAAS,GAClEjB,IAAW,MAAQC,EAAiB,OAAS,IAAGnB,EAAQ,MAAMG,EAAgB,qBAAsB,+CAAgDC,EAAWiB,CAAK,CAAC,EACrKc,GAAajB,IAAW,KAAMC,EAAiB,KAAKiB,CAAK,EACxD,EAASA,CAClB,MAAO,GAAId,IAAY,QAAUgB,EAAuBjB,CAAK,EACzDkB,EAA0BvC,EAASqB,CAAK,OACrC,GAAIC,IAAY,cACnB,EAAckB,EAAiBxC,EAASqB,EAAOR,EAAa,YAAYX,EAAK,EAAE,OAC5E,GAAIoB,IAAY,gBACnB,EAAgBmB,EAAmBzC,EAASqB,EAAOP,EAAe,YAAYZ,EAAK,EAAE,OAClF,GAAIoB,IAAY,YACnB,EAAYoB,EAAiB3B,EAAW4B,EAAe3C,EAASqB,CAAK,CAAC,OACnE,GAAIC,IAAY,WAAY,CAC/B,IAAMsB,EAAW,cAAc5C,EAASqB,EAAO,UAAWnB,CAAI,EAC1D0C,IAAa,IAAA,IACbpC,EAAY,KAAKoC,CAAQ,CAEjC,MAAO,GAAItB,IAAY,WAAY,CAC/B,IAAMuB,EAAaC,EAAc9C,EAASqB,EAAO,EAAI,EACjDwB,IAAe,IAAA,IAAWpC,EAAS,KAAKoC,CAAU,CAC1D,MAAO,GAAIvB,IAAY,UACnB,EAAUyB,EAAa/C,EAASqB,CAAK,EACrCJ,EAAS,KAAK,CAAE,UAAS,SAAUb,EAAWiB,CAAK,CAAE,CAAC,OACnD,GAAI1B,EAAiB,IAAI2B,CAAO,EAAG,CACtC,IAAM0B,EAAY1B,IAAY,QAAU2B,EAAWjD,EAASqB,CAAK,EAAI,IAAA,GACjE2B,IAAc,IAAA,IAAWrC,EAAe,KAAKqC,CAAS,EACtD1B,IAAY,eAAiBV,IAAgB,IAAA,KAAW,EAAcsC,EAAmBlD,EAASqB,CAAK,GAC3G,IAAM8B,EAAO,uEAAuE,KAAK9B,EAAM,OAAO,EAClG8B,IAAS,MAAMzC,EAAM,KAAK,CAAE,UAAWyC,EAAK,GAAI,MAAOA,EAAK,IAAM,IAAK,CAAC,EACxE3D,EAAc,KAAK6B,EAAM,OAAO,GAChCrB,EAAQ,MAAMG,EAAgB,0BAA2B,mDAAoDC,EAAWiB,CAAK,CAAC,EAElIrB,EAAQ,gBAAgBqB,EAAM,MAAM,CACxC,MAAWG,IAAe,IAAA,IAGtBQ,EAA2BhC,EAASqB,CAAK,EACzCrB,EAAQ,MAAMG,EAAgB,wBAAyB,eAAekB,EAAM,QAAQ,mBAAoBjB,EAAWiB,CAAK,CAAC,EACzHrB,EAAQ,UAAUqB,EAAM,MAAM,GAJ9B,EAAa,YAAYrB,EAASK,EAAYmB,EAAYtB,EAAMmB,EAAOd,CAAU,CAMzF,CACA,IAAM6C,EAAa,IAAI,IAAI9C,EAAU,QAAQ,GAAS+C,EAAM,YAAc,KAAO,CAAC,EAAI,CAACA,EAAM,SAAS,CAAC,CAAC,EAClGxD,EAAQ,IAAI,IAAIQ,EAAW,OAAO,GAAY,CAAC+C,EAAW,IAAIE,CAAQ,CAAC,CAAC,CAAC,IAAI,GAAYA,EAAS,IAAI,CAAC,EACzGhD,EAAU,KAAK,GAAS+C,EAAM,YAAc,MAAQ,CAACxD,EAAM,IAAIwD,EAAM,UAAU,KAAK,IAAI,GAAKA,EAAM,UAAU,KAAK,OAAS,SAAS,GAAGxD,EAAM,IAAI,SAAS,EAC9J,IAAK,IAAMK,KAAQL,EAAO0D,GAAiB,IAAIrD,CAAI,EACnD,IAAIsD,EAAyC,KACvCC,kBAAU,IAAI,IACpB,IAAK,IAAMJ,KAAS/C,EAAW,CAC3B,IAAIoD,EAASL,EAAM,SACnB,GAAIA,EAAM,YAAc,KAAM,CAC1B,GAAI,CAACxD,EAAM,IAAIwD,EAAM,UAAU,KAAK,IAAI,EAAG,SAC3CI,EAAQ,IAAIJ,EAAM,SAAS,EAC3B,EAAS,CAAE,KAAM,8BAA+B,OAAQ,CAAE,KAAM,+BAAgC,SAAUA,EAAM,UAAU,KAAK,KAAM,SAAUA,EAAM,UAAU,KAAK,QAAS,EAAG,SAAUjD,EAAWiD,EAAM,IAAI,CAAE,CACrN,CACIK,IAAW,OACXF,IAAa,KAGb,EAAWE,EAFX1D,EAAQ,MAAMG,EAAgB,uBAAwB,yDAA0DC,EAAWiD,EAAM,IAAI,CAAC,EAI9I,CACAM,EAAyB1C,EAAUD,EAASP,EAAS,OAAS,EAAGT,CAAO,EACxE,IAAM4D,EAAwB,CAAE,KAAM,gBAAiB,OAAM,cAAa,gBAAe,YAAW,WAAYvD,EAAW,OAAO,GAAY,CAACoD,EAAQ,IAAIH,CAAQ,CAAC,EAAG,cAAa,WAAU,UAAS,WAAU,SAAQ,mBAAkB,GAAIlC,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,SAAUhB,EAAWH,CAAI,CAAE,EAGlT,OAFA4D,EAAmB,IAAID,EAAQlD,CAAK,EACpCoD,EAAkB,IAAIF,EAAQ,CAAE,MAAOjD,EAAgB,aAAY,CAAC,EAC7DiD,CACX,CAEA,SAAS,YAAY,EAAwB,EAA8B,EAA0B,EAAqB,EAAkB,EAAoE,CAO5M,OANAG,EAA2B/D,EAASsD,EAAS,KAAMrD,CAAI,EACnDqD,EAAS,cAAgB/C,IAAe,IAAA,KACxCP,EAAQ,MAAMG,EAAgB,2BAA4B,YAAY6D,EAAY,mBAAmBzD,EAAW,KAAK,2DAA4D+C,EAAS,QAAQ,EAClM,EAAW,CAAE,GAAGA,EAAU,aAAc,EAAM,GAElDjD,EAAW,KAAKiD,CAAQ,EACjB/C,IAAe+C,EAAS,aAAeA,EAAW,IAAA,GAC7D,CAEA,SAAS,oBAAoB,EAAwB,EAAoB,EAA8C,CACnH,IAAMW,EAAOC,EAAUlE,EAASmE,CAAI,EACpC,OAAOF,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,qBAAsB,OAAM,SAAU7D,EAAWxB,CAAM,CAAE,CAC7G,CAEA,SAAS,qBAAqB,EAA2B,CACrD,IAAM8C,EAAQrC,EAAY,KAAKY,EAAK,OAAO,EAC3C,GAAIyB,IAAU,KAAM,MAAO,GAC3B,IAAM0C,EAAO1C,EAAM,GACnB,OAAQH,EAAU6C,CAAI,IAAM,OAAS7C,EAAU6C,EAAK,UAAU,CAAY,CAAC,CAAC,UAAU,CAAC,IAAM,SACzF7C,EAAU6C,CAAI,IAAM,YAAc9E,EAAe,KAAK8E,CAAI,CAClE,CAEA,SAAS,qBAAqB,EAAwB,EAAoB,EAA2B,CACjG,GAAI,CAACC,EAA+BF,CAAI,GAAK,qBAAqBA,CAAI,EAAG,MAAO,GAChF,IAAMrE,EAAYE,EAAQ,OAAO,KAAK,EACtCF,EAAU,gBAAgB,EAC1B,IAAMwE,EAAOxE,EAAU,gBAAgB,EACvC,OAAOwE,IAAS,IAAA,IAAaA,EAAK,QAAU1F,EAAO,MACvD,CAGA,SAAgB,cAAc,EAAwB,EAAkB,EAA8B,EAA+C,CACjJ,GAAIqB,EAAK,UAAY,WAAY,CAC7B,IAAMsE,EAAQvE,EAAQ,UAAUC,EAAK,MAAM,EAC3C,GAAIsE,IAAU,IAAA,IAAa,qBAAqBvE,EAASC,EAAMsE,CAAK,EAEhE,OADAvE,EAAQ,OAAO,gBAAgB,EACxB,oBAAoBA,EAASC,EAAMsE,CAAK,EAEnD,GAAIA,IAAU,IAAA,IAAaA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACxDvE,EAAQ,OAAO,gBAAgB,EAC/B,IAAMwE,EAAOC,EAAUzE,EAAQ,aAAcuE,CAAK,EAElD,OADIC,IAAS,MAAMxE,EAAQ,eAAe,EACnC,CAAE,KAAM,qBAAsB,OAAM,SAAUI,EAAWH,CAAI,CAAE,CAC1E,CACA,IAAMyE,EAAgC,CAAC,EACjCC,EAAoC,CAAC,EACvCC,EACJ,IAAK,IAAIvD,EAAQrB,EAAQ,UAAUC,EAAK,MAAM,EAAGoB,IAAU,IAAA,GAAW,EAAQrB,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAE1G,GADAD,EAAQ,OAAO,gBAAgB,EAC3B6E,IAAU,UAAW,CACrB,GAAI7E,EAAQ,cAAc,cAAgB,UAAYqB,EAAM,QAAQ,WAAW,KAAK,EAAG,CAAErB,EAAQ,eAAe,EAAG,QAAU,CAE7H,GADI4E,IAAkB,IAAA,IAAavD,EAAM,QAAUuD,IAAe,EAAgB,IAAA,IAC9EA,IAAkB,IAAA,IAAarD,EAAUF,EAAM,OAAO,IAAM,iBAAkB,CAC9ErB,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BkB,EAAM,QAAQ,GAAIjB,EAAWiB,CAAK,CAAC,EACpH,IAAkBA,EAAM,OACxB,QACJ,CACJ,CACA,GAAIE,EAAUF,EAAM,OAAO,IAAM,UAAW,CACxC,IAAMyD,EAAYC,EAAeF,IAAU,UAAY7E,EAAQ,aAAeA,EAASqB,EAAM,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EAAGjB,EAAWiB,CAAK,CAAC,EACtJ2D,EAAyB,KACzBC,EAA+B,QAC/BC,EAAc,GAClB,IAAK,IAAIC,EAAYnF,EAAQ,UAAUqB,EAAM,MAAM,EAAG8D,IAAc,IAAA,GAAW,EAAYnF,EAAQ,UAAUqB,EAAM,MAAM,EAAG,CACxHrB,EAAQ,OAAO,gBAAgB,EAC/B,IAAMoF,EAAUhG,EAAe,KAAK+F,EAAU,OAAO,EACjDC,IAAY,MAAQA,EAAQ,QAAU,EAAG,EAAUA,EAAQ,KAAO,IAAA,GAAyCA,EAAQ,GAArCzD,EAAeyD,EAAQ,EAAE,EAClG7D,EAAU4D,EAAU,OAAO,IAAM,YACjCD,IAAa,EAAWxF,EAAWyF,EAAU,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,IAAM,SAClG,EAAc,IACXnF,EAAQ,gBAAgBmF,EAAU,MAAM,CACnD,CACIL,IAAc,MAAMH,EAAa,KAAK,CAAE,KAAM,oBAAqB,YAAW,UAAS,WAAU,SAAUvE,EAAWiB,CAAK,CAAE,CAAC,EAClI,QACJ,CACA,IAAM+C,EAAO,oBAAoBpE,EAAS6E,IAAU,UAAY,CAAE,GAAGxD,EAAO,QAAS,SAASA,EAAM,SAAU,EAAIA,EAAOwD,EAAOQ,CAAS,EACrIjB,IAAS,IAAA,IACTM,EAAM,KAAKN,CAAI,CAEvB,CACA,MAAO,CAAE,KAAM,4BAA6B,QAAO,eAAc,SAAUhE,EAAWH,CAAI,CAAE,CAChG,CACA,GAAI4E,IAAU,WAAatD,EAAUtB,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,CAAC,IAAM,WAAY,CAExG,IAAMmE,EAAO,oBAAoBpE,EAAS,CADvB,GAAGC,EAAM,QAAS,SAASA,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,GACjD,EAAG4E,EAAOQ,CAAS,EACpE,OAAOjB,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,4BAA6B,MAAO,CAACA,CAAI,EAAG,aAAc,CAAC,EAAG,SAAUhE,EAAWH,CAAI,CAAE,CAC7I,CACA,GAAIA,EAAK,UAAY,kBAAmB,CACpC,IAAMuE,EAAOC,EAAUzE,EAAQ,aAAc,CAAE,GAAGC,EAAM,QAAS,QAAS,CAAC,EAE3E,OADIuE,IAAS,MAAMxE,EAAQ,gBAAgBC,EAAK,MAAM,EAC/C,CAAE,KAAM,qBAAsB,OAAM,SAAUG,EAAWH,CAAI,CAAE,CAC1E,CACAD,EAAQ,MAAMG,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,8CAA+CG,EAAWH,CAAI,CAAC,EACvKD,EAAQ,UAAUC,EAAK,MAAM,CAEjC,CAEA,SAAS,oBAAoB,EAAwB,EAAkB,EAA8B,EAAqD,CAEtJ,IAAMqF,EAAW/D,EAAUlC,EAAY,KAAKY,EAAK,OAAO,CAAC,GAAG,IAAM,EAAE,IAAM,WACpEsF,EAAeV,IAAU,WAAa,CAACS,EAAWtF,EAAQ,aAAeA,EACzE,CAAE,QAASwF,EAAc,WAAY,aAAavF,EAAK,OAAO,EAC9DgF,EAAW,cAAcM,EAActF,EAAMuF,CAAY,EAC/D,GAAIP,IAAa,IAAA,GACb,OAEJ,IAAMvD,EAAQrC,EAAY,KAAK4F,EAAS,OAAO,EAC/C,GAAIvD,IAAU,KAAM,CAChB6D,EAAa,MAAMpF,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EACvH,MACJ,CACA,IAAMyD,EAAS,UAAU6B,EAAc7D,EAAM,GAAIzB,CAAI,EACrD,GAAIyD,IAAW,IAAA,GACX,OAEAA,EAAO,OAAS,WAAaA,EAAO,QAAU,MAAM+B,EAAqBzF,EAAS0D,EAAO,MAAOtD,EAAWH,CAAI,EAAGA,EAAK,IAAKyF,EAAa1F,EAAS6E,EAAOQ,EAAW3D,EAAM,EAAE,CAAC,EACjL,IAAMO,EAASyB,EAAO,OAAS,OAAS,wBAAwB1D,EAASC,EAAM4E,IAAU,SAAS,EAAI,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EACrJ,MAAO,CACH,KAAM,uBACN,SAAUnD,EAAM,GAChB,KAAMgC,EAAO,KACb,MAAOA,EAAO,MACd,UACA,SAAUuB,EAAS,SACnB,GAAGhD,EACH,SAAU7B,EAAWH,CAAI,CAC7B,CACJ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAAwI,CAC/M,IAAMkE,EAAOnE,EAAQ,UAAUoE,EAAK,MAAM,EAC1C,GAAID,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EAC9EnE,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2F,EAAUC,GAAgBrE,EAAU4C,EAAK,OAAO,IAAM,iBACtDlC,EAAS0D,EAAUE,EAA2B7F,EAASmE,CAAI,EAAI,CACjE,KAAM2B,EAAO3B,CAAI,EAAID,EAAUlE,EAASmE,CAAI,EAAI,KAChD,KAAM,CAAC2B,EAAO3B,CAAI,GAAK4B,EAAO/F,EAASmE,CAAI,EAAIM,EAAUzE,EAASmE,CAAI,EAAI,KAC1E,eAAgB,IACpB,EACI,CAACwB,GAAW1D,EAAO,OAAS,MAAQA,EAAO,OAAS,OACpDjC,EAAQ,MAAMG,EAAgB,mCAAoC,eAAegE,EAAK,QAAQ,2EAA4E/D,EAAW+D,CAAI,CAAC,EAC1LnE,EAAQ,UAAUmE,EAAK,MAAM,GAEjC,IAAK,IAAI6B,EAAQhG,EAAQ,UAAUoE,EAAK,MAAM,EAAG4B,IAAU,IAAA,KAAcL,GAAYC,GAAgBrE,EAAUyE,EAAM,OAAO,IAAM,kBAAoB,EAAQhG,EAAQ,UAAUoE,EAAK,MAAM,EACvLpE,EAAQ,OAAO,gBAAgB,EAC/BA,EAAQ,MAAM2F,GAAWpE,EAAUyE,EAAM,OAAO,IAAM,iBAAmB7F,EAAgB,2BAA6BA,EAAgB,iCAClI,yFAA0FC,EAAW4F,CAAK,CAAC,EAC3GD,EAAO/F,EAASgG,CAAK,EAAGvB,EAAUzE,EAASgG,CAAK,EAC/ChG,EAAQ,UAAUgG,EAAM,MAAM,EAEvC,OAAO/D,CACX,CAEA,SAAS,aAAa,EAA8D,CAChF,IAAMP,EAAQtC,EAAe,KAAK6G,CAAO,EACzC,GAAIvE,IAAU,KACV,MAAO,CAAE,UAAS,QAAS,IAAK,EAEpC,IAAMsD,EAAUtD,EAAM,KAAO,IAAA,GAAuCA,EAAM,GAAjCC,EAAeD,EAAM,EAAE,EAChE,MAAO,CAAE,QAASuE,EAAQ,UAAU,EAAGvE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,SAAQ,CAC3E,CAEA,SAAS,cAAc,EAAwB,EAAkB,EAA6E,CAC1I,IAAMA,EAAQvC,EAAgB,KAAK+G,CAAI,EACvC,GAAIxE,IAAU,KACV,MAAO,CAAE,QAASwE,EAAM,SAAU,OAAQ,EAE9C,IAAMjB,EAAWvF,EAAWgC,EAAM,IAClC,GAAIuD,IAAa,IAAA,GACbjF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCuB,EAAM,GAAG,4CAA6CtB,EAAWH,CAAI,CAAC,OAGnK,MAAO,CAAE,QAASiG,EAAK,UAAU,EAAGxE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,UAAS,CACzE,CAEA,SAAS,UAAU,EAAwB,EAAc,EAA4F,CACjJ,GAAI0C,IAAS,YACT,MAAO,CAAE,KAAM,WAAY,MAAO,IAAK,EAE3C,GAAI7C,EAAU6C,CAAI,IAAM,WAAY,CAChC,IAAM+B,EAAY/B,EAAK,UAAU,CAAiB,CAAC,CAAC,KAAK,EACzD,GAAI+B,IAAc,QAAUA,IAAc,SAAWA,IAAc,QAAS,CACxEnG,EAAQ,MAAMG,EAAgB,0BAA2B,qDAAsDC,EAAWH,CAAI,CAAC,EAC/H,MACJ,CACA,MAAO,CAAE,KAAM,WAAY,MAAO,CAAE,KAAM,0BAA2B,MAAOkG,EAAW,SAAU/F,EAAWH,CAAI,CAAE,CAAE,CACxH,CACA,IAAMmG,EAAU9G,EAAe,KAAK8E,CAAI,EACxC,GAAIgC,IAAY,KAAM,CAClBpG,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EAClH,MACJ,CACA,IAAMoG,EAAWD,EAAQ,IAAMA,EAAQ,GACvC,GAAIC,IAAa,OAAQ,CACrB,IAAMnG,EAAOkG,EAAQ,EAAE,CAAC,KAAK,EAC7B,GAAI,CAAC7G,EAAgB,KAAKW,CAAI,EAAG,CAC7BF,EAAQ,MAAMG,EAAgB,gBAAiB,sBAAsBD,EAAK,QAAQD,EAAK,QAAQ,+CAAgDG,EAAWH,CAAI,CAAC,EAC/J,MACJ,CACA,MAAO,CAAE,KAAM,OAAQ,MAAO,CAAE,KAAM,uBAAwB,KAAMC,EAAM,SAAUE,EAAWH,CAAI,CAAE,CAAE,CAC3G,CACA,MAAO,CAAE,KAAMR,EAAa4G,GAAW,MAAOC,EAAmBF,EAAQ,GAAIhG,EAAWH,CAAI,EAAGD,CAAO,CAAE,CAC5G"}
+{"version":3,"file":"CommandParser.js","names":["header","pattern","routeHeader","sourceStreamPattern","calendarPrefix","calendarPattern","stringBodyPattern","severityPattern","messagePattern","rulePattern","operandPattern","ruleNamePattern","optionalReads","operandKinds","severities","opaqueDirectives","propertyShapedDirectives","names","lookahead","ParserContext","context","line","name","DiagnosticCodes","locationOf","properties","responses","identifier","validations","produces","reads","referenceReads","concurrency","description","documentation","authorize","authorizationDepthExceeded","handler","handlers","stream","streamCandidates","calendar","child","keyword","firstWord","asProperty","tryParseProperty","match","unescapeString","scalar","scalarResponsePattern","responseNames","parseCommandResponse","reportInvalidModifierOrder","source","streamName","ambiguous","route","parseCommandStream","isReactionIdentityLine","misplacedReactionIdentity","parseDescription","parseDocumentation","next","parseAuthorize","previous","combineAuthorize","validate","production","parseProduces","parseHandler","reference","parseReads","captureConcurrency","read","candidates","entry","property","discoveredNames","response","removed","parsed","validateHandlerContracts","syntax","commandReadSources","dependencySources","reportLegacyOptionalSuffix","commandName","file","parseFile","body","rule","isFileDirectiveAmongProperties","fence","code","parseCode","rules","requirements","wrapperIndent","owner","condition","parseCondition","message","severity","hasSeverity","directive","matched","ownerName","checksum","valueContext","withSeverity","validateMatchOperand","matchSubject","wrapped","commandOwner","parseImplementationWrapper","isFile","isCode","extra","content","text","algorithm","operand","operator","parseMappingSource"],"sources":["../../../../../../Compiler/Parsing/CommandParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { validateHandlerContracts } from './CommandHandlerValidator';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { RequirementSyntax } from '../Syntax/Conditions';\nimport { parseCondition } from './ConditionParser';\nimport { AuthorizeSyntax } from '../Syntax/Authorization';\nimport { CommandSyntax, ValidateSyntax, ValidationRuleKind, ValidationRuleSyntax, ValidationSeverity } from '../Syntax/Commands';\nimport { PropertySyntax } from '../Syntax/Declarations';\nimport { CommandCalendarSyntax } from '../Syntax/Calendar';\nimport { CommandStreamSyntax } from '../Syntax/EventSources';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { ProducesSyntax } from '../Syntax/Reactions';\nimport { CommandResponseSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { sourceStreamPattern } from '../Text/SourceStreamNames';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { combineAuthorize, parseAuthorize } from './AuthorizeParser';\nimport { parseCommandResponse, scalarResponsePattern } from './CommandResponseParser';\nimport { parseDescription } from './DescriptionParser';\nimport { parseDocumentation } from './DocumentationParser';\nimport { isCode, isFile, parseCode, parseFile, parseHandler, parseImplementationWrapper } from './ImplementationParser';\nimport { CodeBlockSyntax, FileReferenceSyntax, HandlerSyntax, ImplementationSyntax } from '../Syntax/Implementations';\nimport { parseMappingSource } from './ExpressionParser';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { matchSubject, validateMatchOperand } from './MatchOperandValidation';\nimport { isReactionIdentityLine, misplacedReactionIdentity } from './ReactionIdentityParser';\nimport { commandReadSources } from './CommandReadSources';\nimport { dependencySources, ReadsSyntax, ConcurrencySyntax } from '../Syntax/DependencySources';\nimport { captureConcurrency } from './DependencySourceParser';\nimport { parseReads } from './ReadsParser';\nimport { parseProduces } from './ProducesParser';\nimport { reportInvalidModifierOrder, reportLegacyOptionalSuffix, tryParseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { isFileDirectiveAmongProperties } from './FileReferences';\n\nconst header = pattern('^command\\\\s+([A-Za-z_]\\\\w*)$');\nconst routeHeader = sourceStreamPattern('^stream\\\\s+[A-Za-z_]\\\\w*\\\\.[A-Za-z_]\\\\w*$');\nconst calendarPrefix = pattern('^calendar\\\\s+(?:\"|from\\\\s+\\\\$context\\\\.)');\nconst calendarPattern = pattern(`^calendar\\\\s+(?:\"(${stringBodyPattern})\"|from\\\\s+\\\\$context\\\\.([A-Za-z_][A-Za-z0-9_]*(?:\\\\.[A-Za-z_][A-Za-z0-9_]*)*))$`);\nconst severityPattern = pattern('\\\\bseverity\\\\s+(\\\\S+)$');\nconst messagePattern = pattern(`\\\\bmessage\\\\s+(?:\"(${stringBodyPattern})\"|(\\\\$strings\\\\.\\\\S*))$`);\nconst rulePattern = pattern('^([\\\\w.]+)\\\\s+(.+)$');\nconst operandPattern = pattern('^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\\\s*)(.*)$');\nconst ruleNamePattern = sourceStreamPattern('^[A-Za-z_]\\\\w*$');\nconst optionalReads = pattern('^reads\\\\s+[A-Z]\\\\w*\\\\s+optional(?:\\\\s|$)');\n\n// Every operand the pattern matches has a kind, so an operand never goes unrecognized here.\nconst operandKinds: Record<string, ValidationRuleKind> = {\n    max: 'Max',\n    min: 'Min',\n    '>': 'GreaterThan',\n    '>=': 'GreaterThanOrEqual',\n    '<': 'LessThan',\n    '<=': 'LessThanOrEqual',\n    '==': 'Equal',\n    '!=': 'NotEqual',\n    'length ==': 'Length',\n    'decimals <=': 'DecimalPlaces',\n    matches: 'Matches',\n    contains: 'Contains',\n    'not contains': 'NotContains',\n    'starts with': 'StartsWith',\n    'ends with': 'EndsWith',\n    'all >': 'AllGreaterThan',\n    'all >=': 'AllGreaterThanOrEqual',\n};\n\nconst severities: Record<string, ValidationSeverity> = { information: 'Information', warning: 'Warning', error: 'Error' };\n\n// Command directives this compiler does not model. They are skipped whole.\nconst opaqueDirectives = new Set(['reads', 'concurrency']);\n\n// The bare directives cannot take a type reference, so a line with property shape is a property whatever\n// keyword it starts with - 'description String' declares a property called description.\nconst propertyShapedDirectives = new Set(['description', 'documentation', 'handler', 'concurrency']);\n\nexport function parseCommand(context: ParserContext, line: SourceLine): CommandSyntax {\n    // Properties are leaves, not indentation owners. Resolve ambiguous returns spelling\n    // before the committed pass decides whether its deeper lines belong to a response.\n    const names = new Set<string>();\n    const lookahead = new ParserContext(context.reader.fork(), context.path, context.languages);\n    lookahead.sourceOptions = context.sourceOptions;\n    lookahead.streamCandidates = context.streamCandidates;\n    parseCommandBody(lookahead, line, undefined, names);\n    return parseCommandBody(context, line, names);\n}\n\nfunction parseCommandBody(context: ParserContext, line: SourceLine, responseNames?: ReadonlySet<string>, discoveredNames?: Set<string>): CommandSyntax {\n    const name = header.exec(line.content)?.[1] ?? '';\n    if (name === '') {\n        context.error(DiagnosticCodes.InvalidCommandDeclaration, `Invalid command declaration '${line.content}' - expected 'command <Name>'`, locationOf(line));\n    }\n    const properties: PropertySyntax[] = [];\n    const responses: { line: SourceLine; candidate: PropertySyntax | null; response: CommandResponseSyntax | null }[] = [];\n    let identifier: PropertySyntax | undefined;\n    const validations: ValidateSyntax[] = [];\n    const produces: ProducesSyntax[] = [];\n    const reads: { readModel: string; alias: string | null }[] = [];\n    const referenceReads: ReadsSyntax[] = [];\n    let concurrency: ConcurrencySyntax | undefined;\n    let description: string | null = null;\n    let documentation: string | null = null;\n    let authorize: AuthorizeSyntax | null = null;\n    let authorizationDepthExceeded = false;\n    let handler: HandlerSyntax | null = null;\n    const handlers: { handler: HandlerSyntax | null; location: SourceLocation }[] = [];\n    let stream: CommandStreamSyntax | null = null;\n    const streamCandidates: CommandStreamSyntax[] = [];\n    let calendar: CommandCalendarSyntax | null = null;\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        const asProperty = tryParseProperty(child);\n        if (keyword === 'calendar' && calendarPrefix.test(child.content)) {\n            const match = calendarPattern.exec(child.content);\n            if (calendar !== null || match === null) {\n                context.error(DiagnosticCodes.InvalidCommandCalendar, 'A command declares at most one \\'calendar \"<id>\"\\' or \\'calendar from $context.<member>\\'.', locationOf(child));\n            } else {\n                calendar = { kind: 'CommandCalendarSyntax', id: match[1] === undefined ? null : unescapeString(match[1]), contextMember: match[2] ?? null, location: locationOf(child) };\n            }\n        } else if (asProperty !== undefined && (propertyShapedDirectives.has(keyword) || (keyword === 'validate' && child.content !== 'validate csharp'))) {\n            identifier = addProperty(context, properties, asProperty, name, child, identifier);\n        } else if (keyword === 'returns') {\n            const scalar = scalarResponsePattern.exec(child.content);\n            if (scalar !== null && !scalar[1].startsWith('@') && asProperty !== undefined) {\n                if (responseNames === undefined) {\n                    properties.push(asProperty);\n                    responses.push({ line: child, candidate: asProperty, response: null });\n                } else if (responseNames.has(asProperty.type.name)) {\n                    responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n                } else {\n                    identifier = addProperty(context, properties, asProperty, name, child, identifier);\n                }\n            } else if (asProperty !== undefined) {\n                identifier = addProperty(context, properties, asProperty, name, child, identifier);\n            } else if (reportInvalidModifierOrder(context, child)) {\n                context.skipBlock(child.indent);\n            } else {\n                responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n            }\n        } else if (keyword === 'stream' && routeHeader.test(child.content) && asProperty !== undefined && context.streamCandidates?.hasSource(asProperty.type.name.split('.')[0]) === true) {\n            const [source, streamName] = asProperty.type.name.split('.');\n            const ambiguous = context.streamCandidates.hasPropertyType(asProperty.type.name) && context.streamCandidates.hasUniqueStream(source, streamName);\n            const route = parseCommandStream(context, child, asProperty, ambiguous);\n            if (stream !== null || streamCandidates.length > 0) context.error(DiagnosticCodes.InvalidCommandStream, 'A command declares at most one stream route.', locationOf(child));\n            if (ambiguous || stream !== null) streamCandidates.push(route);\n            else stream = route;\n        } else if (keyword === 'runs' && isReactionIdentityLine(child)) {\n            misplacedReactionIdentity(context, child);\n        } else if (keyword === 'description') {\n            description = parseDescription(context, child, description, `Command '${name}'`);\n        } else if (keyword === 'documentation') {\n            documentation = parseDocumentation(context, child, documentation, `Command '${name}'`);\n        } else if (keyword === 'authorize') {\n            const next = parseAuthorize(context, child);\n            if (!authorizationDepthExceeded) {\n                const previous = authorize;\n                authorize = combineAuthorize(authorize, next, context);\n                authorizationDepthExceeded = previous !== null && authorize === null;\n            }\n        } else if (keyword === 'validate') {\n            const validate = parseValidate(context, child, 'command', name);\n            if (validate !== undefined) {\n                validations.push(validate);\n            }\n        } else if (keyword === 'produces') {\n            const production = parseProduces(context, child, true);\n            if (production !== undefined) produces.push(production);\n        } else if (keyword === 'handler') {\n            handler = parseHandler(context, child);\n            handlers.push({ handler, location: locationOf(child) });\n        } else if (opaqueDirectives.has(keyword)) {\n            const reference = keyword === 'reads' ? parseReads(context, child) : undefined;\n            if (reference !== undefined) referenceReads.push(reference);\n            if (keyword === 'concurrency' && concurrency === undefined) concurrency = captureConcurrency(context, child);\n            const read = /^reads\\s+([A-Z]\\w*)(?:\\s+as\\s+([a-z_]\\w*))?(?:\\s+by\\s+([a-z_]\\w*))?$/.exec(child.content);\n            if (read !== null) reads.push({ readModel: read[1], alias: read[2] ?? null });\n            if (optionalReads.test(child.content)) {\n                context.error(DiagnosticCodes.OptionalReadsNotSupported, 'Optional reads are not yet supported (see #308).', locationOf(child));\n            }\n            context.skipOpaqueBlock(child.indent);\n        } else if (asProperty !== undefined) {\n            identifier = addProperty(context, properties, asProperty, name, child, identifier);\n        } else {\n            reportInvalidModifierOrder(context, child);\n            context.error(DiagnosticCodes.UnknownCommandDirective, `Unexpected '${child.content}' in command body`, locationOf(child));\n            context.skipBlock(child.indent);\n        }\n    }\n    const candidates = new Set(responses.flatMap(entry => entry.candidate === null ? [] : [entry.candidate]));\n    const names = new Set(properties.filter(property => !candidates.has(property)).map(property => property.name));\n    if (responses.some(entry => entry.candidate !== null && !names.has(entry.candidate.type.name) && entry.candidate.type.name !== 'returns')) names.add('returns');\n    for (const name of names) discoveredNames?.add(name);\n    let response: CommandResponseSyntax | null = null;\n    const removed = new Set<PropertySyntax>();\n    for (const entry of responses) {\n        let parsed = entry.response;\n        if (entry.candidate !== null) {\n            if (!names.has(entry.candidate.type.name)) continue;\n            removed.add(entry.candidate);\n            parsed = { kind: 'ScalarCommandResponseSyntax', source: { kind: 'PropertyResponseSourceSyntax', property: entry.candidate.type.name, location: entry.candidate.type.location }, location: locationOf(entry.line) };\n        }\n        if (parsed === null) continue;\n        if (response !== null) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A command declares at most one unconditional response.', locationOf(entry.line));\n        } else {\n            response = parsed;\n        }\n    }\n    validateHandlerContracts(handlers, handler, produces.length > 0, context);\n    const syntax: CommandSyntax = { kind: 'CommandSyntax', name, description, documentation, authorize, properties: properties.filter(property => !removed.has(property)), validations, produces, handler, response, stream, streamCandidates, ...(calendar === null ? {} : { calendar }), location: locationOf(line) };\n    commandReadSources.set(syntax, reads);\n    dependencySources.set(syntax, { reads: referenceReads, concurrency });\n    return syntax;\n}\n\nfunction addProperty(context: ParserContext, properties: PropertySyntax[], property: PropertySyntax, commandName: string, line: SourceLine, identifier: PropertySyntax | undefined): PropertySyntax | undefined {\n    reportLegacyOptionalSuffix(context, property.type, line);\n    if (property.isIdentifier && identifier !== undefined) {\n        context.error(DiagnosticCodes.DuplicateCommandIdentifier, `Command '${commandName}' already marks '${identifier.name}' as identifier - only one property can be the identifier`, property.location);\n        property = { ...property, isIdentifier: false };\n    }\n    properties.push(property);\n    return identifier ?? (property.isIdentifier ? property : undefined);\n}\n\nfunction parseValidationFile(context: ParserContext, header: SourceLine, body: SourceLine): ValidateSyntax | undefined {\n    const file = parseFile(context, body);\n    return file === undefined ? undefined : { kind: 'FileValidateSyntax', file, location: locationOf(header) };\n}\n\nfunction hasValidationOperand(line: SourceLine): boolean {\n    const match = rulePattern.exec(line.content);\n    if (match === null) return false;\n    const rule = match[2];\n    return (firstWord(rule) === 'not' && firstWord(rule.substring('not'.length).trimStart()) === 'empty') ||\n        firstWord(rule) === 'checksum' || operandPattern.test(rule);\n}\n\nfunction isValidationFileBody(context: ParserContext, header: SourceLine, body: SourceLine): boolean {\n    if (!isFileDirectiveAmongProperties(body) || hasValidationOperand(body)) return false;\n    const lookahead = context.reader.fork();\n    lookahead.takeSignificant();\n    const next = lookahead.peekSignificant();\n    return next === undefined || next.indent <= header.indent;\n}\n\n// Reads a 'validate' block: declarative rules, or code - which is recognized but not modeled.\nexport function parseValidate(context: ParserContext, line: SourceLine, owner: 'command' | 'concept', ownerName: string): ValidateSyntax | undefined {\n    if (line.content === 'validate') {\n        const fence = context.peekChild(line.indent);\n        if (fence !== undefined && isValidationFileBody(context, line, fence)) {\n            context.reader.takeSignificant();\n            return parseValidationFile(context, line, fence);\n        }\n        if (fence !== undefined && fence.content.startsWith('```')) {\n            context.reader.takeSignificant();\n            const code = parseCode(context.valueContext, fence);\n            if (code === null) context.skipFencedBody();\n            return { kind: 'CodeValidateSyntax', code, location: locationOf(line) };\n        }\n        const rules: ValidationRuleSyntax[] = [];\n        const requirements: RequirementSyntax[] = [];\n        let wrapperIndent: number | undefined;\n        for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n            context.reader.takeSignificant();\n            if (owner === 'concept') {\n                if (context.sourceOptions.numericMode === 'legacy' && child.content.startsWith('```')) { context.skipFencedBody(); continue; }\n                if (wrapperIndent !== undefined && child.indent <= wrapperIndent) wrapperIndent = undefined;\n                if (wrapperIndent !== undefined || firstWord(child.content) === 'implementation') {\n                    context.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${child.content}'`, locationOf(child));\n                    wrapperIndent ??= child.indent;\n                    continue;\n                }\n            }\n            if (firstWord(child.content) === 'require') {\n                // Keep legacy operand enrichment quiet, but never discard the depth refusal.\n                const condition = parseCondition(owner === 'concept' ? context.valueContext : context, child.content.substring('require'.length).trim(), locationOf(child), false, context);\n                let message: string | null = null;\n                let severity: ValidationSeverity = 'Error';\n                let hasSeverity = false;\n                for (let directive = context.peekChild(child.indent); directive !== undefined; directive = context.peekChild(child.indent)) {\n                    context.reader.takeSignificant();\n                    const matched = messagePattern.exec(directive.content);\n                    if (matched !== null && matched.index === 0) message = matched[1] !== undefined ? unescapeString(matched[1]) : matched[2];\n                    else if (firstWord(directive.content) === 'severity') {\n                        if (!hasSeverity) severity = severities[directive.content.substring('severity'.length).trim()] ?? 'Error';\n                        hasSeverity = true;\n                    } else context.skipOpaqueBlock(directive.indent);\n                }\n                if (condition !== null) requirements.push({ kind: 'RequirementSyntax', condition, message, severity, location: locationOf(child) });\n                continue;\n            }\n            const rule = parseValidationRule(context, owner === 'concept' ? { ...child, content: `value ${child.content}` } : child, owner, ownerName);\n            if (rule !== undefined) {\n                rules.push(rule);\n            }\n        }\n        return { kind: 'DeclarativeValidateSyntax', rules, requirements, location: locationOf(line) };\n    }\n    if (owner === 'concept' && firstWord(line.content.substring('validate'.length).trimStart()) === 'checksum') {\n        const ruleLine = { ...line, content: `value ${line.content.substring('validate'.length).trimStart()}` };\n        const rule = parseValidationRule(context, ruleLine, owner, ownerName);\n        return rule === undefined ? undefined : { kind: 'DeclarativeValidateSyntax', rules: [rule], requirements: [], location: locationOf(line) };\n    }\n    if (line.content === 'validate csharp') {\n        const code = parseCode(context.valueContext, { ...line, content: 'csharp' });\n        if (code === null) context.skipOpaqueBlock(line.indent);\n        return { kind: 'CodeValidateSyntax', code, location: locationOf(line) };\n    }\n    context.error(DiagnosticCodes.InvalidValidateDeclaration, `Invalid validate declaration '${line.content}' - expected 'validate' or 'validate csharp'`, locationOf(line));\n    context.skipBlock(line.indent);\n    return undefined;\n}\n\nfunction parseValidationRule(context: ParserContext, line: SourceLine, owner: 'command' | 'concept', ownerName: string): ValidationRuleSyntax | undefined {\n    // Checksum is a new declaration, not enrichment of a formerly opaque Legacy rule.\n    const checksum = firstWord(rulePattern.exec(line.content)?.[2] ?? '') === 'checksum';\n    const valueContext = owner === 'concept' && !checksum ? context.valueContext : context;\n    const { content: withSeverity, message } = splitMessage(line.content);\n    const severity = splitSeverity(valueContext, line, withSeverity);\n    if (severity === undefined) {\n        return undefined;\n    }\n    const match = rulePattern.exec(severity.content);\n    if (match === null) {\n        valueContext.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${line.content}'`, locationOf(line));\n        return undefined;\n    }\n    const parsed = parseRule(valueContext, match[2], line);\n    if (parsed === undefined) {\n        return undefined;\n    }\n    if (parsed.kind === 'Matches' && parsed.value !== null) validateMatchOperand(context, parsed.value, locationOf(line), line.raw, matchSubject(context, owner, ownerName, match[1]));\n    const source = parsed.kind === 'Rule' ? parseRuleImplementation(context, line, owner === 'command') : { file: null, code: null, implementation: null };\n    return {\n        kind: 'ValidationRuleSyntax',\n        property: match[1],\n        rule: parsed.kind,\n        value: parsed.value,\n        message,\n        severity: severity.severity,\n        ...source,\n        location: locationOf(line),\n    };\n}\n\nfunction parseRuleImplementation(context: ParserContext, rule: SourceLine, commandOwner: boolean): { file: FileReferenceSyntax | null; code: CodeBlockSyntax | null; implementation: ImplementationSyntax | null } {\n    const body = context.peekChild(rule.indent);\n    if (body === undefined) return { file: null, code: null, implementation: null };\n    context.reader.takeSignificant();\n    const wrapped = commandOwner && firstWord(body.content) === 'implementation';\n    const source = wrapped ? parseImplementationWrapper(context, body) : {\n        file: isFile(body) ? parseFile(context, body) : null,\n        code: !isFile(body) && isCode(context, body) ? parseCode(context, body) : null,\n        implementation: null,\n    };\n    if (!wrapped && source.file === null && source.code === null) {\n        context.error(DiagnosticCodes.UnknownRuleImplementationDirective, `Unexpected '${body.content}' in rule implementation - expected 'file <path>' or an inline code block`, locationOf(body));\n        context.skipBlock(body.indent);\n    }\n    for (let extra = context.peekChild(rule.indent); extra !== undefined && (wrapped || (commandOwner && firstWord(extra.content) === 'implementation')); extra = context.peekChild(rule.indent)) {\n        context.reader.takeSignificant();\n        context.error(wrapped && firstWord(extra.content) === 'implementation' ? DiagnosticCodes.InvalidImplementationBlock : DiagnosticCodes.ConflictingImplementationSources,\n            'A named rule has one implementation wrapper and cannot mix wrapped and direct sources.', locationOf(extra));\n        if (isCode(context, extra)) parseCode(context, extra);\n        else context.skipBlock(extra.indent);\n    }\n    return source;\n}\n\nfunction splitMessage(content: string): { content: string; message: string | null } {\n    const match = messagePattern.exec(content);\n    if (match === null) {\n        return { content, message: null };\n    }\n    const message = match[1] !== undefined ? unescapeString(match[1]) : match[2];\n    return { content: content.substring(0, match.index).trimEnd(), message };\n}\n\nfunction splitSeverity(context: ParserContext, line: SourceLine, text: string): { content: string; severity: ValidationSeverity } | undefined {\n    const match = severityPattern.exec(text);\n    if (match === null) {\n        return { content: text, severity: 'Error' };\n    }\n    const severity = severities[match[1]];\n    if (severity === undefined) {\n        context.error(DiagnosticCodes.InvalidValidationSeverity, `Unknown validation severity '${match[1]}' - expected information, warning or error`, locationOf(line));\n        return undefined;\n    }\n    return { content: text.substring(0, match.index).trimEnd(), severity };\n}\n\nfunction parseRule(context: ParserContext, rule: string, line: SourceLine): { kind: ValidationRuleKind; value: ExpressionSyntax | null } | undefined {\n    if (rule === 'not empty') {\n        return { kind: 'NotEmpty', value: null };\n    }\n    if (firstWord(rule) === 'checksum') {\n        const algorithm = rule.substring('checksum'.length).trim();\n        if (algorithm !== 'luhn' && algorithm !== 'mod11' && algorithm !== 'mod97') {\n            context.error(DiagnosticCodes.InvalidGenerationArgument, 'Checksum validation requires luhn, mod11 or mod97.', locationOf(line));\n            return undefined;\n        }\n        return { kind: 'Checksum', value: { kind: 'LiteralExpressionSyntax', value: algorithm, location: locationOf(line) } };\n    }\n    const operand = operandPattern.exec(rule);\n    if (operand === null) {\n        context.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${line.content}'`, locationOf(line));\n        return undefined;\n    }\n    const operator = operand[1] ?? operand[2];\n    if (operator === 'rule') {\n        const name = operand[3].trim();\n        if (!ruleNamePattern.test(name)) {\n            context.error(DiagnosticCodes.InvalidRuleName, `Invalid rule name '${name}' in '${line.content}' - expected 'rule <Name>' with an identifier`, locationOf(line));\n            return undefined;\n        }\n        return { kind: 'Rule', value: { kind: 'PathExpressionSyntax', path: name, location: locationOf(line) } };\n    }\n    return { kind: operandKinds[operator], value: parseMappingSource(operand[3], locationOf(line), context) };\n}\n"],"mappings":"A,swDAwCA,MAAMA,GAASC,EAAQ,8BAA8B,EAC/CC,GAAcC,EAAoB,2CAA2C,EAC7EC,EAAiBH,EAAQ,0CAA0C,EACnEI,EAAkBJ,EAAQ,qBAAqBK,EAAkB,iFAAiF,EAClJC,EAAkBN,EAAQ,wBAAwB,EAClDO,EAAiBP,EAAQ,sBAAsBK,EAAkB,yBAAyB,EAC1FG,EAAcR,EAAQ,qBAAqB,EAC3CS,EAAiBT,EAAQ,2JAA2J,EACpLU,EAAkBR,EAAoB,iBAAiB,EACvDS,EAAgBX,EAAQ,0CAA0C,EAGlEY,EAAmD,CACrD,IAAK,MACL,IAAK,MACL,IAAK,cACL,KAAM,qBACN,IAAK,WACL,KAAM,kBACN,KAAM,QACN,KAAM,WACN,YAAa,SACb,cAAe,gBACf,QAAS,UACT,SAAU,WACV,eAAgB,cAChB,cAAe,aACf,YAAa,WACb,QAAS,iBACT,SAAU,uBACd,EAEMC,EAAiD,CAAE,YAAa,cAAe,QAAS,UAAW,MAAO,OAAQ,EAGlHC,kBAAmB,IAAI,IAAI,CAAC,QAAS,aAAa,CAAC,EAInDC,kBAA2B,IAAI,IAAI,CAAC,cAAe,gBAAiB,UAAW,aAAa,CAAC,EAEnG,SAAgB,aAAa,EAAwB,EAAiC,CAGlF,IAAMC,kBAAQ,IAAI,IACZC,EAAY,IAAIC,EAAcC,EAAQ,OAAO,KAAK,EAAGA,EAAQ,KAAMA,EAAQ,SAAS,EAI1F,MAHA,GAAU,cAAgBA,EAAQ,cAClC,EAAU,iBAAmBA,EAAQ,iBACrC,iBAAiBF,EAAWG,EAAM,IAAA,GAAWJ,CAAK,EAC3C,iBAAiBG,EAASC,EAAMJ,CAAK,CAChD,CAEA,SAAS,iBAAiB,EAAwB,EAAkB,EAAqC,EAA8C,CACnJ,IAAMK,EAAOtB,GAAO,KAAKqB,EAAK,OAAO,CAAC,GAAG,IAAM,GAC3CC,IAAS,IACTF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EAE1J,IAAMI,EAA+B,CAAC,EAChCC,EAA8G,CAAC,EACjHC,EACEC,EAAgC,CAAC,EACjCC,EAA6B,CAAC,EAC9BC,EAAuD,CAAC,EACxDC,EAAgC,CAAC,EACnCC,EACAC,EAA6B,KAC7BC,EAA+B,KAC/BC,EAAoC,KACpCC,EAA6B,GAC7BC,EAAgC,KAC9BC,EAA0E,CAAC,EAC7EC,EAAqC,KACnCC,EAA0C,CAAC,EAC7CC,EAAyC,KAC7C,IAAK,IAAIC,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAGqB,IAAU,IAAA,GAAW,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAC1GD,EAAQ,OAAO,gBAAgB,EAC/B,IAAMuB,EAAUC,EAAUF,EAAM,OAAO,EACjCG,EAAaC,EAAiBJ,CAAK,EACzC,GAAIC,IAAY,YAAcvC,EAAe,KAAKsC,EAAM,OAAO,EAAG,CAC9D,IAAMK,EAAQ1C,EAAgB,KAAKqC,EAAM,OAAO,EAC5CD,IAAa,MAAQM,IAAU,KAC/B3B,EAAQ,MAAMG,EAAgB,uBAAwB,yFAA8FC,EAAWkB,CAAK,CAAC,EAErK,EAAW,CAAE,KAAM,wBAAyB,GAAIK,EAAM,KAAO,IAAA,GAAY,KAAOC,EAAeD,EAAM,EAAE,EAAG,cAAeA,EAAM,IAAM,KAAM,SAAUvB,EAAWkB,CAAK,CAAE,CAE/K,MAAO,GAAIG,IAAe,IAAA,KAAc7B,EAAyB,IAAI2B,CAAO,GAAMA,IAAY,YAAcD,EAAM,UAAY,mBAC1H,EAAa,YAAYtB,EAASK,EAAYoB,EAAYvB,EAAMoB,EAAOf,CAAU,OAC9E,GAAIgB,IAAY,UAAW,CAC9B,IAAMM,EAASC,EAAsB,KAAKR,EAAM,OAAO,EACnDO,IAAW,MAAQ,CAACA,EAAO,EAAE,CAAC,WAAW,GAAG,GAAKJ,IAAe,IAAA,GAC5DM,IAAkB,IAAA,IAClB1B,EAAW,KAAKoB,CAAU,EAC1BnB,EAAU,KAAK,CAAE,KAAMgB,EAAO,UAAWG,EAAY,SAAU,IAAK,CAAC,GAC9DM,EAAc,IAAIN,EAAW,KAAK,IAAI,EAC7CnB,EAAU,KAAK,CAAE,KAAMgB,EAAO,UAAW,KAAM,SAAUU,EAAqBhC,EAASsB,CAAK,CAAE,CAAC,EAE/F,EAAa,YAAYtB,EAASK,EAAYoB,EAAYvB,EAAMoB,EAAOf,CAAU,EAE9EkB,IAAe,IAAA,GAEfQ,EAA2BjC,EAASsB,CAAK,EAChDtB,EAAQ,UAAUsB,EAAM,MAAM,EAE9BhB,EAAU,KAAK,CAAE,KAAMgB,EAAO,UAAW,KAAM,SAAUU,EAAqBhC,EAASsB,CAAK,CAAE,CAAC,EAJ/F,EAAa,YAAYtB,EAASK,EAAYoB,EAAYvB,EAAMoB,EAAOf,CAAU,CAMzF,MAAO,GAAIgB,IAAY,UAAYzC,GAAY,KAAKwC,EAAM,OAAO,GAAKG,IAAe,IAAA,IAAazB,EAAQ,kBAAkB,UAAUyB,EAAW,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC,EAAE,IAAM,GAAM,CAChL,GAAM,CAACS,EAAQC,GAAcV,EAAW,KAAK,KAAK,MAAM,GAAG,EACrDW,EAAYpC,EAAQ,iBAAiB,gBAAgByB,EAAW,KAAK,IAAI,GAAKzB,EAAQ,iBAAiB,gBAAgBkC,EAAQC,CAAU,EACzIE,EAAQC,EAAmBtC,EAASsB,EAAOG,EAAYW,CAAS,GAClEjB,IAAW,MAAQC,EAAiB,OAAS,IAAGpB,EAAQ,MAAMG,EAAgB,qBAAsB,+CAAgDC,EAAWkB,CAAK,CAAC,EACrKc,GAAajB,IAAW,KAAMC,EAAiB,KAAKiB,CAAK,EACxD,EAASA,CAClB,MAAO,GAAId,IAAY,QAAUgB,EAAuBjB,CAAK,EACzDkB,EAA0BxC,EAASsB,CAAK,OACrC,GAAIC,IAAY,cACnB,EAAckB,EAAiBzC,EAASsB,EAAOT,EAAa,YAAYX,EAAK,EAAE,OAC5E,GAAIqB,IAAY,gBACnB,EAAgBmB,EAAmB1C,EAASsB,EAAOR,EAAe,YAAYZ,EAAK,EAAE,OAClF,GAAIqB,IAAY,YAAa,CAChC,IAAMoB,EAAOC,EAAe5C,EAASsB,CAAK,EAC1C,GAAI,CAACN,EAA4B,CAC7B,IAAM6B,EAAW9B,EACjB,EAAY+B,EAAiB/B,EAAW4B,EAAM3C,CAAO,EACrD,EAA6B6C,IAAa,MAAQ9B,IAAc,IACpE,CACJ,MAAO,GAAIQ,IAAY,WAAY,CAC/B,IAAMwB,EAAW,cAAc/C,EAASsB,EAAO,UAAWpB,CAAI,EAC1D6C,IAAa,IAAA,IACbvC,EAAY,KAAKuC,CAAQ,CAEjC,MAAO,GAAIxB,IAAY,WAAY,CAC/B,IAAMyB,EAAaC,EAAcjD,EAASsB,EAAO,EAAI,EACjD0B,IAAe,IAAA,IAAWvC,EAAS,KAAKuC,CAAU,CAC1D,MAAO,GAAIzB,IAAY,UACnB,EAAU2B,EAAalD,EAASsB,CAAK,EACrCJ,EAAS,KAAK,CAAE,UAAS,SAAUd,EAAWkB,CAAK,CAAE,CAAC,OACnD,GAAI3B,EAAiB,IAAI4B,CAAO,EAAG,CACtC,IAAM4B,EAAY5B,IAAY,QAAU6B,EAAWpD,EAASsB,CAAK,EAAI,IAAA,GACjE6B,IAAc,IAAA,IAAWxC,EAAe,KAAKwC,CAAS,EACtD5B,IAAY,eAAiBX,IAAgB,IAAA,KAAW,EAAcyC,EAAmBrD,EAASsB,CAAK,GAC3G,IAAMgC,EAAO,uEAAuE,KAAKhC,EAAM,OAAO,EAClGgC,IAAS,MAAM5C,EAAM,KAAK,CAAE,UAAW4C,EAAK,GAAI,MAAOA,EAAK,IAAM,IAAK,CAAC,EACxE9D,EAAc,KAAK8B,EAAM,OAAO,GAChCtB,EAAQ,MAAMG,EAAgB,0BAA2B,mDAAoDC,EAAWkB,CAAK,CAAC,EAElItB,EAAQ,gBAAgBsB,EAAM,MAAM,CACxC,MAAWG,IAAe,IAAA,IAGtBQ,EAA2BjC,EAASsB,CAAK,EACzCtB,EAAQ,MAAMG,EAAgB,wBAAyB,eAAemB,EAAM,QAAQ,mBAAoBlB,EAAWkB,CAAK,CAAC,EACzHtB,EAAQ,UAAUsB,EAAM,MAAM,GAJ9B,EAAa,YAAYtB,EAASK,EAAYoB,EAAYvB,EAAMoB,EAAOf,CAAU,CAMzF,CACA,IAAMgD,EAAa,IAAI,IAAIjD,EAAU,QAAQ,GAASkD,EAAM,YAAc,KAAO,CAAC,EAAI,CAACA,EAAM,SAAS,CAAC,CAAC,EAClG3D,EAAQ,IAAI,IAAIQ,EAAW,OAAO,GAAY,CAACkD,EAAW,IAAIE,CAAQ,CAAC,CAAC,CAAC,IAAI,GAAYA,EAAS,IAAI,CAAC,EACzGnD,EAAU,KAAK,GAASkD,EAAM,YAAc,MAAQ,CAAC3D,EAAM,IAAI2D,EAAM,UAAU,KAAK,IAAI,GAAKA,EAAM,UAAU,KAAK,OAAS,SAAS,GAAG3D,EAAM,IAAI,SAAS,EAC9J,IAAK,IAAMK,KAAQL,EAAO6D,GAAiB,IAAIxD,CAAI,EACnD,IAAIyD,EAAyC,KACvCC,kBAAU,IAAI,IACpB,IAAK,IAAMJ,KAASlD,EAAW,CAC3B,IAAIuD,EAASL,EAAM,SACnB,GAAIA,EAAM,YAAc,KAAM,CAC1B,GAAI,CAAC3D,EAAM,IAAI2D,EAAM,UAAU,KAAK,IAAI,EAAG,SAC3CI,EAAQ,IAAIJ,EAAM,SAAS,EAC3B,EAAS,CAAE,KAAM,8BAA+B,OAAQ,CAAE,KAAM,+BAAgC,SAAUA,EAAM,UAAU,KAAK,KAAM,SAAUA,EAAM,UAAU,KAAK,QAAS,EAAG,SAAUpD,EAAWoD,EAAM,IAAI,CAAE,CACrN,CACIK,IAAW,OACXF,IAAa,KAGb,EAAWE,EAFX7D,EAAQ,MAAMG,EAAgB,uBAAwB,yDAA0DC,EAAWoD,EAAM,IAAI,CAAC,EAI9I,CACAM,EAAyB5C,EAAUD,EAASR,EAAS,OAAS,EAAGT,CAAO,EACxE,IAAM+D,EAAwB,CAAE,KAAM,gBAAiB,OAAM,cAAa,gBAAe,YAAW,WAAY1D,EAAW,OAAO,GAAY,CAACuD,EAAQ,IAAIH,CAAQ,CAAC,EAAG,cAAa,WAAU,UAAS,WAAU,SAAQ,mBAAkB,GAAIpC,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,SAAUjB,EAAWH,CAAI,CAAE,EAGlT,OAFA+D,EAAmB,IAAID,EAAQrD,CAAK,EACpCuD,EAAkB,IAAIF,EAAQ,CAAE,MAAOpD,EAAgB,aAAY,CAAC,EAC7DoD,CACX,CAEA,SAAS,YAAY,EAAwB,EAA8B,EAA0B,EAAqB,EAAkB,EAAoE,CAO5M,OANAG,EAA2BlE,EAASyD,EAAS,KAAMxD,CAAI,EACnDwD,EAAS,cAAgBlD,IAAe,IAAA,KACxCP,EAAQ,MAAMG,EAAgB,2BAA4B,YAAYgE,EAAY,mBAAmB5D,EAAW,KAAK,2DAA4DkD,EAAS,QAAQ,EAClM,EAAW,CAAE,GAAGA,EAAU,aAAc,EAAM,GAElDpD,EAAW,KAAKoD,CAAQ,EACjBlD,IAAekD,EAAS,aAAeA,EAAW,IAAA,GAC7D,CAEA,SAAS,oBAAoB,EAAwB,EAAoB,EAA8C,CACnH,IAAMW,EAAOC,EAAUrE,EAASsE,CAAI,EACpC,OAAOF,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,qBAAsB,OAAM,SAAUhE,EAAWxB,CAAM,CAAE,CAC7G,CAEA,SAAS,qBAAqB,EAA2B,CACrD,IAAM+C,EAAQtC,EAAY,KAAKY,EAAK,OAAO,EAC3C,GAAI0B,IAAU,KAAM,MAAO,GAC3B,IAAM4C,EAAO5C,EAAM,GACnB,OAAQH,EAAU+C,CAAI,IAAM,OAAS/C,EAAU+C,EAAK,UAAU,CAAY,CAAC,CAAC,UAAU,CAAC,IAAM,SACzF/C,EAAU+C,CAAI,IAAM,YAAcjF,EAAe,KAAKiF,CAAI,CAClE,CAEA,SAAS,qBAAqB,EAAwB,EAAoB,EAA2B,CACjG,GAAI,CAACC,EAA+BF,CAAI,GAAK,qBAAqBA,CAAI,EAAG,MAAO,GAChF,IAAMxE,EAAYE,EAAQ,OAAO,KAAK,EACtCF,EAAU,gBAAgB,EAC1B,IAAM6C,EAAO7C,EAAU,gBAAgB,EACvC,OAAO6C,IAAS,IAAA,IAAaA,EAAK,QAAU/D,EAAO,MACvD,CAGA,SAAgB,cAAc,EAAwB,EAAkB,EAA8B,EAA+C,CACjJ,GAAIqB,EAAK,UAAY,WAAY,CAC7B,IAAMwE,EAAQzE,EAAQ,UAAUC,EAAK,MAAM,EAC3C,GAAIwE,IAAU,IAAA,IAAa,qBAAqBzE,EAASC,EAAMwE,CAAK,EAEhE,OADAzE,EAAQ,OAAO,gBAAgB,EACxB,oBAAoBA,EAASC,EAAMwE,CAAK,EAEnD,GAAIA,IAAU,IAAA,IAAaA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACxDzE,EAAQ,OAAO,gBAAgB,EAC/B,IAAM0E,EAAOC,EAAU3E,EAAQ,aAAcyE,CAAK,EAElD,OADIC,IAAS,MAAM1E,EAAQ,eAAe,EACnC,CAAE,KAAM,qBAAsB,OAAM,SAAUI,EAAWH,CAAI,CAAE,CAC1E,CACA,IAAM2E,EAAgC,CAAC,EACjCC,EAAoC,CAAC,EACvCC,EACJ,IAAK,IAAIxD,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAGqB,IAAU,IAAA,GAAW,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAE1G,GADAD,EAAQ,OAAO,gBAAgB,EAC3B+E,IAAU,UAAW,CACrB,GAAI/E,EAAQ,cAAc,cAAgB,UAAYsB,EAAM,QAAQ,WAAW,KAAK,EAAG,CAAEtB,EAAQ,eAAe,EAAG,QAAU,CAE7H,GADI8E,IAAkB,IAAA,IAAaxD,EAAM,QAAUwD,IAAe,EAAgB,IAAA,IAC9EA,IAAkB,IAAA,IAAatD,EAAUF,EAAM,OAAO,IAAM,iBAAkB,CAC9EtB,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BmB,EAAM,QAAQ,GAAIlB,EAAWkB,CAAK,CAAC,EACpH,IAAkBA,EAAM,OACxB,QACJ,CACJ,CACA,GAAIE,EAAUF,EAAM,OAAO,IAAM,UAAW,CAExC,IAAM0D,EAAYC,EAAeF,IAAU,UAAY/E,EAAQ,aAAeA,EAASsB,EAAM,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EAAGlB,EAAWkB,CAAK,EAAG,GAAOtB,CAAO,EACtKkF,EAAyB,KACzBC,EAA+B,QAC/BC,EAAc,GAClB,IAAK,IAAIC,EAAYrF,EAAQ,UAAUsB,EAAM,MAAM,EAAG+D,IAAc,IAAA,GAAW,EAAYrF,EAAQ,UAAUsB,EAAM,MAAM,EAAG,CACxHtB,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsF,EAAUlG,EAAe,KAAKiG,EAAU,OAAO,EACjDC,IAAY,MAAQA,EAAQ,QAAU,EAAG,EAAUA,EAAQ,KAAO,IAAA,GAAyCA,EAAQ,GAArC1D,EAAe0D,EAAQ,EAAE,EAClG9D,EAAU6D,EAAU,OAAO,IAAM,YACjCD,IAAa,EAAW1F,EAAW2F,EAAU,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,IAAM,SAClG,EAAc,IACXrF,EAAQ,gBAAgBqF,EAAU,MAAM,CACnD,CACIL,IAAc,MAAMH,EAAa,KAAK,CAAE,KAAM,oBAAqB,YAAW,UAAS,WAAU,SAAUzE,EAAWkB,CAAK,CAAE,CAAC,EAClI,QACJ,CACA,IAAMiD,EAAO,oBAAoBvE,EAAS+E,IAAU,UAAY,CAAE,GAAGzD,EAAO,QAAS,SAASA,EAAM,SAAU,EAAIA,EAAOyD,EAAOQ,CAAS,EACrIhB,IAAS,IAAA,IACTK,EAAM,KAAKL,CAAI,CAEvB,CACA,MAAO,CAAE,KAAM,4BAA6B,QAAO,eAAc,SAAUnE,EAAWH,CAAI,CAAE,CAChG,CACA,GAAI8E,IAAU,WAAavD,EAAUvB,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,CAAC,IAAM,WAAY,CAExG,IAAMsE,EAAO,oBAAoBvE,EAAS,CADvB,GAAGC,EAAM,QAAS,SAASA,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,GACjD,EAAG8E,EAAOQ,CAAS,EACpE,OAAOhB,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,4BAA6B,MAAO,CAACA,CAAI,EAAG,aAAc,CAAC,EAAG,SAAUnE,EAAWH,CAAI,CAAE,CAC7I,CACA,GAAIA,EAAK,UAAY,kBAAmB,CACpC,IAAMyE,EAAOC,EAAU3E,EAAQ,aAAc,CAAE,GAAGC,EAAM,QAAS,QAAS,CAAC,EAE3E,OADIyE,IAAS,MAAM1E,EAAQ,gBAAgBC,EAAK,MAAM,EAC/C,CAAE,KAAM,qBAAsB,OAAM,SAAUG,EAAWH,CAAI,CAAE,CAC1E,CACAD,EAAQ,MAAMG,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,8CAA+CG,EAAWH,CAAI,CAAC,EACvKD,EAAQ,UAAUC,EAAK,MAAM,CAEjC,CAEA,SAAS,oBAAoB,EAAwB,EAAkB,EAA8B,EAAqD,CAEtJ,IAAMuF,EAAWhE,EAAUnC,EAAY,KAAKY,EAAK,OAAO,CAAC,GAAG,IAAM,EAAE,IAAM,WACpEwF,EAAeV,IAAU,WAAa,CAACS,EAAWxF,EAAQ,aAAeA,EACzE,CAAE,QAAS0F,EAAc,WAAY,aAAazF,EAAK,OAAO,EAC9DkF,EAAW,cAAcM,EAAcxF,EAAMyF,CAAY,EAC/D,GAAIP,IAAa,IAAA,GACb,OAEJ,IAAMxD,EAAQtC,EAAY,KAAK8F,EAAS,OAAO,EAC/C,GAAIxD,IAAU,KAAM,CAChB8D,EAAa,MAAMtF,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EACvH,MACJ,CACA,IAAM4D,EAAS,UAAU4B,EAAc9D,EAAM,GAAI1B,CAAI,EACrD,GAAI4D,IAAW,IAAA,GACX,OAEAA,EAAO,OAAS,WAAaA,EAAO,QAAU,MAAM8B,EAAqB3F,EAAS6D,EAAO,MAAOzD,EAAWH,CAAI,EAAGA,EAAK,IAAK2F,EAAa5F,EAAS+E,EAAOQ,EAAW5D,EAAM,EAAE,CAAC,EACjL,IAAMO,EAAS2B,EAAO,OAAS,OAAS,wBAAwB7D,EAASC,EAAM8E,IAAU,SAAS,EAAI,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EACrJ,MAAO,CACH,KAAM,uBACN,SAAUpD,EAAM,GAChB,KAAMkC,EAAO,KACb,MAAOA,EAAO,MACd,UACA,SAAUsB,EAAS,SACnB,GAAGjD,EACH,SAAU9B,EAAWH,CAAI,CAC7B,CACJ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAAwI,CAC/M,IAAMqE,EAAOtE,EAAQ,UAAUuE,EAAK,MAAM,EAC1C,GAAID,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EAC9EtE,EAAQ,OAAO,gBAAgB,EAC/B,IAAM6F,EAAUC,GAAgBtE,EAAU8C,EAAK,OAAO,IAAM,iBACtDpC,EAAS2D,EAAUE,EAA2B/F,EAASsE,CAAI,EAAI,CACjE,KAAM0B,EAAO1B,CAAI,EAAID,EAAUrE,EAASsE,CAAI,EAAI,KAChD,KAAM,CAAC0B,EAAO1B,CAAI,GAAK2B,EAAOjG,EAASsE,CAAI,EAAIK,EAAU3E,EAASsE,CAAI,EAAI,KAC1E,eAAgB,IACpB,EACI,CAACuB,GAAW3D,EAAO,OAAS,MAAQA,EAAO,OAAS,OACpDlC,EAAQ,MAAMG,EAAgB,mCAAoC,eAAemE,EAAK,QAAQ,2EAA4ElE,EAAWkE,CAAI,CAAC,EAC1LtE,EAAQ,UAAUsE,EAAK,MAAM,GAEjC,IAAK,IAAI4B,EAAQlG,EAAQ,UAAUuE,EAAK,MAAM,EAAG2B,IAAU,IAAA,KAAcL,GAAYC,GAAgBtE,EAAU0E,EAAM,OAAO,IAAM,kBAAoB,EAAQlG,EAAQ,UAAUuE,EAAK,MAAM,EACvLvE,EAAQ,OAAO,gBAAgB,EAC/BA,EAAQ,MAAM6F,GAAWrE,EAAU0E,EAAM,OAAO,IAAM,iBAAmB/F,EAAgB,2BAA6BA,EAAgB,iCAClI,yFAA0FC,EAAW8F,CAAK,CAAC,EAC3GD,EAAOjG,EAASkG,CAAK,EAAGvB,EAAU3E,EAASkG,CAAK,EAC/ClG,EAAQ,UAAUkG,EAAM,MAAM,EAEvC,OAAOhE,CACX,CAEA,SAAS,aAAa,EAA8D,CAChF,IAAMP,EAAQvC,EAAe,KAAK+G,CAAO,EACzC,GAAIxE,IAAU,KACV,MAAO,CAAE,UAAS,QAAS,IAAK,EAEpC,IAAMuD,EAAUvD,EAAM,KAAO,IAAA,GAAuCA,EAAM,GAAjCC,EAAeD,EAAM,EAAE,EAChE,MAAO,CAAE,QAASwE,EAAQ,UAAU,EAAGxE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,SAAQ,CAC3E,CAEA,SAAS,cAAc,EAAwB,EAAkB,EAA6E,CAC1I,IAAMA,EAAQxC,EAAgB,KAAKiH,CAAI,EACvC,GAAIzE,IAAU,KACV,MAAO,CAAE,QAASyE,EAAM,SAAU,OAAQ,EAE9C,IAAMjB,EAAWzF,EAAWiC,EAAM,IAClC,GAAIwD,IAAa,IAAA,GACbnF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCwB,EAAM,GAAG,4CAA6CvB,EAAWH,CAAI,CAAC,OAGnK,MAAO,CAAE,QAASmG,EAAK,UAAU,EAAGzE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,UAAS,CACzE,CAEA,SAAS,UAAU,EAAwB,EAAc,EAA4F,CACjJ,GAAI4C,IAAS,YACT,MAAO,CAAE,KAAM,WAAY,MAAO,IAAK,EAE3C,GAAI/C,EAAU+C,CAAI,IAAM,WAAY,CAChC,IAAM8B,EAAY9B,EAAK,UAAU,CAAiB,CAAC,CAAC,KAAK,EACzD,GAAI8B,IAAc,QAAUA,IAAc,SAAWA,IAAc,QAAS,CACxErG,EAAQ,MAAMG,EAAgB,0BAA2B,qDAAsDC,EAAWH,CAAI,CAAC,EAC/H,MACJ,CACA,MAAO,CAAE,KAAM,WAAY,MAAO,CAAE,KAAM,0BAA2B,MAAOoG,EAAW,SAAUjG,EAAWH,CAAI,CAAE,CAAE,CACxH,CACA,IAAMqG,EAAUhH,EAAe,KAAKiF,CAAI,EACxC,GAAI+B,IAAY,KAAM,CAClBtG,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EAClH,MACJ,CACA,IAAMsG,EAAWD,EAAQ,IAAMA,EAAQ,GACvC,GAAIC,IAAa,OAAQ,CACrB,IAAMrG,EAAOoG,EAAQ,EAAE,CAAC,KAAK,EAC7B,GAAI,CAAC/G,EAAgB,KAAKW,CAAI,EAAG,CAC7BF,EAAQ,MAAMG,EAAgB,gBAAiB,sBAAsBD,EAAK,QAAQD,EAAK,QAAQ,+CAAgDG,EAAWH,CAAI,CAAC,EAC/J,MACJ,CACA,MAAO,CAAE,KAAM,OAAQ,MAAO,CAAE,KAAM,uBAAwB,KAAMC,EAAM,SAAUE,EAAWH,CAAI,CAAE,CAAE,CAC3G,CACA,MAAO,CAAE,KAAMR,EAAa8G,GAAW,MAAOC,EAAmBF,EAAQ,GAAIlG,EAAWH,CAAI,EAAGD,CAAO,CAAE,CAC5G,C"}

package/dist/bundles/compiler/Parsing/CommandReadSources.js.map

@@ -1 +1 @@
-{"version":3,"file":"CommandReadSources.js","names":["commandReadSources"],"sources":["../../../../../../Compiler/Parsing/CommandReadSources.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 { CommandSyntax } from '../Syntax/Commands';\n\n// Reads remain outside the narrowed TypeScript wire contract. Retain source evidence for\n// operation mapping checks without guessing that an unavailable state shape is a command field.\nexport const commandReadSources = new WeakMap<CommandSyntax, readonly { readModel: string; alias: string | null }[]>();\n"],"mappings":"AAOA,MAAaA,kBAAqB,IAAI"}
+{"version":3,"file":"CommandReadSources.js","names":["commandReadSources"],"sources":["../../../../../../Compiler/Parsing/CommandReadSources.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 { CommandSyntax } from '../Syntax/Commands';\n\n// Reads remain outside the narrowed TypeScript wire contract. Retain source evidence for\n// operation mapping checks without guessing that an unavailable state shape is a command field.\nexport const commandReadSources = new WeakMap<CommandSyntax, readonly { readModel: string; alias: string | null }[]>();\n"],"mappings":"AAOA,MAAaA,kBAAqB,IAAI,Q"}

package/dist/bundles/compiler/Parsing/CommandResponseParser.js

@@ -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{locationOf as n}from"./SourceLine.js";import{unescapeIdentifier as r}from"./LineText.js";import{parseTypeRef as i,reportLegacyOptionalSuffix as a,tryParseProperty as o}from"./PropertyLineParser.js";const s=t(`^returns\\s+(@?[A-Za-z_]\\w*)$`),c=t(`^(@?[a-z_]\\w*)(?:\\s+([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?))?\\s*=(?!=|>)\\s*(@?[a-z_]\\w*)$`);function parseCommandResponse(t,l){let u=n(l);if(l.content!==`returns`){let i=s.exec(l.content);if(i===null)return t.error(e.InvalidCommandResponse,`Expected 'returns <property>' or an unconditional 'returns' block.`,u),t.skipBlock(l.indent),null;let a=t.peekChild(l.indent);a!==void 0&&(t.error(e.InvalidCommandResponse,`A scalar response cannot have child directives.`,n(a)),t.skipBlock(l.indent));let o=i.index+i[0].length-i[1].length;return{kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:r(i[1]),location:{...u,column:u.column+o}},location:u}}let d=[];for(let s=t.peekChild(l.indent);s!==void 0;s=t.peekChild(l.indent)){t.reader.takeSignificant();let l=c.exec(s.content);if(l===null){o({...s,content:s.content.split(`=`,1)[0].trimEnd()})?.isSubject?t.error(e.InvalidSubjectOwner,`The subject modifier is only valid on event properties, not response fields (decision 0008: one data subject per event).`,n(s)):t.error(e.InvalidCommandResponse,`Expected '<field> [<Type>] = <property>' in a response block.`,n(s)),t.skipBlock(s.indent);continue}let u=n(s),f=l[2]===void 0?null:i(l[2],{...u,column:u.column+s.content.indexOf(l[2],l[1].length)});f!==null&&a(t,f,s),d.push({kind:`ResponseFieldSyntax`,name:r(l[1]),type:f,source:{kind:`PropertyResponseSourceSyntax`,property:r(l[3]),location:{...u,column:u.column+s.content.lastIndexOf(l[3])}},location:u});let p=t.peekChild(s.indent);p!==void 0&&(t.error(e.InvalidCommandResponse,`A response field cannot have child directives.`,n(p)),t.skipBlock(s.indent))}return{kind:`RecordCommandResponseSyntax`,fields:d,location:u}}export{parseCommandResponse,s as scalarResponsePattern};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{unescapeIdentifier as n}from"./LineText.js";import{parseTypeRef as r,reportLegacyOptionalSuffix as i,tryParseProperty as a}from"./PropertyLineParser.js";import{locationOf as o}from"./SourceLine.js";const s=t(`^returns\\s+(@?[A-Za-z_]\\w*)$`),c=t(`^(@?[a-z_]\\w*)(?:\\s+([\\w.]+(?:\\[\\])?(?:\\?|\\s+optional)?))?\\s*=(?!=|>)\\s*(@?[a-z_]\\w*)$`);function parseCommandResponse(t,l){let u=o(l);if(l.content!==`returns`){let r=s.exec(l.content);if(r===null)return t.error(e.InvalidCommandResponse,`Expected 'returns <property>' or an unconditional 'returns' block.`,u),t.skipBlock(l.indent),null;let i=t.peekChild(l.indent);i!==void 0&&(t.error(e.InvalidCommandResponse,`A scalar response cannot have child directives.`,o(i)),t.skipBlock(l.indent));let a=r.index+r[0].length-r[1].length;return{kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:n(r[1]),location:{...u,column:u.column+a}},location:u}}let d=[];for(let s=t.peekChild(l.indent);s!==void 0;s=t.peekChild(l.indent)){t.reader.takeSignificant();let l=c.exec(s.content);if(l===null){a({...s,content:s.content.split(`=`,1)[0].trimEnd()})?.isSubject?t.error(e.InvalidSubjectOwner,`The subject modifier is only valid on event properties, not response fields (decision 0008: one data subject per event).`,o(s)):t.error(e.InvalidCommandResponse,`Expected '<field> [<Type>] = <property>' in a response block.`,o(s)),t.skipBlock(s.indent);continue}let u=o(s),f=l[2]===void 0?null:r(l[2],{...u,column:u.column+s.content.indexOf(l[2],l[1].length)});f!==null&&i(t,f,s),d.push({kind:`ResponseFieldSyntax`,name:n(l[1]),type:f,source:{kind:`PropertyResponseSourceSyntax`,property:n(l[3]),location:{...u,column:u.column+s.content.lastIndexOf(l[3])}},location:u});let p=t.peekChild(s.indent);p!==void 0&&(t.error(e.InvalidCommandResponse,`A response field cannot have child directives.`,o(p)),t.skipBlock(s.indent))}return{kind:`RecordCommandResponseSyntax`,fields:d,location:u}}export{parseCommandResponse,s as scalarResponsePattern};
 //# sourceMappingURL=CommandResponseParser.js.map

package/dist/bundles/compiler/Parsing/CommandResponseParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"CommandResponseParser.js","names":["scalarResponsePattern","pattern","fieldPattern","location","locationOf","line","match","context","DiagnosticCodes","child","sourceOffset","unescapeIdentifier","fields","tryParseProperty","fieldLocation","type","parseTypeRef","reportLegacyOptionalSuffix","nested"],"sources":["../../../../../../Compiler/Parsing/CommandResponseParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CommandResponseSyntax, ResponseFieldSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseTypeRef, reportLegacyOptionalSuffix, tryParseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\n\nexport const scalarResponsePattern = pattern('^returns\\\\s+(@?[A-Za-z_]\\\\w*)$');\nconst fieldPattern = pattern('^(@?[a-z_]\\\\w*)(?:\\\\s+([\\\\w.]+(?:\\\\[\\\\])?(?:\\\\?|\\\\s+optional)?))?\\\\s*=(?!=|>)\\\\s*(@?[a-z_]\\\\w*)$');\n\nexport function parseCommandResponse(context: ParserContext, line: SourceLine): CommandResponseSyntax | null {\n    const location = locationOf(line);\n    if (line.content !== 'returns') {\n        const match = scalarResponsePattern.exec(line.content);\n        if (match === null) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, \"Expected 'returns <property>' or an unconditional 'returns' block.\", location);\n            context.skipBlock(line.indent);\n            return null;\n        }\n        const child = context.peekChild(line.indent);\n        if (child !== undefined) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A scalar response cannot have child directives.', locationOf(child));\n            context.skipBlock(line.indent);\n        }\n        // The operand capture ends the anchored match, so its offset cannot resolve inside 'returns'.\n        const sourceOffset = match.index + match[0].length - match[1].length;\n        return { kind: 'ScalarCommandResponseSyntax', source: { kind: 'PropertyResponseSourceSyntax', property: unescapeIdentifier(match[1]), location: { ...location, column: location.column + sourceOffset } }, location };\n    }\n    const fields: ResponseFieldSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const match = fieldPattern.exec(child.content);\n        if (match === null) {\n            const candidate = tryParseProperty({ ...child, content: child.content.split('=', 1)[0].trimEnd() });\n            if (candidate?.isSubject) context.error(DiagnosticCodes.InvalidSubjectOwner, 'The subject modifier is only valid on event properties, not response fields (decision 0008: one data subject per event).', locationOf(child));\n            else context.error(DiagnosticCodes.InvalidCommandResponse, \"Expected '<field> [<Type>] = <property>' in a response block.\", locationOf(child));\n            context.skipBlock(child.indent);\n            continue;\n        }\n        const fieldLocation = locationOf(child);\n        const type = match[2] === undefined ? null : parseTypeRef(match[2], { ...fieldLocation, column: fieldLocation.column + child.content.indexOf(match[2], match[1].length) });\n        if (type !== null) reportLegacyOptionalSuffix(context, type, child);\n        fields.push({ kind: 'ResponseFieldSyntax', name: unescapeIdentifier(match[1]), type, source: { kind: 'PropertyResponseSourceSyntax', property: unescapeIdentifier(match[3]), location: { ...fieldLocation, column: fieldLocation.column + child.content.lastIndexOf(match[3]) } }, location: fieldLocation });\n        const nested = context.peekChild(child.indent);\n        if (nested !== undefined) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A response field cannot have child directives.', locationOf(nested));\n            context.skipBlock(child.indent);\n        }\n    }\n    return { kind: 'RecordCommandResponseSyntax', fields, location };\n}\n"],"mappings":"oXAWA,MAAaA,EAAwBC,EAAQ,gCAAgC,EACvEC,EAAeD,EAAQ,kGAAkG,EAE/H,SAAgB,qBAAqB,EAAwB,EAAgD,CACzG,IAAME,EAAWC,EAAWC,CAAI,EAChC,GAAIA,EAAK,UAAY,UAAW,CAC5B,IAAMC,EAAQN,EAAsB,KAAKK,EAAK,OAAO,EACrD,GAAIC,IAAU,KAGV,OAFAC,EAAQ,MAAMC,EAAgB,uBAAwB,qEAAsEL,CAAQ,EACpII,EAAQ,UAAUF,EAAK,MAAM,EACtB,KAEX,IAAMI,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EACvCI,IAAU,IAAA,KACVF,EAAQ,MAAMC,EAAgB,uBAAwB,kDAAmDJ,EAAWK,CAAK,CAAC,EAC1HF,EAAQ,UAAUF,EAAK,MAAM,GAGjC,IAAMK,EAAeJ,EAAM,MAAQA,EAAM,EAAE,CAAC,OAASA,EAAM,EAAE,CAAC,OAC9D,MAAO,CAAE,KAAM,8BAA+B,OAAQ,CAAE,KAAM,+BAAgC,SAAUK,EAAmBL,EAAM,EAAE,EAAG,SAAU,CAAE,GAAGH,EAAU,OAAQA,EAAS,OAASO,CAAa,CAAE,EAAG,UAAS,CACxN,CACA,IAAME,EAAgC,CAAC,EACvC,IAAK,IAAIH,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EAAGI,IAAU,IAAA,GAAW,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EAAG,CAC1GE,EAAQ,OAAO,gBAAgB,EAC/B,IAAMD,EAAQJ,EAAa,KAAKO,EAAM,OAAO,EAC7C,GAAIH,IAAU,KAAM,CACEO,EAAiB,CAAE,GAAGJ,EAAO,QAASA,EAAM,QAAQ,MAAM,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAE,CACrF,CAAC,EAAE,UAAWF,EAAQ,MAAMC,EAAgB,oBAAqB,2HAA4HJ,EAAWK,CAAK,CAAC,EACrNF,EAAQ,MAAMC,EAAgB,uBAAwB,gEAAiEJ,EAAWK,CAAK,CAAC,EAC7IF,EAAQ,UAAUE,EAAM,MAAM,EAC9B,QACJ,CACA,IAAMK,EAAgBV,EAAWK,CAAK,EAChCM,EAAOT,EAAM,KAAO,IAAA,GAAY,KAAOU,EAAaV,EAAM,GAAI,CAAE,GAAGQ,EAAe,OAAQA,EAAc,OAASL,EAAM,QAAQ,QAAQH,EAAM,GAAIA,EAAM,EAAE,CAAC,MAAM,CAAE,CAAC,EACrKS,IAAS,MAAME,EAA2BV,EAASQ,EAAMN,CAAK,EAClEG,EAAO,KAAK,CAAE,KAAM,sBAAuB,KAAMD,EAAmBL,EAAM,EAAE,EAAG,OAAM,OAAQ,CAAE,KAAM,+BAAgC,SAAUK,EAAmBL,EAAM,EAAE,EAAG,SAAU,CAAE,GAAGQ,EAAe,OAAQA,EAAc,OAASL,EAAM,QAAQ,YAAYH,EAAM,EAAE,CAAE,CAAE,EAAG,SAAUQ,CAAc,CAAC,EAC5S,IAAMI,EAASX,EAAQ,UAAUE,EAAM,MAAM,EACzCS,IAAW,IAAA,KACXX,EAAQ,MAAMC,EAAgB,uBAAwB,iDAAkDJ,EAAWc,CAAM,CAAC,EAC1HX,EAAQ,UAAUE,EAAM,MAAM,EAEtC,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAQ,UAAS,CACnE"}
+{"version":3,"file":"CommandResponseParser.js","names":["scalarResponsePattern","pattern","fieldPattern","location","locationOf","line","match","context","DiagnosticCodes","child","sourceOffset","unescapeIdentifier","fields","tryParseProperty","fieldLocation","type","parseTypeRef","reportLegacyOptionalSuffix","nested"],"sources":["../../../../../../Compiler/Parsing/CommandResponseParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CommandResponseSyntax, ResponseFieldSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseTypeRef, reportLegacyOptionalSuffix, tryParseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\n\nexport const scalarResponsePattern = pattern('^returns\\\\s+(@?[A-Za-z_]\\\\w*)$');\nconst fieldPattern = pattern('^(@?[a-z_]\\\\w*)(?:\\\\s+([\\\\w.]+(?:\\\\[\\\\])?(?:\\\\?|\\\\s+optional)?))?\\\\s*=(?!=|>)\\\\s*(@?[a-z_]\\\\w*)$');\n\nexport function parseCommandResponse(context: ParserContext, line: SourceLine): CommandResponseSyntax | null {\n    const location = locationOf(line);\n    if (line.content !== 'returns') {\n        const match = scalarResponsePattern.exec(line.content);\n        if (match === null) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, \"Expected 'returns <property>' or an unconditional 'returns' block.\", location);\n            context.skipBlock(line.indent);\n            return null;\n        }\n        const child = context.peekChild(line.indent);\n        if (child !== undefined) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A scalar response cannot have child directives.', locationOf(child));\n            context.skipBlock(line.indent);\n        }\n        // The operand capture ends the anchored match, so its offset cannot resolve inside 'returns'.\n        const sourceOffset = match.index + match[0].length - match[1].length;\n        return { kind: 'ScalarCommandResponseSyntax', source: { kind: 'PropertyResponseSourceSyntax', property: unescapeIdentifier(match[1]), location: { ...location, column: location.column + sourceOffset } }, location };\n    }\n    const fields: ResponseFieldSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const match = fieldPattern.exec(child.content);\n        if (match === null) {\n            const candidate = tryParseProperty({ ...child, content: child.content.split('=', 1)[0].trimEnd() });\n            if (candidate?.isSubject) context.error(DiagnosticCodes.InvalidSubjectOwner, 'The subject modifier is only valid on event properties, not response fields (decision 0008: one data subject per event).', locationOf(child));\n            else context.error(DiagnosticCodes.InvalidCommandResponse, \"Expected '<field> [<Type>] = <property>' in a response block.\", locationOf(child));\n            context.skipBlock(child.indent);\n            continue;\n        }\n        const fieldLocation = locationOf(child);\n        const type = match[2] === undefined ? null : parseTypeRef(match[2], { ...fieldLocation, column: fieldLocation.column + child.content.indexOf(match[2], match[1].length) });\n        if (type !== null) reportLegacyOptionalSuffix(context, type, child);\n        fields.push({ kind: 'ResponseFieldSyntax', name: unescapeIdentifier(match[1]), type, source: { kind: 'PropertyResponseSourceSyntax', property: unescapeIdentifier(match[3]), location: { ...fieldLocation, column: fieldLocation.column + child.content.lastIndexOf(match[3]) } }, location: fieldLocation });\n        const nested = context.peekChild(child.indent);\n        if (nested !== undefined) {\n            context.error(DiagnosticCodes.InvalidCommandResponse, 'A response field cannot have child directives.', locationOf(nested));\n            context.skipBlock(child.indent);\n        }\n    }\n    return { kind: 'RecordCommandResponseSyntax', fields, location };\n}\n"],"mappings":"A,oXAWA,MAAaA,EAAwBC,EAAQ,gCAAgC,EACvEC,EAAeD,EAAQ,kGAAkG,EAE/H,SAAgB,qBAAqB,EAAwB,EAAgD,CACzG,IAAME,EAAWC,EAAWC,CAAI,EAChC,GAAIA,EAAK,UAAY,UAAW,CAC5B,IAAMC,EAAQN,EAAsB,KAAKK,EAAK,OAAO,EACrD,GAAIC,IAAU,KAGV,OAFAC,EAAQ,MAAMC,EAAgB,uBAAwB,qEAAsEL,CAAQ,EACpII,EAAQ,UAAUF,EAAK,MAAM,EACtB,KAEX,IAAMI,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EACvCI,IAAU,IAAA,KACVF,EAAQ,MAAMC,EAAgB,uBAAwB,kDAAmDJ,EAAWK,CAAK,CAAC,EAC1HF,EAAQ,UAAUF,EAAK,MAAM,GAGjC,IAAMK,EAAeJ,EAAM,MAAQA,EAAM,EAAE,CAAC,OAASA,EAAM,EAAE,CAAC,OAC9D,MAAO,CAAE,KAAM,8BAA+B,OAAQ,CAAE,KAAM,+BAAgC,SAAUK,EAAmBL,EAAM,EAAE,EAAG,SAAU,CAAE,GAAGH,EAAU,OAAQA,EAAS,OAASO,CAAa,CAAE,EAAG,UAAS,CACxN,CACA,IAAME,EAAgC,CAAC,EACvC,IAAK,IAAIH,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EAAGI,IAAU,IAAA,GAAW,EAAQF,EAAQ,UAAUF,EAAK,MAAM,EAAG,CAC1GE,EAAQ,OAAO,gBAAgB,EAC/B,IAAMD,EAAQJ,EAAa,KAAKO,EAAM,OAAO,EAC7C,GAAIH,IAAU,KAAM,CACEO,EAAiB,CAAE,GAAGJ,EAAO,QAASA,EAAM,QAAQ,MAAM,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAE,CACrF,CAAC,EAAE,UAAWF,EAAQ,MAAMC,EAAgB,oBAAqB,2HAA4HJ,EAAWK,CAAK,CAAC,EACrNF,EAAQ,MAAMC,EAAgB,uBAAwB,gEAAiEJ,EAAWK,CAAK,CAAC,EAC7IF,EAAQ,UAAUE,EAAM,MAAM,EAC9B,QACJ,CACA,IAAMK,EAAgBV,EAAWK,CAAK,EAChCM,EAAOT,EAAM,KAAO,IAAA,GAAY,KAAOU,EAAaV,EAAM,GAAI,CAAE,GAAGQ,EAAe,OAAQA,EAAc,OAASL,EAAM,QAAQ,QAAQH,EAAM,GAAIA,EAAM,EAAE,CAAC,MAAM,CAAE,CAAC,EACrKS,IAAS,MAAME,EAA2BV,EAASQ,EAAMN,CAAK,EAClEG,EAAO,KAAK,CAAE,KAAM,sBAAuB,KAAMD,EAAmBL,EAAM,EAAE,EAAG,OAAM,OAAQ,CAAE,KAAM,+BAAgC,SAAUK,EAAmBL,EAAM,EAAE,EAAG,SAAU,CAAE,GAAGQ,EAAe,OAAQA,EAAc,OAASL,EAAM,QAAQ,YAAYH,EAAM,EAAE,CAAE,CAAE,EAAG,SAAUQ,CAAc,CAAC,EAC5S,IAAMI,EAASX,EAAQ,UAAUE,EAAM,MAAM,EACzCS,IAAW,IAAA,KACXX,EAAQ,MAAMC,EAAgB,uBAAwB,iDAAkDJ,EAAWc,CAAM,CAAC,EAC1HX,EAAQ,UAAUE,EAAM,MAAM,EAEtC,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAQ,UAAS,CACnE,C"}

package/dist/bundles/compiler/Parsing/CommandStreamCandidates.js.map

@@ -1 +1 @@
-{"version":3,"file":"CommandStreamCandidates.js","names":["CommandStreamCandidates","sources","qualifiedTypes","name","parents","source","stream","documentPlacement","documents","languages","types","imports","context","sourceContext","lines","placement","application","parseApplication","type","concept","imported","qualified"],"sources":["../../../../../../Compiler/Parsing/CommandStreamCandidates.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 { documentPlacement, PlayPlacement } from '../Files/PlayPlacement';\nimport { sourceContext } from './SourceOptionsParser';\nimport { parseApplication } from './ScreenplayParser';\nimport { SourceLine } from './SourceLine';\n\n// One noncommitting real parse per immutable document, without stream candidates. Commands retain\n// legacy properties; the parser owns leaf/block/fence rules. Capture never calls itself recursively.\nexport class CommandStreamCandidates {\n    private constructor(private readonly sources: ReadonlyMap<string, readonly (readonly string[])[]>, private readonly qualifiedTypes: ReadonlySet<string>) {}\n\n    hasSource(name: string): boolean { return this.sources.has(name); }\n    hasPropertyType(name: string): boolean { return this.qualifiedTypes.has(name); }\n    hasUniqueStream(source: string, stream: string): boolean {\n        const parents = this.sources.get(source);\n        return parents?.length === 1 && parents[0].filter(name => name === stream).length === 1;\n    }\n\n    static capture(documents: Iterable<readonly SourceLine[]>, placement: PlayPlacement = documentPlacement, languages?: ReadonlySet<string>): CommandStreamCandidates {\n        return this.capturePlaced([...documents].map(lines => ({ lines, placement })), languages);\n    }\n\n    static capturePlaced(documents: Iterable<{ readonly lines: readonly SourceLine[]; readonly placement: PlayPlacement }>, languages?: ReadonlySet<string>): CommandStreamCandidates {\n        const sources = new Map<string, string[][]>();\n        const types = new Set<string>();\n        const imports = new Set<string>();\n        for (const { lines, placement } of documents) {\n            const context = sourceContext(lines, lines[0]?.path, languages);\n            context.scope = placement;\n            const application = parseApplication(context, lines, placement);\n            for (const type of application.types) types.add(type.name);\n            for (const concept of application.concepts) types.add(concept.name);\n            for (const imported of application.imports) imports.add(imported.qualifiedName);\n            for (const source of application.eventSources ?? []) {\n                sources.set(source.name, [...sources.get(source.name) ?? [], source.streams.map(stream => stream.name)]);\n            }\n        }\n        const qualified = new Set([...imports].filter(name => types.has(name.substring(name.lastIndexOf('.') + 1))));\n        return new CommandStreamCandidates(sources, qualified);\n    }\n}\n"],"mappings":"qOAUA,IAAaA,EAAb,MAAa,uBAAwB,CACI,QAA+E,eAApH,YAAoB,EAA+E,EAAsD,CAApH,KAAA,QAAAC,EAA+E,KAAA,eAAAC,CAAsC,CAE1J,UAAU,EAAuB,CAAE,OAAO,KAAK,QAAQ,IAAIC,CAAI,CAAG,CAClE,gBAAgB,EAAuB,CAAE,OAAO,KAAK,eAAe,IAAIA,CAAI,CAAG,CAC/E,gBAAgB,EAAgB,EAAyB,CACrD,IAAMC,EAAU,KAAK,QAAQ,IAAIC,CAAM,EACvC,OAAOD,GAAS,SAAW,GAAKA,EAAQ,EAAE,CAAC,OAAO,GAAQD,IAASG,CAAM,CAAC,CAAC,SAAW,CAC1F,CAEA,OAAO,QAAQ,EAA4C,EAA2BC,EAAmB,EAA0D,CAC/J,OAAO,KAAK,cAAc,CAAC,GAAGC,CAAS,CAAC,CAAC,IAAI,IAAU,CAAE,QAAO,WAAU,EAAE,EAAGC,CAAS,CAC5F,CAEA,OAAO,cAAc,EAAmG,EAA0D,CAC9K,IAAMR,kBAAU,IAAI,IACdS,kBAAQ,IAAI,IACZC,kBAAU,IAAI,IACpB,IAAK,GAAM,CAAE,QAAO,eAAeH,EAAW,CAC1C,IAAMI,EAAUC,EAAcC,EAAOA,EAAM,EAAE,EAAE,KAAML,CAAS,EAC9D,EAAQ,MAAQM,EAChB,IAAMC,EAAcC,EAAiBL,EAASE,EAAOC,CAAS,EAC9D,IAAK,IAAMG,KAAQF,EAAY,MAAON,EAAM,IAAIQ,EAAK,IAAI,EACzD,IAAK,IAAMC,KAAWH,EAAY,SAAUN,EAAM,IAAIS,EAAQ,IAAI,EAClE,IAAK,IAAMC,KAAYJ,EAAY,QAASL,EAAQ,IAAIS,EAAS,aAAa,EAC9E,IAAK,IAAMf,KAAUW,EAAY,cAAgB,CAAC,EAC9Cf,EAAQ,IAAII,EAAO,KAAM,CAAC,GAAGJ,EAAQ,IAAII,EAAO,IAAI,GAAK,CAAC,EAAGA,EAAO,QAAQ,IAAI,GAAUC,EAAO,IAAI,CAAC,CAAC,CAE/G,CACA,IAAMe,EAAY,IAAI,IAAI,CAAC,GAAGV,CAAO,CAAC,CAAC,OAAO,GAAQD,EAAM,IAAIP,EAAK,UAAUA,EAAK,YAAY,GAAG,EAAI,CAAC,CAAC,CAAC,CAAC,EAC3G,OAAO,IAAI,wBAAwBF,EAASoB,CAAS,CACzD,CACJ"}
+{"version":3,"file":"CommandStreamCandidates.js","names":["CommandStreamCandidates","sources","qualifiedTypes","name","parents","source","stream","documentPlacement","documents","languages","types","imports","context","sourceContext","lines","placement","application","parseApplication","type","concept","imported","qualified"],"sources":["../../../../../../Compiler/Parsing/CommandStreamCandidates.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 { documentPlacement, PlayPlacement } from '../Files/PlayPlacement';\nimport { sourceContext } from './SourceOptionsParser';\nimport { parseApplication } from './ScreenplayParser';\nimport { SourceLine } from './SourceLine';\n\n// One noncommitting real parse per immutable document, without stream candidates. Commands retain\n// legacy properties; the parser owns leaf/block/fence rules. Capture never calls itself recursively.\nexport class CommandStreamCandidates {\n    private constructor(private readonly sources: ReadonlyMap<string, readonly (readonly string[])[]>, private readonly qualifiedTypes: ReadonlySet<string>) {}\n\n    hasSource(name: string): boolean { return this.sources.has(name); }\n    hasPropertyType(name: string): boolean { return this.qualifiedTypes.has(name); }\n    hasUniqueStream(source: string, stream: string): boolean {\n        const parents = this.sources.get(source);\n        return parents?.length === 1 && parents[0].filter(name => name === stream).length === 1;\n    }\n\n    static capture(documents: Iterable<readonly SourceLine[]>, placement: PlayPlacement = documentPlacement, languages?: ReadonlySet<string>): CommandStreamCandidates {\n        return this.capturePlaced([...documents].map(lines => ({ lines, placement })), languages);\n    }\n\n    static capturePlaced(documents: Iterable<{ readonly lines: readonly SourceLine[]; readonly placement: PlayPlacement }>, languages?: ReadonlySet<string>): CommandStreamCandidates {\n        const sources = new Map<string, string[][]>();\n        const types = new Set<string>();\n        const imports = new Set<string>();\n        for (const { lines, placement } of documents) {\n            const context = sourceContext(lines, lines[0]?.path, languages);\n            context.scope = placement;\n            const application = parseApplication(context, lines, placement);\n            for (const type of application.types) types.add(type.name);\n            for (const concept of application.concepts) types.add(concept.name);\n            for (const imported of application.imports) imports.add(imported.qualifiedName);\n            for (const source of application.eventSources ?? []) {\n                sources.set(source.name, [...sources.get(source.name) ?? [], source.streams.map(stream => stream.name)]);\n            }\n        }\n        const qualified = new Set([...imports].filter(name => types.has(name.substring(name.lastIndexOf('.') + 1))));\n        return new CommandStreamCandidates(sources, qualified);\n    }\n}\n"],"mappings":"A,qOAUA,IAAaA,EAAb,MAAa,uBAAwB,CACI,QAA+E,eAApH,YAAoB,EAA+E,EAAsD,CAApH,KAAA,QAAAC,EAA+E,KAAA,eAAAC,CAAsC,CAE1J,UAAU,EAAuB,CAAE,OAAO,KAAK,QAAQ,IAAIC,CAAI,CAAG,CAClE,gBAAgB,EAAuB,CAAE,OAAO,KAAK,eAAe,IAAIA,CAAI,CAAG,CAC/E,gBAAgB,EAAgB,EAAyB,CACrD,IAAMC,EAAU,KAAK,QAAQ,IAAIC,CAAM,EACvC,OAAOD,GAAS,SAAW,GAAKA,EAAQ,EAAE,CAAC,OAAO,GAAQD,IAASG,CAAM,CAAC,CAAC,SAAW,CAC1F,CAEA,OAAO,QAAQ,EAA4C,EAA2BC,EAAmB,EAA0D,CAC/J,OAAO,KAAK,cAAc,CAAC,GAAGC,CAAS,CAAC,CAAC,IAAI,IAAU,CAAE,QAAO,WAAU,EAAE,EAAGC,CAAS,CAC5F,CAEA,OAAO,cAAc,EAAmG,EAA0D,CAC9K,IAAMR,kBAAU,IAAI,IACdS,kBAAQ,IAAI,IACZC,kBAAU,IAAI,IACpB,IAAK,GAAM,CAAE,QAAO,eAAeH,EAAW,CAC1C,IAAMI,EAAUC,EAAcC,EAAOA,EAAM,EAAE,EAAE,KAAML,CAAS,EAC9D,EAAQ,MAAQM,EAChB,IAAMC,EAAcC,EAAiBL,EAASE,EAAOC,CAAS,EAC9D,IAAK,IAAMG,KAAQF,EAAY,MAAON,EAAM,IAAIQ,EAAK,IAAI,EACzD,IAAK,IAAMC,KAAWH,EAAY,SAAUN,EAAM,IAAIS,EAAQ,IAAI,EAClE,IAAK,IAAMC,KAAYJ,EAAY,QAASL,EAAQ,IAAIS,EAAS,aAAa,EAC9E,IAAK,IAAMf,KAAUW,EAAY,cAAgB,CAAC,EAC9Cf,EAAQ,IAAII,EAAO,KAAM,CAAC,GAAGJ,EAAQ,IAAII,EAAO,IAAI,GAAK,CAAC,EAAGA,EAAO,QAAQ,IAAI,GAAUC,EAAO,IAAI,CAAC,CAAC,CAE/G,CACA,IAAMe,EAAY,IAAI,IAAI,CAAC,GAAGV,CAAO,CAAC,CAAC,OAAO,GAAQD,EAAM,IAAIP,EAAK,UAAUA,EAAK,YAAY,GAAG,EAAI,CAAC,CAAC,CAAC,CAAC,EAC3G,OAAO,IAAI,wBAAwBF,EAASoB,CAAS,CACzD,CACJ,E"}

package/dist/bundles/compiler/Parsing/CompositeStreamIdValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"CompositeStreamIdValidator.js","names":["scalar","context","code","location","parts","stream","part","mappings","mapping","names","validate"],"sources":["../../../../../../Compiler/Parsing/CompositeStreamIdValidator.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 { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventStreamSyntax } from '../Syntax/EventSources';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { ParserContext } from './ParserContext';\n\nexport function validateStreamIdParts(stream: EventStreamSyntax, mappings: readonly PropertyMappingSyntax[], scalar: boolean, location: SourceLocation, code: string, context: ParserContext, validate: (mapping: PropertyMappingSyntax, target: TypeRefSyntax) => void): void {\n    if (scalar) {\n        context.error(code, 'A composite stream requires a streamId part block, not a scalar mapping.', location);\n        return;\n    }\n    const parts = stream.streamIdParts;\n    for (const part of parts.filter(part => !mappings.some(mapping => mapping.property === part.name)))\n        context.error(code, `Stream id part '${part.name}' requires a mapping.`, location);\n    const names = new Set<string>();\n    for (const mapping of mappings) {\n        const part = parts.find(part => part.name === mapping.property);\n        if (part === undefined) context.error(code, `Unknown stream id part '${mapping.property}'.`, mapping.location);\n        else if (names.has(mapping.property)) context.error(code, `Stream id part '${mapping.property}' is mapped more than once.`, mapping.location);\n        else {\n            names.add(mapping.property);\n            validate(mapping, part.type);\n        }\n    }\n}\n"],"mappings":"qDASA,SAAgB,sBAAsB,EAA2B,EAA4C,EAAiB,EAA0B,EAAc,EAAwB,EAAiF,CAC3Q,GAAIA,EAAQ,CACRC,EAAQ,MAAMC,EAAM,2EAA4EC,CAAQ,EACxG,MACJ,CACA,IAAMC,EAAQC,EAAO,cACrB,IAAK,IAAMC,KAAQF,EAAM,OAAO,GAAQ,CAACG,EAAS,KAAK,GAAWC,EAAQ,WAAaF,EAAK,IAAI,CAAC,EAC7FL,EAAQ,MAAMC,EAAM,mBAAmBI,EAAK,KAAK,uBAAwBH,CAAQ,EACrF,IAAMM,kBAAQ,IAAI,IAClB,IAAK,IAAMD,KAAWD,EAAU,CAC5B,IAAMD,EAAOF,EAAM,KAAK,GAAQE,EAAK,OAASE,EAAQ,QAAQ,EAC1DF,IAAS,IAAA,GAAWL,EAAQ,MAAMC,EAAM,2BAA2BM,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACpGC,EAAM,IAAID,EAAQ,QAAQ,EAAGP,EAAQ,MAAMC,EAAM,mBAAmBM,EAAQ,SAAS,6BAA8BA,EAAQ,QAAQ,GAExIC,EAAM,IAAID,EAAQ,QAAQ,EAC1BE,EAASF,EAASF,EAAK,IAAI,EAEnC,CACJ"}
+{"version":3,"file":"CompositeStreamIdValidator.js","names":["scalar","context","code","location","parts","stream","part","mappings","mapping","names","validate"],"sources":["../../../../../../Compiler/Parsing/CompositeStreamIdValidator.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 { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventStreamSyntax } from '../Syntax/EventSources';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { ParserContext } from './ParserContext';\n\nexport function validateStreamIdParts(stream: EventStreamSyntax, mappings: readonly PropertyMappingSyntax[], scalar: boolean, location: SourceLocation, code: string, context: ParserContext, validate: (mapping: PropertyMappingSyntax, target: TypeRefSyntax) => void): void {\n    if (scalar) {\n        context.error(code, 'A composite stream requires a streamId part block, not a scalar mapping.', location);\n        return;\n    }\n    const parts = stream.streamIdParts;\n    for (const part of parts.filter(part => !mappings.some(mapping => mapping.property === part.name)))\n        context.error(code, `Stream id part '${part.name}' requires a mapping.`, location);\n    const names = new Set<string>();\n    for (const mapping of mappings) {\n        const part = parts.find(part => part.name === mapping.property);\n        if (part === undefined) context.error(code, `Unknown stream id part '${mapping.property}'.`, mapping.location);\n        else if (names.has(mapping.property)) context.error(code, `Stream id part '${mapping.property}' is mapped more than once.`, mapping.location);\n        else {\n            names.add(mapping.property);\n            validate(mapping, part.type);\n        }\n    }\n}\n"],"mappings":"A,qDASA,SAAgB,sBAAsB,EAA2B,EAA4C,EAAiB,EAA0B,EAAc,EAAwB,EAAiF,CAC3Q,GAAIA,EAAQ,CACRC,EAAQ,MAAMC,EAAM,2EAA4EC,CAAQ,EACxG,MACJ,CACA,IAAMC,EAAQC,EAAO,cACrB,IAAK,IAAMC,KAAQF,EAAM,OAAO,GAAQ,CAACG,EAAS,KAAK,GAAWC,EAAQ,WAAaF,EAAK,IAAI,CAAC,EAC7FL,EAAQ,MAAMC,EAAM,mBAAmBI,EAAK,KAAK,uBAAwBH,CAAQ,EACrF,IAAMM,kBAAQ,IAAI,IAClB,IAAK,IAAMD,KAAWD,EAAU,CAC5B,IAAMD,EAAOF,EAAM,KAAK,GAAQE,EAAK,OAASE,EAAQ,QAAQ,EAC1DF,IAAS,IAAA,GAAWL,EAAQ,MAAMC,EAAM,2BAA2BM,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACpGC,EAAM,IAAID,EAAQ,QAAQ,EAAGP,EAAQ,MAAMC,EAAM,mBAAmBM,EAAQ,SAAS,6BAA8BA,EAAQ,QAAQ,GAExIC,EAAM,IAAID,EAAQ,QAAQ,EAC1BE,EAASF,EAASF,EAAK,IAAI,EAEnC,CACJ,C"}

package/dist/bundles/compiler/Parsing/CompositionParser.js

@@ -1,2 +1,2 @@
-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{parseStructuredValue as o,tryParseStructuredMapping as s}from"./StructuredBlockParser.js";const c=`(?:([A-Za-z_]\\w*)|"(${t})")\\.(\\w+(?:\\.\\w+)*)`,l=r(`^exposure\\s+for\\s+([A-Za-z_]\\w*)$`),u=r(`^instance\\s+([A-Za-z_]\\w*)$`),d=r(`^property\\s+${c}(?:\\s+label\\s+"(${t})")?(?:\\s+operations\\s+([\\w-]+(?:\\s*,\\s*[\\w-]+)*))?(?:\\s+fields\\s+(\\w+(?:\\s*,\\s*\\w+)*))?(?:\\s+reexposes\\s+([A-Za-z_]\\w*))?$`),f=r(`^set\\s+${c}\\s*=\\s*(.+)$`),p=r(`^set\\s+${c}(?:\\s+(none|empty))?$`),m=r(`^items\\s+${c}$`),h=r(`^item\\s+(?:([A-Za-z_][\\w-]*)|"(${t})")$`),g=r(`^([A-Za-z_]\\w*)\\s*=\\s*(.+)$`),_=[`add`,`remove`,`reorder`,`edit-fields`],reference=(e,t)=>e[t]??n(e[t+1]),list=e=>e.trim()===`none`?[]:e.split(`,`).map(e=>e.trim()).filter(e=>e.length>0);function parseExposure(t,n){let r=l.exec(n.content);r===null&&t.error(e.InvalidExposureDeclaration,`Invalid exposure declaration '${n.content}' - expected 'exposure for <Owner>'`,i(n));let a=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseExposedProperty(t,e);n!==void 0&&a.push(n)}return{kind:`ExposureSyntax`,owner:r?.[1]??n.content,properties:a,location:i(n)}}function parseInstance(t,n){let r=u.exec(n.content);r===null&&t.error(e.InvalidInstanceContribution,`Invalid instance declaration '${n.content}' - expected 'instance <Screen or Template>'`,i(n));let a=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseContribution(t,e);n!==void 0&&a.push(n)}return{kind:`InstanceContributionsSyntax`,instance:r?.[1]??n.content,contributions:a,location:i(n)}}function parseExposedProperty(t,r){let a=d.exec(r.content);if(a===null){t.error(e.InvalidExposureDeclaration,`Invalid exposed property '${r.content}' - expected 'property <component>.<path> [label "<text>"] [operations <add|remove|reorder|edit-fields>, ...] [fields <field>, ...] [reexposes <Owner>]'`,i(r));return}let o=a[5]===void 0?[]:list(a[5]),s=o.find(e=>!_.includes(e));if(s!==void 0)t.error(e.InvalidExposureDeclaration,`Unknown collection operation '${s}' - expected add, remove, reorder, edit-fields or none`,i(r));else return{kind:`ExposedPropertySyntax`,component:reference(a,1),path:a[3],label:a[4]===void 0?null:n(a[4]),isCollection:a[5]!==void 0,operations:o,restrictsFields:a[6]!==void 0,editableFields:a[6]===void 0?[]:list(a[6]),reExposes:a[7]??null,location:i(r)}}function parseContribution(t,n){let r=f.exec(n.content);if(r!==null)return t.skipBlock(n.indent),{kind:`InstanceContributionSyntax`,component:reference(r,1),path:r[3],value:a(r[4],i(n),t),items:[],location:i(n)};let s=p.exec(n.content);if(s!==null)return{kind:`InstanceContributionSyntax`,component:reference(s,1),path:s[3],value:o(t,n,s[4]?.trim()),items:[],location:i(n)};let c=m.exec(n.content);if(c!==null){let e=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseItem(t,r);n!==void 0&&e.push(n)}return{kind:`InstanceContributionSyntax`,component:reference(c,1),path:c[3],value:null,items:e,location:i(n)}}t.error(e.InvalidInstanceContribution,`Invalid instance contribution '${n.content}' - expected 'set <component>.<path> = <value>' or 'items <component>.<path>'`,i(n)),t.skipBlock(n.indent)}function parseItem(t,n){let r=h.exec(n.content);if(r===null){t.error(e.InvalidInstanceContribution,`Invalid contributed item '${n.content}' - expected 'item <id>'`,i(n)),t.skipBlock(n.indent);return}let o=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=g.exec(r.content),c=n===null?s(t,r):void 0;c===void 0?n===null?(t.error(e.InvalidInstanceContribution,`Invalid item value '${r.content}' - expected '<field> = <value>'`,i(r)),t.skipBlock(r.indent)):o.push({kind:`ContributedItemValueSyntax`,field:n[1],value:a(n[2],i(r),t),location:i(r)}):o.push({kind:`ContributedItemValueSyntax`,field:c.property,value:c.source,location:i(r)})}return{kind:`ContributedItemSyntax`,id:reference(r,1),values:o,location:i(n)}}export{parseExposure,parseInstance};
+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{parseMappingSource as i}from"./ExpressionParser.js";import{locationOf as a}from"./SourceLine.js";import{parseStructuredValue as o,tryParseStructuredMapping as s}from"./StructuredBlockParser.js";const c=`(?:([A-Za-z_]\\w*)|"(${t})")\\.(\\w+(?:\\.\\w+)*)`,l=r(`^exposure\\s+for\\s+([A-Za-z_]\\w*)$`),u=r(`^instance\\s+([A-Za-z_]\\w*)$`),d=r(`^property\\s+${c}(?:\\s+label\\s+"(${t})")?(?:\\s+operations\\s+([\\w-]+(?:\\s*,\\s*[\\w-]+)*))?(?:\\s+fields\\s+(\\w+(?:\\s*,\\s*\\w+)*))?(?:\\s+reexposes\\s+([A-Za-z_]\\w*))?$`),f=r(`^set\\s+${c}\\s*=\\s*(.+)$`),p=r(`^set\\s+${c}(?:\\s+(none|empty))?$`),m=r(`^items\\s+${c}$`),h=r(`^item\\s+(?:([A-Za-z_][\\w-]*)|"(${t})")$`),g=r(`^([A-Za-z_]\\w*)\\s*=\\s*(.+)$`),_=[`add`,`remove`,`reorder`,`edit-fields`],reference=(e,t)=>e[t]??n(e[t+1]),list=e=>e.trim()===`none`?[]:e.split(`,`).map(e=>e.trim()).filter(e=>e.length>0);function parseExposure(t,n){let r=l.exec(n.content);r===null&&t.error(e.InvalidExposureDeclaration,`Invalid exposure declaration '${n.content}' - expected 'exposure for <Owner>'`,a(n));let i=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseExposedProperty(t,e);n!==void 0&&i.push(n)}return{kind:`ExposureSyntax`,owner:r?.[1]??n.content,properties:i,location:a(n)}}function parseInstance(t,n){let r=u.exec(n.content);r===null&&t.error(e.InvalidInstanceContribution,`Invalid instance declaration '${n.content}' - expected 'instance <Screen or Template>'`,a(n));let i=[];for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseContribution(t,e);n!==void 0&&i.push(n)}return{kind:`InstanceContributionsSyntax`,instance:r?.[1]??n.content,contributions:i,location:a(n)}}function parseExposedProperty(t,r){let i=d.exec(r.content);if(i===null){t.error(e.InvalidExposureDeclaration,`Invalid exposed property '${r.content}' - expected 'property <component>.<path> [label "<text>"] [operations <add|remove|reorder|edit-fields>, ...] [fields <field>, ...] [reexposes <Owner>]'`,a(r));return}let o=i[5]===void 0?[]:list(i[5]),s=o.find(e=>!_.includes(e));if(s!==void 0)t.error(e.InvalidExposureDeclaration,`Unknown collection operation '${s}' - expected add, remove, reorder, edit-fields or none`,a(r));else return{kind:`ExposedPropertySyntax`,component:reference(i,1),path:i[3],label:i[4]===void 0?null:n(i[4]),isCollection:i[5]!==void 0,operations:o,restrictsFields:i[6]!==void 0,editableFields:i[6]===void 0?[]:list(i[6]),reExposes:i[7]??null,location:a(r)}}function parseContribution(t,n){let r=f.exec(n.content);if(r!==null)return t.skipBlock(n.indent),{kind:`InstanceContributionSyntax`,component:reference(r,1),path:r[3],value:i(r[4],a(n),t),items:[],location:a(n)};let s=p.exec(n.content);if(s!==null)return{kind:`InstanceContributionSyntax`,component:reference(s,1),path:s[3],value:o(t,n,s[4]?.trim()),items:[],location:a(n)};let c=m.exec(n.content);if(c!==null){let e=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseItem(t,r);n!==void 0&&e.push(n)}return{kind:`InstanceContributionSyntax`,component:reference(c,1),path:c[3],value:null,items:e,location:a(n)}}t.error(e.InvalidInstanceContribution,`Invalid instance contribution '${n.content}' - expected 'set <component>.<path> = <value>' or 'items <component>.<path>'`,a(n)),t.skipBlock(n.indent)}function parseItem(t,n){let r=h.exec(n.content);if(r===null){t.error(e.InvalidInstanceContribution,`Invalid contributed item '${n.content}' - expected 'item <id>'`,a(n)),t.skipBlock(n.indent);return}let o=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=g.exec(r.content),c=n===null?s(t,r):void 0;c===void 0?n===null?(t.error(e.InvalidInstanceContribution,`Invalid item value '${r.content}' - expected '<field> = <value>'`,a(r)),t.skipBlock(r.indent)):o.push({kind:`ContributedItemValueSyntax`,field:n[1],value:i(n[2],a(r),t),location:a(r)}):o.push({kind:`ContributedItemValueSyntax`,field:c.property,value:c.source,location:a(r)})}return{kind:`ContributedItemSyntax`,id:reference(r,1),values:o,location:a(n)}}export{parseExposure,parseInstance};
 //# sourceMappingURL=CompositionParser.js.map

package/dist/bundles/compiler/Parsing/CompositionParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"CompositionParser.js","names":["component","stringBodyPattern","exposureHeader","pattern","instanceHeader","exposedProperty","setPattern","setBlockPattern","itemsPattern","itemPattern","itemValuePattern","operations","match","group","unescapeString","text","entry","header","context","DiagnosticCodes","locationOf","properties","line","property","contributions","contribution","granted","unknown","operation","set","parseMappingSource","setBlock","parseStructuredValue","items","parsed","child","item","values","value","structured","tryParseStructuredMapping"],"sources":["../../../../../../Compiler/Parsing/CompositionParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ContributedItemSyntax, ContributedItemValueSyntax, ExposedPropertySyntax, ExposureSyntax, InstanceContributionSyntax, InstanceContributionsSyntax } from '../Syntax/CompositionSyntax';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { pattern } from '../Text/patterns';\nimport { parseMappingSource } from './ExpressionParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseStructuredValue, StructuredMarker, tryParseStructuredMapping } from './StructuredBlockParser';\n\nconst component = `(?:([A-Za-z_]\\\\w*)|\"(${stringBodyPattern})\")\\\\.(\\\\w+(?:\\\\.\\\\w+)*)`;\nconst exposureHeader = pattern('^exposure\\\\s+for\\\\s+([A-Za-z_]\\\\w*)$');\nconst instanceHeader = pattern('^instance\\\\s+([A-Za-z_]\\\\w*)$');\nconst exposedProperty = pattern(`^property\\\\s+${component}(?:\\\\s+label\\\\s+\"(${stringBodyPattern})\")?(?:\\\\s+operations\\\\s+([\\\\w-]+(?:\\\\s*,\\\\s*[\\\\w-]+)*))?(?:\\\\s+fields\\\\s+(\\\\w+(?:\\\\s*,\\\\s*\\\\w+)*))?(?:\\\\s+reexposes\\\\s+([A-Za-z_]\\\\w*))?$`);\nconst setPattern = pattern(`^set\\\\s+${component}\\\\s*=\\\\s*(.+)$`);\nconst setBlockPattern = pattern(`^set\\\\s+${component}(?:\\\\s+(none|empty))?$`);\nconst itemsPattern = pattern(`^items\\\\s+${component}$`);\nconst itemPattern = pattern(`^item\\\\s+(?:([A-Za-z_][\\\\w-]*)|\"(${stringBodyPattern})\")$`);\nconst itemValuePattern = pattern('^([A-Za-z_]\\\\w*)\\\\s*=\\\\s*(.+)$');\nconst operations = ['add', 'remove', 'reorder', 'edit-fields'];\nconst exposedPropertyShape = '\\'property <component>.<path> [label \"<text>\"] [operations <add|remove|reorder|edit-fields>, ...] [fields <field>, ...] [reexposes <Owner>]\\'';\n\nconst reference = (match: RegExpExecArray, group: number): string => match[group] ?? unescapeString(match[group + 1]);\nconst list = (text: string): string[] => text.trim() === 'none' ? [] : text.split(',').map(entry => entry.trim()).filter(entry => entry.length > 0);\n\n// 'exposure for <Owner>' - the port of the C# CompositionParser.ParseExposure.\nexport function parseExposure(context: ParserContext, header: SourceLine): ExposureSyntax {\n    const match = exposureHeader.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Invalid exposure declaration '${header.content}' - expected 'exposure for <Owner>'`, locationOf(header));\n    }\n    const properties: ExposedPropertySyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        const property = parseExposedProperty(context, line);\n        if (property !== undefined) properties.push(property);\n    }\n    return { kind: 'ExposureSyntax', owner: match?.[1] ?? header.content, properties, location: locationOf(header) };\n}\n\n// 'instance <Instance>' - the port of the C# CompositionParser.ParseInstance.\nexport function parseInstance(context: ParserContext, header: SourceLine): InstanceContributionsSyntax {\n    const match = instanceHeader.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid instance declaration '${header.content}' - expected 'instance <Screen or Template>'`, locationOf(header));\n    }\n    const contributions: InstanceContributionSyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        const contribution = parseContribution(context, line);\n        if (contribution !== undefined) contributions.push(contribution);\n    }\n    return { kind: 'InstanceContributionsSyntax', instance: match?.[1] ?? header.content, contributions, location: locationOf(header) };\n}\n\nfunction parseExposedProperty(context: ParserContext, line: SourceLine): ExposedPropertySyntax | undefined {\n    const match = exposedProperty.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Invalid exposed property '${line.content}' - expected ${exposedPropertyShape}`, locationOf(line));\n        return undefined;\n    }\n    const granted = match[5] === undefined ? [] : list(match[5]);\n    const unknown = granted.find(operation => !operations.includes(operation));\n    if (unknown !== undefined) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Unknown collection operation '${unknown}' - expected add, remove, reorder, edit-fields or none`, locationOf(line));\n        return undefined;\n    }\n    return {\n        kind: 'ExposedPropertySyntax',\n        component: reference(match, 1),\n        path: match[3],\n        label: match[4] === undefined ? null : unescapeString(match[4]),\n        isCollection: match[5] !== undefined,\n        operations: granted,\n        restrictsFields: match[6] !== undefined,\n        editableFields: match[6] === undefined ? [] : list(match[6]),\n        reExposes: match[7] ?? null,\n        location: locationOf(line)\n    };\n}\n\nfunction parseContribution(context: ParserContext, line: SourceLine): InstanceContributionSyntax | undefined {\n    const set = setPattern.exec(line.content);\n    if (set !== null) {\n        context.skipBlock(line.indent);\n        return { kind: 'InstanceContributionSyntax', component: reference(set, 1), path: set[3], value: parseMappingSource(set[4], locationOf(line), context), items: [], location: locationOf(line) };\n    }\n    const setBlock = setBlockPattern.exec(line.content);\n    if (setBlock !== null) {\n        return { kind: 'InstanceContributionSyntax', component: reference(setBlock, 1), path: setBlock[3], value: parseStructuredValue(context, line, setBlock[4]?.trim() as StructuredMarker), items: [], location: locationOf(line) };\n    }\n    const items = itemsPattern.exec(line.content);\n    if (items !== null) {\n        const parsed: ContributedItemSyntax[] = [];\n        for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n            context.reader.takeSignificant();\n            const item = parseItem(context, child);\n            if (item !== undefined) parsed.push(item);\n        }\n        return { kind: 'InstanceContributionSyntax', component: reference(items, 1), path: items[3], value: null, items: parsed, location: locationOf(line) };\n    }\n    context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid instance contribution '${line.content}' - expected 'set <component>.<path> = <value>' or 'items <component>.<path>'`, locationOf(line));\n    context.skipBlock(line.indent);\n    return undefined;\n}\n\nfunction parseItem(context: ParserContext, line: SourceLine): ContributedItemSyntax | undefined {\n    const match = itemPattern.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid contributed item '${line.content}' - expected 'item <id>'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n    const values: ContributedItemValueSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const value = itemValuePattern.exec(child.content);\n        const structured = value === null ? tryParseStructuredMapping(context, child) : undefined;\n        if (structured !== undefined) {\n            values.push({ kind: 'ContributedItemValueSyntax', field: structured.property, value: structured.source, location: locationOf(child) });\n            continue;\n        }\n        if (value === null) {\n            context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid item value '${child.content}' - expected '<field> = <value>'`, locationOf(child));\n            context.skipBlock(child.indent);\n            continue;\n        }\n        values.push({ kind: 'ContributedItemValueSyntax', field: value[1], value: parseMappingSource(value[2], locationOf(child), context), location: locationOf(child) });\n    }\n    return { kind: 'ContributedItemSyntax', id: reference(match, 1), values, location: locationOf(line) };\n}\n"],"mappings":"icAYA,MAAMA,EAAY,wBAAwBC,EAAkB,0BACtDC,EAAiBC,EAAQ,sCAAsC,EAC/DC,EAAiBD,EAAQ,+BAA+B,EACxDE,EAAkBF,EAAQ,gBAAgBH,EAAU,oBAAoBC,EAAkB,2IAA2I,EACrOK,EAAaH,EAAQ,WAAWH,EAAU,eAAe,EACzDO,EAAkBJ,EAAQ,WAAWH,EAAU,uBAAuB,EACtEQ,EAAeL,EAAQ,aAAaH,EAAU,EAAE,EAChDS,EAAcN,EAAQ,oCAAoCF,EAAkB,KAAK,EACjFS,EAAmBP,EAAQ,gCAAgC,EAC3DQ,EAAa,CAAC,MAAO,SAAU,UAAW,aAAa,EAGvD,WAAa,EAAwB,IAA0BC,EAAMC,IAAUC,EAAeF,EAAMC,EAAQ,EAAE,EAC9G,KAAQ,GAA2BE,EAAK,KAAK,IAAM,OAAS,CAAC,EAAIA,EAAK,MAAM,GAAG,CAAC,CAAC,IAAI,GAASC,EAAM,KAAK,CAAC,CAAC,CAAC,OAAO,GAASA,EAAM,OAAS,CAAC,EAGlJ,SAAgB,cAAc,EAAwB,EAAoC,CACtF,IAAMJ,EAAQV,EAAe,KAAKe,EAAO,OAAO,EAC5CL,IAAU,MACVM,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAO,QAAQ,qCAAsCG,EAAWH,CAAM,CAAC,EAEtK,IAAMI,EAAsC,CAAC,EAC7C,IAAK,IAAIC,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAGK,IAAS,IAAA,GAAW,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAG,CAC3GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMK,EAAW,qBAAqBL,EAASI,CAAI,EAC/CC,IAAa,IAAA,IAAWF,EAAW,KAAKE,CAAQ,CACxD,CACA,MAAO,CAAE,KAAM,iBAAkB,MAAOX,IAAQ,IAAMK,EAAO,QAAS,aAAY,SAAUG,EAAWH,CAAM,CAAE,CACnH,CAGA,SAAgB,cAAc,EAAwB,EAAiD,CACnG,IAAML,EAAQR,EAAe,KAAKa,EAAO,OAAO,EAC5CL,IAAU,MACVM,EAAQ,MAAMC,EAAgB,4BAA6B,iCAAiCF,EAAO,QAAQ,8CAA+CG,EAAWH,CAAM,CAAC,EAEhL,IAAMO,EAA8C,CAAC,EACrD,IAAK,IAAIF,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAGK,IAAS,IAAA,GAAW,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAG,CAC3GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMO,EAAe,kBAAkBP,EAASI,CAAI,EAChDG,IAAiB,IAAA,IAAWD,EAAc,KAAKC,CAAY,CACnE,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAUb,IAAQ,IAAMK,EAAO,QAAS,gBAAe,SAAUG,EAAWH,CAAM,CAAE,CACtI,CAEA,SAAS,qBAAqB,EAAwB,EAAqD,CACvG,IAAML,EAAQP,EAAgB,KAAKiB,EAAK,OAAO,EAC/C,GAAIV,IAAU,KAAM,CAChBM,EAAQ,MAAMC,EAAgB,2BAA4B,6BAA6BG,EAAK,QAAQ,0JAAuCF,EAAWE,CAAI,CAAC,EAC3J,MACJ,CACA,IAAMI,EAAUd,EAAM,KAAO,IAAA,GAAY,CAAC,EAAI,KAAKA,EAAM,EAAE,EACrDe,EAAUD,EAAQ,KAAK,GAAa,CAACf,EAAW,SAASiB,CAAS,CAAC,EACzE,GAAID,IAAY,IAAA,GACZT,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCQ,EAAQ,wDAAyDP,EAAWE,CAAI,CAAC,OAGhL,MAAO,CACH,KAAM,wBACN,UAAW,UAAUV,EAAO,CAAC,EAC7B,KAAMA,EAAM,GACZ,MAAOA,EAAM,KAAO,IAAA,GAAY,KAAOE,EAAeF,EAAM,EAAE,EAC9D,aAAcA,EAAM,KAAO,IAAA,GAC3B,WAAYc,EACZ,gBAAiBd,EAAM,KAAO,IAAA,GAC9B,eAAgBA,EAAM,KAAO,IAAA,GAAY,CAAC,EAAI,KAAKA,EAAM,EAAE,EAC3D,UAAWA,EAAM,IAAM,KACvB,SAAUQ,EAAWE,CAAI,CAC7B,CACJ,CAEA,SAAS,kBAAkB,EAAwB,EAA0D,CACzG,IAAMO,EAAMvB,EAAW,KAAKgB,EAAK,OAAO,EACxC,GAAIO,IAAQ,KAER,OADAX,EAAQ,UAAUI,EAAK,MAAM,EACtB,CAAE,KAAM,6BAA8B,UAAW,UAAUO,EAAK,CAAC,EAAG,KAAMA,EAAI,GAAI,MAAOC,EAAmBD,EAAI,GAAIT,EAAWE,CAAI,EAAGJ,CAAO,EAAG,MAAO,CAAC,EAAG,SAAUE,EAAWE,CAAI,CAAE,EAEjM,IAAMS,EAAWxB,EAAgB,KAAKe,EAAK,OAAO,EAClD,GAAIS,IAAa,KACb,MAAO,CAAE,KAAM,6BAA8B,UAAW,UAAUA,EAAU,CAAC,EAAG,KAAMA,EAAS,GAAI,MAAOC,EAAqBd,EAASI,EAAMS,EAAS,EAAE,EAAE,KAAK,CAAqB,EAAG,MAAO,CAAC,EAAG,SAAUX,EAAWE,CAAI,CAAE,EAElO,IAAMW,EAAQzB,EAAa,KAAKc,EAAK,OAAO,EAC5C,GAAIW,IAAU,KAAM,CAChB,IAAMC,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAG,CAC1GJ,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkB,EAAO,UAAUlB,EAASiB,CAAK,EACjCC,IAAS,IAAA,IAAWF,EAAO,KAAKE,CAAI,CAC5C,CACA,MAAO,CAAE,KAAM,6BAA8B,UAAW,UAAUH,EAAO,CAAC,EAAG,KAAMA,EAAM,GAAI,MAAO,KAAM,MAAOC,EAAQ,SAAUd,EAAWE,CAAI,CAAE,CACxJ,CACAJ,EAAQ,MAAMC,EAAgB,4BAA6B,kCAAkCG,EAAK,QAAQ,+EAAgFF,EAAWE,CAAI,CAAC,EAC1MJ,EAAQ,UAAUI,EAAK,MAAM,CAEjC,CAEA,SAAS,UAAU,EAAwB,EAAqD,CAC5F,IAAMV,EAAQH,EAAY,KAAKa,EAAK,OAAO,EAC3C,GAAIV,IAAU,KAAM,CAChBM,EAAQ,MAAMC,EAAgB,4BAA6B,6BAA6BG,EAAK,QAAQ,0BAA2BF,EAAWE,CAAI,CAAC,EAChJJ,EAAQ,UAAUI,EAAK,MAAM,EAC7B,MACJ,CACA,IAAMe,EAAuC,CAAC,EAC9C,IAAK,IAAIF,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAG,CAC1GJ,EAAQ,OAAO,gBAAgB,EAC/B,IAAMoB,EAAQ5B,EAAiB,KAAKyB,EAAM,OAAO,EAC3CI,EAAaD,IAAU,KAAOE,EAA0BtB,EAASiB,CAAK,EAAI,IAAA,GAC5EI,IAAe,IAAA,GAIfD,IAAU,MACVpB,EAAQ,MAAMC,EAAgB,4BAA6B,uBAAuBgB,EAAM,QAAQ,kCAAmCf,EAAWe,CAAK,CAAC,EACpJjB,EAAQ,UAAUiB,EAAM,MAAM,GAGlCE,EAAO,KAAK,CAAE,KAAM,6BAA8B,MAAOC,EAAM,GAAI,MAAOR,EAAmBQ,EAAM,GAAIlB,EAAWe,CAAK,EAAGjB,CAAO,EAAG,SAAUE,EAAWe,CAAK,CAAE,CAAC,EAR7JE,EAAO,KAAK,CAAE,KAAM,6BAA8B,MAAOE,EAAW,SAAU,MAAOA,EAAW,OAAQ,SAAUnB,EAAWe,CAAK,CAAE,CAAC,CAS7I,CACA,MAAO,CAAE,KAAM,wBAAyB,GAAI,UAAUvB,EAAO,CAAC,EAAG,SAAQ,SAAUQ,EAAWE,CAAI,CAAE,CACxG"}
+{"version":3,"file":"CompositionParser.js","names":["component","stringBodyPattern","exposureHeader","pattern","instanceHeader","exposedProperty","setPattern","setBlockPattern","itemsPattern","itemPattern","itemValuePattern","operations","match","group","unescapeString","text","entry","header","context","DiagnosticCodes","locationOf","properties","line","property","contributions","contribution","granted","unknown","operation","set","parseMappingSource","setBlock","parseStructuredValue","items","parsed","child","item","values","value","structured","tryParseStructuredMapping"],"sources":["../../../../../../Compiler/Parsing/CompositionParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ContributedItemSyntax, ContributedItemValueSyntax, ExposedPropertySyntax, ExposureSyntax, InstanceContributionSyntax, InstanceContributionsSyntax } from '../Syntax/CompositionSyntax';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { pattern } from '../Text/patterns';\nimport { parseMappingSource } from './ExpressionParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseStructuredValue, StructuredMarker, tryParseStructuredMapping } from './StructuredBlockParser';\n\nconst component = `(?:([A-Za-z_]\\\\w*)|\"(${stringBodyPattern})\")\\\\.(\\\\w+(?:\\\\.\\\\w+)*)`;\nconst exposureHeader = pattern('^exposure\\\\s+for\\\\s+([A-Za-z_]\\\\w*)$');\nconst instanceHeader = pattern('^instance\\\\s+([A-Za-z_]\\\\w*)$');\nconst exposedProperty = pattern(`^property\\\\s+${component}(?:\\\\s+label\\\\s+\"(${stringBodyPattern})\")?(?:\\\\s+operations\\\\s+([\\\\w-]+(?:\\\\s*,\\\\s*[\\\\w-]+)*))?(?:\\\\s+fields\\\\s+(\\\\w+(?:\\\\s*,\\\\s*\\\\w+)*))?(?:\\\\s+reexposes\\\\s+([A-Za-z_]\\\\w*))?$`);\nconst setPattern = pattern(`^set\\\\s+${component}\\\\s*=\\\\s*(.+)$`);\nconst setBlockPattern = pattern(`^set\\\\s+${component}(?:\\\\s+(none|empty))?$`);\nconst itemsPattern = pattern(`^items\\\\s+${component}$`);\nconst itemPattern = pattern(`^item\\\\s+(?:([A-Za-z_][\\\\w-]*)|\"(${stringBodyPattern})\")$`);\nconst itemValuePattern = pattern('^([A-Za-z_]\\\\w*)\\\\s*=\\\\s*(.+)$');\nconst operations = ['add', 'remove', 'reorder', 'edit-fields'];\nconst exposedPropertyShape = '\\'property <component>.<path> [label \"<text>\"] [operations <add|remove|reorder|edit-fields>, ...] [fields <field>, ...] [reexposes <Owner>]\\'';\n\nconst reference = (match: RegExpExecArray, group: number): string => match[group] ?? unescapeString(match[group + 1]);\nconst list = (text: string): string[] => text.trim() === 'none' ? [] : text.split(',').map(entry => entry.trim()).filter(entry => entry.length > 0);\n\n// 'exposure for <Owner>' - the port of the C# CompositionParser.ParseExposure.\nexport function parseExposure(context: ParserContext, header: SourceLine): ExposureSyntax {\n    const match = exposureHeader.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Invalid exposure declaration '${header.content}' - expected 'exposure for <Owner>'`, locationOf(header));\n    }\n    const properties: ExposedPropertySyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        const property = parseExposedProperty(context, line);\n        if (property !== undefined) properties.push(property);\n    }\n    return { kind: 'ExposureSyntax', owner: match?.[1] ?? header.content, properties, location: locationOf(header) };\n}\n\n// 'instance <Instance>' - the port of the C# CompositionParser.ParseInstance.\nexport function parseInstance(context: ParserContext, header: SourceLine): InstanceContributionsSyntax {\n    const match = instanceHeader.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid instance declaration '${header.content}' - expected 'instance <Screen or Template>'`, locationOf(header));\n    }\n    const contributions: InstanceContributionSyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        const contribution = parseContribution(context, line);\n        if (contribution !== undefined) contributions.push(contribution);\n    }\n    return { kind: 'InstanceContributionsSyntax', instance: match?.[1] ?? header.content, contributions, location: locationOf(header) };\n}\n\nfunction parseExposedProperty(context: ParserContext, line: SourceLine): ExposedPropertySyntax | undefined {\n    const match = exposedProperty.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Invalid exposed property '${line.content}' - expected ${exposedPropertyShape}`, locationOf(line));\n        return undefined;\n    }\n    const granted = match[5] === undefined ? [] : list(match[5]);\n    const unknown = granted.find(operation => !operations.includes(operation));\n    if (unknown !== undefined) {\n        context.error(DiagnosticCodes.InvalidExposureDeclaration, `Unknown collection operation '${unknown}' - expected add, remove, reorder, edit-fields or none`, locationOf(line));\n        return undefined;\n    }\n    return {\n        kind: 'ExposedPropertySyntax',\n        component: reference(match, 1),\n        path: match[3],\n        label: match[4] === undefined ? null : unescapeString(match[4]),\n        isCollection: match[5] !== undefined,\n        operations: granted,\n        restrictsFields: match[6] !== undefined,\n        editableFields: match[6] === undefined ? [] : list(match[6]),\n        reExposes: match[7] ?? null,\n        location: locationOf(line)\n    };\n}\n\nfunction parseContribution(context: ParserContext, line: SourceLine): InstanceContributionSyntax | undefined {\n    const set = setPattern.exec(line.content);\n    if (set !== null) {\n        context.skipBlock(line.indent);\n        return { kind: 'InstanceContributionSyntax', component: reference(set, 1), path: set[3], value: parseMappingSource(set[4], locationOf(line), context), items: [], location: locationOf(line) };\n    }\n    const setBlock = setBlockPattern.exec(line.content);\n    if (setBlock !== null) {\n        return { kind: 'InstanceContributionSyntax', component: reference(setBlock, 1), path: setBlock[3], value: parseStructuredValue(context, line, setBlock[4]?.trim() as StructuredMarker), items: [], location: locationOf(line) };\n    }\n    const items = itemsPattern.exec(line.content);\n    if (items !== null) {\n        const parsed: ContributedItemSyntax[] = [];\n        for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n            context.reader.takeSignificant();\n            const item = parseItem(context, child);\n            if (item !== undefined) parsed.push(item);\n        }\n        return { kind: 'InstanceContributionSyntax', component: reference(items, 1), path: items[3], value: null, items: parsed, location: locationOf(line) };\n    }\n    context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid instance contribution '${line.content}' - expected 'set <component>.<path> = <value>' or 'items <component>.<path>'`, locationOf(line));\n    context.skipBlock(line.indent);\n    return undefined;\n}\n\nfunction parseItem(context: ParserContext, line: SourceLine): ContributedItemSyntax | undefined {\n    const match = itemPattern.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid contributed item '${line.content}' - expected 'item <id>'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n    const values: ContributedItemValueSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const value = itemValuePattern.exec(child.content);\n        const structured = value === null ? tryParseStructuredMapping(context, child) : undefined;\n        if (structured !== undefined) {\n            values.push({ kind: 'ContributedItemValueSyntax', field: structured.property, value: structured.source, location: locationOf(child) });\n            continue;\n        }\n        if (value === null) {\n            context.error(DiagnosticCodes.InvalidInstanceContribution, `Invalid item value '${child.content}' - expected '<field> = <value>'`, locationOf(child));\n            context.skipBlock(child.indent);\n            continue;\n        }\n        values.push({ kind: 'ContributedItemValueSyntax', field: value[1], value: parseMappingSource(value[2], locationOf(child), context), location: locationOf(child) });\n    }\n    return { kind: 'ContributedItemSyntax', id: reference(match, 1), values, location: locationOf(line) };\n}\n"],"mappings":"A,icAYA,MAAMA,EAAY,wBAAwBC,EAAkB,0BACtDC,EAAiBC,EAAQ,sCAAsC,EAC/DC,EAAiBD,EAAQ,+BAA+B,EACxDE,EAAkBF,EAAQ,gBAAgBH,EAAU,oBAAoBC,EAAkB,2IAA2I,EACrOK,EAAaH,EAAQ,WAAWH,EAAU,eAAe,EACzDO,EAAkBJ,EAAQ,WAAWH,EAAU,uBAAuB,EACtEQ,EAAeL,EAAQ,aAAaH,EAAU,EAAE,EAChDS,EAAcN,EAAQ,oCAAoCF,EAAkB,KAAK,EACjFS,EAAmBP,EAAQ,gCAAgC,EAC3DQ,EAAa,CAAC,MAAO,SAAU,UAAW,aAAa,EAGvD,WAAa,EAAwB,IAA0BC,EAAMC,IAAUC,EAAeF,EAAMC,EAAQ,EAAE,EAC9G,KAAQ,GAA2BE,EAAK,KAAK,IAAM,OAAS,CAAC,EAAIA,EAAK,MAAM,GAAG,CAAC,CAAC,IAAI,GAASC,EAAM,KAAK,CAAC,CAAC,CAAC,OAAO,GAASA,EAAM,OAAS,CAAC,EAGlJ,SAAgB,cAAc,EAAwB,EAAoC,CACtF,IAAMJ,EAAQV,EAAe,KAAKe,EAAO,OAAO,EAC5CL,IAAU,MACVM,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAO,QAAQ,qCAAsCG,EAAWH,CAAM,CAAC,EAEtK,IAAMI,EAAsC,CAAC,EAC7C,IAAK,IAAIC,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAGK,IAAS,IAAA,GAAW,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAG,CAC3GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMK,EAAW,qBAAqBL,EAASI,CAAI,EAC/CC,IAAa,IAAA,IAAWF,EAAW,KAAKE,CAAQ,CACxD,CACA,MAAO,CAAE,KAAM,iBAAkB,MAAOX,IAAQ,IAAMK,EAAO,QAAS,aAAY,SAAUG,EAAWH,CAAM,CAAE,CACnH,CAGA,SAAgB,cAAc,EAAwB,EAAiD,CACnG,IAAML,EAAQR,EAAe,KAAKa,EAAO,OAAO,EAC5CL,IAAU,MACVM,EAAQ,MAAMC,EAAgB,4BAA6B,iCAAiCF,EAAO,QAAQ,8CAA+CG,EAAWH,CAAM,CAAC,EAEhL,IAAMO,EAA8C,CAAC,EACrD,IAAK,IAAIF,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAGK,IAAS,IAAA,GAAW,EAAOJ,EAAQ,UAAUD,EAAO,MAAM,EAAG,CAC3GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMO,EAAe,kBAAkBP,EAASI,CAAI,EAChDG,IAAiB,IAAA,IAAWD,EAAc,KAAKC,CAAY,CACnE,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAUb,IAAQ,IAAMK,EAAO,QAAS,gBAAe,SAAUG,EAAWH,CAAM,CAAE,CACtI,CAEA,SAAS,qBAAqB,EAAwB,EAAqD,CACvG,IAAML,EAAQP,EAAgB,KAAKiB,EAAK,OAAO,EAC/C,GAAIV,IAAU,KAAM,CAChBM,EAAQ,MAAMC,EAAgB,2BAA4B,6BAA6BG,EAAK,QAAQ,0JAAuCF,EAAWE,CAAI,CAAC,EAC3J,MACJ,CACA,IAAMI,EAAUd,EAAM,KAAO,IAAA,GAAY,CAAC,EAAI,KAAKA,EAAM,EAAE,EACrDe,EAAUD,EAAQ,KAAK,GAAa,CAACf,EAAW,SAASiB,CAAS,CAAC,EACzE,GAAID,IAAY,IAAA,GACZT,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCQ,EAAQ,wDAAyDP,EAAWE,CAAI,CAAC,OAGhL,MAAO,CACH,KAAM,wBACN,UAAW,UAAUV,EAAO,CAAC,EAC7B,KAAMA,EAAM,GACZ,MAAOA,EAAM,KAAO,IAAA,GAAY,KAAOE,EAAeF,EAAM,EAAE,EAC9D,aAAcA,EAAM,KAAO,IAAA,GAC3B,WAAYc,EACZ,gBAAiBd,EAAM,KAAO,IAAA,GAC9B,eAAgBA,EAAM,KAAO,IAAA,GAAY,CAAC,EAAI,KAAKA,EAAM,EAAE,EAC3D,UAAWA,EAAM,IAAM,KACvB,SAAUQ,EAAWE,CAAI,CAC7B,CACJ,CAEA,SAAS,kBAAkB,EAAwB,EAA0D,CACzG,IAAMO,EAAMvB,EAAW,KAAKgB,EAAK,OAAO,EACxC,GAAIO,IAAQ,KAER,OADAX,EAAQ,UAAUI,EAAK,MAAM,EACtB,CAAE,KAAM,6BAA8B,UAAW,UAAUO,EAAK,CAAC,EAAG,KAAMA,EAAI,GAAI,MAAOC,EAAmBD,EAAI,GAAIT,EAAWE,CAAI,EAAGJ,CAAO,EAAG,MAAO,CAAC,EAAG,SAAUE,EAAWE,CAAI,CAAE,EAEjM,IAAMS,EAAWxB,EAAgB,KAAKe,EAAK,OAAO,EAClD,GAAIS,IAAa,KACb,MAAO,CAAE,KAAM,6BAA8B,UAAW,UAAUA,EAAU,CAAC,EAAG,KAAMA,EAAS,GAAI,MAAOC,EAAqBd,EAASI,EAAMS,EAAS,EAAE,EAAE,KAAK,CAAqB,EAAG,MAAO,CAAC,EAAG,SAAUX,EAAWE,CAAI,CAAE,EAElO,IAAMW,EAAQzB,EAAa,KAAKc,EAAK,OAAO,EAC5C,GAAIW,IAAU,KAAM,CAChB,IAAMC,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAG,CAC1GJ,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkB,EAAO,UAAUlB,EAASiB,CAAK,EACjCC,IAAS,IAAA,IAAWF,EAAO,KAAKE,CAAI,CAC5C,CACA,MAAO,CAAE,KAAM,6BAA8B,UAAW,UAAUH,EAAO,CAAC,EAAG,KAAMA,EAAM,GAAI,MAAO,KAAM,MAAOC,EAAQ,SAAUd,EAAWE,CAAI,CAAE,CACxJ,CACAJ,EAAQ,MAAMC,EAAgB,4BAA6B,kCAAkCG,EAAK,QAAQ,+EAAgFF,EAAWE,CAAI,CAAC,EAC1MJ,EAAQ,UAAUI,EAAK,MAAM,CAEjC,CAEA,SAAS,UAAU,EAAwB,EAAqD,CAC5F,IAAMV,EAAQH,EAAY,KAAKa,EAAK,OAAO,EAC3C,GAAIV,IAAU,KAAM,CAChBM,EAAQ,MAAMC,EAAgB,4BAA6B,6BAA6BG,EAAK,QAAQ,0BAA2BF,EAAWE,CAAI,CAAC,EAChJJ,EAAQ,UAAUI,EAAK,MAAM,EAC7B,MACJ,CACA,IAAMe,EAAuC,CAAC,EAC9C,IAAK,IAAIF,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUI,EAAK,MAAM,EAAG,CAC1GJ,EAAQ,OAAO,gBAAgB,EAC/B,IAAMoB,EAAQ5B,EAAiB,KAAKyB,EAAM,OAAO,EAC3CI,EAAaD,IAAU,KAAOE,EAA0BtB,EAASiB,CAAK,EAAI,IAAA,GAC5EI,IAAe,IAAA,GAIfD,IAAU,MACVpB,EAAQ,MAAMC,EAAgB,4BAA6B,uBAAuBgB,EAAM,QAAQ,kCAAmCf,EAAWe,CAAK,CAAC,EACpJjB,EAAQ,UAAUiB,EAAM,MAAM,GAGlCE,EAAO,KAAK,CAAE,KAAM,6BAA8B,MAAOC,EAAM,GAAI,MAAOR,EAAmBQ,EAAM,GAAIlB,EAAWe,CAAK,EAAGjB,CAAO,EAAG,SAAUE,EAAWe,CAAK,CAAE,CAAC,EAR7JE,EAAO,KAAK,CAAE,KAAM,6BAA8B,MAAOE,EAAW,SAAU,MAAOA,EAAW,OAAQ,SAAUnB,EAAWe,CAAK,CAAE,CAAC,CAS7I,CACA,MAAO,CAAE,KAAM,wBAAyB,GAAI,UAAUvB,EAAO,CAAC,EAAG,SAAQ,SAAUQ,EAAWE,CAAI,CAAE,CACxG,C"}

package/dist/bundles/compiler/Parsing/ConceptComplianceParser.js

@@ -1,2 +1,2 @@
-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";const a=[`racialOrEthnicOrigin`,`politicalOpinions`,`religiousOrPhilosophicalBeliefs`,`tradeUnionMembership`,`genetic`,`biometric`,`health`,`sexLifeOrSexualOrientation`],o=r(`^(@?[a-z_]\\w*)\\s+(reason|scope|special|criminal)(?:\\s+(.*))?$`),s=r(`^"(${t})"$`);function complianceWireName(e){let t=e.replace(/^@/,``);return t===`personal`?`pii`:t===`secret`?`sensitive`:t}function canonicalComplianceName(e){let t=complianceWireName(e);return t===`sensitive`?`secret`:t}function parseComplianceMarkers(t,n,r,a){let o=a.trim().split(/\s+/).filter(e=>e.length>0);reportLegacy(t,n,o);let s=[],c=/* @__PURE__ */ new Map,l=!1;for(let a of o){let o=complianceWireName(a);(![`pii`,`sensitive`].includes(o)||a===`@personal`||a===`@secret`)&&t.error(e.UnknownComplianceMarker,`Unknown concept marker '${a}' - expected pii, personal or secret`,i(n));let u=c.get(o);if(u!==void 0){if(!l){let o=canonicalComplianceName(a),s=u===a?``:` - '${a===o?u:a}' is the same marker as '${o}'`;t.warning(e.DuplicateComplianceMarker,`Concept '${r}' repeats the '${o}' marker${s} - remove the duplicate`,i(n)),l=!0}}else c.set(o,a),s.push({kind:`ConceptAttributeSyntax`,name:o,reason:null,scope:null,specialCategory:null,criminal:!1,location:i(n)})}return s}function parseComplianceDirective(t,r,c,l){let u=o.exec(r.content);if(u===null)return!1;let[,d,f]=u,p=u[3]??``,m=complianceWireName(d),h=canonicalComplianceName(d);if(reportLegacy(t,r,[d]),![`pii`,`sensitive`].includes(m)||d===`@personal`||d===`@secret`)return t.error(e.UnknownComplianceMarker,`Unknown concept marker '${d}' - expected pii, personal or secret`,i(r)),!0;let g=l.findIndex(e=>e.name===m);if(g<0)return t.error(e.AttributeReasonWithoutAttribute,`Concept '${c}' declares '${h} ${f}' without the marker - write 'concept ${c} : <Type> ${h}'`,i(r)),!0;let _=l[g];switch(f){case`reason`:{let a=s.exec(p);return a===null?(t.error(e.UnknownConceptDirective,`Invalid '${h} reason' - expected '${h} reason "<text>"'`,i(r)),!0):_.reason===null?(l[g]={..._,reason:n(a[1])},!0):(t.error(e.DuplicateAttributeReason,`Concept '${c}' already declares a reason for '${h}' - at most one is allowed`,i(r)),!0)}case`scope`:return m!==`sensitive`||![`subject`,`namespace`,`global`].includes(p)?(t.error(e.InvalidSecretScope,`Invalid '${h} scope ${p}' - scope belongs to secret and must be subject, namespace or global`,i(r)),!0):_.scope==null?(l[g]={..._,scope:p},l.some(e=>e.name===`pii`)&&t.warning(e.SecretScopeIgnoredForPii,`Concept '${c}' is pii secret - secret scope is ignored because only Chronicle [PII] renders`,i(r)),!0):(t.error(e.DuplicateSecretScope,`Concept '${c}' already declares secret scope - at most one is allowed`,i(r)),!0);case`special`:case`criminal`:return m!==`pii`||(f===`special`?!a.includes(p):p.length>0)?(t.error(e.InvalidPersonalDataQualifier,`Invalid '${h} ${f}${p.length>0?` ${p}`:``}' - expected 'pii criminal' or 'pii special <category>' with category ${a.join(`, `)}`,i(r)),!0):f===`special`&&_.specialCategory!=null?(t.error(e.DuplicateSpecialCategory,`Concept '${c}' already declares pii special - at most one is allowed`,i(r)),!0):(l[g]=f===`special`?{..._,specialCategory:p}:{..._,criminal:!0},!0);default:return!1}}function reportLegacy(t,n,r){r.some(e=>[`@pii`,`sensitive`,`@sensitive`].includes(e))&&t.information(e.LegacyComplianceMarker,`Legacy compliance spelling - use bare pii for personal data and secret for operational secrets; reason text is preserved`,i(n))}export{canonicalComplianceName,complianceWireName,parseComplianceDirective,parseComplianceMarkers,a as specialCategories};
+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";const a=[`racialOrEthnicOrigin`,`politicalOpinions`,`religiousOrPhilosophicalBeliefs`,`tradeUnionMembership`,`genetic`,`biometric`,`health`,`sexLifeOrSexualOrientation`],o=r(`^(@?[a-z_]\\w*)\\s+(reason|scope|special|criminal)(?:\\s+(.*))?$`),s=r(`^"(${t})"$`);function complianceWireName(e){let t=e.replace(/^@/,``);return t===`personal`?`pii`:t===`secret`?`sensitive`:t}function canonicalComplianceName(e){let t=complianceWireName(e);return t===`sensitive`?`secret`:t}function parseComplianceMarkers(t,n,r,a){let o=a.trim().split(/\s+/).filter(e=>e.length>0);reportLegacy(t,n,o);let s=[],c=/* @__PURE__ */ new Map,l=!1;for(let a of o){let o=complianceWireName(a);[`pii`,`sensitive`].includes(o)&&a!==`@personal`&&a!==`@secret`||t.error(e.UnknownComplianceMarker,`Unknown concept marker '${a}' - expected pii, personal or secret`,i(n));let u=c.get(o);if(u!==void 0){if(!l){let o=canonicalComplianceName(a),s=u===a?``:` - '${a===o?u:a}' is the same marker as '${o}'`;t.warning(e.DuplicateComplianceMarker,`Concept '${r}' repeats the '${o}' marker${s} - remove the duplicate`,i(n)),l=!0}}else c.set(o,a),s.push({kind:`ConceptAttributeSyntax`,name:o,reason:null,scope:null,specialCategory:null,criminal:!1,location:i(n)})}return s}function parseComplianceDirective(t,r,c,l){let u=o.exec(r.content);if(u===null)return!1;let[,d,f]=u,p=u[3]??``,m=complianceWireName(d),h=canonicalComplianceName(d);if(reportLegacy(t,r,[d]),![`pii`,`sensitive`].includes(m)||d===`@personal`||d===`@secret`)return t.error(e.UnknownComplianceMarker,`Unknown concept marker '${d}' - expected pii, personal or secret`,i(r)),!0;let g=l.findIndex(e=>e.name===m);if(g<0)return t.error(e.AttributeReasonWithoutAttribute,`Concept '${c}' declares '${h} ${f}' without the marker - write 'concept ${c} : <Type> ${h}'`,i(r)),!0;let _=l[g];switch(f){case`reason`:{let a=s.exec(p);return a===null?(t.error(e.UnknownConceptDirective,`Invalid '${h} reason' - expected '${h} reason "<text>"'`,i(r)),!0):_.reason===null?(l[g]={..._,reason:n(a[1])},!0):(t.error(e.DuplicateAttributeReason,`Concept '${c}' already declares a reason for '${h}' - at most one is allowed`,i(r)),!0)}case`scope`:return m!==`sensitive`||![`subject`,`namespace`,`global`].includes(p)?(t.error(e.InvalidSecretScope,`Invalid '${h} scope ${p}' - scope belongs to secret and must be subject, namespace or global`,i(r)),!0):_.scope==null?(l[g]={..._,scope:p},l.some(e=>e.name===`pii`)&&t.warning(e.SecretScopeIgnoredForPii,`Concept '${c}' is pii secret - secret scope is ignored because only Chronicle [PII] renders`,i(r)),!0):(t.error(e.DuplicateSecretScope,`Concept '${c}' already declares secret scope - at most one is allowed`,i(r)),!0);case`special`:case`criminal`:return m!==`pii`||(f===`special`?!a.includes(p):p.length>0)?(t.error(e.InvalidPersonalDataQualifier,`Invalid '${h} ${f}${p.length>0?` ${p}`:``}' - expected 'pii criminal' or 'pii special <category>' with category ${a.join(`, `)}`,i(r)),!0):f===`special`&&_.specialCategory!=null?(t.error(e.DuplicateSpecialCategory,`Concept '${c}' already declares pii special - at most one is allowed`,i(r)),!0):(l[g]=f===`special`?{..._,specialCategory:p}:{..._,criminal:!0},!0);default:return!1}}function reportLegacy(t,n,r){r.some(e=>[`@pii`,`sensitive`,`@sensitive`].includes(e))&&t.information(e.LegacyComplianceMarker,`Legacy compliance spelling - use bare pii for personal data and secret for operational secrets; reason text is preserved`,i(n))}export{canonicalComplianceName,complianceWireName,parseComplianceDirective,parseComplianceMarkers,a as specialCategories};
 //# sourceMappingURL=ConceptComplianceParser.js.map

package/dist/bundles/compiler/Parsing/ConceptComplianceParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"ConceptComplianceParser.js","names":["specialCategories","directivePattern","pattern","reasonPattern","stringBodyPattern","name","marker","markers","text","context","line","attributes","firstMarkers","reported","DiagnosticCodes","locationOf","first","canonical","alias","concept","match","setting","value","index","attribute","reason","unescapeString"],"sources":["../../../../../../Compiler/Parsing/ConceptComplianceParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ConceptAttributeSyntax } from '../Syntax/Declarations';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { pattern } from '../Text/patterns';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\n\nexport const specialCategories = ['racialOrEthnicOrigin', 'politicalOpinions', 'religiousOrPhilosophicalBeliefs', 'tradeUnionMembership', 'genetic', 'biometric', 'health', 'sexLifeOrSexualOrientation'];\nconst directivePattern = pattern('^(@?[a-z_]\\\\w*)\\\\s+(reason|scope|special|criminal)(?:\\\\s+(.*))?$');\nconst reasonPattern = pattern(`^\"(${stringBodyPattern})\"$`);\n\nexport function complianceWireName(marker: string): string {\n    const name = marker.replace(/^@/, '');\n    return name === 'personal' ? 'pii' : name === 'secret' ? 'sensitive' : name;\n}\n\nexport function canonicalComplianceName(marker: string): string {\n    const name = complianceWireName(marker);\n    return name === 'sensitive' ? 'secret' : name;\n}\n\nexport function parseComplianceMarkers(context: ParserContext, line: SourceLine, concept: string, text: string): ConceptAttributeSyntax[] {\n    const markers = text.trim().split(/\\s+/).filter(marker => marker.length > 0);\n    reportLegacy(context, line, markers);\n    const attributes: ConceptAttributeSyntax[] = [];\n    const firstMarkers = new Map<string, string>();\n    let reported = false;\n    for (const marker of markers) {\n        const name = complianceWireName(marker);\n        if (!['pii', 'sensitive'].includes(name) || marker === '@personal' || marker === '@secret') {\n            context.error(DiagnosticCodes.UnknownComplianceMarker, `Unknown concept marker '${marker}' - expected pii, personal or secret`, locationOf(line));\n        }\n        const first = firstMarkers.get(name);\n        if (first !== undefined) {\n            if (!reported) {\n                const canonical = canonicalComplianceName(marker);\n                const alias = first === marker ? '' : ` - '${marker === canonical ? first : marker}' is the same marker as '${canonical}'`;\n                context.warning(DiagnosticCodes.DuplicateComplianceMarker, `Concept '${concept}' repeats the '${canonical}' marker${alias} - remove the duplicate`, locationOf(line));\n                reported = true;\n            }\n            continue;\n        }\n        firstMarkers.set(name, marker);\n        attributes.push({ kind: 'ConceptAttributeSyntax', name, reason: null, scope: null, specialCategory: null, criminal: false, location: locationOf(line) });\n    }\n    return attributes;\n}\n\nexport function parseComplianceDirective(context: ParserContext, line: SourceLine, concept: string, attributes: ConceptAttributeSyntax[]): boolean {\n    const match = directivePattern.exec(line.content);\n    if (match === null) return false;\n    const [, marker, setting] = match;\n    const value = match[3] ?? '';\n    const name = complianceWireName(marker);\n    const canonical = canonicalComplianceName(marker);\n    reportLegacy(context, line, [marker]);\n    if (!['pii', 'sensitive'].includes(name) || marker === '@personal' || marker === '@secret') {\n        context.error(DiagnosticCodes.UnknownComplianceMarker, `Unknown concept marker '${marker}' - expected pii, personal or secret`, locationOf(line));\n        return true;\n    }\n    const index = attributes.findIndex(attribute => attribute.name === name);\n    if (index < 0) {\n        context.error(DiagnosticCodes.AttributeReasonWithoutAttribute, `Concept '${concept}' declares '${canonical} ${setting}' without the marker - write 'concept ${concept} : <Type> ${canonical}'`, locationOf(line));\n        return true;\n    }\n    const attribute = attributes[index];\n    switch (setting) {\n        case 'reason': {\n            const reason = reasonPattern.exec(value);\n            if (reason === null) {\n                context.error(DiagnosticCodes.UnknownConceptDirective, `Invalid '${canonical} reason' - expected '${canonical} reason \"<text>\"'`, locationOf(line));\n                return true;\n            }\n            if (attribute.reason !== null) {\n                context.error(DiagnosticCodes.DuplicateAttributeReason, `Concept '${concept}' already declares a reason for '${canonical}' - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = { ...attribute, reason: unescapeString(reason[1]) };\n            return true;\n        }\n        case 'scope':\n            if (name !== 'sensitive' || !['subject', 'namespace', 'global'].includes(value)) {\n                context.error(DiagnosticCodes.InvalidSecretScope, `Invalid '${canonical} scope ${value}' - scope belongs to secret and must be subject, namespace or global`, locationOf(line));\n                return true;\n            }\n            if (attribute.scope != null) {\n                context.error(DiagnosticCodes.DuplicateSecretScope, `Concept '${concept}' already declares secret scope - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = { ...attribute, scope: value };\n            if (attributes.some(attribute => attribute.name === 'pii')) {\n                context.warning(DiagnosticCodes.SecretScopeIgnoredForPii, `Concept '${concept}' is pii secret - secret scope is ignored because only Chronicle [PII] renders`, locationOf(line));\n            }\n            return true;\n        case 'special':\n        case 'criminal':\n            if (name !== 'pii' || (setting === 'special' ? !specialCategories.includes(value) : value.length > 0)) {\n                context.error(DiagnosticCodes.InvalidPersonalDataQualifier, `Invalid '${canonical} ${setting}${value.length > 0 ? ` ${value}` : ''}' - expected 'pii criminal' or 'pii special <category>' with category ${specialCategories.join(', ')}`, locationOf(line));\n                return true;\n            }\n            if (setting === 'special' && attribute.specialCategory != null) {\n                context.error(DiagnosticCodes.DuplicateSpecialCategory, `Concept '${concept}' already declares pii special - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = setting === 'special' ? { ...attribute, specialCategory: value } : { ...attribute, criminal: true };\n            return true;\n        default:\n            return false;\n    }\n}\n\nfunction reportLegacy(context: ParserContext, line: SourceLine, markers: readonly string[]): void {\n    if (markers.some(marker => ['@pii', 'sensitive', '@sensitive'].includes(marker))) {\n        context.information(DiagnosticCodes.LegacyComplianceMarker, 'Legacy compliance spelling - use bare pii for personal data and secret for operational secrets; reason text is preserved', locationOf(line));\n    }\n}\n"],"mappings":"qSAUA,MAAaA,EAAoB,CAAC,uBAAwB,oBAAqB,kCAAmC,uBAAwB,UAAW,YAAa,SAAU,4BAA4B,EAClMC,EAAmBC,EAAQ,kEAAkE,EAC7FC,EAAgBD,EAAQ,MAAME,EAAkB,IAAI,EAE1D,SAAgB,mBAAmB,EAAwB,CACvD,IAAMC,EAAOC,EAAO,QAAQ,KAAM,EAAE,EACpC,OAAOD,IAAS,WAAa,MAAQA,IAAS,SAAW,YAAcA,CAC3E,CAEA,SAAgB,wBAAwB,EAAwB,CAC5D,IAAMA,EAAO,mBAAmBC,CAAM,EACtC,OAAOD,IAAS,YAAc,SAAWA,CAC7C,CAEA,SAAgB,uBAAuB,EAAwB,EAAkB,EAAiB,EAAwC,CACtI,IAAME,EAAUC,EAAK,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,GAAUF,EAAO,OAAS,CAAC,EAC3E,aAAaG,EAASC,EAAMH,CAAO,EACnC,IAAMI,EAAuC,CAAC,EACxCC,kBAAe,IAAI,IACrBC,EAAW,GACf,IAAK,IAAMP,KAAUC,EAAS,CAC1B,IAAMF,EAAO,mBAAmBC,CAAM,GAClC,CAAC,CAAC,MAAO,WAAW,CAAC,CAAC,SAASD,CAAI,GAAKC,IAAW,aAAeA,IAAW,YAC7EG,EAAQ,MAAMK,EAAgB,wBAAyB,2BAA2BR,EAAO,sCAAuCS,EAAWL,CAAI,CAAC,EAEpJ,IAAMM,EAAQJ,EAAa,IAAIP,CAAI,EACnC,GAAIW,IAAU,IAAA,GACV,IAAI,CAACH,EAAU,CACX,IAAMI,EAAY,wBAAwBX,CAAM,EAC1CY,EAAQF,IAAUV,EAAS,GAAK,OAAOA,IAAWW,EAAYD,EAAQV,EAAO,2BAA2BW,EAAU,GACxHR,EAAQ,QAAQK,EAAgB,0BAA2B,YAAYK,EAAQ,iBAAiBF,EAAU,UAAUC,EAAM,yBAA0BH,EAAWL,CAAI,CAAC,EACpK,EAAW,EACf,OAGJE,EAAa,IAAIP,EAAMC,CAAM,EAC7BK,EAAW,KAAK,CAAE,KAAM,yBAA0B,OAAM,OAAQ,KAAM,MAAO,KAAM,gBAAiB,KAAM,SAAU,GAAO,SAAUI,EAAWL,CAAI,CAAE,CAAC,CAC3J,CACA,OAAOC,CACX,CAEA,SAAgB,yBAAyB,EAAwB,EAAkB,EAAiB,EAA+C,CAC/I,IAAMS,EAAQnB,EAAiB,KAAKS,EAAK,OAAO,EAChD,GAAIU,IAAU,KAAM,MAAO,GAC3B,GAAM,EAAGd,EAAQe,GAAWD,EACtBE,EAAQF,EAAM,IAAM,GACpBf,EAAO,mBAAmBC,CAAM,EAChCW,EAAY,wBAAwBX,CAAM,EAEhD,GADA,aAAaG,EAASC,EAAM,CAACJ,CAAM,CAAC,EAChC,CAAC,CAAC,MAAO,WAAW,CAAC,CAAC,SAASD,CAAI,GAAKC,IAAW,aAAeA,IAAW,UAE7E,OADAG,EAAQ,MAAMK,EAAgB,wBAAyB,2BAA2BR,EAAO,sCAAuCS,EAAWL,CAAI,CAAC,EACzI,GAEX,IAAMa,EAAQZ,EAAW,UAAU,GAAaa,EAAU,OAASnB,CAAI,EACvE,GAAIkB,EAAQ,EAER,OADAd,EAAQ,MAAMK,EAAgB,gCAAiC,YAAYK,EAAQ,cAAcF,EAAU,GAAGI,EAAQ,wCAAwCF,EAAQ,YAAYF,EAAU,GAAIF,EAAWL,CAAI,CAAC,EACzM,GAEX,IAAMc,EAAYb,EAAWY,GAC7B,OAAQF,EAAR,CACI,IAAK,SAAU,CACX,IAAMI,EAAStB,EAAc,KAAKmB,CAAK,EAUvC,OATIG,IAAW,MACXhB,EAAQ,MAAMK,EAAgB,wBAAyB,YAAYG,EAAU,uBAAuBA,EAAU,mBAAoBF,EAAWL,CAAI,CAAC,EAC3I,IAEPc,EAAU,SAAW,MAIzB,EAAWD,GAAS,CAAE,GAAGC,EAAW,OAAQE,EAAeD,EAAO,EAAE,CAAE,EAC/D,KAJHhB,EAAQ,MAAMK,EAAgB,yBAA0B,YAAYK,EAAQ,mCAAmCF,EAAU,4BAA6BF,EAAWL,CAAI,CAAC,EAC/J,GAIf,CACA,IAAK,QAaD,OAZIL,IAAS,aAAe,CAAC,CAAC,UAAW,YAAa,QAAQ,CAAC,CAAC,SAASiB,CAAK,GAC1Eb,EAAQ,MAAMK,EAAgB,mBAAoB,YAAYG,EAAU,SAASK,EAAM,sEAAuEP,EAAWL,CAAI,CAAC,EACvK,IAEPc,EAAU,OAAS,MAIvB,EAAWD,GAAS,CAAE,GAAGC,EAAW,MAAOF,CAAM,EAC7CX,EAAW,KAAK,GAAaa,EAAU,OAAS,KAAK,GACrDf,EAAQ,QAAQK,EAAgB,yBAA0B,YAAYK,EAAQ,gFAAiFJ,EAAWL,CAAI,CAAC,EAE5K,KAPHD,EAAQ,MAAMK,EAAgB,qBAAsB,YAAYK,EAAQ,0DAA2DJ,EAAWL,CAAI,CAAC,EAC5I,IAOf,IAAK,UACL,IAAK,WAUD,OATIL,IAAS,QAAUgB,IAAY,UAAY,CAACrB,EAAkB,SAASsB,CAAK,EAAIA,EAAM,OAAS,IAC/Fb,EAAQ,MAAMK,EAAgB,6BAA8B,YAAYG,EAAU,GAAGI,IAAUC,EAAM,OAAS,EAAI,IAAIA,IAAU,GAAG,wEAAwEtB,EAAkB,KAAK,IAAI,IAAKe,EAAWL,CAAI,CAAC,EACpP,IAEPW,IAAY,WAAaG,EAAU,iBAAmB,MACtDf,EAAQ,MAAMK,EAAgB,yBAA0B,YAAYK,EAAQ,yDAA0DJ,EAAWL,CAAI,CAAC,EAC/I,KAEX,EAAWa,GAASF,IAAY,UAAY,CAAE,GAAGG,EAAW,gBAAiBF,CAAM,EAAI,CAAE,GAAGE,EAAW,SAAU,EAAK,EAC/G,IACX,QACI,MAAO,EACf,CACJ,CAEA,SAAS,aAAa,EAAwB,EAAkB,EAAkC,CAC1FjB,EAAQ,KAAK,GAAU,CAAC,OAAQ,YAAa,YAAY,CAAC,CAAC,SAASD,CAAM,CAAC,GAC3EG,EAAQ,YAAYK,EAAgB,uBAAwB,2HAA4HC,EAAWL,CAAI,CAAC,CAEhN"}
+{"version":3,"file":"ConceptComplianceParser.js","names":["specialCategories","directivePattern","pattern","reasonPattern","stringBodyPattern","name","marker","markers","text","context","line","attributes","firstMarkers","reported","DiagnosticCodes","locationOf","first","canonical","alias","concept","match","setting","value","index","attribute","reason","unescapeString"],"sources":["../../../../../../Compiler/Parsing/ConceptComplianceParser.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ConceptAttributeSyntax } from '../Syntax/Declarations';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { pattern } from '../Text/patterns';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\n\nexport const specialCategories = ['racialOrEthnicOrigin', 'politicalOpinions', 'religiousOrPhilosophicalBeliefs', 'tradeUnionMembership', 'genetic', 'biometric', 'health', 'sexLifeOrSexualOrientation'];\nconst directivePattern = pattern('^(@?[a-z_]\\\\w*)\\\\s+(reason|scope|special|criminal)(?:\\\\s+(.*))?$');\nconst reasonPattern = pattern(`^\"(${stringBodyPattern})\"$`);\n\nexport function complianceWireName(marker: string): string {\n    const name = marker.replace(/^@/, '');\n    return name === 'personal' ? 'pii' : name === 'secret' ? 'sensitive' : name;\n}\n\nexport function canonicalComplianceName(marker: string): string {\n    const name = complianceWireName(marker);\n    return name === 'sensitive' ? 'secret' : name;\n}\n\nexport function parseComplianceMarkers(context: ParserContext, line: SourceLine, concept: string, text: string): ConceptAttributeSyntax[] {\n    const markers = text.trim().split(/\\s+/).filter(marker => marker.length > 0);\n    reportLegacy(context, line, markers);\n    const attributes: ConceptAttributeSyntax[] = [];\n    const firstMarkers = new Map<string, string>();\n    let reported = false;\n    for (const marker of markers) {\n        const name = complianceWireName(marker);\n        if (!['pii', 'sensitive'].includes(name) || marker === '@personal' || marker === '@secret') {\n            context.error(DiagnosticCodes.UnknownComplianceMarker, `Unknown concept marker '${marker}' - expected pii, personal or secret`, locationOf(line));\n        }\n        const first = firstMarkers.get(name);\n        if (first !== undefined) {\n            if (!reported) {\n                const canonical = canonicalComplianceName(marker);\n                const alias = first === marker ? '' : ` - '${marker === canonical ? first : marker}' is the same marker as '${canonical}'`;\n                context.warning(DiagnosticCodes.DuplicateComplianceMarker, `Concept '${concept}' repeats the '${canonical}' marker${alias} - remove the duplicate`, locationOf(line));\n                reported = true;\n            }\n            continue;\n        }\n        firstMarkers.set(name, marker);\n        attributes.push({ kind: 'ConceptAttributeSyntax', name, reason: null, scope: null, specialCategory: null, criminal: false, location: locationOf(line) });\n    }\n    return attributes;\n}\n\nexport function parseComplianceDirective(context: ParserContext, line: SourceLine, concept: string, attributes: ConceptAttributeSyntax[]): boolean {\n    const match = directivePattern.exec(line.content);\n    if (match === null) return false;\n    const [, marker, setting] = match;\n    const value = match[3] ?? '';\n    const name = complianceWireName(marker);\n    const canonical = canonicalComplianceName(marker);\n    reportLegacy(context, line, [marker]);\n    if (!['pii', 'sensitive'].includes(name) || marker === '@personal' || marker === '@secret') {\n        context.error(DiagnosticCodes.UnknownComplianceMarker, `Unknown concept marker '${marker}' - expected pii, personal or secret`, locationOf(line));\n        return true;\n    }\n    const index = attributes.findIndex(attribute => attribute.name === name);\n    if (index < 0) {\n        context.error(DiagnosticCodes.AttributeReasonWithoutAttribute, `Concept '${concept}' declares '${canonical} ${setting}' without the marker - write 'concept ${concept} : <Type> ${canonical}'`, locationOf(line));\n        return true;\n    }\n    const attribute = attributes[index];\n    switch (setting) {\n        case 'reason': {\n            const reason = reasonPattern.exec(value);\n            if (reason === null) {\n                context.error(DiagnosticCodes.UnknownConceptDirective, `Invalid '${canonical} reason' - expected '${canonical} reason \"<text>\"'`, locationOf(line));\n                return true;\n            }\n            if (attribute.reason !== null) {\n                context.error(DiagnosticCodes.DuplicateAttributeReason, `Concept '${concept}' already declares a reason for '${canonical}' - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = { ...attribute, reason: unescapeString(reason[1]) };\n            return true;\n        }\n        case 'scope':\n            if (name !== 'sensitive' || !['subject', 'namespace', 'global'].includes(value)) {\n                context.error(DiagnosticCodes.InvalidSecretScope, `Invalid '${canonical} scope ${value}' - scope belongs to secret and must be subject, namespace or global`, locationOf(line));\n                return true;\n            }\n            if (attribute.scope != null) {\n                context.error(DiagnosticCodes.DuplicateSecretScope, `Concept '${concept}' already declares secret scope - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = { ...attribute, scope: value };\n            if (attributes.some(attribute => attribute.name === 'pii')) {\n                context.warning(DiagnosticCodes.SecretScopeIgnoredForPii, `Concept '${concept}' is pii secret - secret scope is ignored because only Chronicle [PII] renders`, locationOf(line));\n            }\n            return true;\n        case 'special':\n        case 'criminal':\n            if (name !== 'pii' || (setting === 'special' ? !specialCategories.includes(value) : value.length > 0)) {\n                context.error(DiagnosticCodes.InvalidPersonalDataQualifier, `Invalid '${canonical} ${setting}${value.length > 0 ? ` ${value}` : ''}' - expected 'pii criminal' or 'pii special <category>' with category ${specialCategories.join(', ')}`, locationOf(line));\n                return true;\n            }\n            if (setting === 'special' && attribute.specialCategory != null) {\n                context.error(DiagnosticCodes.DuplicateSpecialCategory, `Concept '${concept}' already declares pii special - at most one is allowed`, locationOf(line));\n                return true;\n            }\n            attributes[index] = setting === 'special' ? { ...attribute, specialCategory: value } : { ...attribute, criminal: true };\n            return true;\n        default:\n            return false;\n    }\n}\n\nfunction reportLegacy(context: ParserContext, line: SourceLine, markers: readonly string[]): void {\n    if (markers.some(marker => ['@pii', 'sensitive', '@sensitive'].includes(marker))) {\n        context.information(DiagnosticCodes.LegacyComplianceMarker, 'Legacy compliance spelling - use bare pii for personal data and secret for operational secrets; reason text is preserved', locationOf(line));\n    }\n}\n"],"mappings":"A,qSAUA,MAAaA,EAAoB,CAAC,uBAAwB,oBAAqB,kCAAmC,uBAAwB,UAAW,YAAa,SAAU,4BAA4B,EAClMC,EAAmBC,EAAQ,kEAAkE,EAC7FC,EAAgBD,EAAQ,MAAME,EAAkB,IAAI,EAE1D,SAAgB,mBAAmB,EAAwB,CACvD,IAAMC,EAAOC,EAAO,QAAQ,KAAM,EAAE,EACpC,OAAOD,IAAS,WAAa,MAAQA,IAAS,SAAW,YAAcA,CAC3E,CAEA,SAAgB,wBAAwB,EAAwB,CAC5D,IAAMA,EAAO,mBAAmBC,CAAM,EACtC,OAAOD,IAAS,YAAc,SAAWA,CAC7C,CAEA,SAAgB,uBAAuB,EAAwB,EAAkB,EAAiB,EAAwC,CACtI,IAAME,EAAUC,EAAK,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,GAAUF,EAAO,OAAS,CAAC,EAC3E,aAAaG,EAASC,EAAMH,CAAO,EACnC,IAAMI,EAAuC,CAAC,EACxCC,kBAAe,IAAI,IACrBC,EAAW,GACf,IAAK,IAAMP,KAAUC,EAAS,CAC1B,IAAMF,EAAO,mBAAmBC,CAAM,EACjC,CAAC,MAAO,WAAW,CAAC,CAAC,SAASD,CAAI,GAAKC,IAAW,aAAeA,IAAW,WAC7EG,EAAQ,MAAMK,EAAgB,wBAAyB,2BAA2BR,EAAO,sCAAuCS,EAAWL,CAAI,CAAC,EAEpJ,IAAMM,EAAQJ,EAAa,IAAIP,CAAI,EACnC,GAAIW,IAAU,IAAA,GACV,IAAI,CAACH,EAAU,CACX,IAAMI,EAAY,wBAAwBX,CAAM,EAC1CY,EAAQF,IAAUV,EAAS,GAAK,OAAOA,IAAWW,EAAYD,EAAQV,EAAO,2BAA2BW,EAAU,GACxHR,EAAQ,QAAQK,EAAgB,0BAA2B,YAAYK,EAAQ,iBAAiBF,EAAU,UAAUC,EAAM,yBAA0BH,EAAWL,CAAI,CAAC,EACpK,EAAW,EACf,OAGJE,EAAa,IAAIP,EAAMC,CAAM,EAC7BK,EAAW,KAAK,CAAE,KAAM,yBAA0B,OAAM,OAAQ,KAAM,MAAO,KAAM,gBAAiB,KAAM,SAAU,GAAO,SAAUI,EAAWL,CAAI,CAAE,CAAC,CAC3J,CACA,OAAOC,CACX,CAEA,SAAgB,yBAAyB,EAAwB,EAAkB,EAAiB,EAA+C,CAC/I,IAAMS,EAAQnB,EAAiB,KAAKS,EAAK,OAAO,EAChD,GAAIU,IAAU,KAAM,MAAO,GAC3B,GAAM,EAAGd,EAAQe,GAAWD,EACtBE,EAAQF,EAAM,IAAM,GACpBf,EAAO,mBAAmBC,CAAM,EAChCW,EAAY,wBAAwBX,CAAM,EAEhD,GADA,aAAaG,EAASC,EAAM,CAACJ,CAAM,CAAC,EAChC,CAAC,CAAC,MAAO,WAAW,CAAC,CAAC,SAASD,CAAI,GAAKC,IAAW,aAAeA,IAAW,UAE7E,OADAG,EAAQ,MAAMK,EAAgB,wBAAyB,2BAA2BR,EAAO,sCAAuCS,EAAWL,CAAI,CAAC,EACzI,GAEX,IAAMa,EAAQZ,EAAW,UAAU,GAAaa,EAAU,OAASnB,CAAI,EACvE,GAAIkB,EAAQ,EAER,OADAd,EAAQ,MAAMK,EAAgB,gCAAiC,YAAYK,EAAQ,cAAcF,EAAU,GAAGI,EAAQ,wCAAwCF,EAAQ,YAAYF,EAAU,GAAIF,EAAWL,CAAI,CAAC,EACzM,GAEX,IAAMc,EAAYb,EAAWY,GAC7B,OAAQF,EAAR,CACI,IAAK,SAAU,CACX,IAAMI,EAAStB,EAAc,KAAKmB,CAAK,EAUvC,OATIG,IAAW,MACXhB,EAAQ,MAAMK,EAAgB,wBAAyB,YAAYG,EAAU,uBAAuBA,EAAU,mBAAoBF,EAAWL,CAAI,CAAC,EAC3I,IAEPc,EAAU,SAAW,MAIzB,EAAWD,GAAS,CAAE,GAAGC,EAAW,OAAQE,EAAeD,EAAO,EAAE,CAAE,EAC/D,KAJHhB,EAAQ,MAAMK,EAAgB,yBAA0B,YAAYK,EAAQ,mCAAmCF,EAAU,4BAA6BF,EAAWL,CAAI,CAAC,EAC/J,GAIf,CACA,IAAK,QAaD,OAZIL,IAAS,aAAe,CAAC,CAAC,UAAW,YAAa,QAAQ,CAAC,CAAC,SAASiB,CAAK,GAC1Eb,EAAQ,MAAMK,EAAgB,mBAAoB,YAAYG,EAAU,SAASK,EAAM,sEAAuEP,EAAWL,CAAI,CAAC,EACvK,IAEPc,EAAU,OAAS,MAIvB,EAAWD,GAAS,CAAE,GAAGC,EAAW,MAAOF,CAAM,EAC7CX,EAAW,KAAK,GAAaa,EAAU,OAAS,KAAK,GACrDf,EAAQ,QAAQK,EAAgB,yBAA0B,YAAYK,EAAQ,gFAAiFJ,EAAWL,CAAI,CAAC,EAE5K,KAPHD,EAAQ,MAAMK,EAAgB,qBAAsB,YAAYK,EAAQ,0DAA2DJ,EAAWL,CAAI,CAAC,EAC5I,IAOf,IAAK,UACL,IAAK,WAUD,OATIL,IAAS,QAAUgB,IAAY,UAAY,CAACrB,EAAkB,SAASsB,CAAK,EAAIA,EAAM,OAAS,IAC/Fb,EAAQ,MAAMK,EAAgB,6BAA8B,YAAYG,EAAU,GAAGI,IAAUC,EAAM,OAAS,EAAI,IAAIA,IAAU,GAAG,wEAAwEtB,EAAkB,KAAK,IAAI,IAAKe,EAAWL,CAAI,CAAC,EACpP,IAEPW,IAAY,WAAaG,EAAU,iBAAmB,MACtDf,EAAQ,MAAMK,EAAgB,yBAA0B,YAAYK,EAAQ,yDAA0DJ,EAAWL,CAAI,CAAC,EAC/I,KAEX,EAAWa,GAASF,IAAY,UAAY,CAAE,GAAGG,EAAW,gBAAiBF,CAAM,EAAI,CAAE,GAAGE,EAAW,SAAU,EAAK,EAC/G,IACX,QACI,MAAO,EACf,CACJ,CAEA,SAAS,aAAa,EAAwB,EAAkB,EAAkC,CAC1FjB,EAAQ,KAAK,GAAU,CAAC,OAAQ,YAAa,YAAY,CAAC,CAAC,SAASD,CAAM,CAAC,GAC3EG,EAAQ,YAAYK,EAAgB,uBAAwB,2HAA4HC,EAAWL,CAAI,CAAC,CAEhN,C"}

package/dist/bundles/compiler/Parsing/ConditionDepthBudget.js

@@ -0,0 +1,2 @@
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";var ConditionDepthBudget=class{context;location;#e=/* @__PURE__ */ new WeakMap;#t=0;exceeded=!1;constructor(e,t){this.context=e,this.location=t}enter(){return this.#t===128?this.#n():(this.#t++,!0)}leave(){this.#t--}build(e,t){let n=1+Math.max(...e.map(e=>this.#e.get(e)??1));if(!this.allowsDepth(n))return null;let r=t();return this.#e.set(r,n),r}allowsDepth(e){return e<=128||this.#n()}#n(){return this.exceeded||=(this.context.error(e.ConditionDepthExceeded,`Condition nesting or expression depth exceeds the supported limit of 128.`,this.location),!0),!1}};export{ConditionDepthBudget};
+//# sourceMappingURL=ConditionDepthBudget.js.map

package/dist/bundles/compiler/Parsing/ConditionDepthBudget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConditionDepthBudget.js","names":["context","location","#nesting","#refuse","depth","children","#depths","child","node","create","DiagnosticCodes"],"sources":["../../../../../../Compiler/Parsing/ConditionDepthBudget.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 { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ParserContext } from './ParserContext';\n\n// Private construction metadata: leaves have depth one; grouping does not add a syntax node.\nexport class ConditionDepthBudget {\n    readonly #depths = new WeakMap<object, number>();\n    #nesting = 0;\n    exceeded = false;\n\n    constructor(private readonly context: ParserContext, private readonly location: SourceLocation) {}\n\n    enter(): boolean {\n        if (this.#nesting === 128) return this.#refuse();\n        this.#nesting++;\n        return true;\n    }\n\n    leave(): void { this.#nesting--; }\n\n    build<T extends object>(children: readonly object[], create: () => T): T | null {\n        const depth = 1 + Math.max(...children.map(child => this.#depths.get(child) ?? 1));\n        if (!this.allowsDepth(depth)) return null;\n        const node = create();\n        this.#depths.set(node, depth);\n        return node;\n    }\n\n    allowsDepth(depth: number): boolean {\n        return depth <= 128 || this.#refuse();\n    }\n\n    #refuse(): false {\n        if (!this.exceeded) {\n            this.context.error(DiagnosticCodes.ConditionDepthExceeded, 'Condition nesting or expression depth exceeds the supported limit of 128.', this.location);\n            this.exceeded = true;\n        }\n        return false;\n    }\n}\n"],"mappings":"A,yHAQA,IAAa,qBAAb,KAAkC,CAKD,QAAyC,SAJtE,mBAAmB,IAAI,QACvB,GAAW,EACX,SAAW,GAEX,YAAY,EAAyC,EAA2C,CAAnE,KAAA,QAAAA,EAAyC,KAAA,SAAAC,CAA2B,CAEjG,OAAiB,CAGb,OAFI,KAAKC,KAAa,IAAY,KAAKC,GAAQ,GAC/C,KAAKD,KACE,GACX,CAEA,OAAc,CAAE,KAAKA,IAAY,CAEjC,MAAwB,EAA6B,EAA2B,CAC5E,IAAME,EAAQ,EAAI,KAAK,IAAI,GAAGC,EAAS,IAAI,GAAS,KAAKC,GAAQ,IAAIC,CAAK,GAAK,CAAC,CAAC,EACjF,GAAI,CAAC,KAAK,YAAYH,CAAK,EAAG,OAAO,KACrC,IAAMI,EAAOC,EAAO,EAEpB,OADA,KAAKH,GAAQ,IAAIE,EAAMJ,CAAK,EACrBI,CACX,CAEA,YAAY,EAAwB,CAChC,OAAOJ,GAAS,KAAO,KAAKD,GAAQ,CACxC,CAEA,IAAiB,CAKb,MAJA,CAEI,KAAK,YADL,KAAK,QAAQ,MAAMO,EAAgB,uBAAwB,4EAA6E,KAAK,QAAQ,EACrI,IAEb,EACX,CACJ,E"}