@cratis/screenplay-language 5.4.0 → 5.5.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{validateHandlerContracts as t}from"./CommandHandlerValidator.js";import{misplacedRuleHintForCommand as n}from"./MisplacedRuleHint.js";import{parseCondition as r}from"./ConditionParser.js";import{parseCommandStream as i}from"./EventSourceParser.js";import{pattern as a}from"../Text/patterns.js";import{sourceStreamPattern as o}from"../Text/SourceStreamNames.js";import{stringBodyPattern as s,unescapeString as c}from"../Text/StringLiteral.js";import{combineAuthorize as l,parseAuthorize as u}from"./AuthorizeParser.js";import{parseCommandResponse as d,scalarResponsePattern as f}from"./CommandResponseParser.js";import{parseDescription as p}from"./DescriptionParser.js";import{parseDocumentation as m}from"./DocumentationParser.js";import{isCode as h,isFile as g,parseCode as _,parseFile as v,parseHandler as y,parseImplementationWrapper as b}from"./ImplementationParser.js";import{parseMappingSource as x}from"./ExpressionParser.js";import{firstWord as S}from"./LineText.js";import{ParserContext as C}from"./ParserContext.js";import{matchSubject as w,validateMatchOperand as T}from"./MatchOperandValidation.js";import{isReactionIdentityLine as E,misplacedReactionIdentity as ee}from"./ReactionIdentityParser.js";import{commandReadSources as te}from"./CommandReadSources.js";import{dependencySources as D}from"../Syntax/DependencySources.js";import{captureConcurrency as O}from"./DependencySourceParser.js";import{parseReads as k}from"./ReadsParser.js";import{parseProduces as A}from"./ProducesParser.js";import{reportInvalidModifierOrder as j,reportLegacyOptionalSuffix as M,tryParseProperty as N}from"./PropertyLineParser.js";import{locationOf as P}from"./SourceLine.js";import{isFileDirectiveAmongProperties as F}from"./FileReferences.js";const ne=a(`^command\\s+([A-Za-z_]\\w*)$`),I=o(`^stream\\s+[A-Za-z_]\\w*\\.[A-Za-z_]\\w*$`),L=a(`^calendar\\s+(?:"|from\\s+\\$context\\.)`),R=a(`^calendar\\s+(?:"(${s})"|from\\s+\\$context\\.([A-Za-z_][A-Za-z0-9_]*(?:\\.[A-Za-z_][A-Za-z0-9_]*)*))$`),z=a(`\\bseverity\\s+(\\S+)$`),B=a(`\\bmessage\\s+(?:"(${s})"|(\\$strings\\.\\S*))$`),V=a(`^([\\w.]+)\\s+(.+)$`),H=a(`^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\s*)(.*)$`),U=o(`^[A-Za-z_]\\w*$`),W=a(`^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 C(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(r,a,o,s){let h=ne.exec(a.content)?.[1]??``;h===``&&r.error(e.InvalidCommandDeclaration,`Invalid command declaration '${a.content}' - expected 'command <Name>'`,P(a));let g=[],_=[],v,b=[],x=[],C=[],w=[],T,M=null,F=null,z=null,B=!1,V=null,H=[],U=null,G=[],K=null;for(let t=r.peekChild(a.indent);t!==void 0;t=r.peekChild(a.indent)){r.reader.takeSignificant();let a=S(t.content),s=N(t);if(a===`calendar`&&L.test(t.content)){let n=R.exec(t.content);K!==null||n===null?r.error(e.InvalidCommandCalendar,`A command declares at most one 'calendar "<id>"' or 'calendar from $context.<member>'.`,P(t)):K={kind:`CommandCalendarSyntax`,id:n[1]===void 0?null:c(n[1]),contextMember:n[2]??null,location:P(t)}}else if(s!==void 0&&(J.has(a)||a===`validate`&&t.content!==`validate csharp`))v=addProperty(r,g,s,h,t,v);else if(a===`returns`){let e=f.exec(t.content);e!==null&&!e[1].startsWith(`@`)&&s!==void 0?o===void 0?(g.push(s),_.push({line:t,candidate:s,response:null})):o.has(s.type.name)?_.push({line:t,candidate:null,response:d(r,t)}):v=addProperty(r,g,s,h,t,v):s===void 0?j(r,t)?r.skipBlock(t.indent):_.push({line:t,candidate:null,response:d(r,t)}):v=addProperty(r,g,s,h,t,v)}else if(a===`stream`&&I.test(t.content)&&s!==void 0&&r.streamCandidates?.hasSource(s.type.name.split(`.`)[0])===!0){let[n,a]=s.type.name.split(`.`),o=r.streamCandidates.hasPropertyType(s.type.name)&&r.streamCandidates.hasUniqueStream(n,a),c=i(r,t,s,o);(U!==null||G.length>0)&&r.error(e.InvalidCommandStream,`A command declares at most one stream route.`,P(t)),o||U!==null?G.push(c):U=c}else if(a===`runs`&&E(t))ee(r,t);else if(a===`description`)M=p(r,t,M,`Command '${h}'`);else if(a===`documentation`)F=m(r,t,F,`Command '${h}'`);else if(a===`authorize`){let e=u(r,t);if(!B){let t=z;z=l(z,e,r),B=t!==null&&z===null}}else if(a===`validate`){let e=parseValidate(r,t,`command`,h);e!==void 0&&b.push(e)}else if(a===`produces`){let e=A(r,t,!0);e!==void 0&&x.push(e)}else if(a===`handler`)V=y(r,t),H.push({handler:V,location:P(t)});else if(q.has(a)){let n=a===`reads`?k(r,t):void 0;n!==void 0&&w.push(n),a===`concurrency`&&T===void 0&&(T=O(r,t));let i=/^reads\s+([A-Z]\w*)(?:\s+as\s+([a-z_]\w*))?(?:\s+by\s+([a-z_]\w*))?$/.exec(t.content);i!==null&&C.push({readModel:i[1],alias:i[2]??null}),W.test(t.content)&&r.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,P(t)),r.skipOpaqueBlock(t.indent)}else s===void 0?(j(r,t),r.error(e.UnknownCommandDirective,`Unexpected '${t.content}' in command body${n(t.content)}`,P(t)),r.skipBlock(t.indent)):v=addProperty(r,g,s,h,t,v)}let Y=new Set(_.flatMap(e=>e.candidate===null?[]:[e.candidate])),X=new Set(g.filter(e=>!Y.has(e)).map(e=>e.name));_.some(e=>e.candidate!==null&&!X.has(e.candidate.type.name)&&e.candidate.type.name!==`returns`)&&X.add(`returns`);for(let e of X)s?.add(e);let Z=null,Q=/* @__PURE__ */ new Set;for(let t of _){let n=t.response;if(t.candidate!==null){if(!X.has(t.candidate.type.name))continue;Q.add(t.candidate),n={kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:t.candidate.type.name,location:t.candidate.type.location},location:P(t.line)}}n!==null&&(Z===null?Z=n:r.error(e.InvalidCommandResponse,`A command declares at most one unconditional response.`,P(t.line)))}t(H,V,x.length>0,r);let $={kind:`CommandSyntax`,name:h,description:M,documentation:F,authorize:z,properties:g.filter(e=>!Q.has(e)),validations:b,produces:x,handler:V,response:Z,stream:U,streamCandidates:G,...K===null?{}:{calendar:K},location:P(a)};return te.set($,C),D.set($,{reads:w,concurrency:T}),$}function addProperty(t,n,r,i,a,o){return M(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=v(e,n);return r===void 0?void 0:{kind:`FileValidateSyntax`,file:r,location:P(t)}}function hasValidationOperand(e){let t=V.exec(e.content);return t!==null&&startsWithRuleOperand(t[2])}function startsWithRuleOperand(e){return S(e)===`not`&&S(e.substring(3).trimStart())===`empty`||S(e)===`checksum`||H.test(e)}function isDeclarativePredicate(e){return startsWithRuleOperand(e)&&S(e)!==`rule`}function isValidationFileBody(e,t,n){if(!F(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,n,i,a){if(n.content===`validate`){let o=t.peekChild(n.indent);if(o!==void 0&&isValidationFileBody(t,n,o))return t.reader.takeSignificant(),parseValidationFile(t,n,o);if(o!==void 0&&o.content.startsWith("```")){t.reader.takeSignificant();let e=_(t.valueContext,o);return e===null&&t.skipFencedBody(),{kind:`CodeValidateSyntax`,code:e,location:P(n)}}let s=[],l=[],u;for(let o=t.peekChild(n.indent);o!==void 0;o=t.peekChild(n.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||S(o.content)===`implementation`){t.error(e.InvalidValidationRule,`Invalid validation rule '${o.content}'`,P(o)),u??=o.indent;continue}}if(S(o.content)===`require`){let e=r(i===`concept`?t.valueContext:t,o.content.substring(7).trim(),P(o),!1,t),n=null,a=`Error`,s=!1;for(let e=t.peekChild(o.indent);e!==void 0;e=t.peekChild(o.indent)){t.reader.takeSignificant();let r=B.exec(e.content);r!==null&&r.index===0?n=r[1]===void 0?r[2]:c(r[1]):S(e.content)===`severity`?(s||(a=K[e.content.substring(8).trim()]??`Error`),s=!0):t.skipOpaqueBlock(e.indent)}e!==null&&l.push({kind:`RequirementSyntax`,condition:e,message:n,severity:a,location:P(o)});continue}let n=parseValidationRule(t,i===`concept`?{...o,content:`value ${o.content}`}:o,i,a);n!==void 0&&s.push(n)}return{kind:`DeclarativeValidateSyntax`,rules:s,requirements:l,location:P(n)}}if(i===`concept`&&S(n.content.substring(8).trimStart())===`checksum`){let e=parseValidationRule(t,{...n,content:`value ${n.content.substring(8).trimStart()}`},i,a);return e===void 0?void 0:{kind:`DeclarativeValidateSyntax`,rules:[e],requirements:[],location:P(n)}}if(n.content===`validate csharp`){let e=_(t.valueContext,{...n,content:`csharp`});return e===null&&t.skipOpaqueBlock(n.indent),{kind:`CodeValidateSyntax`,code:e,location:P(n)}}t.error(e.InvalidValidateDeclaration,`Invalid validate declaration '${n.content}' - expected 'validate' or 'validate csharp'`,P(n)),t.skipBlock(n.indent)}function parseValidationRule(t,n,r,i){let a=S(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}'`,P(n));return}let d=parseRule(o,u[2],n);if(d===void 0)return;d.kind===`Matches`&&d.value!==null&&T(t,d.value,P(n),n.raw,w(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:P(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&&S(i.content)===`implementation`,o=a?b(t,i):{file:g(i)?v(t,i):null,code:!g(i)&&h(t,i)?_(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`,P(i)),t.skipBlock(i.indent));for(let i=t.peekChild(n.indent);i!==void 0&&(a||r&&S(i.content)===`implementation`);i=t.peekChild(n.indent))t.reader.takeSignificant(),t.error(a&&S(i.content)===`implementation`?e.InvalidImplementationBlock:e.ConflictingImplementationSources,`A named rule has one implementation wrapper and cannot mix wrapped and direct sources.`,P(i)),h(t,i)?_(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]:c(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`,P(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(S(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.`,P(r));return}return{kind:`Checksum`,value:{kind:`LiteralExpressionSyntax`,value:i,location:P(r)}}}let i=H.exec(n);if(i===null){t.error(e.InvalidValidationRule,`Invalid validation rule '${r.content}'`,P(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`,P(r));return}return{kind:`Rule`,value:{kind:`PathExpressionSyntax`,path:n,location:P(r)}}}return{kind:G[a],value:x(i[3],P(r),t)}}export{isDeclarativePredicate,parseCommand,parseValidate};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{validateHandlerContracts as t}from"./CommandHandlerValidator.js";import{misplacedRuleHintForCommand as n}from"./MisplacedRuleHint.js";import{parseCondition as r}from"./ConditionParser.js";import{parseClockOperand as i}from"./ClockOperandParser.js";import{parseCommandStream as a}from"./EventSourceParser.js";import{pattern as o}from"../Text/patterns.js";import{sourceStreamPattern as s}from"../Text/SourceStreamNames.js";import{stringBodyPattern as c,unescapeString as l}from"../Text/StringLiteral.js";import{combineAuthorize as u,parseAuthorize as d}from"./AuthorizeParser.js";import{parseCommandResponse as f,scalarResponsePattern as p}from"./CommandResponseParser.js";import{parseDescription as m}from"./DescriptionParser.js";import{parseDocumentation as h}from"./DocumentationParser.js";import{isCode as g,isFile as _,parseCode as v,parseFile as y,parseHandler as b,parseImplementationWrapper as x}from"./ImplementationParser.js";import{parseMappingSource as S}from"./ExpressionParser.js";import{firstWord as C}from"./LineText.js";import{ParserContext as w}from"./ParserContext.js";import{matchSubject as T,validateMatchOperand as E}from"./MatchOperandValidation.js";import{isReactionIdentityLine as D,misplacedReactionIdentity as O}from"./ReactionIdentityParser.js";import{commandReadSources as k}from"./CommandReadSources.js";import{dependencySources as A}from"../Syntax/DependencySources.js";import{captureConcurrency as j}from"./DependencySourceParser.js";import{parseReads as M}from"./ReadsParser.js";import{parseProduces as N}from"./ProducesParser.js";import{reportInvalidModifierOrder as P,reportLegacyOptionalSuffix as F,tryParseProperty as I}from"./PropertyLineParser.js";import{locationOf as L}from"./SourceLine.js";import{isFileDirectiveAmongProperties as R}from"./FileReferences.js";const z=o(`^command\\s+([A-Za-z_]\\w*)$`),B=s(`^stream\\s+[A-Za-z_]\\w*\\.[A-Za-z_]\\w*$`),V=o(`^calendar\\s+(?:"|from\\s+\\$context\\.)`),H=o(`^calendar\\s+(?:"(${c})"|from\\s+\\$context\\.([A-Za-z_][A-Za-z0-9_]*(?:\\.[A-Za-z_][A-Za-z0-9_]*)*))$`),U=o(`\\bseverity\\s+(\\S+)$`),W=o(`\\bmessage\\s+(?:"(${c})"|(\\$strings\\.\\S*))$`),G=o(`^([\\w.]+)\\s+(.+)$`),K=o(`^(?:(not empty|matches|not contains|contains|starts with|ends with|max|min|rule)(?:\\s+|$)|(length ==|decimals <=|all >=|all >|>=|<=|==|!=|>|<)\\s*)(.*)$`),q=s(`^[A-Za-z_]\\w*$`),J=o(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`),Y={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`},X={information:`Information`,warning:`Warning`,error:`Error`},Z=/* @__PURE__ */ new Set([`reads`,`concurrency`]),Q=/* @__PURE__ */ new Set([`description`,`documentation`,`handler`,`concurrency`]);function parseCommand(e,t){let n=/* @__PURE__ */ new Set,r=new w(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,n,r,i){let a=z.exec(n.content)?.[1]??``;a===``&&t.error(e.InvalidCommandDeclaration,`Invalid command declaration '${n.content}' - expected 'command <Name>'`,L(n));let o=createCommandBodyState(a,r);for(let e=t.peekChild(n.indent);e!==void 0;e=t.peekChild(n.indent))t.reader.takeSignificant(),dispatchCommandDirective(t,e,o);return buildCommand(t,n,o,i)}function createCommandBodyState(e,t){return{name:e,responseNames:t,properties:[],responses:[],identifier:void 0,validations:[],produces:[],reads:[],referenceReads:[],concurrency:void 0,description:null,documentation:null,authorize:null,authorizationDepthExceeded:!1,handler:null,handlers:[],stream:null,streamCandidates:[],calendar:null}}const isDirective=e=>t=>t===e,$=[{matches:(e,t)=>e===`calendar`&&V.test(t.content),parse:parseCalendarDirective},{matches:(e,t,n)=>n!==void 0&&(Q.has(e)||e===`validate`&&t.content!==`validate csharp`),parse:addPropertyDirective},{matches:isDirective(`returns`),parse:parseReturnsDirective},{matches:(e,t,n,r)=>e===`stream`&&B.test(t.content)&&n!==void 0&&r.streamCandidates?.hasSource(n.type.name.split(`.`)[0])===!0,parse:parseStreamDirective},{matches:(e,t)=>e===`runs`&&D(t),parse:(e,t)=>{O(e,t)}},{matches:isDirective(`description`),parse:(e,t,n)=>{n.description=m(e,t,n.description,`Command '${n.name}'`)}},{matches:isDirective(`documentation`),parse:(e,t,n)=>{n.documentation=h(e,t,n.documentation,`Command '${n.name}'`)}},{matches:isDirective(`authorize`),parse:parseAuthorizeDirective},{matches:isDirective(`validate`),parse:parseValidateDirective},{matches:isDirective(`produces`),parse:parseProducesDirective},{matches:isDirective(`handler`),parse:(e,t,n)=>{n.handler=b(e,t),n.handlers.push({handler:n.handler,location:L(t)})}},{matches:e=>Z.has(e),parse:parseOpaqueDirective}];function dispatchCommandDirective(t,r,i){let a=C(r.content),o=I(r),s=$.find(e=>e.matches(a,r,o,t));s===void 0?o===void 0?(P(t,r),t.error(e.UnknownCommandDirective,`Unexpected '${r.content}' in command body${n(r.content)}`,L(r)),t.skipBlock(r.indent)):i.identifier=addProperty(t,i.properties,o,i.name,r,i.identifier):s.parse(t,r,i,o)}function addPropertyDirective(e,t,n,r){n.identifier=addProperty(e,n.properties,r,n.name,t,n.identifier)}function parseCalendarDirective(t,n,r){let i=H.exec(n.content);r.calendar!==null||i===null?t.error(e.InvalidCommandCalendar,`A command declares at most one 'calendar "<id>"' or 'calendar from $context.<member>'.`,L(n)):r.calendar={kind:`CommandCalendarSyntax`,id:i[1]===void 0?null:l(i[1]),contextMember:i[2]??null,location:L(n)}}function parseReturnsDirective(e,t,n,r){let i=p.exec(t.content);i!==null&&!i[1].startsWith(`@`)&&r!==void 0?parseScalarReturns(e,t,n,r):r===void 0?P(e,t)?e.skipBlock(t.indent):n.responses.push({line:t,candidate:null,response:f(e,t)}):n.identifier=addProperty(e,n.properties,r,n.name,t,n.identifier)}function parseScalarReturns(e,t,n,r){n.responseNames===void 0?(n.properties.push(r),n.responses.push({line:t,candidate:r,response:null})):n.responseNames.has(r.type.name)?n.responses.push({line:t,candidate:null,response:f(e,t)}):n.identifier=addProperty(e,n.properties,r,n.name,t,n.identifier)}function parseStreamDirective(t,n,r,i){let[o,s]=i.type.name.split(`.`),c=t.streamCandidates.hasPropertyType(i.type.name)&&t.streamCandidates.hasUniqueStream(o,s),l=a(t,n,i,c);(r.stream!==null||r.streamCandidates.length>0)&&t.error(e.InvalidCommandStream,`A command declares at most one stream route.`,L(n)),c||r.stream!==null?r.streamCandidates.push(l):r.stream=l}function parseAuthorizeDirective(e,t,n){let r=d(e,t);if(n.authorizationDepthExceeded)return;let i=n.authorize;n.authorize=u(n.authorize,r,e),n.authorizationDepthExceeded=i!==null&&n.authorize===null}function parseValidateDirective(e,t,n){let r=parseValidate(e,t,`command`,n.name);r!==void 0&&n.validations.push(r)}function parseProducesDirective(e,t,n){let r=N(e,t,!0);r!==void 0&&n.produces.push(r)}function parseOpaqueDirective(t,n,r){let i=C(n.content),a=i===`reads`?M(t,n):void 0;a!==void 0&&r.referenceReads.push(a),i===`concurrency`&&r.concurrency===void 0&&(r.concurrency=j(t,n));let o=/^reads\s+([A-Z]\w*)(?:\s+as\s+([a-z_]\w*))?(?:\s+by\s+([a-z_]\w*))?$/.exec(n.content);o!==null&&r.reads.push({readModel:o[1],alias:o[2]??null}),J.test(n.content)&&t.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,L(n)),t.skipOpaqueBlock(n.indent)}function resolveResponse(t,n,r){let{properties:i,responses:a}=n,o=new Set(a.flatMap(e=>e.candidate===null?[]:[e.candidate])),s=new Set(i.filter(e=>!o.has(e)).map(e=>e.name));a.some(e=>e.candidate!==null&&!s.has(e.candidate.type.name)&&e.candidate.type.name!==`returns`)&&s.add(`returns`);for(let e of s)r?.add(e);let c=null,l=/* @__PURE__ */ new Set;for(let n of a){let r=n.response;if(n.candidate!==null){if(!s.has(n.candidate.type.name))continue;l.add(n.candidate),r={kind:`ScalarCommandResponseSyntax`,source:{kind:`PropertyResponseSourceSyntax`,property:n.candidate.type.name,location:n.candidate.type.location},location:L(n.line)}}r!==null&&(c===null?c=r:t.error(e.InvalidCommandResponse,`A command declares at most one unconditional response.`,L(n.line)))}return{response:c,removed:l}}function buildCommand(e,n,r,i){let{name:a,properties:o,validations:s,produces:c,reads:l,referenceReads:u,concurrency:d,description:f,documentation:p,authorize:m,handler:h,handlers:g,stream:_,streamCandidates:v,calendar:y}=r,{response:b,removed:x}=resolveResponse(e,r,i);t(g,h,c.length>0,e);let S={kind:`CommandSyntax`,name:a,description:f,documentation:p,authorize:m,properties:o.filter(e=>!x.has(e)),validations:s,produces:c,handler:h,response:b,stream:_,streamCandidates:v,...y===null?{}:{calendar:y},location:L(n)};return k.set(S,l),A.set(S,{reads:u,concurrency:d}),S}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=y(e,n);return r===void 0?void 0:{kind:`FileValidateSyntax`,file:r,location:L(t)}}function hasValidationOperand(e){let t=G.exec(e.content);return t!==null&&startsWithRuleOperand(t[2])}function startsWithRuleOperand(e){return C(e)===`not`&&C(e.substring(3).trimStart())===`empty`||C(e)===`checksum`||K.test(e)}function isDeclarativePredicate(e){return startsWithRuleOperand(e)&&C(e)!==`rule`}function isValidationFileBody(e,t,n){if(!R(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,n,i,a){if(n.content===`validate`){let o=t.peekChild(n.indent);if(o!==void 0&&isValidationFileBody(t,n,o))return t.reader.takeSignificant(),parseValidationFile(t,n,o);if(o!==void 0&&o.content.startsWith("```")){t.reader.takeSignificant();let e=v(t.valueContext,o);return e===null&&t.skipFencedBody(),{kind:`CodeValidateSyntax`,code:e,location:L(n)}}let s=[],c=[],u;for(let o=t.peekChild(n.indent);o!==void 0;o=t.peekChild(n.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||C(o.content)===`implementation`){t.error(e.InvalidValidationRule,`Invalid validation rule '${o.content}'`,L(o)),u??=o.indent;continue}}if(C(o.content)===`require`){let e=r(i===`concept`?t.valueContext:t,o.content.substring(7).trim(),L(o),!1,t),n=null,a=`Error`,s=!1;for(let e=t.peekChild(o.indent);e!==void 0;e=t.peekChild(o.indent)){t.reader.takeSignificant();let r=W.exec(e.content);r!==null&&r.index===0?n=r[1]===void 0?r[2]:l(r[1]):C(e.content)===`severity`?(s||(a=X[e.content.substring(8).trim()]??`Error`),s=!0):t.skipOpaqueBlock(e.indent)}e!==null&&c.push({kind:`RequirementSyntax`,condition:e,message:n,severity:a,location:L(o)});continue}let n=parseValidationRule(t,i===`concept`?{...o,content:`value ${o.content}`}:o,i,a);n!==void 0&&s.push(n)}return{kind:`DeclarativeValidateSyntax`,rules:s,requirements:c,location:L(n)}}if(i===`concept`&&C(n.content.substring(8).trimStart())===`checksum`){let e=parseValidationRule(t,{...n,content:`value ${n.content.substring(8).trimStart()}`},i,a);return e===void 0?void 0:{kind:`DeclarativeValidateSyntax`,rules:[e],requirements:[],location:L(n)}}if(n.content===`validate csharp`){let e=v(t.valueContext,{...n,content:`csharp`});return e===null&&t.skipOpaqueBlock(n.indent),{kind:`CodeValidateSyntax`,code:e,location:L(n)}}t.error(e.InvalidValidateDeclaration,`Invalid validate declaration '${n.content}' - expected 'validate' or 'validate csharp'`,L(n)),t.skipBlock(n.indent)}function parseValidationRule(t,n,r,i){let a=C(G.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=G.exec(l.content);if(u===null){o.error(e.InvalidValidationRule,`Invalid validation rule '${n.content}'`,L(n));return}let d=parseRule(o,u[2],n,r===`command`);if(d===void 0)return;d.kind===`Matches`&&d.value!==null&&E(t,d.value,L(n),n.raw,T(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:L(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&&C(i.content)===`implementation`,o=a?x(t,i):{file:_(i)?y(t,i):null,code:!_(i)&&g(t,i)?v(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`,L(i)),t.skipBlock(i.indent));for(let i=t.peekChild(n.indent);i!==void 0&&(a||r&&C(i.content)===`implementation`);i=t.peekChild(n.indent))t.reader.takeSignificant(),t.error(a&&C(i.content)===`implementation`?e.InvalidImplementationBlock:e.ConflictingImplementationSources,`A named rule has one implementation wrapper and cannot mix wrapped and direct sources.`,L(i)),g(t,i)?v(t,i):t.skipBlock(i.indent);return o}function splitMessage(e){let t=W.exec(e);if(t===null)return{content:e,message:null};let n=t[1]===void 0?t[2]:l(t[1]);return{content:e.substring(0,t.index).trimEnd(),message:n}}function splitSeverity(t,n,r){let i=U.exec(r);if(i===null)return{content:r,severity:`Error`};let a=X[i[1]];if(a===void 0)t.error(e.InvalidValidationSeverity,`Unknown validation severity '${i[1]}' - expected information, warning or error`,L(n));else return{content:r.substring(0,i.index).trimEnd(),severity:a}}const ee=/* @__PURE__ */ new Set([`>`,`>=`,`<`,`<=`,`==`,`!=`]);function parseClockComparisonValue(t,n,r){let a=n.split(/\s+/).filter(e=>e.length>0),o=i(t,a,0,L(r));if(o===null)return S(n,L(r),t);if(o.expression!==null){if(o.position===a.length)return o.expression;t.error(e.InvalidValidationRule,`Invalid validation rule '${r.content}'`,L(r))}}function parseRule(t,n,r,i){if(n===`not empty`)return{kind:`NotEmpty`,value:null};if(C(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.`,L(r));return}return{kind:`Checksum`,value:{kind:`LiteralExpressionSyntax`,value:i,location:L(r)}}}let a=K.exec(n);if(a===null)t.error(e.InvalidValidationRule,`Invalid validation rule '${r.content}'`,L(r));else{if((a[1]??a[2])===`rule`){let n=a[3].trim();if(!q.test(n)){t.error(e.InvalidRuleName,`Invalid rule name '${n}' in '${r.content}' - expected 'rule <Name>' with an identifier`,L(r));return}return{kind:`Rule`,value:{kind:`PathExpressionSyntax`,path:n,location:L(r)}}}return parseOperandRule(t,a,r,i)}}function parseOperandRule(e,t,n,r){let i=t[1]??t[2],a=r&&ee.has(i)?parseClockComparisonValue(e,t[3],n):S(t[3],L(n),e);return a===void 0?void 0:{kind:Y[i],value:a}}export{isDeclarativePredicate,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","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","misplacedRuleHintForCommand","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 { misplacedRuleHintForCommand } from './MisplacedRuleHint';\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${misplacedRuleHintForCommand(child.content)}`, 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    return startsWithRuleOperand(match[2]);\n}\n\nfunction startsWithRuleOperand(rule: string): boolean {\n    return (firstWord(rule) === 'not' && firstWord(rule.substring('not'.length).trimStart()) === 'empty') ||\n        firstWord(rule) === 'checksum' || operandPattern.test(rule);\n}\n\n/** Recognizes a declarative predicate, with any message or severity suffix; a named 'rule <Name>' is not one. */\nexport function isDeclarativePredicate(rule: string): boolean {\n    return startsWithRuleOperand(rule) && firstWord(rule) !== '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,60DAyCA,MAAMA,GAASC,EAAQ,8BAA8B,EAC/CC,EAAcC,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,EAAY,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,GAA0BxC,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,mBAAmBiC,EAA4BjC,EAAM,OAAO,IAAKlB,EAAWkB,CAAK,CAAC,EACtKtB,EAAQ,UAAUsB,EAAM,MAAM,GAJ9B,EAAa,YAAYtB,EAASK,EAAYoB,EAAYvB,EAAMoB,EAAOf,CAAU,CAMzF,CACA,IAAMiD,EAAa,IAAI,IAAIlD,EAAU,QAAQ,GAASmD,EAAM,YAAc,KAAO,CAAC,EAAI,CAACA,EAAM,SAAS,CAAC,CAAC,EAClG5D,EAAQ,IAAI,IAAIQ,EAAW,OAAO,GAAY,CAACmD,EAAW,IAAIE,CAAQ,CAAC,CAAC,CAAC,IAAI,GAAYA,EAAS,IAAI,CAAC,EACzGpD,EAAU,KAAK,GAASmD,EAAM,YAAc,MAAQ,CAAC5D,EAAM,IAAI4D,EAAM,UAAU,KAAK,IAAI,GAAKA,EAAM,UAAU,KAAK,OAAS,SAAS,GAAG5D,EAAM,IAAI,SAAS,EAC9J,IAAK,IAAMK,KAAQL,EAAO8D,GAAiB,IAAIzD,CAAI,EACnD,IAAI0D,EAAyC,KACvCC,kBAAU,IAAI,IACpB,IAAK,IAAMJ,KAASnD,EAAW,CAC3B,IAAIwD,EAASL,EAAM,SACnB,GAAIA,EAAM,YAAc,KAAM,CAC1B,GAAI,CAAC5D,EAAM,IAAI4D,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,SAAUrD,EAAWqD,EAAM,IAAI,CAAE,CACrN,CACIK,IAAW,OACXF,IAAa,KAGb,EAAWE,EAFX9D,EAAQ,MAAMG,EAAgB,uBAAwB,yDAA0DC,EAAWqD,EAAM,IAAI,CAAC,EAI9I,CACAM,EAAyB7C,EAAUD,EAASR,EAAS,OAAS,EAAGT,CAAO,EACxE,IAAMgE,EAAwB,CAAE,KAAM,gBAAiB,OAAM,cAAa,gBAAe,YAAW,WAAY3D,EAAW,OAAO,GAAY,CAACwD,EAAQ,IAAIH,CAAQ,CAAC,EAAG,cAAa,WAAU,UAAS,WAAU,SAAQ,mBAAkB,GAAIrC,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,SAAUjB,EAAWH,CAAI,CAAE,EAGlT,OAFAgE,GAAmB,IAAID,EAAQtD,CAAK,EACpCwD,EAAkB,IAAIF,EAAQ,CAAE,MAAOrD,EAAgB,aAAY,CAAC,EAC7DqD,CACX,CAEA,SAAS,YAAY,EAAwB,EAA8B,EAA0B,EAAqB,EAAkB,EAAoE,CAO5M,OANAG,EAA2BnE,EAAS0D,EAAS,KAAMzD,CAAI,EACnDyD,EAAS,cAAgBnD,IAAe,IAAA,KACxCP,EAAQ,MAAMG,EAAgB,2BAA4B,YAAYiE,EAAY,mBAAmB7D,EAAW,KAAK,2DAA4DmD,EAAS,QAAQ,EAClM,EAAW,CAAE,GAAGA,EAAU,aAAc,EAAM,GAElDrD,EAAW,KAAKqD,CAAQ,EACjBnD,IAAemD,EAAS,aAAeA,EAAW,IAAA,GAC7D,CAEA,SAAS,oBAAoB,EAAwB,EAAoB,EAA8C,CACnH,IAAMW,EAAOC,EAAUtE,EAASuE,CAAI,EACpC,OAAOF,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,qBAAsB,OAAM,SAAUjE,EAAWxB,CAAM,CAAE,CAC7G,CAEA,SAAS,qBAAqB,EAA2B,CACrD,IAAM+C,EAAQtC,EAAY,KAAKY,EAAK,OAAO,EAE3C,OADI0B,IAAU,MACP,sBAAsBA,EAAM,EAAE,CACzC,CAEA,SAAS,sBAAsB,EAAuB,CAClD,OAAQH,EAAUgD,CAAI,IAAM,OAAShD,EAAUgD,EAAK,UAAU,CAAY,CAAC,CAAC,UAAU,CAAC,IAAM,SACzFhD,EAAUgD,CAAI,IAAM,YAAclF,EAAe,KAAKkF,CAAI,CAClE,CAGA,SAAgB,uBAAuB,EAAuB,CAC1D,OAAO,sBAAsBA,CAAI,GAAKhD,EAAUgD,CAAI,IAAM,MAC9D,CAEA,SAAS,qBAAqB,EAAwB,EAAoB,EAA2B,CACjG,GAAI,CAACC,EAA+BF,CAAI,GAAK,qBAAqBA,CAAI,EAAG,MAAO,GAChF,IAAMzE,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,IAAMyE,EAAQ1E,EAAQ,UAAUC,EAAK,MAAM,EAC3C,GAAIyE,IAAU,IAAA,IAAa,qBAAqB1E,EAASC,EAAMyE,CAAK,EAEhE,OADA1E,EAAQ,OAAO,gBAAgB,EACxB,oBAAoBA,EAASC,EAAMyE,CAAK,EAEnD,GAAIA,IAAU,IAAA,IAAaA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACxD1E,EAAQ,OAAO,gBAAgB,EAC/B,IAAM2E,EAAOC,EAAU5E,EAAQ,aAAc0E,CAAK,EAElD,OADIC,IAAS,MAAM3E,EAAQ,eAAe,EACnC,CAAE,KAAM,qBAAsB,OAAM,SAAUI,EAAWH,CAAI,CAAE,CAC1E,CACA,IAAM4E,EAAgC,CAAC,EACjCC,EAAoC,CAAC,EACvCC,EACJ,IAAK,IAAIzD,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAGqB,IAAU,IAAA,GAAW,EAAQtB,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAE1G,GADAD,EAAQ,OAAO,gBAAgB,EAC3BgF,IAAU,UAAW,CACrB,GAAIhF,EAAQ,cAAc,cAAgB,UAAYsB,EAAM,QAAQ,WAAW,KAAK,EAAG,CAAEtB,EAAQ,eAAe,EAAG,QAAU,CAE7H,GADI+E,IAAkB,IAAA,IAAazD,EAAM,QAAUyD,IAAe,EAAgB,IAAA,IAC9EA,IAAkB,IAAA,IAAavD,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,IAAM2D,EAAYC,EAAeF,IAAU,UAAYhF,EAAQ,aAAeA,EAASsB,EAAM,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EAAGlB,EAAWkB,CAAK,EAAG,GAAOtB,CAAO,EACtKmF,EAAyB,KACzBC,EAA+B,QAC/BC,EAAc,GAClB,IAAK,IAAIC,EAAYtF,EAAQ,UAAUsB,EAAM,MAAM,EAAGgE,IAAc,IAAA,GAAW,EAAYtF,EAAQ,UAAUsB,EAAM,MAAM,EAAG,CACxHtB,EAAQ,OAAO,gBAAgB,EAC/B,IAAMuF,EAAUnG,EAAe,KAAKkG,EAAU,OAAO,EACjDC,IAAY,MAAQA,EAAQ,QAAU,EAAG,EAAUA,EAAQ,KAAO,IAAA,GAAyCA,EAAQ,GAArC3D,EAAe2D,EAAQ,EAAE,EAClG/D,EAAU8D,EAAU,OAAO,IAAM,YACjCD,IAAa,EAAW3F,EAAW4F,EAAU,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,IAAM,SAClG,EAAc,IACXtF,EAAQ,gBAAgBsF,EAAU,MAAM,CACnD,CACIL,IAAc,MAAMH,EAAa,KAAK,CAAE,KAAM,oBAAqB,YAAW,UAAS,WAAU,SAAU1E,EAAWkB,CAAK,CAAE,CAAC,EAClI,QACJ,CACA,IAAMkD,EAAO,oBAAoBxE,EAASgF,IAAU,UAAY,CAAE,GAAG1D,EAAO,QAAS,SAASA,EAAM,SAAU,EAAIA,EAAO0D,EAAOQ,CAAS,EACrIhB,IAAS,IAAA,IACTK,EAAM,KAAKL,CAAI,CAEvB,CACA,MAAO,CAAE,KAAM,4BAA6B,QAAO,eAAc,SAAUpE,EAAWH,CAAI,CAAE,CAChG,CACA,GAAI+E,IAAU,WAAaxD,EAAUvB,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,CAAC,IAAM,WAAY,CAExG,IAAMuE,EAAO,oBAAoBxE,EAAS,CADvB,GAAGC,EAAM,QAAS,SAASA,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,GACjD,EAAG+E,EAAOQ,CAAS,EACpE,OAAOhB,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,4BAA6B,MAAO,CAACA,CAAI,EAAG,aAAc,CAAC,EAAG,SAAUpE,EAAWH,CAAI,CAAE,CAC7I,CACA,GAAIA,EAAK,UAAY,kBAAmB,CACpC,IAAM0E,EAAOC,EAAU5E,EAAQ,aAAc,CAAE,GAAGC,EAAM,QAAS,QAAS,CAAC,EAE3E,OADI0E,IAAS,MAAM3E,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,IAAMwF,EAAWjE,EAAUnC,EAAY,KAAKY,EAAK,OAAO,CAAC,GAAG,IAAM,EAAE,IAAM,WACpEyF,EAAeV,IAAU,WAAa,CAACS,EAAWzF,EAAQ,aAAeA,EACzE,CAAE,QAAS2F,EAAc,WAAY,aAAa1F,EAAK,OAAO,EAC9DmF,EAAW,cAAcM,EAAczF,EAAM0F,CAAY,EAC/D,GAAIP,IAAa,IAAA,GACb,OAEJ,IAAMzD,EAAQtC,EAAY,KAAK+F,EAAS,OAAO,EAC/C,GAAIzD,IAAU,KAAM,CAChB+D,EAAa,MAAMvF,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EACvH,MACJ,CACA,IAAM6D,EAAS,UAAU4B,EAAc/D,EAAM,GAAI1B,CAAI,EACrD,GAAI6D,IAAW,IAAA,GACX,OAEAA,EAAO,OAAS,WAAaA,EAAO,QAAU,MAAM8B,EAAqB5F,EAAS8D,EAAO,MAAO1D,EAAWH,CAAI,EAAGA,EAAK,IAAK4F,EAAa7F,EAASgF,EAAOQ,EAAW7D,EAAM,EAAE,CAAC,EACjL,IAAMO,EAAS4B,EAAO,OAAS,OAAS,wBAAwB9D,EAASC,EAAM+E,IAAU,SAAS,EAAI,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EACrJ,MAAO,CACH,KAAM,uBACN,SAAUrD,EAAM,GAChB,KAAMmC,EAAO,KACb,MAAOA,EAAO,MACd,UACA,SAAUsB,EAAS,SACnB,GAAGlD,EACH,SAAU9B,EAAWH,CAAI,CAC7B,CACJ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAAwI,CAC/M,IAAMsE,EAAOvE,EAAQ,UAAUwE,EAAK,MAAM,EAC1C,GAAID,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EAC9EvE,EAAQ,OAAO,gBAAgB,EAC/B,IAAM8F,EAAUC,GAAgBvE,EAAU+C,EAAK,OAAO,IAAM,iBACtDrC,EAAS4D,EAAUE,EAA2BhG,EAASuE,CAAI,EAAI,CACjE,KAAM0B,EAAO1B,CAAI,EAAID,EAAUtE,EAASuE,CAAI,EAAI,KAChD,KAAM,CAAC0B,EAAO1B,CAAI,GAAK2B,EAAOlG,EAASuE,CAAI,EAAIK,EAAU5E,EAASuE,CAAI,EAAI,KAC1E,eAAgB,IACpB,EACI,CAACuB,GAAW5D,EAAO,OAAS,MAAQA,EAAO,OAAS,OACpDlC,EAAQ,MAAMG,EAAgB,mCAAoC,eAAeoE,EAAK,QAAQ,2EAA4EnE,EAAWmE,CAAI,CAAC,EAC1LvE,EAAQ,UAAUuE,EAAK,MAAM,GAEjC,IAAK,IAAI4B,EAAQnG,EAAQ,UAAUwE,EAAK,MAAM,EAAG2B,IAAU,IAAA,KAAcL,GAAYC,GAAgBvE,EAAU2E,EAAM,OAAO,IAAM,kBAAoB,EAAQnG,EAAQ,UAAUwE,EAAK,MAAM,EACvLxE,EAAQ,OAAO,gBAAgB,EAC/BA,EAAQ,MAAM8F,GAAWtE,EAAU2E,EAAM,OAAO,IAAM,iBAAmBhG,EAAgB,2BAA6BA,EAAgB,iCAClI,yFAA0FC,EAAW+F,CAAK,CAAC,EAC3GD,EAAOlG,EAASmG,CAAK,EAAGvB,EAAU5E,EAASmG,CAAK,EAC/CnG,EAAQ,UAAUmG,EAAM,MAAM,EAEvC,OAAOjE,CACX,CAEA,SAAS,aAAa,EAA8D,CAChF,IAAMP,EAAQvC,EAAe,KAAKgH,CAAO,EACzC,GAAIzE,IAAU,KACV,MAAO,CAAE,UAAS,QAAS,IAAK,EAEpC,IAAMwD,EAAUxD,EAAM,KAAO,IAAA,GAAuCA,EAAM,GAAjCC,EAAeD,EAAM,EAAE,EAChE,MAAO,CAAE,QAASyE,EAAQ,UAAU,EAAGzE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,SAAQ,CAC3E,CAEA,SAAS,cAAc,EAAwB,EAAkB,EAA6E,CAC1I,IAAMA,EAAQxC,EAAgB,KAAKkH,CAAI,EACvC,GAAI1E,IAAU,KACV,MAAO,CAAE,QAAS0E,EAAM,SAAU,OAAQ,EAE9C,IAAMjB,EAAW1F,EAAWiC,EAAM,IAClC,GAAIyD,IAAa,IAAA,GACbpF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCwB,EAAM,GAAG,4CAA6CvB,EAAWH,CAAI,CAAC,OAGnK,MAAO,CAAE,QAASoG,EAAK,UAAU,EAAG1E,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,UAAS,CACzE,CAEA,SAAS,UAAU,EAAwB,EAAc,EAA4F,CACjJ,GAAI6C,IAAS,YACT,MAAO,CAAE,KAAM,WAAY,MAAO,IAAK,EAE3C,GAAIhD,EAAUgD,CAAI,IAAM,WAAY,CAChC,IAAM8B,EAAY9B,EAAK,UAAU,CAAiB,CAAC,CAAC,KAAK,EACzD,GAAI8B,IAAc,QAAUA,IAAc,SAAWA,IAAc,QAAS,CACxEtG,EAAQ,MAAMG,EAAgB,0BAA2B,qDAAsDC,EAAWH,CAAI,CAAC,EAC/H,MACJ,CACA,MAAO,CAAE,KAAM,WAAY,MAAO,CAAE,KAAM,0BAA2B,MAAOqG,EAAW,SAAUlG,EAAWH,CAAI,CAAE,CAAE,CACxH,CACA,IAAMsG,EAAUjH,EAAe,KAAKkF,CAAI,EACxC,GAAI+B,IAAY,KAAM,CAClBvG,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EAClH,MACJ,CACA,IAAMuG,EAAWD,EAAQ,IAAMA,EAAQ,GACvC,GAAIC,IAAa,OAAQ,CACrB,IAAMtG,EAAOqG,EAAQ,EAAE,CAAC,KAAK,EAC7B,GAAI,CAAChH,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,EAAa+G,GAAW,MAAOC,EAAmBF,EAAQ,GAAInG,EAAWH,CAAI,EAAGD,CAAO,CAAE,CAC5G,C"}
+{"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","state","responseNames","child","discoveredNames","keyword","commandDirectiveRules","property","isReactionIdentityLine","misplacedReactionIdentity","parseDescription","parseDocumentation","parseHandler","firstWord","asProperty","tryParseProperty","rule","candidate","reportInvalidModifierOrder","misplacedRuleHintForCommand","match","unescapeString","scalar","scalarResponsePattern","parseCommandResponse","source","streamName","ambiguous","route","parseCommandStream","next","parseAuthorize","previous","combineAuthorize","validate","production","parseProduces","reference","parseReads","captureConcurrency","read","candidates","responses","entry","properties","response","removed","parsed","validateHandlerContracts","handlers","handler","produces","syntax","calendar","commandReadSources","reads","dependencySources","referenceReads","reportLegacyOptionalSuffix","identifier","commandName","file","parseFile","body","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","clockComparisons","tokens","token","clock","parseClockOperand","parseMappingSource","algorithm","operand","clockOperands","operator","value"],"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 { misplacedRuleHintForCommand } from './MisplacedRuleHint';\nimport { parseCondition } from './ConditionParser';\nimport { parseClockOperand } from './ClockOperandParser';\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 state = createCommandBodyState(name, responseNames);\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        dispatchCommandDirective(context, child, state);\n    }\n    return buildCommand(context, line, state, discoveredNames);\n}\n\n// What the command body loop gathers while it reads the directives of one command.\ninterface CommandBodyState {\n    readonly name: string;\n    readonly responseNames: ReadonlySet<string> | undefined;\n    readonly properties: PropertySyntax[];\n    readonly responses: { line: SourceLine; candidate: PropertySyntax | null; response: CommandResponseSyntax | null }[];\n    identifier: PropertySyntax | undefined;\n    readonly validations: ValidateSyntax[];\n    readonly produces: ProducesSyntax[];\n    readonly reads: { readModel: string; alias: string | null }[];\n    readonly referenceReads: ReadsSyntax[];\n    concurrency: ConcurrencySyntax | undefined;\n    description: string | null;\n    documentation: string | null;\n    authorize: AuthorizeSyntax | null;\n    authorizationDepthExceeded: boolean;\n    handler: HandlerSyntax | null;\n    readonly handlers: { handler: HandlerSyntax | null; location: SourceLocation }[];\n    stream: CommandStreamSyntax | null;\n    readonly streamCandidates: CommandStreamSyntax[];\n    calendar: CommandCalendarSyntax | null;\n}\n\n// A command body rule: whether it takes a line - by keyword and, where the keyword alone cannot decide, by the line - and what to do with it.\ninterface CommandDirectiveRule {\n    readonly matches: (keyword: string, line: SourceLine, property: PropertySyntax | undefined, context: ParserContext) => boolean;\n    readonly parse: (context: ParserContext, line: SourceLine, state: CommandBodyState, property: PropertySyntax | undefined) => void;\n}\n\nfunction createCommandBodyState(name: string, responseNames: ReadonlySet<string> | undefined): CommandBodyState {\n    return {\n        name, responseNames, properties: [], responses: [], identifier: undefined, validations: [], produces: [], reads: [], referenceReads: [],\n        concurrency: undefined, description: null, documentation: null, authorize: null, authorizationDepthExceeded: false, handler: null,\n        handlers: [], stream: null, streamCandidates: [], calendar: null\n    };\n}\n\nconst isDirective = (name: string) => (keyword: string): boolean => keyword === name;\n\n// The command body rules in the order they are tried: the first one that takes the line handles it, so a keyword with a property shaped rule keeps it\n// ahead of its directive rule. A line no rule takes is a property, or an unexpected directive.\nconst commandDirectiveRules: readonly CommandDirectiveRule[] = [\n    { matches: (keyword, line) => keyword === 'calendar' && calendarPrefix.test(line.content), parse: parseCalendarDirective },\n    { matches: (keyword, line, property) => property !== undefined && (propertyShapedDirectives.has(keyword) || (keyword === 'validate' && line.content !== 'validate csharp')), parse: addPropertyDirective },\n    { matches: isDirective('returns'), parse: parseReturnsDirective },\n    { matches: (keyword, line, property, context) => keyword === 'stream' && routeHeader.test(line.content) && property !== undefined && context.streamCandidates?.hasSource(property.type.name.split('.')[0]) === true, parse: parseStreamDirective },\n    { matches: (keyword, line) => keyword === 'runs' && isReactionIdentityLine(line), parse: (context, line) => { misplacedReactionIdentity(context, line); } },\n    { matches: isDirective('description'), parse: (context, line, state) => { state.description = parseDescription(context, line, state.description, `Command '${state.name}'`); } },\n    { matches: isDirective('documentation'), parse: (context, line, state) => { state.documentation = parseDocumentation(context, line, state.documentation, `Command '${state.name}'`); } },\n    { matches: isDirective('authorize'), parse: parseAuthorizeDirective },\n    { matches: isDirective('validate'), parse: parseValidateDirective },\n    { matches: isDirective('produces'), parse: parseProducesDirective },\n    { matches: isDirective('handler'), parse: (context, line, state) => { state.handler = parseHandler(context, line); state.handlers.push({ handler: state.handler, location: locationOf(line) }); } },\n    { matches: keyword => opaqueDirectives.has(keyword), parse: parseOpaqueDirective }\n];\n\nfunction dispatchCommandDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const keyword = firstWord(child.content);\n    const asProperty = tryParseProperty(child);\n    const rule = commandDirectiveRules.find(candidate => candidate.matches(keyword, child, asProperty, context));\n    if (rule !== undefined) {\n        rule.parse(context, child, state, asProperty);\n    } else if (asProperty !== undefined) {\n        state.identifier = addProperty(context, state.properties, asProperty, state.name, child, state.identifier);\n    } else {\n        reportInvalidModifierOrder(context, child);\n        context.error(DiagnosticCodes.UnknownCommandDirective, `Unexpected '${child.content}' in command body${misplacedRuleHintForCommand(child.content)}`, locationOf(child));\n        context.skipBlock(child.indent);\n    }\n}\n\nfunction addPropertyDirective(context: ParserContext, child: SourceLine, state: CommandBodyState, property: PropertySyntax | undefined): void {\n    state.identifier = addProperty(context, state.properties, property!, state.name, child, state.identifier);\n}\n\nfunction parseCalendarDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const match = calendarPattern.exec(child.content);\n    if (state.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        state.calendar = { kind: 'CommandCalendarSyntax', id: match[1] === undefined ? null : unescapeString(match[1]), contextMember: match[2] ?? null, location: locationOf(child) };\n    }\n}\n\nfunction parseReturnsDirective(context: ParserContext, child: SourceLine, state: CommandBodyState, property: PropertySyntax | undefined): void {\n    const scalar = scalarResponsePattern.exec(child.content);\n    if (scalar !== null && !scalar[1].startsWith('@') && property !== undefined) {\n        parseScalarReturns(context, child, state, property);\n    } else if (property !== undefined) {\n        state.identifier = addProperty(context, state.properties, property, state.name, child, state.identifier);\n    } else if (reportInvalidModifierOrder(context, child)) {\n        context.skipBlock(child.indent);\n    } else {\n        state.responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n    }\n}\n\nfunction parseScalarReturns(context: ParserContext, child: SourceLine, state: CommandBodyState, property: PropertySyntax): void {\n    if (state.responseNames === undefined) {\n        state.properties.push(property);\n        state.responses.push({ line: child, candidate: property, response: null });\n    } else if (state.responseNames.has(property.type.name)) {\n        state.responses.push({ line: child, candidate: null, response: parseCommandResponse(context, child) });\n    } else {\n        state.identifier = addProperty(context, state.properties, property, state.name, child, state.identifier);\n    }\n}\n\nfunction parseStreamDirective(context: ParserContext, child: SourceLine, state: CommandBodyState, property: PropertySyntax | undefined): void {\n    const [source, streamName] = property!.type.name.split('.');\n    const ambiguous = context.streamCandidates!.hasPropertyType(property!.type.name) && context.streamCandidates!.hasUniqueStream(source, streamName);\n    const route = parseCommandStream(context, child, property!, ambiguous);\n    if (state.stream !== null || state.streamCandidates.length > 0) context.error(DiagnosticCodes.InvalidCommandStream, 'A command declares at most one stream route.', locationOf(child));\n    if (ambiguous || state.stream !== null) state.streamCandidates.push(route);\n    else state.stream = route;\n}\n\nfunction parseAuthorizeDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const next = parseAuthorize(context, child);\n    if (state.authorizationDepthExceeded) return;\n    const previous = state.authorize;\n    state.authorize = combineAuthorize(state.authorize, next, context);\n    state.authorizationDepthExceeded = previous !== null && state.authorize === null;\n}\n\nfunction parseValidateDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const validate = parseValidate(context, child, 'command', state.name);\n    if (validate !== undefined) state.validations.push(validate);\n}\n\nfunction parseProducesDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const production = parseProduces(context, child, true);\n    if (production !== undefined) state.produces.push(production);\n}\n\nfunction parseOpaqueDirective(context: ParserContext, child: SourceLine, state: CommandBodyState): void {\n    const keyword = firstWord(child.content);\n    const reference = keyword === 'reads' ? parseReads(context, child) : undefined;\n    if (reference !== undefined) state.referenceReads.push(reference);\n    if (keyword === 'concurrency' && state.concurrency === undefined) state.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) state.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}\n\n// Settles which 'returns' lines are the response and which are properties named like one, and the one response a command may declare.\nfunction resolveResponse(context: ParserContext, state: CommandBodyState, discoveredNames: Set<string> | undefined): { response: CommandResponseSyntax | null; removed: Set<PropertySyntax> } {\n    const { properties, responses } = state;\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    return { response, removed };\n}\n\nfunction buildCommand(context: ParserContext, line: SourceLine, state: CommandBodyState, discoveredNames: Set<string> | undefined): CommandSyntax {\n    const { name, properties, validations, produces, reads, referenceReads, concurrency, description, documentation, authorize, handler, handlers, stream, streamCandidates, calendar } = state;\n    const { response, removed } = resolveResponse(context, state, discoveredNames);\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    return startsWithRuleOperand(match[2]);\n}\n\nfunction startsWithRuleOperand(rule: string): boolean {\n    return (firstWord(rule) === 'not' && firstWord(rule.substring('not'.length).trimStart()) === 'empty') ||\n        firstWord(rule) === 'checksum' || operandPattern.test(rule);\n}\n\n/** Recognizes a declarative predicate, with any message or severity suffix; a named 'rule <Name>' is not one. */\nexport function isDeclarativePredicate(rule: string): boolean {\n    return startsWithRuleOperand(rule) && firstWord(rule) !== '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, owner === 'command');\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\nconst clockComparisons = new Set(['>', '>=', '<', '<=', '==', '!=']);\n\n// The right operand of a comparison rule: a clock offset or 'date of' one (decisions 0106 and 0107), otherwise an ordinary value.\n// Bare 'today' and 'now' stay paths, so a command property of that name still wins in the binder.\nfunction parseClockComparisonValue(context: ParserContext, text: string, line: SourceLine): ExpressionSyntax | null | undefined {\n    const tokens = text.split(/\\s+/).filter(token => token.length > 0);\n    const clock = parseClockOperand(context, tokens, 0, locationOf(line));\n    if (clock === null) return parseMappingSource(text, locationOf(line), context);\n    if (clock.expression === null) return undefined;\n    if (clock.position === tokens.length) return clock.expression;\n    context.error(DiagnosticCodes.InvalidValidationRule, `Invalid validation rule '${line.content}'`, locationOf(line));\n    return undefined;\n}\n\n// Only a command property rule may compare with a clock operand (decision 0107, item 1); a concept rule keeps its ordinary value.\nfunction parseRule(context: ParserContext, rule: string, line: SourceLine, clockOperands: boolean): { 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 parseOperandRule(context, operand, line, clockOperands);\n}\n\nfunction parseOperandRule(context: ParserContext, operand: RegExpExecArray, line: SourceLine, clockOperands: boolean): { kind: ValidationRuleKind; value: ExpressionSyntax | null } | undefined {\n    const operator = operand[1] ?? operand[2];\n    const value = clockOperands && clockComparisons.has(operator)\n        ? parseClockComparisonValue(context, operand[3], line)\n        : parseMappingSource(operand[3], locationOf(line), context);\n    return value === undefined ? undefined : { kind: operandKinds[operator], value };\n}\n"],"mappings":"A,u4DA0CA,MAAMA,EAASC,EAAQ,8BAA8B,EAC/CC,EAAcC,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,EAAO,KAAKqB,EAAK,OAAO,CAAC,GAAG,IAAM,GAC3CC,IAAS,IACTF,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EAE1J,IAAMI,EAAQ,uBAAuBH,EAAMI,CAAa,EACxD,IAAK,IAAIC,EAAQP,EAAQ,UAAUC,EAAK,MAAM,EAAGM,IAAU,IAAA,GAAW,EAAQP,EAAQ,UAAUC,EAAK,MAAM,EACvGD,EAAQ,OAAO,gBAAgB,EAC/B,yBAAyBA,EAASO,EAAOF,CAAK,EAElD,OAAO,aAAaL,EAASC,EAAMI,EAAOG,CAAe,CAC7D,CA+BA,SAAS,uBAAuB,EAAc,EAAkE,CAC5G,MAAO,CACH,OAAM,gBAAe,WAAY,CAAC,EAAG,UAAW,CAAC,EAAG,WAAY,IAAA,GAAW,YAAa,CAAC,EAAG,SAAU,CAAC,EAAG,MAAO,CAAC,EAAG,eAAgB,CAAC,EACtI,YAAa,IAAA,GAAW,YAAa,KAAM,cAAe,KAAM,UAAW,KAAM,2BAA4B,GAAO,QAAS,KAC7H,SAAU,CAAC,EAAG,OAAQ,KAAM,iBAAkB,CAAC,EAAG,SAAU,IAChE,CACJ,CAEA,MAAM,YAAe,GAAkB,GAA6BC,IAAYP,EAI1EQ,EAAyD,CAC3D,CAAE,SAAU,EAAS,IAASD,IAAY,YAAczB,EAAe,KAAKiB,EAAK,OAAO,EAAG,MAAO,sBAAuB,EACzH,CAAE,SAAU,EAAS,EAAM,IAAaU,IAAa,IAAA,KAAcf,EAAyB,IAAIa,CAAO,GAAMA,IAAY,YAAcR,EAAK,UAAY,mBAAqB,MAAO,oBAAqB,EACzM,CAAE,QAAS,YAAY,SAAS,EAAG,MAAO,qBAAsB,EAChE,CAAE,SAAU,EAAS,EAAM,EAAU,IAAYQ,IAAY,UAAY3B,EAAY,KAAKmB,EAAK,OAAO,GAAKU,IAAa,IAAA,IAAaX,EAAQ,kBAAkB,UAAUW,EAAS,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC,EAAE,IAAM,GAAM,MAAO,oBAAqB,EACjP,CAAE,SAAU,EAAS,IAASF,IAAY,QAAUG,EAAuBX,CAAI,EAAG,OAAQ,EAAS,IAAS,CAAEY,EAA0Bb,EAASC,CAAI,CAAG,CAAE,EAC1J,CAAE,QAAS,YAAY,aAAa,EAAG,OAAQ,EAAS,EAAM,IAAU,CAAE,EAAM,YAAca,EAAiBd,EAASC,EAAMI,EAAM,YAAa,YAAYA,EAAM,KAAK,EAAE,CAAG,CAAE,EAC/K,CAAE,QAAS,YAAY,eAAe,EAAG,OAAQ,EAAS,EAAM,IAAU,CAAE,EAAM,cAAgBU,EAAmBf,EAASC,EAAMI,EAAM,cAAe,YAAYA,EAAM,KAAK,EAAE,CAAG,CAAE,EACvL,CAAE,QAAS,YAAY,WAAW,EAAG,MAAO,uBAAwB,EACpE,CAAE,QAAS,YAAY,UAAU,EAAG,MAAO,sBAAuB,EAClE,CAAE,QAAS,YAAY,UAAU,EAAG,MAAO,sBAAuB,EAClE,CAAE,QAAS,YAAY,SAAS,EAAG,OAAQ,EAAS,EAAM,IAAU,CAAE,EAAM,QAAUW,EAAahB,EAASC,CAAI,EAAGI,EAAM,SAAS,KAAK,CAAE,QAASA,EAAM,QAAS,SAAUD,EAAWH,CAAI,CAAE,CAAC,CAAG,CAAE,EAClM,CAAE,QAAS,GAAWN,EAAiB,IAAIc,CAAO,EAAG,MAAO,oBAAqB,CACrF,EAEA,SAAS,yBAAyB,EAAwB,EAAmB,EAA+B,CACxG,IAAMA,EAAUQ,EAAUV,EAAM,OAAO,EACjCW,EAAaC,EAAiBZ,CAAK,EACnCa,EAAOV,EAAsB,KAAK,GAAaW,EAAU,QAAQZ,EAASF,EAAOW,EAAYlB,CAAO,CAAC,EACvGoB,IAAS,IAAA,GAEFF,IAAe,IAAA,IAGtBI,EAA2BtB,EAASO,CAAK,EACzCP,EAAQ,MAAMG,EAAgB,wBAAyB,eAAeI,EAAM,QAAQ,mBAAmBgB,EAA4BhB,EAAM,OAAO,IAAKH,EAAWG,CAAK,CAAC,EACtKP,EAAQ,UAAUO,EAAM,MAAM,GAJ9B,EAAM,WAAa,YAAYP,EAASK,EAAM,WAAYa,EAAYb,EAAM,KAAME,EAAOF,EAAM,UAAU,EAFzGe,EAAK,MAAMpB,EAASO,EAAOF,EAAOa,CAAU,CAQpD,CAEA,SAAS,qBAAqB,EAAwB,EAAmB,EAAyB,EAA4C,CAC1I,EAAM,WAAa,YAAYlB,EAASK,EAAM,WAAYM,EAAWN,EAAM,KAAME,EAAOF,EAAM,UAAU,CAC5G,CAEA,SAAS,uBAAuB,EAAwB,EAAmB,EAA+B,CACtG,IAAMmB,EAAQvC,EAAgB,KAAKsB,EAAM,OAAO,EAC5CF,EAAM,WAAa,MAAQmB,IAAU,KACrCxB,EAAQ,MAAMG,EAAgB,uBAAwB,yFAA8FC,EAAWG,CAAK,CAAC,EAErK,EAAM,SAAW,CAAE,KAAM,wBAAyB,GAAIiB,EAAM,KAAO,IAAA,GAAY,KAAOC,EAAeD,EAAM,EAAE,EAAG,cAAeA,EAAM,IAAM,KAAM,SAAUpB,EAAWG,CAAK,CAAE,CAErL,CAEA,SAAS,sBAAsB,EAAwB,EAAmB,EAAyB,EAA4C,CAC3I,IAAMmB,EAASC,EAAsB,KAAKpB,EAAM,OAAO,EACnDmB,IAAW,MAAQ,CAACA,EAAO,EAAE,CAAC,WAAW,GAAG,GAAKf,IAAa,IAAA,GAC9D,mBAAmBX,EAASO,EAAOF,EAAOM,CAAQ,EAC3CA,IAAa,IAAA,GAEbW,EAA2BtB,EAASO,CAAK,EAChDP,EAAQ,UAAUO,EAAM,MAAM,EAE9BF,EAAM,UAAU,KAAK,CAAE,KAAME,EAAO,UAAW,KAAM,SAAUqB,EAAqB5B,EAASO,CAAK,CAAE,CAAC,EAJrG,EAAM,WAAa,YAAYP,EAASK,EAAM,WAAYM,EAAUN,EAAM,KAAME,EAAOF,EAAM,UAAU,CAM/G,CAEA,SAAS,mBAAmB,EAAwB,EAAmB,EAAyB,EAAgC,CACxHA,EAAM,gBAAkB,IAAA,IACxBA,EAAM,WAAW,KAAKM,CAAQ,EAC9BN,EAAM,UAAU,KAAK,CAAE,KAAME,EAAO,UAAWI,EAAU,SAAU,IAAK,CAAC,GAClEN,EAAM,cAAc,IAAIM,EAAS,KAAK,IAAI,EACjDN,EAAM,UAAU,KAAK,CAAE,KAAME,EAAO,UAAW,KAAM,SAAUqB,EAAqB5B,EAASO,CAAK,CAAE,CAAC,EAErG,EAAM,WAAa,YAAYP,EAASK,EAAM,WAAYM,EAAUN,EAAM,KAAME,EAAOF,EAAM,UAAU,CAE/G,CAEA,SAAS,qBAAqB,EAAwB,EAAmB,EAAyB,EAA4C,CAC1I,GAAM,CAACwB,EAAQC,GAAcnB,EAAU,KAAK,KAAK,MAAM,GAAG,EACpDoB,EAAY/B,EAAQ,iBAAkB,gBAAgBW,EAAU,KAAK,IAAI,GAAKX,EAAQ,iBAAkB,gBAAgB6B,EAAQC,CAAU,EAC1IE,EAAQC,EAAmBjC,EAASO,EAAOI,EAAWoB,CAAS,GACjE1B,EAAM,SAAW,MAAQA,EAAM,iBAAiB,OAAS,IAAGL,EAAQ,MAAMG,EAAgB,qBAAsB,+CAAgDC,EAAWG,CAAK,CAAC,EACjLwB,GAAa1B,EAAM,SAAW,KAAMA,EAAM,iBAAiB,KAAK2B,CAAK,EACpE,EAAM,OAASA,CACxB,CAEA,SAAS,wBAAwB,EAAwB,EAAmB,EAA+B,CACvG,IAAME,EAAOC,EAAenC,EAASO,CAAK,EAC1C,GAAIF,EAAM,2BAA4B,OACtC,IAAM+B,EAAW/B,EAAM,UACvB,EAAM,UAAYgC,EAAiBhC,EAAM,UAAW6B,EAAMlC,CAAO,EACjE,EAAM,2BAA6BoC,IAAa,MAAQ/B,EAAM,YAAc,IAChF,CAEA,SAAS,uBAAuB,EAAwB,EAAmB,EAA+B,CACtG,IAAMiC,EAAW,cAActC,EAASO,EAAO,UAAWF,EAAM,IAAI,EAChEiC,IAAa,IAAA,IAAWjC,EAAM,YAAY,KAAKiC,CAAQ,CAC/D,CAEA,SAAS,uBAAuB,EAAwB,EAAmB,EAA+B,CACtG,IAAMC,EAAaC,EAAcxC,EAASO,EAAO,EAAI,EACjDgC,IAAe,IAAA,IAAWlC,EAAM,SAAS,KAAKkC,CAAU,CAChE,CAEA,SAAS,qBAAqB,EAAwB,EAAmB,EAA+B,CACpG,IAAM9B,EAAUQ,EAAUV,EAAM,OAAO,EACjCkC,EAAYhC,IAAY,QAAUiC,EAAW1C,EAASO,CAAK,EAAI,IAAA,GACjEkC,IAAc,IAAA,IAAWpC,EAAM,eAAe,KAAKoC,CAAS,EAC5DhC,IAAY,eAAiBJ,EAAM,cAAgB,IAAA,KAAW,EAAM,YAAcsC,EAAmB3C,EAASO,CAAK,GACvH,IAAMqC,EAAO,uEAAuE,KAAKrC,EAAM,OAAO,EAClGqC,IAAS,MAAMvC,EAAM,MAAM,KAAK,CAAE,UAAWuC,EAAK,GAAI,MAAOA,EAAK,IAAM,IAAK,CAAC,EAC9EpD,EAAc,KAAKe,EAAM,OAAO,GAChCP,EAAQ,MAAMG,EAAgB,0BAA2B,mDAAoDC,EAAWG,CAAK,CAAC,EAElIP,EAAQ,gBAAgBO,EAAM,MAAM,CACxC,CAGA,SAAS,gBAAgB,EAAwB,EAAyB,EAAoH,CAC1L,GAAM,CAAE,aAAY,aAAcF,EAC5BwC,EAAa,IAAI,IAAIC,EAAU,QAAQ,GAASC,EAAM,YAAc,KAAO,CAAC,EAAI,CAACA,EAAM,SAAS,CAAC,CAAC,EAClGlD,EAAQ,IAAI,IAAImD,EAAW,OAAO,GAAY,CAACH,EAAW,IAAIlC,CAAQ,CAAC,CAAC,CAAC,IAAI,GAAYA,EAAS,IAAI,CAAC,EACzGmC,EAAU,KAAK,GAASC,EAAM,YAAc,MAAQ,CAAClD,EAAM,IAAIkD,EAAM,UAAU,KAAK,IAAI,GAAKA,EAAM,UAAU,KAAK,OAAS,SAAS,GAAGlD,EAAM,IAAI,SAAS,EAC9J,IAAK,IAAMK,KAAQL,EAAOW,GAAiB,IAAIN,CAAI,EACnD,IAAI+C,EAAyC,KACvCC,kBAAU,IAAI,IACpB,IAAK,IAAMH,KAASD,EAAW,CAC3B,IAAIK,EAASJ,EAAM,SACnB,GAAIA,EAAM,YAAc,KAAM,CAC1B,GAAI,CAAClD,EAAM,IAAIkD,EAAM,UAAU,KAAK,IAAI,EAAG,SAC3CG,EAAQ,IAAIH,EAAM,SAAS,EAC3B,EAAS,CAAE,KAAM,8BAA+B,OAAQ,CAAE,KAAM,+BAAgC,SAAUA,EAAM,UAAU,KAAK,KAAM,SAAUA,EAAM,UAAU,KAAK,QAAS,EAAG,SAAU3C,EAAW2C,EAAM,IAAI,CAAE,CACrN,CACII,IAAW,OACXF,IAAa,KAGb,EAAWE,EAFXnD,EAAQ,MAAMG,EAAgB,uBAAwB,yDAA0DC,EAAW2C,EAAM,IAAI,CAAC,EAI9I,CACA,MAAO,CAAE,WAAU,SAAQ,CAC/B,CAEA,SAAS,aAAa,EAAwB,EAAkB,EAAyB,EAAyD,CAC9I,GAAM,CAAE,OAAM,aAAY,cAAa,WAAU,QAAO,iBAAgB,cAAa,cAAa,gBAAe,YAAW,UAAS,WAAU,SAAQ,mBAAkB,YAAa1C,EAChL,CAAE,WAAU,WAAY,gBAAgBL,EAASK,EAAOG,CAAe,EAC7E4C,EAAyBC,EAAUC,EAASC,EAAS,OAAS,EAAGvD,CAAO,EACxE,IAAMwD,EAAwB,CAAE,KAAM,gBAAiB,OAAM,cAAa,gBAAe,YAAW,WAAYR,EAAW,OAAO,GAAY,CAACE,EAAQ,IAAIvC,CAAQ,CAAC,EAAG,cAAa,WAAU,UAAS,WAAU,SAAQ,mBAAkB,GAAI8C,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,SAAUrD,EAAWH,CAAI,CAAE,EAGlT,OAFAyD,EAAmB,IAAIF,EAAQG,CAAK,EACpCC,EAAkB,IAAIJ,EAAQ,CAAE,MAAOK,EAAgB,aAAY,CAAC,EAC7DL,CACX,CAEA,SAAS,YAAY,EAAwB,EAA8B,EAA0B,EAAqB,EAAkB,EAAoE,CAO5M,OANAM,EAA2B9D,EAASW,EAAS,KAAMV,CAAI,EACnDU,EAAS,cAAgBoD,IAAe,IAAA,KACxC/D,EAAQ,MAAMG,EAAgB,2BAA4B,YAAY6D,EAAY,mBAAmBD,EAAW,KAAK,2DAA4DpD,EAAS,QAAQ,EAClM,EAAW,CAAE,GAAGA,EAAU,aAAc,EAAM,GAElDqC,EAAW,KAAKrC,CAAQ,EACjBoD,IAAepD,EAAS,aAAeA,EAAW,IAAA,GAC7D,CAEA,SAAS,oBAAoB,EAAwB,EAAoB,EAA8C,CACnH,IAAMsD,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,IAAM4C,EAAQnC,EAAY,KAAKY,EAAK,OAAO,EAE3C,OADIuB,IAAU,MACP,sBAAsBA,EAAM,EAAE,CACzC,CAEA,SAAS,sBAAsB,EAAuB,CAClD,OAAQP,EAAUG,CAAI,IAAM,OAASH,EAAUG,EAAK,UAAU,CAAY,CAAC,CAAC,UAAU,CAAC,IAAM,SACzFH,EAAUG,CAAI,IAAM,YAAc9B,EAAe,KAAK8B,CAAI,CAClE,CAGA,SAAgB,uBAAuB,EAAuB,CAC1D,OAAO,sBAAsBA,CAAI,GAAKH,EAAUG,CAAI,IAAM,MAC9D,CAEA,SAAS,qBAAqB,EAAwB,EAAoB,EAA2B,CACjG,GAAI,CAACgD,EAA+BD,CAAI,GAAK,qBAAqBA,CAAI,EAAG,MAAO,GAChF,IAAMrE,EAAYE,EAAQ,OAAO,KAAK,EACtCF,EAAU,gBAAgB,EAC1B,IAAMoC,EAAOpC,EAAU,gBAAgB,EACvC,OAAOoC,IAAS,IAAA,IAAaA,EAAK,QAAUtD,EAAO,MACvD,CAGA,SAAgB,cAAc,EAAwB,EAAkB,EAA8B,EAA+C,CACjJ,GAAIqB,EAAK,UAAY,WAAY,CAC7B,IAAMoE,EAAQrE,EAAQ,UAAUC,EAAK,MAAM,EAC3C,GAAIoE,IAAU,IAAA,IAAa,qBAAqBrE,EAASC,EAAMoE,CAAK,EAEhE,OADArE,EAAQ,OAAO,gBAAgB,EACxB,oBAAoBA,EAASC,EAAMoE,CAAK,EAEnD,GAAIA,IAAU,IAAA,IAAaA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACxDrE,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsE,EAAOC,EAAUvE,EAAQ,aAAcqE,CAAK,EAElD,OADIC,IAAS,MAAMtE,EAAQ,eAAe,EACnC,CAAE,KAAM,qBAAsB,OAAM,SAAUI,EAAWH,CAAI,CAAE,CAC1E,CACA,IAAMuE,EAAgC,CAAC,EACjCC,EAAoC,CAAC,EACvCC,EACJ,IAAK,IAAInE,EAAQP,EAAQ,UAAUC,EAAK,MAAM,EAAGM,IAAU,IAAA,GAAW,EAAQP,EAAQ,UAAUC,EAAK,MAAM,EAAG,CAE1G,GADAD,EAAQ,OAAO,gBAAgB,EAC3B2E,IAAU,UAAW,CACrB,GAAI3E,EAAQ,cAAc,cAAgB,UAAYO,EAAM,QAAQ,WAAW,KAAK,EAAG,CAAEP,EAAQ,eAAe,EAAG,QAAU,CAE7H,GADI0E,IAAkB,IAAA,IAAanE,EAAM,QAAUmE,IAAe,EAAgB,IAAA,IAC9EA,IAAkB,IAAA,IAAazD,EAAUV,EAAM,OAAO,IAAM,iBAAkB,CAC9EP,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BI,EAAM,QAAQ,GAAIH,EAAWG,CAAK,CAAC,EACpH,IAAkBA,EAAM,OACxB,QACJ,CACJ,CACA,GAAIU,EAAUV,EAAM,OAAO,IAAM,UAAW,CAExC,IAAMqE,EAAYC,EAAeF,IAAU,UAAY3E,EAAQ,aAAeA,EAASO,EAAM,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EAAGH,EAAWG,CAAK,EAAG,GAAOP,CAAO,EACtK8E,EAAyB,KACzBC,EAA+B,QAC/BC,EAAc,GAClB,IAAK,IAAIC,EAAYjF,EAAQ,UAAUO,EAAM,MAAM,EAAG0E,IAAc,IAAA,GAAW,EAAYjF,EAAQ,UAAUO,EAAM,MAAM,EAAG,CACxHP,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkF,EAAU9F,EAAe,KAAK6F,EAAU,OAAO,EACjDC,IAAY,MAAQA,EAAQ,QAAU,EAAG,EAAUA,EAAQ,KAAO,IAAA,GAAyCA,EAAQ,GAArCzD,EAAeyD,EAAQ,EAAE,EAClGjE,EAAUgE,EAAU,OAAO,IAAM,YACjCD,IAAa,EAAWtF,EAAWuF,EAAU,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,IAAM,SAClG,EAAc,IACXjF,EAAQ,gBAAgBiF,EAAU,MAAM,CACnD,CACIL,IAAc,MAAMH,EAAa,KAAK,CAAE,KAAM,oBAAqB,YAAW,UAAS,WAAU,SAAUrE,EAAWG,CAAK,CAAE,CAAC,EAClI,QACJ,CACA,IAAMa,EAAO,oBAAoBpB,EAAS2E,IAAU,UAAY,CAAE,GAAGpE,EAAO,QAAS,SAASA,EAAM,SAAU,EAAIA,EAAOoE,EAAOQ,CAAS,EACrI/D,IAAS,IAAA,IACToD,EAAM,KAAKpD,CAAI,CAEvB,CACA,MAAO,CAAE,KAAM,4BAA6B,QAAO,eAAc,SAAUhB,EAAWH,CAAI,CAAE,CAChG,CACA,GAAI0E,IAAU,WAAa1D,EAAUhB,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,CAAC,IAAM,WAAY,CAExG,IAAMmB,EAAO,oBAAoBpB,EAAS,CADvB,GAAGC,EAAM,QAAS,SAASA,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,UAAU,GACjD,EAAG0E,EAAOQ,CAAS,EACpE,OAAO/D,IAAS,IAAA,GAAY,IAAA,GAAY,CAAE,KAAM,4BAA6B,MAAO,CAACA,CAAI,EAAG,aAAc,CAAC,EAAG,SAAUhB,EAAWH,CAAI,CAAE,CAC7I,CACA,GAAIA,EAAK,UAAY,kBAAmB,CACpC,IAAMqE,EAAOC,EAAUvE,EAAQ,aAAc,CAAE,GAAGC,EAAM,QAAS,QAAS,CAAC,EAE3E,OADIqE,IAAS,MAAMtE,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,IAAMmF,EAAWnE,EAAU5B,EAAY,KAAKY,EAAK,OAAO,CAAC,GAAG,IAAM,EAAE,IAAM,WACpEoF,EAAeV,IAAU,WAAa,CAACS,EAAWpF,EAAQ,aAAeA,EACzE,CAAE,QAASsF,EAAc,WAAY,aAAarF,EAAK,OAAO,EAC9D8E,EAAW,cAAcM,EAAcpF,EAAMqF,CAAY,EAC/D,GAAIP,IAAa,IAAA,GACb,OAEJ,IAAMvD,EAAQnC,EAAY,KAAK0F,EAAS,OAAO,EAC/C,GAAIvD,IAAU,KAAM,CAChB6D,EAAa,MAAMlF,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EACvH,MACJ,CACA,IAAMkD,EAAS,UAAUkC,EAAc7D,EAAM,GAAIvB,EAAM0E,IAAU,SAAS,EAC1E,GAAIxB,IAAW,IAAA,GACX,OAEAA,EAAO,OAAS,WAAaA,EAAO,QAAU,MAAMoC,EAAqBvF,EAASmD,EAAO,MAAO/C,EAAWH,CAAI,EAAGA,EAAK,IAAKuF,EAAaxF,EAAS2E,EAAOQ,EAAW3D,EAAM,EAAE,CAAC,EACjL,IAAMK,EAASsB,EAAO,OAAS,OAAS,wBAAwBnD,EAASC,EAAM0E,IAAU,SAAS,EAAI,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EACrJ,MAAO,CACH,KAAM,uBACN,SAAUnD,EAAM,GAChB,KAAM2B,EAAO,KACb,MAAOA,EAAO,MACd,UACA,SAAU4B,EAAS,SACnB,GAAGlD,EACH,SAAUzB,EAAWH,CAAI,CAC7B,CACJ,CAEA,SAAS,wBAAwB,EAAwB,EAAkB,EAAwI,CAC/M,IAAMkE,EAAOnE,EAAQ,UAAUoB,EAAK,MAAM,EAC1C,GAAI+C,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,KAAM,KAAM,eAAgB,IAAK,EAC9EnE,EAAQ,OAAO,gBAAgB,EAC/B,IAAMyF,EAAUC,GAAgBzE,EAAUkD,EAAK,OAAO,IAAM,iBACtDtC,EAAS4D,EAAUE,EAA2B3F,EAASmE,CAAI,EAAI,CACjE,KAAMyB,EAAOzB,CAAI,EAAID,EAAUlE,EAASmE,CAAI,EAAI,KAChD,KAAM,CAACyB,EAAOzB,CAAI,GAAK0B,EAAO7F,EAASmE,CAAI,EAAII,EAAUvE,EAASmE,CAAI,EAAI,KAC1E,eAAgB,IACpB,EACI,CAACsB,GAAW5D,EAAO,OAAS,MAAQA,EAAO,OAAS,OACpD7B,EAAQ,MAAMG,EAAgB,mCAAoC,eAAegE,EAAK,QAAQ,2EAA4E/D,EAAW+D,CAAI,CAAC,EAC1LnE,EAAQ,UAAUmE,EAAK,MAAM,GAEjC,IAAK,IAAI2B,EAAQ9F,EAAQ,UAAUoB,EAAK,MAAM,EAAG0E,IAAU,IAAA,KAAcL,GAAYC,GAAgBzE,EAAU6E,EAAM,OAAO,IAAM,kBAAoB,EAAQ9F,EAAQ,UAAUoB,EAAK,MAAM,EACvLpB,EAAQ,OAAO,gBAAgB,EAC/BA,EAAQ,MAAMyF,GAAWxE,EAAU6E,EAAM,OAAO,IAAM,iBAAmB3F,EAAgB,2BAA6BA,EAAgB,iCAClI,yFAA0FC,EAAW0F,CAAK,CAAC,EAC3GD,EAAO7F,EAAS8F,CAAK,EAAGvB,EAAUvE,EAAS8F,CAAK,EAC/C9F,EAAQ,UAAU8F,EAAM,MAAM,EAEvC,OAAOjE,CACX,CAEA,SAAS,aAAa,EAA8D,CAChF,IAAML,EAAQpC,EAAe,KAAK2G,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,EAAQrC,EAAgB,KAAK6G,CAAI,EACvC,GAAIxE,IAAU,KACV,MAAO,CAAE,QAASwE,EAAM,SAAU,OAAQ,EAE9C,IAAMjB,EAAWrF,EAAW8B,EAAM,IAClC,GAAIuD,IAAa,IAAA,GACb/E,EAAQ,MAAMG,EAAgB,0BAA2B,gCAAgCqB,EAAM,GAAG,4CAA6CpB,EAAWH,CAAI,CAAC,OAGnK,MAAO,CAAE,QAAS+F,EAAK,UAAU,EAAGxE,EAAM,KAAK,CAAC,CAAC,QAAQ,EAAG,UAAS,CACzE,CAEA,MAAMyE,mBAAmB,IAAI,IAAI,CAAC,IAAK,KAAM,IAAK,KAAM,KAAM,IAAI,CAAC,EAInE,SAAS,0BAA0B,EAAwB,EAAc,EAAuD,CAC5H,IAAMC,EAASF,EAAK,MAAM,KAAK,CAAC,CAAC,OAAO,GAASG,EAAM,OAAS,CAAC,EAC3DC,EAAQC,EAAkBrG,EAASkG,EAAQ,EAAG9F,EAAWH,CAAI,CAAC,EACpE,GAAImG,IAAU,KAAM,OAAOE,EAAmBN,EAAM5F,EAAWH,CAAI,EAAGD,CAAO,EAC7E,GAAIoG,EAAM,aAAe,KACzB,IAAIA,EAAM,WAAaF,EAAO,OAAQ,OAAOE,EAAM,WACnDpG,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,CAD/D,CAGvD,CAGA,SAAS,UAAU,EAAwB,EAAc,EAAkB,EAAkG,CACzK,GAAImB,IAAS,YACT,MAAO,CAAE,KAAM,WAAY,MAAO,IAAK,EAE3C,GAAIH,EAAUG,CAAI,IAAM,WAAY,CAChC,IAAMmF,EAAYnF,EAAK,UAAU,CAAiB,CAAC,CAAC,KAAK,EACzD,GAAImF,IAAc,QAAUA,IAAc,SAAWA,IAAc,QAAS,CACxEvG,EAAQ,MAAMG,EAAgB,0BAA2B,qDAAsDC,EAAWH,CAAI,CAAC,EAC/H,MACJ,CACA,MAAO,CAAE,KAAM,WAAY,MAAO,CAAE,KAAM,0BAA2B,MAAOsG,EAAW,SAAUnG,EAAWH,CAAI,CAAE,CAAE,CACxH,CACA,IAAMuG,EAAUlH,EAAe,KAAK8B,CAAI,EACxC,GAAIoF,IAAY,KACZxG,EAAQ,MAAMG,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,MAItH,KADiBuG,EAAQ,IAAMA,EAAQ,MACtB,OAAQ,CACrB,IAAMtG,EAAOsG,EAAQ,EAAE,CAAC,KAAK,EAC7B,GAAI,CAACjH,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,OAAO,iBAAiBD,EAASwG,EAASvG,EAAMwG,CAAa,CAD7D,CAEJ,CAEA,SAAS,iBAAiB,EAAwB,EAA0B,EAAkB,EAAkG,CAC5L,IAAMC,EAAWF,EAAQ,IAAMA,EAAQ,GACjCG,EAAQF,GAAiBR,GAAiB,IAAIS,CAAQ,EACtD,0BAA0B1G,EAASwG,EAAQ,GAAIvG,CAAI,EACnDqG,EAAmBE,EAAQ,GAAIpG,EAAWH,CAAI,EAAGD,CAAO,EAC9D,OAAO2G,IAAU,IAAA,GAAY,IAAA,GAAY,CAAE,KAAMlH,EAAaiH,GAAW,OAAM,CACnF,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{EnumerationMembers as e}from"./EnumerationMembers.js";import{misplacedRuleHintForConcept as t}from"./MisplacedRuleHint.js";import{parseGeneration as n}from"./GenerationParser.js";import{parseIdentity as r}from"./IdentityParser.js";import{parseApplicationContext as i}from"./ApplicationContextParser.js";import{misplacedReactionIdentity as a}from"./ReactionIdentityParser.js";import{DiagnosticCodes as o}from"../Diagnostics/DiagnosticCodes.js";import{recordAuthoredDocument as s}from"../Syntax/SourceOptions.js";import{describePlacement as c,documentPlacement as l,isDocumentPlacement as u}from"../Files/PlayPlacement.js";import{parseTriggerDeclaration as d}from"./TriggerDataParser.js";import{pattern as f}from"../Text/patterns.js";import{parseComplianceDirective as p,parseComplianceMarkers as m}from"./ConceptComplianceParser.js";import{parseType as h}from"./DeclarationParsers.js";import{parseValidate as g}from"./CommandParser.js";import{parseDescription as _}from"./DescriptionParser.js";import{FeatureBody as v,featureBodyExpected as y}from"./FeatureBody.js";import{isFileImport as b,parseFileImport as x}from"./FileImportParser.js";import{isFileDirective as S}from"./FileReferences.js";import{collectInputUses as ee}from"./InputUses.js";import{firstWord as C,unescapeIdentifier as w}from"./LineText.js";import{ModuleBody as te,moduleBodyExpected as T,modulePattern as E,parseModule as ne}from"./ModuleBody.js";import{parsePolicy as re}from"./PolicyParser.js";import{parsePurpose as ie}from"./PurposeParser.js";import{parseSeed as ae}from"./SeedParser.js";import{parseSystem as D}from"./OperationParser.js";import{parseStateMachine as oe}from"./StateMachineParser.js";import{parseWorkflow as se}from"./WorkflowParser.js";import{isBlankPublicEventOrigin as ce}from"../Syntax/PublicEventInvariants.js";import{stringBodyPattern as O,unescapeString as k}from"../Text/StringLiteral.js";import{parseCanvasPair as A}from"./CanvasPlacement.js";import{parseEventSource as le}from"./EventSourceParser.js";import{parseExposure as ue,parseInstance as de}from"./CompositionParser.js";import{parseExample as fe}from"./SpecificationExampleParser.js";import{parseUiProfile as pe}from"./UiProfileLegacyLayout.js";import{locationOf as j,startOf as M}from"./SourceLine.js";const N=f(`^domain\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),P=f(`^time\\s+zone\\s+(configurable\\s+default\\s+)?"(${O})"$`),F=f(`^import\\s+([\\w.]+)(?:\\s+from\\s+"(?<origin>${O})")?$`),I=f(`^concept\\s+(\\w+)\\s*:\\s*(\\w+)((?:\\s+@?\\w+)*)$`),L=f(`^@?[a-z_]\\w*$`),R=f(`^persona\\s+([A-Za-z_]\\w*)$`),z=f(`^policy\\s+([A-Za-z_]\\w*)$`),B=f(`^goal\\s+"(${O})"$`),V=f(`^sticky\\s+note\\s+on\\s+(personas|eventsources|givencontexts|seeddata)$`),H=f(`^colour\\s+(yellow|pink|green|blue)$`),U=/^[ ]*\t/,W=[`Uuid`,`String`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`],G=/* @__PURE__ */ new Set([`policy`,`authentication`,`onboarding`,`seed`,`ui`,`theme`,`trigger`,`layout`,`behavior`,`sample`]),K=/* @__PURE__ */ new Set([`slice`,`feature`,`description`,`documentation`,`authorize`,`screen`,`dialog`,`form`,`contribute`,`on`,`uses`]);function parseApplication(e,t,n=l){e.deferIdentityValidation=!0,warnOnTabIndentation(e,t);let c=n.length===1?new te(n[0]):void 0,f=n.length>1?new v(n[n.length-1]):void 0,p=c??f,m=null,g=null,_=null,y=!1,S=null,w=null,T=!1,E=!1,O=null,A=[],M=[],N=[],I=[],L=[],R=[],z=[],B=[],V=[],H=[],U=[],W=[],K=[],q=[],J=[],Y=[],X=[],Z=[],Q=!1;for(let t=e.reader.peekSignificant();t!==void 0;t=e.reader.peekSignificant()){e.reader.takeSignificant();let s=C(t.content);if(s===`command`&&/^command\s+reads(?:\s|$)/.test(t.content))E||!u(n)||!/^command\s+reads\s+protected$/.test(t.content)?e.error(o.InvalidCommandReadsDeclaration,`Declare 'command reads protected' once at the application root.`,j(t)):S=`Protected`,E=!0;else if(s===`time`&&/^time\s+zone(?:\s|$)/.test(t.content)){let r=P.exec(t.content);e.skipBlock(t.indent),T||!u(n)||r===null?e.error(o.InvalidTimeZoneDeclaration,`Declare 'time zone "<id>"' or 'time zone configurable default "<id>"' once at the application root.`,j(t)):w={kind:`TimeZoneSyntax`,id:k(r[2]),configurable:r[1]!==void 0,location:j(t)},T=!0}else if(s===`reaction`)y||!u(n)||!/^reaction\s+batches\s+atomic$/.test(t.content)?e.error(o.InvalidReactionBatchesDeclaration,`Declare 'reaction batches atomic' once at the application root.`,j(t)):_=`Atomic`,y=!0;else if(s===`runs`)a(e,t);else if(s===`domain`)e.authoredDeclarations=!0,O=parseDomain(e,t,O,Q);else if(Q||=declaresConstruct(s,t,n),e.authoredDeclarations||=s!==`import`&&declaresConstruct(s,t,n),s===`import`&&b(t.content))p===void 0?x(e,t,M):p.tryParse(e,t);else if(s===`import`){let n=F.exec(t.content);if(n===null)e.error(o.InvalidImportDeclaration,`Invalid import '${t.content}' - expected 'import <Qualified.Name> [from "<origin>"]'`,j(t));else{let r=n.groups?.origin===void 0?null:k(n.groups.origin);r!==null&&ce(r)&&e.error(o.InvalidImportDeclaration,`An import origin must be a nonblank quoted string`,j(t)),A.push({kind:`ImportSyntax`,qualifiedName:n[1],origin:r,visibility:r===null?`Private`:`Public`,location:j(t)})}}else if(s===`example`)p===void 0?J.push(fe(e,t)):p.tryParse(e,t);else if(s===`eventsource`)B.push(le(e,t));else if(s===`system`)L.push(D(e,t));else if(s===`statemachine`)R.push(oe(e,t));else if(s===`workflow`)z.push(se(e,t));else if(s===`concept`)N.push(parseConcept(e,t));else if(s===`type`)I.push(h(e,t));else if(s===`module`&&!u(n))parseModuleInPlacedFile(e,t,n,c);else if(s===`module`)V.push(ne(e,t));else if(s===`persona`)H.push(parsePersona(e,t));else if(s===`sticky`){let n=parseStickyNote(e,t);n!==null&&U.push(n)}else if(s===`seed`)q.push(ae(e.valueContext,t));else if(s===`purpose`&&p!==void 0)p.tryParse(e,t);else if(s===`purpose`)K.push(ie(e,t));else if(s===`context`)g=i(e,t,g,n);else if(s===`identity`)m=r(e,t,m);else if(s===`policy`){let n=re(e,t);W.some(e=>e.name===n.name)&&e.error(o.DuplicateDeclaration,`Duplicate declaration of policy '${n.name}' - policy names must be unique`,n.location),W.push(n)}else if(s===`exposure`)X.push(ue(e,t));else if(s===`instance`)Z.push(de(e,t));else if(s===`trigger`){let n=d(e,t),r=/^trigger\s+([A-Za-z_]\w*)$/.exec(t.content)?.[1];r!==void 0&&Y.push({name:r,data:n})}else G.has(s)?s===`behavior`||s===`layout`?ee(e,t):s===`ui`?pe(e,t):e.skipOpaqueBlock(t.indent):p?.tryParse(e,t)!==!0&&reportUnexpectedTopLevel(e,t,n)}c===void 0?f!==void 0&&V.unshift(place(n,f.build(e.start,!0),e.start)):V.unshift(c.build(e.start,!0));let $={kind:`ApplicationSyntax`,...S===null?{}:{commandReadMode:S},...w===null?{}:{timeZone:w},...g===null?{}:{context:g},..._===null?{}:{reactionProductionMode:_},...m===null?{}:{identity:m},sourceOptions:e.sourceOptions,domain:O,imports:A,concepts:N,types:I,systems:L,...R.length>0?{stateMachines:R}:{},...z.length>0?{workflows:z}:{},eventSources:B,examples:J,modules:V,personas:H,policies:W,purposes:K,seeds:q,declaredTriggers:Y,fileImports:M,...X.length>0?{exposures:X}:{},...U.length>0?{stickyNotes:U}:{},...Z.length>0?{instanceContributions:Z}:{},location:e.start};return e.authoredDeclarations&&s($),$}function declaresConstruct(e,t,n){return e===`import`?F.test(t.content):e===`module`?u(n):e===`identity`?t.content===`identity`:e===`context`?t.content===`context`:e===`purpose`||e===`example`||e===`exposure`||e===`instance`||e===`eventsource`||e===`system`||e===`statemachine`||e===`workflow`||e===`concept`||e===`type`||e===`persona`||e===`sticky`||G.has(e)}function parseModuleInPlacedFile(e,t,n,r){let i=E.exec(t.content)?.[1]??``;r!==void 0&&i===n[0]?(e.authoredDeclarations=!0,r.parseChildren(e,t)):(e.error(o.ModuleInPlacedFile,`This file is imported into ${c(n)}, so it cannot declare module '${i}' - import it at the top level of a document instead`,j(t)),e.skipBlock(t.indent))}function reportUnexpectedTopLevel(e,t,n){let r=C(t.content);if(u(n)){let n=K.has(r)?` - '${r}' belongs in a module or feature; wrap it in one, or import this file from inside one`:` - expected domain, import, concept, type, policy, persona, sticky note, authentication, onboarding, identity, context, module, seed, trigger, behavior, ui profile, theme, sample data or layout`;e.error(o.UnknownTopLevelConstruct,`Unexpected '${r}' at the top level${n}`,j(t))}else{let i=n.length===1?T:y;e.error(o.UnexpectedInPlacedFile,`Unexpected '${r}' in a file imported into ${c(n)} - expected an application declaration or ${i}`,j(t))}e.skipBlock(t.indent)}function place(e,t,n){let r=t;for(let t=e.length-2;t>=1;t--)r={kind:`FeatureSyntax`,name:e[t],description:null,authorize:null,features:[r],slices:[],fileImports:[],isPlacement:!0,location:n};return{kind:`ModuleSyntax`,name:e[0],description:null,authorize:null,features:[r],fileImports:[],isPlacement:!0,location:n}}function parseDomain(e,t,n,r){let i=N.exec(t.content);return i===null?(e.error(o.InvalidDomainDeclaration,`Invalid domain declaration '${t.content}' - expected 'domain <Qualified.Name>'`,j(t)),n):n===null?(r&&e.error(o.DomainNotFirst,`'domain' must be declared before any other construct`,j(t)),{kind:`DomainSyntax`,name:i[1],location:j(t)}):(e.error(o.DuplicateDomain,`The document already declares a domain - a document can have at most one`,j(t)),n)}function warnOnTabIndentation(e,t){let n=!1;for(let r of t)r.raw.trimStart().startsWith("```")?n=!n:!n&&U.test(r.raw)&&e.warning(o.TabIndentation,`Screenplay is indentation based - use spaces, not tabs`,M(r))}function parseConcept(r,i){let a=I.exec(i.content);if(a===null)return r.error(o.InvalidConceptDeclaration,`Invalid concept declaration '${i.content}' - expected 'concept <Name> : <Type>'`,j(i)),r.skipBlock(i.indent),{kind:`ConceptSyntax`,name:C(i.content),type:``,attributes:[],values:[],location:j(i)};let[,s,c,l]=a,u=m(r,i,s,l);c!==`Enum`&&!W.includes(c)&&r.error(o.UnknownPrimitiveType,`Unknown primitive type '${c}' - expected ${W.join(`, `)} or Enum`,j(i));let d=[],f=new e,h=null,v=!1,y=null,b=[];for(let e=r.peekChild(i.indent);e!==void 0;e=r.peekChild(i.indent)){r.reader.takeSignificant();let i=c===`Enum`?f.tryNumbered(r,e):void 0;if(i!==void 0)d.push(i);else if(C(e.content)===`description`&&(c!==`Enum`||e.content!==`description`||r.peekChild(e.indent)?.content.startsWith("```")===!0))y=_(r,e,y,`Concept '${s}'`);else if(S(e))continue;else if(C(e.content)===`validate`){c===`Enum`&&e.content===`validate`&&r.peekChild(e.indent)===void 0&&r.warning(o.ValidateReadAsEnumerationBlock,`'validate' in enumeration concept '${s}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,j(e));let t=g(r,e,`concept`,s);t!==void 0&&b.push(t)}else if(C(e.content)===`generate`&&(c!==`Enum`||e.content!==`generate`)){v&&r.error(o.DuplicateGeneration,`Concept '${s}' declares generation more than once.`,j(e));let t=n(r,e,c);v||(h=t),v=!0}else p(r,e,s,u)||(c===`Enum`&&L.test(e.content)?d.push(w(e.content)):c===`Enum`?r.error(o.InvalidEnumerationValue,`Invalid enum value '${e.content}' - expected an identifier`,j(e)):(r.error(o.UnknownConceptDirective,`Unexpected '${e.content}' in concept body - expected validate, generate, 'file <path>' or '<attribute> reason "<text>"'${t(e.content)}`,j(e)),r.skipBlock(e.indent)))}let x=f.finish(r,i,d.length);return{kind:`ConceptSyntax`,name:s,type:c,attributes:u,values:d,validations:b,description:y,...h===null?{}:{generation:h},...x===void 0?{}:{valueNumbers:x},location:j(i)}}function parsePersona(e,t){let n=R.exec(t.content)?.[1]??``;n===``&&e.error(o.InvalidPersonaDeclaration,`Invalid persona declaration '${t.content}' - expected 'persona <Name>'`,j(t));let r=null,i=[],a=[],s=null,c=null;for(let l=e.peekChild(t.indent);l!==void 0;l=e.peekChild(t.indent)){e.reader.takeSignificant();let t=C(l.content);if(t===`description`)r=_(e,l,r,`Persona '${n}'`);else if(t===`goal`){let t=B.exec(l.content);t===null?e.error(o.InvalidPersonaDeclaration,`Invalid goal '${l.content}' - expected 'goal "<text>"'`,j(l)):a.push(k(t[1]))}else if(t===`position`)s=A(e,l,`position`,`x`,`y`,s,!0)??s;else if(t===`size`)c=A(e,l,`size`,`width`,`height`,c,!1)??c;else if(t===`policy`){let t=z.exec(l.content);t===null?e.error(o.InvalidPersonaPolicyReference,`Invalid policy reference '${l.content}' - expected 'policy <Name>'`,j(l)):i.push(t[1])}else e.error(o.UnknownPersonaDirective,`Unexpected '${t}' in persona body - expected description, goal, policy, position or size`,j(l)),e.skipBlock(l.indent)}return{kind:`PersonaSyntax`,name:n,description:r,policies:i,...a.length>0?{goals:a}:{},...s===null?{}:{x:s[0],y:s[1]},...c===null?{}:{width:c[0],height:c[1]},location:j(t)}}function parseStickyNote(e,t){let n=V.exec(t.content);if(n===null)return e.error(o.InvalidPersonaDeclaration,`Invalid sticky note declaration '${t.content}' - expected 'sticky note on personas', 'sticky note on eventsources', 'sticky note on givencontexts' or 'sticky note on seeddata'`,j(t)),e.skipBlock(t.indent),null;let r=null,i=null,a=null,s=null;for(let n=e.peekChild(t.indent);n!==void 0;n=e.peekChild(t.indent)){e.reader.takeSignificant();let t=C(n.content);if(t===`description`)r=_(e,n,r,`A sticky note`);else if(t===`colour`){let t=H.exec(n.content);t===null?e.error(o.InvalidPersonaDeclaration,`Invalid colour '${n.content}' - expected 'colour yellow', 'colour pink', 'colour green' or 'colour blue'`,j(n)):i=t[1]}else t===`position`?a=A(e,n,`position`,`x`,`y`,a,!0)??a:t===`size`?s=A(e,n,`size`,`width`,`height`,s,!1)??s:(e.error(o.UnknownPersonaDirective,`Unexpected '${t}' in sticky note body - expected description, colour, position or size`,j(n)),e.skipBlock(n.indent))}return r===null||a===null?(e.error(o.InvalidPersonaDeclaration,`A sticky note needs a description (the text on it) and a position`,j(t)),null):{kind:`StickyNoteSyntax`,canvas:n[1],text:r,colour:i,x:a[0],y:a[1],width:s===null?null:s[0],height:s===null?null:s[1],location:j(t)}}export{parseApplication};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{EnumerationMembers as e}from"./EnumerationMembers.js";import{misplacedRuleHintForConcept as t}from"./MisplacedRuleHint.js";import{parseGeneration as n}from"./GenerationParser.js";import{parseIdentity as r}from"./IdentityParser.js";import{parseApplicationContext as i}from"./ApplicationContextParser.js";import{misplacedReactionIdentity as a}from"./ReactionIdentityParser.js";import{DiagnosticCodes as o}from"../Diagnostics/DiagnosticCodes.js";import{recordAuthoredDocument as s}from"../Syntax/SourceOptions.js";import{describePlacement as c,documentPlacement as l,isDocumentPlacement as u}from"../Files/PlayPlacement.js";import{parseTriggerDeclaration as d}from"./TriggerDataParser.js";import{pattern as f}from"../Text/patterns.js";import{parseComplianceDirective as p,parseComplianceMarkers as m}from"./ConceptComplianceParser.js";import{parseType as h}from"./DeclarationParsers.js";import{parseValidate as g}from"./CommandParser.js";import{parseDescription as _}from"./DescriptionParser.js";import{FeatureBody as v,featureBodyExpected as y}from"./FeatureBody.js";import{isFileImport as b,parseFileImport as x}from"./FileImportParser.js";import{isFileDirective as S}from"./FileReferences.js";import{collectInputUses as C}from"./InputUses.js";import{firstWord as w,unescapeIdentifier as T}from"./LineText.js";import{ModuleBody as E,moduleBodyExpected as D,modulePattern as O,parseModule as k}from"./ModuleBody.js";import{parsePolicy as A}from"./PolicyParser.js";import{parsePurpose as ee}from"./PurposeParser.js";import{parseSeed as te}from"./SeedParser.js";import{parseSystem as j}from"./OperationParser.js";import{parseStateMachine as M}from"./StateMachineParser.js";import{parseWorkflow as N}from"./WorkflowParser.js";import{isBlankPublicEventOrigin as ne}from"../Syntax/PublicEventInvariants.js";import{stringBodyPattern as P,unescapeString as F}from"../Text/StringLiteral.js";import{parseCanvasPair as I}from"./CanvasPlacement.js";import{parseEventSource as L}from"./EventSourceParser.js";import{parseExposure as R,parseInstance as z}from"./CompositionParser.js";import{parseExample as B}from"./SpecificationExampleParser.js";import{parseUiProfile as V}from"./UiProfileLegacyLayout.js";import{locationOf as H,startOf as U}from"./SourceLine.js";const W=f(`^domain\\s+([A-Za-z_]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),G=f(`^time\\s+zone\\s+(configurable\\s+default\\s+)?"(${P})"$`),K=f(`^import\\s+([\\w.]+)(?:\\s+from\\s+"(?<origin>${P})")?$`),q=f(`^concept\\s+(\\w+)\\s*:\\s*(\\w+)((?:\\s+@?\\w+)*)$`),J=f(`^@?[a-z_]\\w*$`),Y=f(`^persona\\s+([A-Za-z_]\\w*)$`),X=f(`^policy\\s+([A-Za-z_]\\w*)$`),Z=f(`^goal\\s+"(${P})"$`),re=f(`^sticky\\s+note\\s+on\\s+(personas|eventsources|givencontexts|seeddata)$`),ie=f(`^colour\\s+(yellow|pink|green|blue)$`),ae=/^[ ]*\t/,Q=[`Uuid`,`String`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`],$=/* @__PURE__ */ new Set([`policy`,`authentication`,`onboarding`,`seed`,`ui`,`theme`,`trigger`,`layout`,`behavior`,`sample`]),oe=/* @__PURE__ */ new Set([`slice`,`feature`,`description`,`documentation`,`authorize`,`screen`,`dialog`,`form`,`contribute`,`on`,`uses`]);function parseApplication(e,t,n=l){e.deferIdentityValidation=!0,warnOnTabIndentation(e,t);let r=createRootState(n);for(let t=e.reader.peekSignificant();t!==void 0;t=e.reader.peekSignificant())e.reader.takeSignificant(),dispatchRoot(e,t,r);return buildApplication(e,r)}function createRootState(e){let t=e.length===1?new E(e[0]):void 0,n=e.length>1?new v(e[e.length-1]):void 0;return{placement:e,moduleBody:t,featureBody:n,placedBody:t??n,identity:null,applicationContext:null,reactionProductionMode:null,sawReactionBatches:!1,commandReadMode:null,timeZone:null,sawTimeZone:!1,sawCommandReads:!1,domain:null,sawOtherConstruct:!1,imports:[],fileImports:[],concepts:[],types:[],systems:[],stateMachines:[],workflows:[],eventSources:[],modules:[],personas:[],stickyNotes:[],policies:[],purposes:[],seeds:[],examples:[],declaredTriggers:[],exposures:[],instanceContributions:[]}}const isKeyword=e=>t=>t===e,se=[{matches:(e,t)=>e===`command`&&/^command\s+reads(?:\s|$)/.test(t.content),parse:parseRootCommandReads},{matches:(e,t)=>e===`time`&&/^time\s+zone(?:\s|$)/.test(t.content),parse:parseRootTimeZone},{matches:isKeyword(`reaction`),parse:parseRootReactionBatches},{matches:isKeyword(`runs`),parse:(e,t)=>{a(e,t)}},{matches:isKeyword(`domain`),parse:parseRootDomain}],ce=[{matches:(e,t)=>e===`import`&&b(t.content),parse:parseRootFileImport},{matches:isKeyword(`import`),parse:parseRootImport},{matches:isKeyword(`example`),parse:parseRootExample},{matches:isKeyword(`eventsource`),parse:(e,t,n)=>{n.eventSources.push(L(e,t))}},{matches:isKeyword(`system`),parse:(e,t,n)=>{n.systems.push(j(e,t))}},{matches:isKeyword(`statemachine`),parse:(e,t,n)=>{n.stateMachines.push(M(e,t))}},{matches:isKeyword(`workflow`),parse:(e,t,n)=>{n.workflows.push(N(e,t))}},{matches:isKeyword(`concept`),parse:(e,t,n)=>{n.concepts.push(parseConcept(e,t))}},{matches:isKeyword(`type`),parse:(e,t,n)=>{n.types.push(h(e,t))}},{matches:(e,t,n)=>e===`module`&&!u(n.placement),parse:(e,t,n)=>parseModuleInPlacedFile(e,t,n.placement,n.moduleBody)},{matches:isKeyword(`module`),parse:(e,t,n)=>{n.modules.push(k(e,t))}},{matches:isKeyword(`persona`),parse:(e,t,n)=>{n.personas.push(parsePersona(e,t))}},{matches:isKeyword(`sticky`),parse:parseRootStickyNote},{matches:isKeyword(`seed`),parse:(e,t,n)=>{n.seeds.push(te(e.valueContext,t))}},{matches:(e,t,n)=>e===`purpose`&&n.placedBody!==void 0,parse:(e,t,n)=>{n.placedBody?.tryParse(e,t)}},{matches:isKeyword(`purpose`),parse:(e,t,n)=>{n.purposes.push(ee(e,t))}},{matches:isKeyword(`context`),parse:(e,t,n)=>{n.applicationContext=i(e,t,n.applicationContext,n.placement)}},{matches:isKeyword(`identity`),parse:(e,t,n)=>{n.identity=r(e,t,n.identity)}},{matches:isKeyword(`policy`),parse:parseRootPolicy},{matches:isKeyword(`exposure`),parse:(e,t,n)=>{n.exposures.push(R(e,t))}},{matches:isKeyword(`instance`),parse:(e,t,n)=>{n.instanceContributions.push(z(e,t))}},{matches:isKeyword(`trigger`),parse:parseRootTrigger},{matches:e=>$.has(e),parse:parseRootOpaque}];function dispatchRoot(e,t,n){let r=w(t.content),i=se.find(e=>e.matches(r,t,n));if(i!==void 0){i.parse(e,t,n);return}n.sawOtherConstruct||=declaresConstruct(r,t,n.placement),e.authoredDeclarations||=r!==`import`&&declaresConstruct(r,t,n.placement);let a=ce.find(e=>e.matches(r,t,n));a===void 0?n.placedBody?.tryParse(e,t)!==!0&&reportUnexpectedTopLevel(e,t,n.placement):a.parse(e,t,n)}function isRepeatedOrMisplaced(e,t){return e||!u(t.placement)}function parseRootCommandReads(e,t,n){isRepeatedOrMisplaced(n.sawCommandReads,n)||!/^command\s+reads\s+protected$/.test(t.content)?e.error(o.InvalidCommandReadsDeclaration,`Declare 'command reads protected' once at the application root.`,H(t)):n.commandReadMode=`Protected`,n.sawCommandReads=!0}function parseRootTimeZone(e,t,n){let r=G.exec(t.content);e.skipBlock(t.indent),isRepeatedOrMisplaced(n.sawTimeZone,n)||r===null?e.error(o.InvalidTimeZoneDeclaration,`Declare 'time zone "<id>"' or 'time zone configurable default "<id>"' once at the application root.`,H(t)):n.timeZone={kind:`TimeZoneSyntax`,id:F(r[2]),configurable:r[1]!==void 0,location:H(t)},n.sawTimeZone=!0}function parseRootReactionBatches(e,t,n){isRepeatedOrMisplaced(n.sawReactionBatches,n)||!/^reaction\s+batches\s+atomic$/.test(t.content)?e.error(o.InvalidReactionBatchesDeclaration,`Declare 'reaction batches atomic' once at the application root.`,H(t)):n.reactionProductionMode=`Atomic`,n.sawReactionBatches=!0}function parseRootDomain(e,t,n){e.authoredDeclarations=!0,n.domain=parseDomain(e,t,n.domain,n.sawOtherConstruct)}function parseRootFileImport(e,t,n){n.placedBody===void 0?x(e,t,n.fileImports):n.placedBody.tryParse(e,t)}function parseRootImport(e,t,n){let r=K.exec(t.content);if(r===null){e.error(o.InvalidImportDeclaration,`Invalid import '${t.content}' - expected 'import <Qualified.Name> [from "<origin>"]'`,H(t));return}let i=r.groups?.origin===void 0?null:F(r.groups.origin);i!==null&&ne(i)&&e.error(o.InvalidImportDeclaration,`An import origin must be a nonblank quoted string`,H(t)),n.imports.push({kind:`ImportSyntax`,qualifiedName:r[1],origin:i,visibility:i===null?`Private`:`Public`,location:H(t)})}function parseRootExample(e,t,n){n.placedBody===void 0?n.examples.push(B(e,t)):n.placedBody.tryParse(e,t)}function parseRootStickyNote(e,t,n){let r=parseStickyNote(e,t);r!==null&&n.stickyNotes.push(r)}function parseRootPolicy(e,t,n){let r=A(e,t);n.policies.some(e=>e.name===r.name)&&e.error(o.DuplicateDeclaration,`Duplicate declaration of policy '${r.name}' - policy names must be unique`,r.location),n.policies.push(r)}function parseRootTrigger(e,t,n){let r=d(e,t),i=/^trigger\s+([A-Za-z_]\w*)$/.exec(t.content)?.[1];i!==void 0&&n.declaredTriggers.push({name:i,data:r})}function parseRootOpaque(e,t){let n=w(t.content);n===`behavior`||n===`layout`?C(e,t):n===`ui`?V(e,t):e.skipOpaqueBlock(t.indent)}function presentOnly(e,t){return t===null?{}:{[e]:t}}function nonEmptyOnly(e,t){return t.length>0?{[e]:t}:{}}function buildApplication(e,t){let{placement:n,moduleBody:r,featureBody:i,modules:a}=t;r===void 0?i!==void 0&&a.unshift(place(n,i.build(e.start,!0),e.start)):a.unshift(r.build(e.start,!0));let{commandReadMode:o,timeZone:c,applicationContext:l,reactionProductionMode:u,identity:d,domain:f,imports:p,concepts:m,types:h,systems:g,stateMachines:_,workflows:v,eventSources:y,examples:b,personas:x,policies:S,purposes:C,seeds:w,declaredTriggers:T,fileImports:E,exposures:D,stickyNotes:O,instanceContributions:k}=t,A={kind:`ApplicationSyntax`,...presentOnly(`commandReadMode`,o),...presentOnly(`timeZone`,c),...presentOnly(`context`,l),...presentOnly(`reactionProductionMode`,u),...presentOnly(`identity`,d),sourceOptions:e.sourceOptions,domain:f,imports:p,concepts:m,types:h,systems:g,...nonEmptyOnly(`stateMachines`,_),...nonEmptyOnly(`workflows`,v),eventSources:y,examples:b,modules:a,personas:x,policies:S,purposes:C,seeds:w,declaredTriggers:T,fileImports:E,...nonEmptyOnly(`exposures`,D),...nonEmptyOnly(`stickyNotes`,O),...nonEmptyOnly(`instanceContributions`,k),location:e.start};return e.authoredDeclarations&&s(A),A}function declaresConstruct(e,t,n){return e===`import`?K.test(t.content):e===`module`?u(n):e===`identity`?t.content===`identity`:e===`context`?t.content===`context`:e===`purpose`||e===`example`||e===`exposure`||e===`instance`||e===`eventsource`||e===`system`||e===`statemachine`||e===`workflow`||e===`concept`||e===`type`||e===`persona`||e===`sticky`||$.has(e)}function parseModuleInPlacedFile(e,t,n,r){let i=O.exec(t.content)?.[1]??``;r!==void 0&&i===n[0]?(e.authoredDeclarations=!0,r.parseChildren(e,t)):(e.error(o.ModuleInPlacedFile,`This file is imported into ${c(n)}, so it cannot declare module '${i}' - import it at the top level of a document instead`,H(t)),e.skipBlock(t.indent))}function reportUnexpectedTopLevel(e,t,n){let r=w(t.content);if(u(n)){let n=oe.has(r)?` - '${r}' belongs in a module or feature; wrap it in one, or import this file from inside one`:` - expected domain, import, concept, type, policy, persona, sticky note, authentication, onboarding, identity, context, module, seed, trigger, behavior, ui profile, theme, sample data or layout`;e.error(o.UnknownTopLevelConstruct,`Unexpected '${r}' at the top level${n}`,H(t))}else{let i=n.length===1?D:y;e.error(o.UnexpectedInPlacedFile,`Unexpected '${r}' in a file imported into ${c(n)} - expected an application declaration or ${i}`,H(t))}e.skipBlock(t.indent)}function place(e,t,n){let r=t;for(let t=e.length-2;t>=1;t--)r={kind:`FeatureSyntax`,name:e[t],description:null,authorize:null,features:[r],slices:[],fileImports:[],isPlacement:!0,location:n};return{kind:`ModuleSyntax`,name:e[0],description:null,authorize:null,features:[r],fileImports:[],isPlacement:!0,location:n}}function parseDomain(e,t,n,r){let i=W.exec(t.content);return i===null?(e.error(o.InvalidDomainDeclaration,`Invalid domain declaration '${t.content}' - expected 'domain <Qualified.Name>'`,H(t)),n):n===null?(r&&e.error(o.DomainNotFirst,`'domain' must be declared before any other construct`,H(t)),{kind:`DomainSyntax`,name:i[1],location:H(t)}):(e.error(o.DuplicateDomain,`The document already declares a domain - a document can have at most one`,H(t)),n)}function warnOnTabIndentation(e,t){let n=!1;for(let r of t)r.raw.trimStart().startsWith("```")?n=!n:!n&&ae.test(r.raw)&&e.warning(o.TabIndentation,`Screenplay is indentation based - use spaces, not tabs`,U(r))}function parseConcept(r,i){let a=q.exec(i.content);if(a===null)return r.error(o.InvalidConceptDeclaration,`Invalid concept declaration '${i.content}' - expected 'concept <Name> : <Type>'`,H(i)),r.skipBlock(i.indent),{kind:`ConceptSyntax`,name:w(i.content),type:``,attributes:[],values:[],location:H(i)};let[,s,c,l]=a,u=m(r,i,s,l);c!==`Enum`&&!Q.includes(c)&&r.error(o.UnknownPrimitiveType,`Unknown primitive type '${c}' - expected ${Q.join(`, `)} or Enum`,H(i));let d=[],f=new e,h=null,v=!1,y=null,b=[];for(let e=r.peekChild(i.indent);e!==void 0;e=r.peekChild(i.indent)){r.reader.takeSignificant();let i=c===`Enum`?f.tryNumbered(r,e):void 0;if(i!==void 0)d.push(i);else if(w(e.content)===`description`&&(c!==`Enum`||e.content!==`description`||r.peekChild(e.indent)?.content.startsWith("```")===!0))y=_(r,e,y,`Concept '${s}'`);else if(S(e))continue;else if(w(e.content)===`validate`){c===`Enum`&&e.content===`validate`&&r.peekChild(e.indent)===void 0&&r.warning(o.ValidateReadAsEnumerationBlock,`'validate' in enumeration concept '${s}' declares an empty validate block, not a value named 'validate' - write '@validate' for the value`,H(e));let t=g(r,e,`concept`,s);t!==void 0&&b.push(t)}else if(w(e.content)===`generate`&&(c!==`Enum`||e.content!==`generate`)){v&&r.error(o.DuplicateGeneration,`Concept '${s}' declares generation more than once.`,H(e));let t=n(r,e,c);v||(h=t),v=!0}else p(r,e,s,u)||(c===`Enum`&&J.test(e.content)?d.push(T(e.content)):c===`Enum`?r.error(o.InvalidEnumerationValue,`Invalid enum value '${e.content}' - expected an identifier`,H(e)):(r.error(o.UnknownConceptDirective,`Unexpected '${e.content}' in concept body - expected validate, generate, 'file <path>' or '<attribute> reason "<text>"'${t(e.content)}`,H(e)),r.skipBlock(e.indent)))}let x=f.finish(r,i,d.length);return{kind:`ConceptSyntax`,name:s,type:c,attributes:u,values:d,validations:b,description:y,...h===null?{}:{generation:h},...x===void 0?{}:{valueNumbers:x},location:H(i)}}function parsePersona(e,t){let n=Y.exec(t.content)?.[1]??``;n===``&&e.error(o.InvalidPersonaDeclaration,`Invalid persona declaration '${t.content}' - expected 'persona <Name>'`,H(t));let r=null,i=[],a=[],s=null,c=null;for(let l=e.peekChild(t.indent);l!==void 0;l=e.peekChild(t.indent)){e.reader.takeSignificant();let t=w(l.content);if(t===`description`)r=_(e,l,r,`Persona '${n}'`);else if(t===`goal`){let t=Z.exec(l.content);t===null?e.error(o.InvalidPersonaDeclaration,`Invalid goal '${l.content}' - expected 'goal "<text>"'`,H(l)):a.push(F(t[1]))}else if(t===`position`)s=I(e,l,`position`,`x`,`y`,s,!0)??s;else if(t===`size`)c=I(e,l,`size`,`width`,`height`,c,!1)??c;else if(t===`policy`){let t=X.exec(l.content);t===null?e.error(o.InvalidPersonaPolicyReference,`Invalid policy reference '${l.content}' - expected 'policy <Name>'`,H(l)):i.push(t[1])}else e.error(o.UnknownPersonaDirective,`Unexpected '${t}' in persona body - expected description, goal, policy, position or size`,H(l)),e.skipBlock(l.indent)}return{kind:`PersonaSyntax`,name:n,description:r,policies:i,...a.length>0?{goals:a}:{},...s===null?{}:{x:s[0],y:s[1]},...c===null?{}:{width:c[0],height:c[1]},location:H(t)}}function parseStickyNote(e,t){let n=re.exec(t.content);if(n===null)return e.error(o.InvalidPersonaDeclaration,`Invalid sticky note declaration '${t.content}' - expected 'sticky note on personas', 'sticky note on eventsources', 'sticky note on givencontexts' or 'sticky note on seeddata'`,H(t)),e.skipBlock(t.indent),null;let r=null,i=null,a=null,s=null;for(let n=e.peekChild(t.indent);n!==void 0;n=e.peekChild(t.indent)){e.reader.takeSignificant();let t=w(n.content);if(t===`description`)r=_(e,n,r,`A sticky note`);else if(t===`colour`){let t=ie.exec(n.content);t===null?e.error(o.InvalidPersonaDeclaration,`Invalid colour '${n.content}' - expected 'colour yellow', 'colour pink', 'colour green' or 'colour blue'`,H(n)):i=t[1]}else t===`position`?a=I(e,n,`position`,`x`,`y`,a,!0)??a:t===`size`?s=I(e,n,`size`,`width`,`height`,s,!1)??s:(e.error(o.UnknownPersonaDirective,`Unexpected '${t}' in sticky note body - expected description, colour, position or size`,H(n)),e.skipBlock(n.indent))}return r===null||a===null?(e.error(o.InvalidPersonaDeclaration,`A sticky note needs a description (the text on it) and a position`,H(t)),null):{kind:`StickyNoteSyntax`,canvas:n[1],text:r,colour:i,x:a[0],y:a[1],width:s===null?null:s[0],height:s===null?null:s[1],location:H(t)}}export{parseApplication};
 //# sourceMappingURL=ScreenplayParser.js.map