@cratis/screenplay-language 5.2.0 → 5.3.1

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t}from"../Text/StringLiteral.js";import{pattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{parseMappingSource as i}from"./ExpressionParser.js";import{diagnosticText as a}from"../Diagnostics/DiagnosticArgument.js";import{parseStructuredValue as o,tryParseStructuredMapping as s}from"./StructuredBlockParser.js";import{containsCaseReference as c,parseSpecificationValue as l}from"./SpecificationCaseParser.js";const u=`value`,d=n(`^then\\s+returns\\b`),f=n(`^generated\\s+(?=\\S)(?![=])`),p=n(`^generated\\s+([a-z_]\\w*)\\s*=(?!=|>)\\s*(.+)$`),m=n(`^generated\\s+([a-z_]\\w*)(?:\\s+(none|empty))?$`),h=n(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),g=n(`^(?:"${t}"|'(?:[^'\\\\]|\\\\.)*')$`);function parseConcrete(t,n,r,o){if(n.startsWith(`case.`))return l(n,r,t);c(n)&&t.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,r);let s=o===e.InvalidSpecificationValue||o===e.InvalidSpecificationCaseValue?a(`text`,n):{};if((n.startsWith(`"`)||n.startsWith(`'`))&&!g.test(n))return t.error(o,`Expected exactly one concrete value.`,r,s),null;let u=i(n,r,t);return![`LiteralExpressionSyntax`,`ObjectExpressionSyntax`,`ListExpressionSyntax`].includes(u.kind)||u.kind===`LiteralExpressionSyntax`&&typeof u.value==`number`&&!Number.isFinite(u.value)?(t.error(o,`Expected exactly one concrete literal or structured value, not an expression.`,r,s),null):u}function parseConcreteMapping(e,t,n,i){let a=n.exec(t.content),c=a===null?m.exec(t.content):null;if(c!==null)return{kind:`PropertyMappingSyntax`,property:c[1],source:o(e,t,c[2]),location:r(t)};let l=a===null?s(e,t):void 0;if(l!==void 0)return l;if(a===null)return e.error(i,`Expected a named fixture or assertion with exactly one concrete value.`,r(t)),e.skipBlock(t.indent),null;let u=r(t),d=parseConcrete(e,a[2],{...u,column:u.column+t.content.indexOf(a[2],t.content.indexOf(`=`)+1)},i),f=e.peekChild(t.indent);return f!==void 0&&(e.error(i,`A fixture or return field cannot have child directives.`,r(f)),e.skipBlock(t.indent)),d===null?null:{kind:`PropertyMappingSyntax`,property:a[1],source:d,location:u}}function parseReturn(t,n){let i=d.exec(n.content)[0].length,a=n.content.substring(i).trim(),s=r(n);if(a===`value`||a===`value none`||a===`value empty`)return{kind:`ScalarSpecificationReturnSyntax`,value:o(t,n,a.substring(6)||void 0),location:s};if(a.length>0){let o=parseConcrete(t,a,{...s,column:s.column+n.content.indexOf(a,i)},e.InvalidReturnExpectation),c=t.peekChild(n.indent);return c!==void 0&&(t.error(e.InvalidReturnExpectation,`A scalar return expectation cannot have child assertions.`,r(c)),t.skipBlock(n.indent)),o===null?null:{kind:`ScalarSpecificationReturnSyntax`,value:o,location:s}}let c=[];for(let r=t.peekChild(n.indent);r!==void 0;r=t.peekChild(n.indent)){t.reader.takeSignificant();let n=parseConcreteMapping(t,r,h,e.InvalidReturnExpectation);n!==null&&c.push(n)}return{kind:`RecordSpecificationReturnSyntax`,fields:c,location:s}}export{p as generatedFixturePattern,f as generatedFixturePrefix,parseConcrete,parseConcreteMapping,parseReturn,u as structuredReturnKeyword,d as thenReturnsPrefix};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{diagnosticText as e}from"../Diagnostics/DiagnosticArgument.js";import{DiagnosticCodes as t}from"../Diagnostics/DiagnosticCodes.js";import{pattern as n}from"../Text/patterns.js";import{stringBodyPattern as r}from"../Text/StringLiteral.js";import{parseMappingSource as i}from"./ExpressionParser.js";import{containsCaseReference as a,parseSpecificationValue as o}from"./SpecificationCaseParser.js";import{locationOf as s}from"./SourceLine.js";import{parseStructuredValue as c,tryParseStructuredMapping as l}from"./StructuredBlockParser.js";const u=`value`,d=n(`^then\\s+returns\\b`),f=n(`^generated\\s+(?=\\S)(?![=])`),p=n(`^generated\\s+([a-z_]\\w*)\\s*=(?!=|>)\\s*(.+)$`),m=n(`^generated\\s+([a-z_]\\w*)(?:\\s+(none|empty))?$`),h=n(`^([\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),g=n(`^(?:"${r}"|'(?:[^'\\\\]|\\\\.)*')$`);function parseConcrete(n,r,s,c){if(r.startsWith(`case.`))return o(r,s,n);a(r)&&n.error(t.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,s);let l=c===t.InvalidSpecificationValue||c===t.InvalidSpecificationCaseValue?e(`text`,r):{};if((r.startsWith(`"`)||r.startsWith(`'`))&&!g.test(r))return n.error(c,`Expected exactly one concrete value.`,s,l),null;let u=i(r,s,n);return![`LiteralExpressionSyntax`,`ObjectExpressionSyntax`,`ListExpressionSyntax`].includes(u.kind)||u.kind===`LiteralExpressionSyntax`&&typeof u.value==`number`&&!Number.isFinite(u.value)?(n.error(c,`Expected exactly one concrete literal or structured value, not an expression.`,s,l),null):u}function parseConcreteMapping(e,t,n,r){let i=n.exec(t.content),a=i===null?m.exec(t.content):null;if(a!==null)return{kind:`PropertyMappingSyntax`,property:a[1],source:c(e,t,a[2]),location:s(t)};let o=i===null?l(e,t):void 0;if(o!==void 0)return o;if(i===null)return e.error(r,`Expected a named fixture or assertion with exactly one concrete value.`,s(t)),e.skipBlock(t.indent),null;let u=s(t),d=parseConcrete(e,i[2],{...u,column:u.column+t.content.indexOf(i[2],t.content.indexOf(`=`)+1)},r),f=e.peekChild(t.indent);return f!==void 0&&(e.error(r,`A fixture or return field cannot have child directives.`,s(f)),e.skipBlock(t.indent)),d===null?null:{kind:`PropertyMappingSyntax`,property:i[1],source:d,location:u}}function parseReturn(e,n){let r=d.exec(n.content)[0].length,i=n.content.substring(r).trim(),a=s(n);if(i===`value`||i===`value none`||i===`value empty`)return{kind:`ScalarSpecificationReturnSyntax`,value:c(e,n,i.substring(6)||void 0),location:a};if(i.length>0){let o=parseConcrete(e,i,{...a,column:a.column+n.content.indexOf(i,r)},t.InvalidReturnExpectation),c=e.peekChild(n.indent);return c!==void 0&&(e.error(t.InvalidReturnExpectation,`A scalar return expectation cannot have child assertions.`,s(c)),e.skipBlock(n.indent)),o===null?null:{kind:`ScalarSpecificationReturnSyntax`,value:o,location:a}}let o=[];for(let r=e.peekChild(n.indent);r!==void 0;r=e.peekChild(n.indent)){e.reader.takeSignificant();let n=parseConcreteMapping(e,r,h,t.InvalidReturnExpectation);n!==null&&o.push(n)}return{kind:`RecordSpecificationReturnSyntax`,fields:o,location:a}}export{p as generatedFixturePattern,f as generatedFixturePrefix,parseConcrete,parseConcreteMapping,parseReturn,u as structuredReturnKeyword,d as thenReturnsPrefix};
 //# sourceMappingURL=SpecificationResponseParser.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"SpecificationResponseParser.js","names":["structuredReturnKeyword","thenReturnsPrefix","pattern","generatedFixturePrefix","generatedFixturePattern","generatedFixtureBlockPattern","fieldPattern","quotedValue","stringBodyPattern","text","parseSpecificationValue","location","context","containsCaseReference","DiagnosticCodes","subjects","code","diagnosticText","expression","parseMappingSource","match","regex","line","generated","parseStructuredValue","locationOf","structured","tryParseStructuredMapping","source","child","prefix","value","concrete","fields","field"],"sources":["../../../../../../Compiler/Parsing/SpecificationResponseParser.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 { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { SpecificationReturnSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { stringBodyPattern } from '../Text/StringLiteral';\nimport { parseMappingSource } from './ExpressionParser';\nimport { containsCaseReference, parseSpecificationValue } from './SpecificationCaseParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { emptyKeyword, noneKeyword, parseStructuredValue, StructuredMarker, tryParseStructuredMapping } from './StructuredBlockParser';\n\n// The word after 'then returns' that opens a structured scalar response as an indented block.\nexport const structuredReturnKeyword = 'value';\nexport const thenReturnsPrefix = pattern('^then\\\\s+returns\\\\b');\nexport const generatedFixturePrefix = pattern('^generated\\\\s+(?=\\\\S)(?![=])');\nexport const generatedFixturePattern = pattern('^generated\\\\s+([a-z_]\\\\w*)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst generatedFixtureBlockPattern = pattern('^generated\\\\s+([a-z_]\\\\w*)(?:\\\\s+(none|empty))?$');\nconst fieldPattern = pattern('^([\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst quotedValue = pattern(`^(?:\"${stringBodyPattern}\"|'(?:[^'\\\\\\\\]|\\\\\\\\.)*')$`);\n\nexport function parseConcrete(context: ParserContext, text: string, location: SourceLocation, code: string): ExpressionSyntax | null {\n    if (text.startsWith('case.')) return parseSpecificationValue(text, location, context);\n    if (containsCaseReference(text)) context.error(DiagnosticCodes.InvalidSpecificationCaseReference, 'A case reference fills a whole value position; it cannot occur inside a structured value or expression.', location);\n    const subjects = code === DiagnosticCodes.InvalidSpecificationValue || code === DiagnosticCodes.InvalidSpecificationCaseValue ? diagnosticText('text', text) : {};\n    if ((text.startsWith('\"') || text.startsWith(\"'\")) && !quotedValue.test(text)) {\n        context.error(code, 'Expected exactly one concrete value.', location, subjects);\n        return null;\n    }\n    const expression = parseMappingSource(text, location, context);\n    if (!['LiteralExpressionSyntax', 'ObjectExpressionSyntax', 'ListExpressionSyntax'].includes(expression.kind) || (expression.kind === 'LiteralExpressionSyntax' && typeof expression.value === 'number' && !Number.isFinite(expression.value))) {\n        context.error(code, 'Expected exactly one concrete literal or structured value, not an expression.', location, subjects);\n        return null;\n    }\n    return expression;\n}\n\nexport function parseConcreteMapping(context: ParserContext, line: SourceLine, regex: RegExp, code: string): PropertyMappingSyntax | null {\n    const match = regex.exec(line.content);\n    const generated = match === null ? generatedFixtureBlockPattern.exec(line.content) : null;\n    if (generated !== null) return { kind: 'PropertyMappingSyntax', property: generated[1], source: parseStructuredValue(context, line, generated[2] as StructuredMarker), location: locationOf(line) };\n    const structured = match === null ? tryParseStructuredMapping(context, line) : undefined;\n    if (structured !== undefined) return structured;\n    if (match === null) {\n        context.error(code, 'Expected a named fixture or assertion with exactly one concrete value.', locationOf(line));\n        context.skipBlock(line.indent);\n        return null;\n    }\n    const location = locationOf(line);\n    const source = parseConcrete(context, match[2], { ...location, column: location.column + line.content.indexOf(match[2], line.content.indexOf('=') + 1) }, code);\n    const child = context.peekChild(line.indent);\n    if (child !== undefined) {\n        context.error(code, 'A fixture or return field cannot have child directives.', locationOf(child));\n        context.skipBlock(line.indent);\n    }\n    return source === null ? null : { kind: 'PropertyMappingSyntax', property: match[1], source, location };\n}\n\nexport function parseReturn(context: ParserContext, line: SourceLine): SpecificationReturnSyntax | null {\n    const prefix = thenReturnsPrefix.exec(line.content)![0].length;\n    const value = line.content.substring(prefix).trim();\n    const location = locationOf(line);\n    // 'then returns value' opens a structured scalar - an object or a list - as an indented block.\n    if (value === structuredReturnKeyword || value === `${structuredReturnKeyword} ${noneKeyword}` || value === `${structuredReturnKeyword} ${emptyKeyword}`) {\n        return { kind: 'ScalarSpecificationReturnSyntax', value: parseStructuredValue(context, line, value.substring(structuredReturnKeyword.length + 1) as StructuredMarker || undefined), location };\n    }\n    if (value.length > 0) {\n        const concrete = parseConcrete(context, value, { ...location, column: location.column + line.content.indexOf(value, prefix) }, DiagnosticCodes.InvalidReturnExpectation);\n        const child = context.peekChild(line.indent);\n        if (child !== undefined) {\n            context.error(DiagnosticCodes.InvalidReturnExpectation, 'A scalar return expectation cannot have child assertions.', locationOf(child));\n            context.skipBlock(line.indent);\n        }\n        return concrete === null ? null : { kind: 'ScalarSpecificationReturnSyntax', value: concrete, location };\n    }\n    const fields: PropertyMappingSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const field = parseConcreteMapping(context, child, fieldPattern, DiagnosticCodes.InvalidReturnExpectation);\n        if (field !== null) fields.push(field);\n    }\n    return { kind: 'RecordSpecificationReturnSyntax', fields, location };\n}\n"],"mappings":"qlBAiBA,MAAaA,EAA0B,QAC1BC,EAAoBC,EAAQ,qBAAqB,EACjDC,EAAyBD,EAAQ,8BAA8B,EAC/DE,EAA0BF,EAAQ,iDAAiD,EAC1FG,EAA+BH,EAAQ,kDAAkD,EACzFI,EAAeJ,EAAQ,iCAAiC,EACxDK,EAAcL,EAAQ,QAAQM,EAAkB,0BAA0B,EAEhF,SAAgB,cAAc,EAAwB,EAAc,EAA0B,EAAuC,CACjI,GAAIC,EAAK,WAAW,OAAO,EAAG,OAAOC,EAAwBD,EAAME,EAAUC,CAAO,EAChFC,EAAsBJ,CAAI,GAAGG,EAAQ,MAAME,EAAgB,kCAAmC,0GAA2GH,CAAQ,EACrN,IAAMI,EAAWC,IAASF,EAAgB,2BAA6BE,IAASF,EAAgB,8BAAgCG,EAAe,OAAQR,CAAI,EAAI,CAAC,EAChK,IAAKA,EAAK,WAAW,GAAG,GAAKA,EAAK,WAAW,GAAG,IAAM,CAACF,EAAY,KAAKE,CAAI,EAExE,OADAG,EAAQ,MAAMI,EAAM,uCAAwCL,EAAUI,CAAQ,EACvE,KAEX,IAAMG,EAAaC,EAAmBV,EAAME,EAAUC,CAAO,EAK7D,MAJI,CAAC,CAAC,0BAA2B,yBAA0B,sBAAsB,CAAC,CAAC,SAASM,EAAW,IAAI,GAAMA,EAAW,OAAS,2BAA6B,OAAOA,EAAW,OAAU,UAAY,CAAC,OAAO,SAASA,EAAW,KAAK,GACvON,EAAQ,MAAMI,EAAM,gFAAiFL,EAAUI,CAAQ,EAChH,MAEJG,CACX,CAEA,SAAgB,qBAAqB,EAAwB,EAAkB,EAAe,EAA4C,CACtI,IAAME,EAAQC,EAAM,KAAKC,EAAK,OAAO,EAC/BC,EAAYH,IAAU,KAAOf,EAA6B,KAAKiB,EAAK,OAAO,EAAI,KACrF,GAAIC,IAAc,KAAM,MAAO,CAAE,KAAM,wBAAyB,SAAUA,EAAU,GAAI,OAAQC,EAAqBZ,EAASU,EAAMC,EAAU,EAAsB,EAAG,SAAUE,EAAWH,CAAI,CAAE,EAClM,IAAMI,EAAaN,IAAU,KAAOO,EAA0Bf,EAASU,CAAI,EAAI,IAAA,GAC/E,GAAII,IAAe,IAAA,GAAW,OAAOA,EACrC,GAAIN,IAAU,KAGV,OAFAR,EAAQ,MAAMI,EAAM,yEAA0ES,EAAWH,CAAI,CAAC,EAC9GV,EAAQ,UAAUU,EAAK,MAAM,EACtB,KAEX,IAAMX,EAAWc,EAAWH,CAAI,EAC1BM,EAAS,cAAchB,EAASQ,EAAM,GAAI,CAAE,GAAGT,EAAU,OAAQA,EAAS,OAASW,EAAK,QAAQ,QAAQF,EAAM,GAAIE,EAAK,QAAQ,QAAQ,GAAG,EAAI,CAAC,CAAE,EAAGN,CAAI,EACxJa,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAK3C,OAJIO,IAAU,IAAA,KACVjB,EAAQ,MAAMI,EAAM,0DAA2DS,EAAWI,CAAK,CAAC,EAChGjB,EAAQ,UAAUU,EAAK,MAAM,GAE1BM,IAAW,KAAO,KAAO,CAAE,KAAM,wBAAyB,SAAUR,EAAM,GAAI,SAAQ,UAAS,CAC1G,CAEA,SAAgB,YAAY,EAAwB,EAAoD,CACpG,IAAMU,EAAS7B,EAAkB,KAAKqB,EAAK,OAAO,CAAC,CAAE,EAAE,CAAC,OAClDS,EAAQT,EAAK,QAAQ,UAAUQ,CAAM,CAAC,CAAC,KAAK,EAC5CnB,EAAWc,EAAWH,CAAI,EAEhC,GAAIS,IAAA,SAAqCA,IAAU,cAA+CA,IAAU,cACxG,MAAO,CAAE,KAAM,kCAAmC,MAAOP,EAAqBZ,EAASU,EAAMS,EAAM,UAAU,CAAkC,GAAyB,IAAA,EAAS,EAAG,UAAS,EAEjM,GAAIA,EAAM,OAAS,EAAG,CAClB,IAAMC,EAAW,cAAcpB,EAASmB,EAAO,CAAE,GAAGpB,EAAU,OAAQA,EAAS,OAASW,EAAK,QAAQ,QAAQS,EAAOD,CAAM,CAAE,EAAGhB,EAAgB,wBAAwB,EACjKe,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAK3C,OAJIO,IAAU,IAAA,KACVjB,EAAQ,MAAME,EAAgB,yBAA0B,4DAA6DW,EAAWI,CAAK,CAAC,EACtIjB,EAAQ,UAAUU,EAAK,MAAM,GAE1BU,IAAa,KAAO,KAAO,CAAE,KAAM,kCAAmC,MAAOA,EAAU,UAAS,CAC3G,CACA,IAAMC,EAAkC,CAAC,EACzC,IAAK,IAAIJ,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAAG,CAC1GV,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAQ,qBAAqBtB,EAASiB,EAAOvB,EAAcQ,EAAgB,wBAAwB,EACrGoB,IAAU,MAAMD,EAAO,KAAKC,CAAK,CACzC,CACA,MAAO,CAAE,KAAM,kCAAmC,SAAQ,UAAS,CACvE"}
+{"version":3,"file":"SpecificationResponseParser.js","names":["structuredReturnKeyword","thenReturnsPrefix","pattern","generatedFixturePrefix","generatedFixturePattern","generatedFixtureBlockPattern","fieldPattern","quotedValue","stringBodyPattern","text","parseSpecificationValue","location","context","containsCaseReference","DiagnosticCodes","subjects","code","diagnosticText","expression","parseMappingSource","match","regex","line","generated","parseStructuredValue","locationOf","structured","tryParseStructuredMapping","source","child","prefix","value","concrete","fields","field"],"sources":["../../../../../../Compiler/Parsing/SpecificationResponseParser.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 { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { SpecificationReturnSyntax } from '../Syntax/Responses';\nimport { pattern } from '../Text/patterns';\nimport { stringBodyPattern } from '../Text/StringLiteral';\nimport { parseMappingSource } from './ExpressionParser';\nimport { containsCaseReference, parseSpecificationValue } from './SpecificationCaseParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { emptyKeyword, noneKeyword, parseStructuredValue, StructuredMarker, tryParseStructuredMapping } from './StructuredBlockParser';\n\n// The word after 'then returns' that opens a structured scalar response as an indented block.\nexport const structuredReturnKeyword = 'value';\nexport const thenReturnsPrefix = pattern('^then\\\\s+returns\\\\b');\nexport const generatedFixturePrefix = pattern('^generated\\\\s+(?=\\\\S)(?![=])');\nexport const generatedFixturePattern = pattern('^generated\\\\s+([a-z_]\\\\w*)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst generatedFixtureBlockPattern = pattern('^generated\\\\s+([a-z_]\\\\w*)(?:\\\\s+(none|empty))?$');\nconst fieldPattern = pattern('^([\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst quotedValue = pattern(`^(?:\"${stringBodyPattern}\"|'(?:[^'\\\\\\\\]|\\\\\\\\.)*')$`);\n\nexport function parseConcrete(context: ParserContext, text: string, location: SourceLocation, code: string): ExpressionSyntax | null {\n    if (text.startsWith('case.')) return parseSpecificationValue(text, location, context);\n    if (containsCaseReference(text)) context.error(DiagnosticCodes.InvalidSpecificationCaseReference, 'A case reference fills a whole value position; it cannot occur inside a structured value or expression.', location);\n    const subjects = code === DiagnosticCodes.InvalidSpecificationValue || code === DiagnosticCodes.InvalidSpecificationCaseValue ? diagnosticText('text', text) : {};\n    if ((text.startsWith('\"') || text.startsWith(\"'\")) && !quotedValue.test(text)) {\n        context.error(code, 'Expected exactly one concrete value.', location, subjects);\n        return null;\n    }\n    const expression = parseMappingSource(text, location, context);\n    if (!['LiteralExpressionSyntax', 'ObjectExpressionSyntax', 'ListExpressionSyntax'].includes(expression.kind) || (expression.kind === 'LiteralExpressionSyntax' && typeof expression.value === 'number' && !Number.isFinite(expression.value))) {\n        context.error(code, 'Expected exactly one concrete literal or structured value, not an expression.', location, subjects);\n        return null;\n    }\n    return expression;\n}\n\nexport function parseConcreteMapping(context: ParserContext, line: SourceLine, regex: RegExp, code: string): PropertyMappingSyntax | null {\n    const match = regex.exec(line.content);\n    const generated = match === null ? generatedFixtureBlockPattern.exec(line.content) : null;\n    if (generated !== null) return { kind: 'PropertyMappingSyntax', property: generated[1], source: parseStructuredValue(context, line, generated[2] as StructuredMarker), location: locationOf(line) };\n    const structured = match === null ? tryParseStructuredMapping(context, line) : undefined;\n    if (structured !== undefined) return structured;\n    if (match === null) {\n        context.error(code, 'Expected a named fixture or assertion with exactly one concrete value.', locationOf(line));\n        context.skipBlock(line.indent);\n        return null;\n    }\n    const location = locationOf(line);\n    const source = parseConcrete(context, match[2], { ...location, column: location.column + line.content.indexOf(match[2], line.content.indexOf('=') + 1) }, code);\n    const child = context.peekChild(line.indent);\n    if (child !== undefined) {\n        context.error(code, 'A fixture or return field cannot have child directives.', locationOf(child));\n        context.skipBlock(line.indent);\n    }\n    return source === null ? null : { kind: 'PropertyMappingSyntax', property: match[1], source, location };\n}\n\nexport function parseReturn(context: ParserContext, line: SourceLine): SpecificationReturnSyntax | null {\n    const prefix = thenReturnsPrefix.exec(line.content)![0].length;\n    const value = line.content.substring(prefix).trim();\n    const location = locationOf(line);\n    // 'then returns value' opens a structured scalar - an object or a list - as an indented block.\n    if (value === structuredReturnKeyword || value === `${structuredReturnKeyword} ${noneKeyword}` || value === `${structuredReturnKeyword} ${emptyKeyword}`) {\n        return { kind: 'ScalarSpecificationReturnSyntax', value: parseStructuredValue(context, line, value.substring(structuredReturnKeyword.length + 1) as StructuredMarker || undefined), location };\n    }\n    if (value.length > 0) {\n        const concrete = parseConcrete(context, value, { ...location, column: location.column + line.content.indexOf(value, prefix) }, DiagnosticCodes.InvalidReturnExpectation);\n        const child = context.peekChild(line.indent);\n        if (child !== undefined) {\n            context.error(DiagnosticCodes.InvalidReturnExpectation, 'A scalar return expectation cannot have child assertions.', locationOf(child));\n            context.skipBlock(line.indent);\n        }\n        return concrete === null ? null : { kind: 'ScalarSpecificationReturnSyntax', value: concrete, location };\n    }\n    const fields: PropertyMappingSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const field = parseConcreteMapping(context, child, fieldPattern, DiagnosticCodes.InvalidReturnExpectation);\n        if (field !== null) fields.push(field);\n    }\n    return { kind: 'RecordSpecificationReturnSyntax', fields, location };\n}\n"],"mappings":"A,qlBAiBA,MAAaA,EAA0B,QAC1BC,EAAoBC,EAAQ,qBAAqB,EACjDC,EAAyBD,EAAQ,8BAA8B,EAC/DE,EAA0BF,EAAQ,iDAAiD,EAC1FG,EAA+BH,EAAQ,kDAAkD,EACzFI,EAAeJ,EAAQ,iCAAiC,EACxDK,EAAcL,EAAQ,QAAQM,EAAkB,0BAA0B,EAEhF,SAAgB,cAAc,EAAwB,EAAc,EAA0B,EAAuC,CACjI,GAAIC,EAAK,WAAW,OAAO,EAAG,OAAOC,EAAwBD,EAAME,EAAUC,CAAO,EAChFC,EAAsBJ,CAAI,GAAGG,EAAQ,MAAME,EAAgB,kCAAmC,0GAA2GH,CAAQ,EACrN,IAAMI,EAAWC,IAASF,EAAgB,2BAA6BE,IAASF,EAAgB,8BAAgCG,EAAe,OAAQR,CAAI,EAAI,CAAC,EAChK,IAAKA,EAAK,WAAW,GAAG,GAAKA,EAAK,WAAW,GAAG,IAAM,CAACF,EAAY,KAAKE,CAAI,EAExE,OADAG,EAAQ,MAAMI,EAAM,uCAAwCL,EAAUI,CAAQ,EACvE,KAEX,IAAMG,EAAaC,EAAmBV,EAAME,EAAUC,CAAO,EAK7D,MAJI,CAAC,CAAC,0BAA2B,yBAA0B,sBAAsB,CAAC,CAAC,SAASM,EAAW,IAAI,GAAMA,EAAW,OAAS,2BAA6B,OAAOA,EAAW,OAAU,UAAY,CAAC,OAAO,SAASA,EAAW,KAAK,GACvON,EAAQ,MAAMI,EAAM,gFAAiFL,EAAUI,CAAQ,EAChH,MAEJG,CACX,CAEA,SAAgB,qBAAqB,EAAwB,EAAkB,EAAe,EAA4C,CACtI,IAAME,EAAQC,EAAM,KAAKC,EAAK,OAAO,EAC/BC,EAAYH,IAAU,KAAOf,EAA6B,KAAKiB,EAAK,OAAO,EAAI,KACrF,GAAIC,IAAc,KAAM,MAAO,CAAE,KAAM,wBAAyB,SAAUA,EAAU,GAAI,OAAQC,EAAqBZ,EAASU,EAAMC,EAAU,EAAsB,EAAG,SAAUE,EAAWH,CAAI,CAAE,EAClM,IAAMI,EAAaN,IAAU,KAAOO,EAA0Bf,EAASU,CAAI,EAAI,IAAA,GAC/E,GAAII,IAAe,IAAA,GAAW,OAAOA,EACrC,GAAIN,IAAU,KAGV,OAFAR,EAAQ,MAAMI,EAAM,yEAA0ES,EAAWH,CAAI,CAAC,EAC9GV,EAAQ,UAAUU,EAAK,MAAM,EACtB,KAEX,IAAMX,EAAWc,EAAWH,CAAI,EAC1BM,EAAS,cAAchB,EAASQ,EAAM,GAAI,CAAE,GAAGT,EAAU,OAAQA,EAAS,OAASW,EAAK,QAAQ,QAAQF,EAAM,GAAIE,EAAK,QAAQ,QAAQ,GAAG,EAAI,CAAC,CAAE,EAAGN,CAAI,EACxJa,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAK3C,OAJIO,IAAU,IAAA,KACVjB,EAAQ,MAAMI,EAAM,0DAA2DS,EAAWI,CAAK,CAAC,EAChGjB,EAAQ,UAAUU,EAAK,MAAM,GAE1BM,IAAW,KAAO,KAAO,CAAE,KAAM,wBAAyB,SAAUR,EAAM,GAAI,SAAQ,UAAS,CAC1G,CAEA,SAAgB,YAAY,EAAwB,EAAoD,CACpG,IAAMU,EAAS7B,EAAkB,KAAKqB,EAAK,OAAO,CAAC,CAAE,EAAE,CAAC,OAClDS,EAAQT,EAAK,QAAQ,UAAUQ,CAAM,CAAC,CAAC,KAAK,EAC5CnB,EAAWc,EAAWH,CAAI,EAEhC,GAAIS,IAAA,SAAqCA,IAAU,cAA+CA,IAAU,cACxG,MAAO,CAAE,KAAM,kCAAmC,MAAOP,EAAqBZ,EAASU,EAAMS,EAAM,UAAU,CAAkC,GAAyB,IAAA,EAAS,EAAG,UAAS,EAEjM,GAAIA,EAAM,OAAS,EAAG,CAClB,IAAMC,EAAW,cAAcpB,EAASmB,EAAO,CAAE,GAAGpB,EAAU,OAAQA,EAAS,OAASW,EAAK,QAAQ,QAAQS,EAAOD,CAAM,CAAE,EAAGhB,EAAgB,wBAAwB,EACjKe,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAK3C,OAJIO,IAAU,IAAA,KACVjB,EAAQ,MAAME,EAAgB,yBAA0B,4DAA6DW,EAAWI,CAAK,CAAC,EACtIjB,EAAQ,UAAUU,EAAK,MAAM,GAE1BU,IAAa,KAAO,KAAO,CAAE,KAAM,kCAAmC,MAAOA,EAAU,UAAS,CAC3G,CACA,IAAMC,EAAkC,CAAC,EACzC,IAAK,IAAIJ,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQjB,EAAQ,UAAUU,EAAK,MAAM,EAAG,CAC1GV,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAQ,qBAAqBtB,EAASiB,EAAOvB,EAAcQ,EAAgB,wBAAwB,EACrGoB,IAAU,MAAMD,EAAO,KAAKC,CAAK,CACzC,CACA,MAAO,CAAE,KAAM,kCAAmC,SAAQ,UAAS,CACvE,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{EventSourceCatalog as e}from"../Syntax/EventSourceCatalog.js";import{compatibleValue as t,uniqueByName as n}from"./ResponseValidator.js";import{formatStreamIdLiteral as r}from"./EventSourceValidator.js";function formatSpecificationStreamId(e,i,a){let o=n(a.concepts),s=n(a.types),c=new Map([...s].map(([e,t])=>[e,n(t.properties)]));if(e?.kind!==`LiteralExpressionSyntax`||!t(e,i,o,c))return null;let l=o.get(i.name)?.type??i.name;return[`String`,`Uuid`,`Int`].includes(l)?r(e,i,a)?.value??null:null}function matchesSpecificationRoute(t,n,r,i){if(r!=null)return t==null;if(n==null)return!0;if(t==null)return!1;let a=new e(i),o=a.resolve(t.eventSource,t.stream),s=a.resolve(n.eventSource,n.stream);if(o.kind!==`unique`||s.kind!==`unique`)return null;if(o.sources[0]!==s.sources[0]||o.streams[0]!==s.streams[0])return!1;let c=s.streams[0],compare=(e,t,n)=>{let r=formatSpecificationStreamId(e,n,i),a=formatSpecificationStreamId(t,n,i);return r===null||a===null?null:r===a};if(c.streamIdParts.length>0){if(t.streamId!==null||n.streamId!==null||t.streamIdParts.length!==c.streamIdParts.length||n.streamIdParts.length!==c.streamIdParts.length)return null;let e=c.streamIdParts.map(e=>{let r=t.streamIdParts.filter(t=>t.property===e.name),i=n.streamIdParts.filter(t=>t.property===e.name);return r.length===1&&i.length===1?compare(r[0].source,i[0].source,e.type):null});return e.includes(!1)?!1:!e.includes(null)||null}return t.streamIdParts.length>0||n.streamIdParts.length>0?null:c.streamId===null?t.streamId===null&&n.streamId===null||null:compare(t.streamId?.source,n.streamId?.source,c.streamId)}export{formatSpecificationStreamId,matchesSpecificationRoute};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{EventSourceCatalog as e}from"../Syntax/EventSourceCatalog.js";import{formatStreamIdLiteral as t}from"./EventSourceValidator.js";import{compatibleValue as n,uniqueByName as r}from"./ResponseValidator.js";function formatSpecificationStreamId(e,i,a){let o=r(a.concepts),s=r(a.types),c=new Map([...s].map(([e,t])=>[e,r(t.properties)]));if(e?.kind!==`LiteralExpressionSyntax`||!n(e,i,o,c))return null;let l=o.get(i.name)?.type??i.name;return[`String`,`Uuid`,`Int`].includes(l)?t(e,i,a)?.value??null:null}function matchesSpecificationRoute(t,n,r,i){if(r!=null)return t==null;if(n==null)return!0;if(t==null)return!1;let a=new e(i),o=a.resolve(t.eventSource,t.stream),s=a.resolve(n.eventSource,n.stream);if(o.kind!==`unique`||s.kind!==`unique`)return null;if(o.sources[0]!==s.sources[0]||o.streams[0]!==s.streams[0])return!1;let c=s.streams[0],compare=(e,t,n)=>{let r=formatSpecificationStreamId(e,n,i),a=formatSpecificationStreamId(t,n,i);return r===null||a===null?null:r===a};if(c.streamIdParts.length>0){if(t.streamId!==null||n.streamId!==null||t.streamIdParts.length!==c.streamIdParts.length||n.streamIdParts.length!==c.streamIdParts.length)return null;let e=c.streamIdParts.map(e=>{let r=t.streamIdParts.filter(t=>t.property===e.name),i=n.streamIdParts.filter(t=>t.property===e.name);return r.length===1&&i.length===1?compare(r[0].source,i[0].source,e.type):null});return e.includes(!1)?!1:!e.includes(null)||null}return t.streamIdParts.length>0||n.streamIdParts.length>0?null:c.streamId===null?t.streamId===null&&n.streamId===null||null:compare(t.streamId?.source,n.streamId?.source,c.streamId)}export{formatSpecificationStreamId,matchesSpecificationRoute};
 //# sourceMappingURL=SpecificationRouteComparison.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"SpecificationRouteComparison.js","names":["concepts","uniqueByName","application","composites","properties","name","type","expression","compatibleValue","primitive","formatStreamIdLiteral","noStream","given","expected","catalog","EventSourceCatalog","actual","target","stream","first","left","second","right","comparisons","mapping","part"],"sources":["../../../../../../Compiler/Parsing/SpecificationRouteComparison.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 { TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventSourceCatalog } from '../Syntax/EventSourceCatalog';\nimport { EventSourceResolutionKind } from '../Syntax/EventSources';\nimport { formatStreamIdLiteral } from './EventSourceValidator';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { SpecificationStreamSyntax, SpecificationNoStreamSyntax } from '../Syntax/Specifications';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\n\nexport function formatSpecificationStreamId(expression: ExpressionSyntax | null | undefined, type: TypeRefSyntax, application: ApplicationSyntax): string | null {\n    const concepts = uniqueByName(application.concepts);\n    const composites = uniqueByName(application.types);\n    const properties = new Map([...composites].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    if (expression?.kind !== 'LiteralExpressionSyntax' || !compatibleValue(expression, type, concepts, properties)) return null;\n    const primitive = concepts.get(type.name)?.type ?? type.name;\n    return ['String', 'Uuid', 'Int'].includes(primitive) ? formatStreamIdLiteral(expression, type, application)?.value ?? null : null;\n}\n\nexport function matchesSpecificationRoute(given: SpecificationStreamSyntax | null | undefined, expected: SpecificationStreamSyntax | null | undefined, noStream: SpecificationNoStreamSyntax | null | undefined, application: ApplicationSyntax): boolean | null {\n    if (noStream != null) return given == null;\n    if (expected == null) return true;\n    if (given == null) return false;\n    const catalog = new EventSourceCatalog(application);\n    const actual = catalog.resolve(given.eventSource, given.stream);\n    const target = catalog.resolve(expected.eventSource, expected.stream);\n    if (actual.kind !== EventSourceResolutionKind.Unique || target.kind !== EventSourceResolutionKind.Unique) return null;\n    if (actual.sources[0] !== target.sources[0] || actual.streams[0] !== target.streams[0]) return false;\n    const stream = target.streams[0];\n    const compare = (left: ExpressionSyntax | null | undefined, right: ExpressionSyntax | null | undefined, type: TypeRefSyntax): boolean | null => {\n        const first = formatSpecificationStreamId(left, type, application);\n        const second = formatSpecificationStreamId(right, type, application);\n        return first === null || second === null ? null : first === second;\n    };\n    if (stream.streamIdParts.length > 0) {\n        if (given.streamId !== null || expected.streamId !== null || given.streamIdParts.length !== stream.streamIdParts.length || expected.streamIdParts.length !== stream.streamIdParts.length) return null;\n        const comparisons = stream.streamIdParts.map(part => {\n            const left = given.streamIdParts.filter(mapping => mapping.property === part.name);\n            const right = expected.streamIdParts.filter(mapping => mapping.property === part.name);\n            return left.length === 1 && right.length === 1 ? compare(left[0].source, right[0].source, part.type) : null;\n        });\n        return comparisons.includes(false) ? false : comparisons.includes(null) ? null : true;\n    }\n    if (given.streamIdParts.length > 0 || expected.streamIdParts.length > 0) return null;\n    if (stream.streamId === null) return given.streamId === null && expected.streamId === null ? true : null;\n    return compare(given.streamId?.source, expected.streamId?.source, stream.streamId);\n}\n"],"mappings":"uQAYA,SAAgB,4BAA4B,EAAiD,EAAqB,EAA+C,CAC7J,IAAMA,EAAWC,EAAaC,EAAY,QAAQ,EAC5CC,EAAaF,EAAaC,EAAY,KAAK,EAC3CE,EAAa,IAAI,IAAI,CAAC,GAAGD,CAAU,CAAC,CAAC,KAAK,CAACE,EAAMC,KAAU,CAACD,EAAMJ,EAAaK,EAAK,UAAU,CAAC,CAAC,CAAC,EACvG,GAAIC,GAAY,OAAS,2BAA6B,CAACC,EAAgBD,EAAYD,EAAMN,EAAUI,CAAU,EAAG,OAAO,KACvH,IAAMK,EAAYT,EAAS,IAAIM,EAAK,IAAI,CAAC,EAAE,MAAQA,EAAK,KACxD,MAAO,CAAC,SAAU,OAAQ,KAAK,CAAC,CAAC,SAASG,CAAS,EAAIC,EAAsBH,EAAYD,EAAMJ,CAAW,CAAC,EAAE,OAAS,KAAO,IACjI,CAEA,SAAgB,0BAA0B,EAAqD,EAAwD,EAA0D,EAAgD,CAC7P,GAAIS,GAAY,KAAM,OAAOC,GAAS,KACtC,GAAIC,GAAY,KAAM,MAAO,GAC7B,GAAID,GAAS,KAAM,MAAO,GAC1B,IAAME,EAAU,IAAIC,EAAmBb,CAAW,EAC5Cc,EAASF,EAAQ,QAAQF,EAAM,YAAaA,EAAM,MAAM,EACxDK,EAASH,EAAQ,QAAQD,EAAS,YAAaA,EAAS,MAAM,EACpE,GAAIG,EAAO,OAAA,UAA6CC,EAAO,OAAA,SAA2C,OAAO,KACjH,GAAID,EAAO,QAAQ,KAAOC,EAAO,QAAQ,IAAMD,EAAO,QAAQ,KAAOC,EAAO,QAAQ,GAAI,MAAO,GAC/F,IAAMC,EAASD,EAAO,QAAQ,GACxB,SAAW,EAA2C,EAA4C,IAAwC,CAC5I,IAAME,EAAQ,4BAA4BC,EAAMd,EAAMJ,CAAW,EAC3DmB,EAAS,4BAA4BC,EAAOhB,EAAMJ,CAAW,EACnE,OAAOiB,IAAU,MAAQE,IAAW,KAAO,KAAOF,IAAUE,CAChE,EACA,GAAIH,EAAO,cAAc,OAAS,EAAG,CACjC,GAAIN,EAAM,WAAa,MAAQC,EAAS,WAAa,MAAQD,EAAM,cAAc,SAAWM,EAAO,cAAc,QAAUL,EAAS,cAAc,SAAWK,EAAO,cAAc,OAAQ,OAAO,KACjM,IAAMK,EAAcL,EAAO,cAAc,IAAI,GAAQ,CACjD,IAAME,EAAOR,EAAM,cAAc,OAAO,GAAWY,EAAQ,WAAaC,EAAK,IAAI,EAC3EH,EAAQT,EAAS,cAAc,OAAO,GAAWW,EAAQ,WAAaC,EAAK,IAAI,EACrF,OAAOL,EAAK,SAAW,GAAKE,EAAM,SAAW,EAAI,QAAQF,EAAK,EAAE,CAAC,OAAQE,EAAM,EAAE,CAAC,OAAQG,EAAK,IAAI,EAAI,IAC3G,CAAC,EACD,OAAOF,EAAY,SAAS,EAAK,EAAI,GAAQ,GAAY,SAAS,IAAI,GAAI,IAC9E,CAGA,OAFIX,EAAM,cAAc,OAAS,GAAKC,EAAS,cAAc,OAAS,EAAU,KAC5EK,EAAO,WAAa,KAAaN,EAAM,WAAa,MAAQC,EAAS,WAAa,MAAc,KAC7F,QAAQD,EAAM,UAAU,OAAQC,EAAS,UAAU,OAAQK,EAAO,QAAQ,CACrF"}
+{"version":3,"file":"SpecificationRouteComparison.js","names":["concepts","uniqueByName","application","composites","properties","name","type","expression","compatibleValue","primitive","formatStreamIdLiteral","noStream","given","expected","catalog","EventSourceCatalog","actual","target","stream","first","left","second","right","comparisons","mapping","part"],"sources":["../../../../../../Compiler/Parsing/SpecificationRouteComparison.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 { TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventSourceCatalog } from '../Syntax/EventSourceCatalog';\nimport { EventSourceResolutionKind } from '../Syntax/EventSources';\nimport { formatStreamIdLiteral } from './EventSourceValidator';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { SpecificationStreamSyntax, SpecificationNoStreamSyntax } from '../Syntax/Specifications';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\n\nexport function formatSpecificationStreamId(expression: ExpressionSyntax | null | undefined, type: TypeRefSyntax, application: ApplicationSyntax): string | null {\n    const concepts = uniqueByName(application.concepts);\n    const composites = uniqueByName(application.types);\n    const properties = new Map([...composites].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    if (expression?.kind !== 'LiteralExpressionSyntax' || !compatibleValue(expression, type, concepts, properties)) return null;\n    const primitive = concepts.get(type.name)?.type ?? type.name;\n    return ['String', 'Uuid', 'Int'].includes(primitive) ? formatStreamIdLiteral(expression, type, application)?.value ?? null : null;\n}\n\nexport function matchesSpecificationRoute(given: SpecificationStreamSyntax | null | undefined, expected: SpecificationStreamSyntax | null | undefined, noStream: SpecificationNoStreamSyntax | null | undefined, application: ApplicationSyntax): boolean | null {\n    if (noStream != null) return given == null;\n    if (expected == null) return true;\n    if (given == null) return false;\n    const catalog = new EventSourceCatalog(application);\n    const actual = catalog.resolve(given.eventSource, given.stream);\n    const target = catalog.resolve(expected.eventSource, expected.stream);\n    if (actual.kind !== EventSourceResolutionKind.Unique || target.kind !== EventSourceResolutionKind.Unique) return null;\n    if (actual.sources[0] !== target.sources[0] || actual.streams[0] !== target.streams[0]) return false;\n    const stream = target.streams[0];\n    const compare = (left: ExpressionSyntax | null | undefined, right: ExpressionSyntax | null | undefined, type: TypeRefSyntax): boolean | null => {\n        const first = formatSpecificationStreamId(left, type, application);\n        const second = formatSpecificationStreamId(right, type, application);\n        return first === null || second === null ? null : first === second;\n    };\n    if (stream.streamIdParts.length > 0) {\n        if (given.streamId !== null || expected.streamId !== null || given.streamIdParts.length !== stream.streamIdParts.length || expected.streamIdParts.length !== stream.streamIdParts.length) return null;\n        const comparisons = stream.streamIdParts.map(part => {\n            const left = given.streamIdParts.filter(mapping => mapping.property === part.name);\n            const right = expected.streamIdParts.filter(mapping => mapping.property === part.name);\n            return left.length === 1 && right.length === 1 ? compare(left[0].source, right[0].source, part.type) : null;\n        });\n        return comparisons.includes(false) ? false : comparisons.includes(null) ? null : true;\n    }\n    if (given.streamIdParts.length > 0 || expected.streamIdParts.length > 0) return null;\n    if (stream.streamId === null) return given.streamId === null && expected.streamId === null ? true : null;\n    return compare(given.streamId?.source, expected.streamId?.source, stream.streamId);\n}\n"],"mappings":"A,uQAYA,SAAgB,4BAA4B,EAAiD,EAAqB,EAA+C,CAC7J,IAAMA,EAAWC,EAAaC,EAAY,QAAQ,EAC5CC,EAAaF,EAAaC,EAAY,KAAK,EAC3CE,EAAa,IAAI,IAAI,CAAC,GAAGD,CAAU,CAAC,CAAC,KAAK,CAACE,EAAMC,KAAU,CAACD,EAAMJ,EAAaK,EAAK,UAAU,CAAC,CAAC,CAAC,EACvG,GAAIC,GAAY,OAAS,2BAA6B,CAACC,EAAgBD,EAAYD,EAAMN,EAAUI,CAAU,EAAG,OAAO,KACvH,IAAMK,EAAYT,EAAS,IAAIM,EAAK,IAAI,CAAC,EAAE,MAAQA,EAAK,KACxD,MAAO,CAAC,SAAU,OAAQ,KAAK,CAAC,CAAC,SAASG,CAAS,EAAIC,EAAsBH,EAAYD,EAAMJ,CAAW,CAAC,EAAE,OAAS,KAAO,IACjI,CAEA,SAAgB,0BAA0B,EAAqD,EAAwD,EAA0D,EAAgD,CAC7P,GAAIS,GAAY,KAAM,OAAOC,GAAS,KACtC,GAAIC,GAAY,KAAM,MAAO,GAC7B,GAAID,GAAS,KAAM,MAAO,GAC1B,IAAME,EAAU,IAAIC,EAAmBb,CAAW,EAC5Cc,EAASF,EAAQ,QAAQF,EAAM,YAAaA,EAAM,MAAM,EACxDK,EAASH,EAAQ,QAAQD,EAAS,YAAaA,EAAS,MAAM,EACpE,GAAIG,EAAO,OAAA,UAA6CC,EAAO,OAAA,SAA2C,OAAO,KACjH,GAAID,EAAO,QAAQ,KAAOC,EAAO,QAAQ,IAAMD,EAAO,QAAQ,KAAOC,EAAO,QAAQ,GAAI,MAAO,GAC/F,IAAMC,EAASD,EAAO,QAAQ,GACxB,SAAW,EAA2C,EAA4C,IAAwC,CAC5I,IAAME,EAAQ,4BAA4BC,EAAMd,EAAMJ,CAAW,EAC3DmB,EAAS,4BAA4BC,EAAOhB,EAAMJ,CAAW,EACnE,OAAOiB,IAAU,MAAQE,IAAW,KAAO,KAAOF,IAAUE,CAChE,EACA,GAAIH,EAAO,cAAc,OAAS,EAAG,CACjC,GAAIN,EAAM,WAAa,MAAQC,EAAS,WAAa,MAAQD,EAAM,cAAc,SAAWM,EAAO,cAAc,QAAUL,EAAS,cAAc,SAAWK,EAAO,cAAc,OAAQ,OAAO,KACjM,IAAMK,EAAcL,EAAO,cAAc,IAAI,GAAQ,CACjD,IAAME,EAAOR,EAAM,cAAc,OAAO,GAAWY,EAAQ,WAAaC,EAAK,IAAI,EAC3EH,EAAQT,EAAS,cAAc,OAAO,GAAWW,EAAQ,WAAaC,EAAK,IAAI,EACrF,OAAOL,EAAK,SAAW,GAAKE,EAAM,SAAW,EAAI,QAAQF,EAAK,EAAE,CAAC,OAAQE,EAAM,EAAE,CAAC,OAAQG,EAAK,IAAI,EAAI,IAC3G,CAAC,EACD,OAAOF,EAAY,SAAS,EAAK,EAAI,GAAQ,GAAY,SAAS,IAAI,GAAI,IAC9E,CAGA,OAFIX,EAAM,cAAc,OAAS,GAAKC,EAAS,cAAc,OAAS,EAAU,KAC5EK,EAAO,WAAa,KAAaN,EAAM,WAAa,MAAQC,EAAS,WAAa,MAAc,KAC7F,QAAQD,EAAM,UAAU,OAAQC,EAAS,UAAU,OAAQK,EAAO,QAAQ,CACrF,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{AuthoringProductionResolver as t}from"../Syntax/AuthoringProductionResolver.js";import{diagnosticText as n}from"../Diagnostics/DiagnosticArgument.js";import{EventSourceCatalog as r}from"../Syntax/EventSourceCatalog.js";import{expandEffectiveSpecificationExamples as i,specificationExamples as a}from"./SpecificationCommandExamples.js";import{compatibleValue as o,uniqueByName as s}from"./ResponseValidator.js";import{commandDestinationType as c}from"./CommandDestinationTypes.js";import{LineReader as l}from"./LineReader.js";import{ParserContext as u}from"./ParserContext.js";import{streamIdFailureMessage as d}from"../Syntax/StreamIdFormatter.js";import{validateStreamIdParts as f}from"./CompositeStreamIdValidator.js";import{formatSpecificationStreamId as p}from"./SpecificationRouteComparison.js";import{formatStreamIdLiteral as m}from"./EventSourceValidator.js";function validateSpecificationStreams(n,r){let i=new t(n).slices.flatMap(({slice:e})=>e.specifications.flatMap(e=>e.cases??[]));if(i.length===0)return validateRoutes(n,r);let a=new u(new l([]));validateRoutes(n,a);let o=/* @__PURE__ */ new Set,s=/* @__PURE__ */ new Set;for(let t of a.diagnostics){let n=JSON.stringify([t.code,t.location.path,t.location.line,t.location.column,t.message]);if(s.has(n))continue;s.add(n);let a=t.code===e.InvalidSpecificationStreamRoute?i.find(e=>e.values.some(e=>e.source.location.line===t.location.line&&e.source.location.column===t.location.column&&e.source.location.path===t.location.path)):void 0;if(a===void 0)r.error(t.code,t.message,t.location,t.arguments);else{let e=JSON.stringify(t.location);o.has(e)||r.error(t.code,`Case '${a.name}': ${t.message}`,t.location,t.arguments),o.add(e)}}}function validateRoutes(l,u){let h=a(l).resolvedExamples,g=i(l);l=g.application;let _=new t(l),v=/* @__PURE__ */ new Set,y=h.flatMap(t=>{if(t.kind!==`event`)return(t.kind===`command`||t.kind===`readmodel`)&&(t.example.stream!=null||t.example.noStream!=null)&&u.error(e.InvalidSpecificationExampleBody,`only event examples carry routes; a command's route comes from its declaration, and read models have none`,(t.example.stream??t.example.noStream).location,n(`example`,t.example.name)),[];let r={kind:`SpecificationEventSyntax`,eventType:t.name,values:t.example.values,for:t.example.for,stream:t.example.stream,noStream:t.example.noStream,location:t.example.location};return v.add(r),[{scope:t.scope,specification:{when:null,given:[],whenAppended:null,thenEvents:[r],whenRedelivered:null}}]}),b=new r(l),x=s(l.concepts),S=s(l.types),C=new Map([...S].map(([e,t])=>[e,s(t.properties)])),compatible=(e,t)=>o(e,t,x,C),w=/* @__PURE__ */ new Set([`String`,`Uuid`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`,...x.keys(),...S.keys()]),nominallyCompatible=(e,t)=>w.has(e.name)&&w.has(t.name)?e.name===t.name&&e.isCollection===t.isCollection&&(!e.isOptional||t.isOptional):null,formatStreamId=(e,t)=>p(e,t,l),eventOf=(e,t)=>{let n=_.resolve(e,t).declaration;return n?.node.kind===`EventSyntax`?n.node:null},T=[];for(let{slice:e}of _.slices){for(let t of e.commands)for(let n of t.produces){if(!_.isEventProduction(n,e))continue;let r=eventOf(n.event,e);if(r===null)continue;let i=c(t,n,l,{resolver:_,slice:e});T.push({event:r,command:t,type:i,route:n.stream??t.stream})}for(let t of e.reactions.flatMap(e=>e.triggers).flatMap(e=>[...e.produces,...e.invokes.flatMap(e=>e.onRefused??[]).flatMap(e=>e.produces)])){let n=eventOf(t.event,e);n!==null&&T.push({event:n,command:null,type:null})}for(let t of e.captures)for(let n of[...t.appends,...t.children.flatMap(e=>e.appends),...t.nested.flatMap(e=>e.appends)]){let t=eventOf(n.event,e);t!==null&&T.push({event:t,command:null,type:null})}}let E=[...y.flatMap(e=>_.slices.filter(t=>t.scope.join(`.`)===e.scope.join(`.`)).map(({slice:t,scope:n})=>({slice:t,scope:n,specification:e.specification}))),..._.slices.flatMap(({slice:e,scope:t})=>e.specifications.map(n=>({slice:e,scope:t,specification:n})))];for(let{slice:t,scope:n,specification:r}of E){let i=_.slices.flatMap(e=>e.slice.commands.map(t=>({command:t,scope:e.scope}))),a=r.when?.commandType.split(`.`)??[],o=a.slice(0,-1),s=i.filter(e=>e.command.name===a.at(-1)&&o.every((t,n)=>e.scope[e.scope.length-o.length+n]===t)),c=o.length>0&&s.length===1?s[0].command:null;for(let e=n.length;o.length===0&&e>=0&&c===null;e--){let t=s.filter(t=>n.slice(0,e).every((e,n)=>t.scope[n]===e));if(t.length>0){c=t.length===1?t[0].command:null;break}}let p=[...r.given.map(e=>({node:e,required:!0,expected:!1})),...r.whenAppended===null?[]:[{node:r.whenAppended,required:!0,expected:!1}],...r.thenEvents.map(e=>({node:e,required:!1,expected:!v.has(e)})),...r.whenRedelivered==null?[]:[{node:{...r.whenRedelivered,kind:`SpecificationEventSyntax`},required:!1,expected:!1}]];for(let{node:n,required:r,expected:i}of p){let a=g.specifications.flatMap(e=>e.steps).find(e=>e.effective===n),o=a?.route?.origin!==`example`,s=o||n.for!==a?.example?.for,contextualError=(e,t,n)=>{u.error(e,a?.example==null?t:`${t} Example '${a.example.name}' is used here.`,a?.example==null?n:a.authored.location)};if(n.stream==null&&n.noStream==null)continue;r&&n.noStream!=null&&contextualError(e.InvalidSpecificationStream,`Expected 'stream Source.Stream', or 'no stream' on a then event.`,n.noStream.location);let p=null,h=eventOf(n.eventType,t),_=T.filter(e=>e.event===h);if(n.stream!=null){let t=n.stream,i=b.resolve(t.eventSource,t.stream);if(i.kind!==`unique`){let n={ambiguous:`Ambiguous`,notFound:`NotFound`,wrongKind:`WrongKind`}[i.kind];o&&u.error(e.InvalidSpecificationStreamRoute,`Stream '${t.eventSource}.${t.stream}' is ${n}; routing requires one physical source and stream.`,t.location);continue}let c=i.sources[0],h=i.streams[0],validateLiteral=(t,n)=>{let r=t.source,i=m(r,n,l);i?.failure==null?(r.kind!==`LiteralExpressionSyntax`||r.value===null||n!==null&&!compatible(r,n))&&u.error(e.InvalidSpecificationStreamRoute,`A specification stream id needs a nonempty concrete scalar literal compatible with the stream's declared type.`,r.location):u.error(e.InvalidSpecificationStreamRoute,d(i.failure),r.location)};if(o&&(h.streamIdParts.length>0?f(h,t.streamIdParts,t.streamId!==null,t.location,e.InvalidSpecificationStreamRoute,u,validateLiteral):t.streamIdParts.length>0?u.error(e.InvalidSpecificationStreamRoute,`A streamId part block requires a composite stream.`,t.location):(h.streamId===null!=(t.streamId===null)&&u.error(e.InvalidSpecificationStreamRoute,h.streamId===null?`An unkeyed stream cannot take a streamId mapping.`:`This keyed stream requires a streamId mapping.`,t.location),t.streamId!==null&&validateLiteral(t.streamId,h.streamId))),p=c.identifier,p===null){let n=_.map(e=>e.type),r=new Set(n.filter(e=>e!==null).map(e=>`${e.name}:${e.isOptional}:${e.isCollection}`));n.length===0||n.some(e=>e===null)||r.size!==1?o&&u.error(e.InvalidSpecificationStreamEventSource,`Declare an identifier on source '${c.name}'; the event's producers do not supply one unambiguous destination type.`,t.location):p=n[0]}let g=!1;if(a?.example?.stream!=null&&n.for!==null&&n.for===a.example.for){let e=b.resolve(a.example.stream.eventSource,a.example.stream.stream);if(e.kind===`unique`){let t=_.map(e=>e.type),r=new Set(t.filter(e=>e!==null).map(e=>`${e.name}:${e.isOptional}:${e.isCollection}`)),i=e.sources[0].identifier??(t.length>0&&!t.some(e=>e===null)&&r.size===1?t[0]:null);i!==null&&(g=n.for.kind!==`LiteralExpressionSyntax`||n.for.value===null||i.isCollection||i.isOptional||!compatible(n.for,i))}}r&&n.for===null?contextualError(e.InvalidSpecificationStreamEventSource,`A routed given or when append event requires 'for <literal>'.`,t.location):s&&!g&&n.for!==null&&(n.for.kind!==`LiteralExpressionSyntax`||n.for.value===null||p!==null&&(p.isCollection||p.isOptional||!compatible(n.for,p)))&&contextualError(e.InvalidSpecificationStreamEventSource,`A routed event's for value must be a concrete literal compatible with the source's identifier type.`,n.for.location)}if(!i||c===null||_.length===0||_.some(e=>e.command!==c))continue;let v=_.every(e=>{let t=e.route?.propertyCandidate===null?e.route:null,r=n.noStream==null?t==null||t.eventSource!==n.stream.eventSource||t.stream!==n.stream.stream:t!=null;if(!r&&n.stream!=null&&t!=null){let e=b.resolve(n.stream.eventSource,n.stream.stream),i=e.kind===`unique`?e.streams[0]:null;if(i!==null&&i.streamIdParts.length>0){if(t.streamId===null&&n.stream.streamId===null&&t.streamIdParts.length>0&&n.stream.streamIdParts.length>0)for(let e of i.streamIdParts){let i=t.streamIdParts.filter(t=>t.property===e.name),a=n.stream.streamIdParts.filter(t=>t.property===e.name);if(i.length!==1||a.length!==1)continue;let o=formatStreamId(i[0].source,e.type),s=formatStreamId(a[0].source,e.type);o!==null&&s!==null&&o!==s&&(r=!0)}}else if(i?.streamId!=null&&t.streamIdParts.length===0&&n.stream.streamIdParts.length===0){let e=formatStreamId(t.streamId?.source,i.streamId),a=formatStreamId(n.stream.streamId?.source,i.streamId);e!==null&&a!==null&&e!==a&&(r=!0)}}return r});n.for?.kind===`LiteralExpressionSyntax`&&_.every(e=>e.type!==null&&(p===null?!compatible(n.for,e.type):nominallyCompatible(e.type,p)===!1))&&(v=!0),v&&contextualError(e.SpecificationStreamContradictsCommand,`The expected event route contradicts its only producer, the command under test.`,(n.stream??n.noStream).location)}}}export{validateSpecificationStreams};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{diagnosticText as e}from"../Diagnostics/DiagnosticArgument.js";import{DiagnosticCodes as t}from"../Diagnostics/DiagnosticCodes.js";import{AuthoringProductionResolver as n}from"../Syntax/AuthoringProductionResolver.js";import{EventSourceCatalog as r}from"../Syntax/EventSourceCatalog.js";import{formatSpecificationStreamId as i}from"./SpecificationRouteComparison.js";import{streamIdFailureMessage as a}from"../Syntax/StreamIdFormatter.js";import{commandDestinationType as o}from"./CommandDestinationTypes.js";import{formatStreamIdLiteral as s}from"./EventSourceValidator.js";import{validateStreamIdParts as c}from"./CompositeStreamIdValidator.js";import{ParserContext as l}from"./ParserContext.js";import{LineReader as u}from"./LineReader.js";import{compatibleValue as d,uniqueByName as f}from"./ResponseValidator.js";import{expandEffectiveSpecificationExamples as p,specificationExamples as m}from"./SpecificationCommandExamples.js";function validateSpecificationStreams(e,r){let i=new n(e).slices.flatMap(({slice:e})=>e.specifications.flatMap(e=>e.cases??[]));if(i.length===0)return validateRoutes(e,r);let a=new l(new u([]));validateRoutes(e,a);let o=/* @__PURE__ */ new Set,s=/* @__PURE__ */ new Set;for(let e of a.diagnostics){let n=JSON.stringify([e.code,e.location.path,e.location.line,e.location.column,e.message]);if(s.has(n))continue;s.add(n);let a=e.code===t.InvalidSpecificationStreamRoute?i.find(t=>t.values.some(t=>t.source.location.line===e.location.line&&t.source.location.column===e.location.column&&t.source.location.path===e.location.path)):void 0;if(a===void 0)r.error(e.code,e.message,e.location,e.arguments);else{let t=JSON.stringify(e.location);o.has(t)||r.error(e.code,`Case '${a.name}': ${e.message}`,e.location,e.arguments),o.add(t)}}}function validateRoutes(l,u){let h=m(l).resolvedExamples,g=p(l);l=g.application;let _=new n(l),v=/* @__PURE__ */ new Set,y=h.flatMap(n=>{if(n.kind!==`event`)return n.kind!==`command`&&n.kind!==`readmodel`||n.example.stream==null&&n.example.noStream==null||u.error(t.InvalidSpecificationExampleBody,`only event examples carry routes; a command's route comes from its declaration, and read models have none`,(n.example.stream??n.example.noStream).location,e(`example`,n.example.name)),[];let r={kind:`SpecificationEventSyntax`,eventType:n.name,values:n.example.values,for:n.example.for,stream:n.example.stream,noStream:n.example.noStream,location:n.example.location};return v.add(r),[{scope:n.scope,specification:{when:null,given:[],whenAppended:null,thenEvents:[r],whenRedelivered:null}}]}),b=new r(l),x=f(l.concepts),S=f(l.types),C=new Map([...S].map(([e,t])=>[e,f(t.properties)])),compatible=(e,t)=>d(e,t,x,C),w=/* @__PURE__ */ new Set([`String`,`Uuid`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`,...x.keys(),...S.keys()]),nominallyCompatible=(e,t)=>w.has(e.name)&&w.has(t.name)?e.name===t.name&&e.isCollection===t.isCollection&&(!e.isOptional||t.isOptional):null,formatStreamId=(e,t)=>i(e,t,l),eventOf=(e,t)=>{let n=_.resolve(e,t).declaration;return n?.node.kind===`EventSyntax`?n.node:null},T=[];for(let{slice:e}of _.slices){for(let t of e.commands)for(let n of t.produces){if(!_.isEventProduction(n,e))continue;let r=eventOf(n.event,e);if(r===null)continue;let i=o(t,n,l,{resolver:_,slice:e});T.push({event:r,command:t,type:i,route:n.stream??t.stream})}for(let t of e.reactions.flatMap(e=>e.triggers).flatMap(e=>[...e.produces,...e.invokes.flatMap(e=>e.onRefused??[]).flatMap(e=>e.produces)])){let n=eventOf(t.event,e);n!==null&&T.push({event:n,command:null,type:null})}for(let t of e.captures)for(let n of[...t.appends,...t.children.flatMap(e=>e.appends),...t.nested.flatMap(e=>e.appends)]){let t=eventOf(n.event,e);t!==null&&T.push({event:t,command:null,type:null})}}let E=[...y.flatMap(e=>_.slices.filter(t=>t.scope.join(`.`)===e.scope.join(`.`)).map(({slice:t,scope:n})=>({slice:t,scope:n,specification:e.specification}))),..._.slices.flatMap(({slice:e,scope:t})=>e.specifications.map(n=>({slice:e,scope:t,specification:n})))];for(let{slice:e,scope:n,specification:r}of E){let i=_.slices.flatMap(e=>e.slice.commands.map(t=>({command:t,scope:e.scope}))),o=r.when?.commandType.split(`.`)??[],d=o.slice(0,-1),f=i.filter(e=>e.command.name===o.at(-1)&&d.every((t,n)=>e.scope[e.scope.length-d.length+n]===t)),p=d.length>0&&f.length===1?f[0].command:null;for(let e=n.length;d.length===0&&e>=0&&p===null;e--){let t=f.filter(t=>n.slice(0,e).every((e,n)=>t.scope[n]===e));if(t.length>0){p=t.length===1?t[0].command:null;break}}let m=[...r.given.map(e=>({node:e,required:!0,expected:!1})),...r.whenAppended===null?[]:[{node:r.whenAppended,required:!0,expected:!1}],...r.thenEvents.map(e=>({node:e,required:!1,expected:!v.has(e)})),...r.whenRedelivered==null?[]:[{node:{...r.whenRedelivered,kind:`SpecificationEventSyntax`},required:!1,expected:!1}]];for(let{node:n,required:r,expected:i}of m){let o=g.specifications.flatMap(e=>e.steps).find(e=>e.effective===n),d=o?.route?.origin!==`example`,f=d||n.for!==o?.example?.for,contextualError=(e,t,n)=>{u.error(e,o?.example==null?t:`${t} Example '${o.example.name}' is used here.`,o?.example==null?n:o.authored.location)};if(n.stream==null&&n.noStream==null)continue;r&&n.noStream!=null&&contextualError(t.InvalidSpecificationStream,`Expected 'stream Source.Stream', or 'no stream' on a then event.`,n.noStream.location);let m=null,h=eventOf(n.eventType,e),_=T.filter(e=>e.event===h);if(n.stream!=null){let e=n.stream,i=b.resolve(e.eventSource,e.stream);if(i.kind!==`unique`){let n={ambiguous:`Ambiguous`,notFound:`NotFound`,wrongKind:`WrongKind`}[i.kind];d&&u.error(t.InvalidSpecificationStreamRoute,`Stream '${e.eventSource}.${e.stream}' is ${n}; routing requires one physical source and stream.`,e.location);continue}let p=i.sources[0],h=i.streams[0],validateLiteral=(e,n)=>{let r=e.source,i=s(r,n,l);i?.failure==null?(r.kind!==`LiteralExpressionSyntax`||r.value===null||n!==null&&!compatible(r,n))&&u.error(t.InvalidSpecificationStreamRoute,`A specification stream id needs a nonempty concrete scalar literal compatible with the stream's declared type.`,r.location):u.error(t.InvalidSpecificationStreamRoute,a(i.failure),r.location)};if(d&&(h.streamIdParts.length>0?c(h,e.streamIdParts,e.streamId!==null,e.location,t.InvalidSpecificationStreamRoute,u,validateLiteral):e.streamIdParts.length>0?u.error(t.InvalidSpecificationStreamRoute,`A streamId part block requires a composite stream.`,e.location):(h.streamId===null!=(e.streamId===null)&&u.error(t.InvalidSpecificationStreamRoute,h.streamId===null?`An unkeyed stream cannot take a streamId mapping.`:`This keyed stream requires a streamId mapping.`,e.location),e.streamId!==null&&validateLiteral(e.streamId,h.streamId))),m=p.identifier,m===null){let n=_.map(e=>e.type),r=new Set(n.filter(e=>e!==null).map(e=>`${e.name}:${e.isOptional}:${e.isCollection}`));n.length===0||n.some(e=>e===null)||r.size!==1?d&&u.error(t.InvalidSpecificationStreamEventSource,`Declare an identifier on source '${p.name}'; the event's producers do not supply one unambiguous destination type.`,e.location):m=n[0]}let g=!1;if(o?.example?.stream!=null&&n.for!==null&&n.for===o.example.for){let e=b.resolve(o.example.stream.eventSource,o.example.stream.stream);if(e.kind===`unique`){let t=_.map(e=>e.type),r=new Set(t.filter(e=>e!==null).map(e=>`${e.name}:${e.isOptional}:${e.isCollection}`)),i=e.sources[0].identifier??(t.length>0&&!t.some(e=>e===null)&&r.size===1?t[0]:null);i!==null&&(g=n.for.kind!==`LiteralExpressionSyntax`||n.for.value===null||i.isCollection||i.isOptional||!compatible(n.for,i))}}r&&n.for===null?contextualError(t.InvalidSpecificationStreamEventSource,`A routed given or when append event requires 'for <literal>'.`,e.location):f&&!g&&n.for!==null&&(n.for.kind!==`LiteralExpressionSyntax`||n.for.value===null||m!==null&&(m.isCollection||m.isOptional||!compatible(n.for,m)))&&contextualError(t.InvalidSpecificationStreamEventSource,`A routed event's for value must be a concrete literal compatible with the source's identifier type.`,n.for.location)}if(!i||p===null||_.length===0||_.some(e=>e.command!==p))continue;let v=_.every(e=>{let t=e.route?.propertyCandidate===null?e.route:null,r=n.noStream==null?t==null||t.eventSource!==n.stream.eventSource||t.stream!==n.stream.stream:t!=null;if(!r&&n.stream!=null&&t!=null){let e=b.resolve(n.stream.eventSource,n.stream.stream),i=e.kind===`unique`?e.streams[0]:null;if(i!==null&&i.streamIdParts.length>0){if(t.streamId===null&&n.stream.streamId===null&&t.streamIdParts.length>0&&n.stream.streamIdParts.length>0)for(let e of i.streamIdParts){let i=t.streamIdParts.filter(t=>t.property===e.name),a=n.stream.streamIdParts.filter(t=>t.property===e.name);if(i.length!==1||a.length!==1)continue;let o=formatStreamId(i[0].source,e.type),s=formatStreamId(a[0].source,e.type);o!==null&&s!==null&&o!==s&&(r=!0)}}else if(i?.streamId!=null&&t.streamIdParts.length===0&&n.stream.streamIdParts.length===0){let e=formatStreamId(t.streamId?.source,i.streamId),a=formatStreamId(n.stream.streamId?.source,i.streamId);e!==null&&a!==null&&e!==a&&(r=!0)}}return r});n.for?.kind===`LiteralExpressionSyntax`&&_.every(e=>e.type!==null&&(m===null?!compatible(n.for,e.type):nominallyCompatible(e.type,m)===!1))&&(v=!0),v&&contextualError(t.SpecificationStreamContradictsCommand,`The expected event route contradicts its only producer, the command under test.`,(n.stream??n.noStream).location)}}}export{validateSpecificationStreams};
 //# sourceMappingURL=SpecificationStreamValidator.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"SpecificationStreamValidator.js","names":["rows","AuthoringProductionResolver","application","slice","specification","context","sink","ParserContext","LineReader","reported","distinct","diagnostic","key","row","DiagnosticCodes","value","examples","specificationExamples","expansion","expandEffectiveSpecificationExamples","resolver","declarationSteps","exampleSpecifications","entry","diagnosticText","node","catalog","EventSourceCatalog","concepts","uniqueByName","composites","properties","name","type","compatibleValue","known","source","target","formatSpecificationStreamId","expression","declared","reference","producers","command","produced","event","commandDestinationType","reaction","trigger","invocation","branch","capture","appended","child","nested","validationSpecifications","owner","commands","parts","qualifiers","candidates","index","segment","depth","scope","visible","occurrences","step","pair","validateRoute","validateFor","code","message","location","required","identifier","eventProducers","producer","route","resolution","state","stream","mapping","formatted","formatStreamIdLiteral","streamIdFailureMessage","validateStreamIdParts","types","inheritedIdentityIsInvalid","prior","priorIdentifier","expected","contradicts","commandRoute","differs","part","actual","actualId","expectedId"],"sources":["../../../../../../Compiler/Parsing/SpecificationStreamValidator.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 { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { AuthoringProductionResolver } from '../Syntax/AuthoringProductionResolver';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { EventSyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventSourceCatalog } from '../Syntax/EventSourceCatalog';\nimport { CommandStreamSyntax, EventSourceResolutionKind } from '../Syntax/EventSources';\nimport { formatSpecificationStreamId } from './SpecificationRouteComparison';\nimport { streamIdFailureMessage } from '../Syntax/StreamIdFormatter';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { commandDestinationType } from './CommandDestinationTypes';\nimport { formatStreamIdLiteral } from './EventSourceValidator';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { validateStreamIdParts } from './CompositeStreamIdValidator';\nimport { ParserContext } from './ParserContext';\nimport { LineReader } from './LineReader';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\nimport { expandEffectiveSpecificationExamples, specificationExamples } from './SpecificationCommandExamples';\nimport { SpecificationEventSyntax } from '../Syntax/Specifications';\n\ninterface Producer { event: EventSyntax; command: CommandSyntax | null; type: TypeRefSyntax | null; route?: CommandStreamSyntax | null }\n\nexport function validateSpecificationStreams(application: ApplicationSyntax, context: ParserContext): void {\n    const rows = new AuthoringProductionResolver(application).slices.flatMap(({ slice }) => slice.specifications.flatMap(specification => specification.cases ?? []));\n    if (rows.length === 0) return validateRoutes(application, context);\n    const sink = new ParserContext(new LineReader([]));\n    validateRoutes(application, sink);\n    const reported = new Set<string>();\n    const distinct = new Set<string>();\n    for (const diagnostic of sink.diagnostics) {\n        const key = JSON.stringify([diagnostic.code, diagnostic.location.path, diagnostic.location.line, diagnostic.location.column, diagnostic.message]);\n        if (distinct.has(key)) continue;\n        distinct.add(key);\n        const row = diagnostic.code === DiagnosticCodes.InvalidSpecificationStreamRoute ? rows.find(row => row.values.some(value => value.source.location.line === diagnostic.location.line && value.source.location.column === diagnostic.location.column && value.source.location.path === diagnostic.location.path)) : undefined;\n        if (row === undefined) context.error(diagnostic.code, diagnostic.message, diagnostic.location, diagnostic.arguments);\n        else {\n            const key = JSON.stringify(diagnostic.location);\n            if (!reported.has(key)) context.error(diagnostic.code, `Case '${row.name}': ${diagnostic.message}`, diagnostic.location, diagnostic.arguments);\n            reported.add(key);\n        }\n    }\n}\n\nfunction validateRoutes(application: ApplicationSyntax, context: ParserContext): void {\n    const examples = specificationExamples(application).resolvedExamples;\n    const expansion = expandEffectiveSpecificationExamples(application);\n    application = expansion.application;\n    const resolver = new AuthoringProductionResolver(application);\n    const declarationSteps = new Set<SpecificationEventSyntax>();\n    const exampleSpecifications = examples.flatMap(entry => {\n        if (entry.kind !== 'event') {\n            if ((entry.kind === 'command' || entry.kind === 'readmodel') && (entry.example.stream != null || entry.example.noStream != null))\n                context.error(DiagnosticCodes.InvalidSpecificationExampleBody, \"only event examples carry routes; a command's route comes from its declaration, and read models have none\", (entry.example.stream ?? entry.example.noStream)!.location, diagnosticText('example', entry.example.name));\n            return [];\n        }\n        const node: SpecificationEventSyntax = { kind: 'SpecificationEventSyntax', eventType: entry.name, values: entry.example.values, for: entry.example.for, stream: entry.example.stream, noStream: entry.example.noStream, location: entry.example.location };\n        declarationSteps.add(node);\n        return [{ scope: entry.scope, specification: { when: null, given: [], whenAppended: null, thenEvents: [node], whenRedelivered: null } }];\n    });\n    const catalog = new EventSourceCatalog(application);\n    const concepts = uniqueByName(application.concepts);\n    const composites = uniqueByName(application.types);\n    const properties = new Map([...composites].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    const compatible = (value: Parameters<typeof compatibleValue>[0], type: TypeRefSyntax): boolean => compatibleValue(value, type, concepts, properties);\n    const known = new Set(['String', 'Uuid', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime', ...concepts.keys(), ...composites.keys()]);\n    const nominallyCompatible = (source: TypeRefSyntax, target: TypeRefSyntax): boolean | null => known.has(source.name) && known.has(target.name)\n        ? source.name === target.name && source.isCollection === target.isCollection && (!source.isOptional || target.isOptional) : null;\n    const formatStreamId = (expression: ExpressionSyntax | null | undefined, type: TypeRefSyntax): string | null => formatSpecificationStreamId(expression, type, application);\n    const eventOf = (reference: string, slice: typeof resolver.slices[number]['slice']): EventSyntax | null => {\n        const declared = resolver.resolve(reference, slice).declaration;\n        return declared?.node.kind === 'EventSyntax' ? declared.node : null;\n    };\n    const producers: Producer[] = [];\n    for (const { slice } of resolver.slices) {\n        for (const command of slice.commands) for (const produced of command.produces) {\n            if (!resolver.isEventProduction(produced, slice)) continue;\n            const event = eventOf(produced.event, slice);\n            if (event === null) continue;\n            const type = commandDestinationType(command, produced, application, { resolver, slice });\n            producers.push({ event, command, type, route: produced.stream ?? command.stream });\n        }\n        for (const produced of slice.reactions.flatMap(reaction => reaction.triggers).flatMap(trigger => [...trigger.produces, ...trigger.invokes.flatMap(invocation => invocation.onRefused ?? []).flatMap(branch => branch.produces)])) {\n            const event = eventOf(produced.event, slice);\n            if (event !== null) producers.push({ event, command: null, type: null });\n        }\n        for (const capture of slice.captures) for (const appended of [...capture.appends, ...capture.children.flatMap(child => child.appends), ...capture.nested.flatMap(nested => nested.appends)]) {\n            const event = eventOf(appended.event, slice);\n            if (event !== null) producers.push({ event, command: null, type: null });\n        }\n    }\n    const validationSpecifications = [\n        ...exampleSpecifications.flatMap(entry => resolver.slices.filter(owner => owner.scope.join('.') === entry.scope.join('.')).map(({ slice, scope }) => ({ slice, scope, specification: entry.specification }))),\n        ...resolver.slices.flatMap(({ slice, scope }) => slice.specifications.map(specification => ({ slice, scope, specification })))\n    ];\n    for (const { slice, scope, specification } of validationSpecifications) {\n        const commands = resolver.slices.flatMap(entry => entry.slice.commands.map(command => ({ command, scope: entry.scope })));\n        const parts = specification.when?.commandType.split('.') ?? [];\n        const qualifiers = parts.slice(0, -1);\n        const candidates = commands.filter(entry => entry.command.name === parts.at(-1) && qualifiers.every((segment, index) => entry.scope[entry.scope.length - qualifiers.length + index] === segment));\n        let command: CommandSyntax | null = qualifiers.length > 0 && candidates.length === 1 ? candidates[0].command : null;\n        for (let depth = scope.length; qualifiers.length === 0 && depth >= 0 && command === null; depth--) {\n            const visible = candidates.filter(entry => scope.slice(0, depth).every((segment, index) => entry.scope[index] === segment));\n            if (visible.length > 0) { command = visible.length === 1 ? visible[0].command : null; break; }\n        }\n        const occurrences = [...specification.given.map(node => ({ node, required: true, expected: false })),\n            ...(specification.whenAppended === null ? [] : [{ node: specification.whenAppended, required: true, expected: false }]),\n            ...specification.thenEvents.map(node => ({ node, required: false, expected: !declarationSteps.has(node) })),\n            ...(specification.whenRedelivered == null ? [] : [{ node: { ...specification.whenRedelivered, kind: 'SpecificationEventSyntax' as const }, required: false, expected: false }])];\n        for (const { node, required, expected } of occurrences) {\n            const step = expansion.specifications.flatMap(pair => pair.steps).find(step => step.effective === node);\n            const validateRoute = step?.route?.origin !== 'example';\n            const validateFor = validateRoute || node.for !== step?.example?.for;\n            const contextualError = (code: string, message: string, location: typeof node.location): void => {\n                context.error(code, step?.example == null ? message : `${message} Example '${step.example.name}' is used here.`, step?.example == null ? location : step.authored.location);\n            };\n            if (node.stream == null && node.noStream == null) continue;\n            if (required && node.noStream != null)\n                contextualError(DiagnosticCodes.InvalidSpecificationStream, \"Expected 'stream Source.Stream', or 'no stream' on a then event.\", node.noStream.location);\n            let identifier: TypeRefSyntax | null = null;\n            const event = eventOf(node.eventType, slice);\n            const eventProducers = producers.filter(producer => producer.event === event);\n            if (node.stream != null) {\n                const route = node.stream;\n                const resolution = catalog.resolve(route.eventSource, route.stream);\n                if (resolution.kind !== EventSourceResolutionKind.Unique) {\n                    const state = { ambiguous: 'Ambiguous', notFound: 'NotFound', wrongKind: 'WrongKind' }[resolution.kind];\n                    if (validateRoute) context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, `Stream '${route.eventSource}.${route.stream}' is ${state}; routing requires one physical source and stream.`, route.location);\n                    continue;\n                }\n                const source = resolution.sources[0];\n                const stream = resolution.streams[0];\n                const validateLiteral = (mapping: PropertyMappingSyntax, target: TypeRefSyntax | null): void => {\n                    const value = mapping.source;\n                    const formatted = formatStreamIdLiteral(value, target, application);\n                    if (formatted?.failure != null) context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, streamIdFailureMessage(formatted.failure), value.location);\n                    else if (value.kind !== 'LiteralExpressionSyntax' || value.value === null || target !== null && !compatible(value, target))\n                        context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, \"A specification stream id needs a nonempty concrete scalar literal compatible with the stream's declared type.\", value.location);\n                };\n                if (!validateRoute) { /* The authored example's route is checked once at its declaration. */ }\n                else if (stream.streamIdParts.length > 0)\n                    validateStreamIdParts(stream, route.streamIdParts, route.streamId !== null, route.location, DiagnosticCodes.InvalidSpecificationStreamRoute, context, validateLiteral);\n                else if (route.streamIdParts.length > 0)\n                    context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, 'A streamId part block requires a composite stream.', route.location);\n                else {\n                    if ((stream.streamId === null) !== (route.streamId === null))\n                        context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, stream.streamId === null ? 'An unkeyed stream cannot take a streamId mapping.' : 'This keyed stream requires a streamId mapping.', route.location);\n                    if (route.streamId !== null) validateLiteral(route.streamId, stream.streamId);\n                }\n                identifier = source.identifier;\n                if (identifier === null) {\n                    const types = eventProducers.map(producer => producer.type);\n                    const distinct = new Set(types.filter(type => type !== null).map(type => `${type.name}:${type.isOptional}:${type.isCollection}`));\n                    if (types.length === 0 || types.some(type => type === null) || distinct.size !== 1) {\n                        if (validateRoute) context.error(DiagnosticCodes.InvalidSpecificationStreamEventSource, `Declare an identifier on source '${source.name}'; the event's producers do not supply one unambiguous destination type.`, route.location);\n                    } else identifier = types[0];\n                }\n                let inheritedIdentityIsInvalid = false;\n                if (step?.example?.stream != null && node.for !== null && node.for === step.example.for) {\n                    const prior = catalog.resolve(step.example.stream.eventSource, step.example.stream.stream);\n                    if (prior.kind === EventSourceResolutionKind.Unique) {\n                        const types = eventProducers.map(producer => producer.type);\n                        const distinct = new Set(types.filter(type => type !== null).map(type => `${type.name}:${type.isOptional}:${type.isCollection}`));\n                        const priorIdentifier = prior.sources[0].identifier ?? (types.length > 0 && !types.some(type => type === null) && distinct.size === 1 ? types[0] : null);\n                        if (priorIdentifier !== null)\n                            inheritedIdentityIsInvalid = node.for.kind !== 'LiteralExpressionSyntax' || node.for.value === null || priorIdentifier.isCollection || priorIdentifier.isOptional || !compatible(node.for, priorIdentifier);\n                    }\n                }\n                if (required && node.for === null)\n                    contextualError(DiagnosticCodes.InvalidSpecificationStreamEventSource, \"A routed given or when append event requires 'for <literal>'.\", route.location);\n                else if (validateFor && !inheritedIdentityIsInvalid && node.for !== null && (node.for.kind !== 'LiteralExpressionSyntax' || node.for.value === null || identifier !== null && (identifier.isCollection || identifier.isOptional || !compatible(node.for, identifier))))\n                    contextualError(DiagnosticCodes.InvalidSpecificationStreamEventSource, \"A routed event's for value must be a concrete literal compatible with the source's identifier type.\", node.for.location);\n            }\n            if (!expected || command === null || eventProducers.length === 0 || eventProducers.some(producer => producer.command !== command)) continue;\n            let contradicts = eventProducers.every(producer => {\n                const commandRoute = producer.route?.propertyCandidate === null ? producer.route : null;\n                let differs = node.noStream != null ? commandRoute != null : commandRoute == null || commandRoute.eventSource !== node.stream!.eventSource || commandRoute.stream !== node.stream!.stream;\n                if (!differs && node.stream != null && commandRoute != null) {\n                    const resolution = catalog.resolve(node.stream.eventSource, node.stream.stream);\n                    const stream = resolution.kind === EventSourceResolutionKind.Unique ? resolution.streams[0] : null;\n                    if (stream !== null && stream.streamIdParts.length > 0) {\n                        if (commandRoute.streamId === null && node.stream.streamId === null && commandRoute.streamIdParts.length > 0 && node.stream.streamIdParts.length > 0) {\n                            for (const part of stream.streamIdParts) {\n                                const actual = commandRoute.streamIdParts.filter(mapping => mapping.property === part.name);\n                                const expected = node.stream.streamIdParts.filter(mapping => mapping.property === part.name);\n                                if (actual.length !== 1 || expected.length !== 1) continue;\n                                const actualId = formatStreamId(actual[0].source, part.type);\n                                const expectedId = formatStreamId(expected[0].source, part.type);\n                                if (actualId !== null && expectedId !== null && actualId !== expectedId) differs = true;\n                            }\n                        }\n                    } else if (stream?.streamId != null && commandRoute.streamIdParts.length === 0 && node.stream.streamIdParts.length === 0) {\n                        const actualId = formatStreamId(commandRoute.streamId?.source, stream.streamId);\n                        const expectedId = formatStreamId(node.stream.streamId?.source, stream.streamId);\n                        if (actualId !== null && expectedId !== null && actualId !== expectedId) differs = true;\n                    }\n                }\n                return differs;\n            });\n            if (node.for?.kind === 'LiteralExpressionSyntax' && eventProducers.every(producer => producer.type !== null &&\n                (identifier !== null ? nominallyCompatible(producer.type, identifier) === false : !compatible(node.for!, producer.type)))) contradicts = true;\n            if (contradicts) contextualError(DiagnosticCodes.SpecificationStreamContradictsCommand, 'The expected event route contradicts its only producer, the command under test.', (node.stream ?? node.noStream)!.location);\n        }\n    }\n}\n"],"mappings":"k+BA0BA,SAAgB,6BAA6B,EAAgC,EAA8B,CACvG,IAAMA,EAAO,IAAIC,EAA4BC,CAAW,CAAC,CAAC,OAAO,SAAS,CAAE,WAAYC,EAAM,eAAe,QAAQ,GAAiBC,EAAc,OAAS,CAAC,CAAC,CAAC,EAChK,GAAIJ,EAAK,SAAW,EAAG,OAAO,eAAeE,EAAaG,CAAO,EACjE,IAAMC,EAAO,IAAIC,EAAc,IAAIC,EAAW,CAAC,CAAC,CAAC,EACjD,eAAeN,EAAaI,CAAI,EAChC,IAAMG,kBAAW,IAAI,IACfC,kBAAW,IAAI,IACrB,IAAK,IAAMC,KAAcL,EAAK,YAAa,CACvC,IAAMM,EAAM,KAAK,UAAU,CAACD,EAAW,KAAMA,EAAW,SAAS,KAAMA,EAAW,SAAS,KAAMA,EAAW,SAAS,OAAQA,EAAW,OAAO,CAAC,EAChJ,GAAID,EAAS,IAAIE,CAAG,EAAG,SACvBF,EAAS,IAAIE,CAAG,EAChB,IAAMC,EAAMF,EAAW,OAASG,EAAgB,gCAAkCd,EAAK,KAAK,GAAOa,EAAI,OAAO,KAAK,GAASE,EAAM,OAAO,SAAS,OAASJ,EAAW,SAAS,MAAQI,EAAM,OAAO,SAAS,SAAWJ,EAAW,SAAS,QAAUI,EAAM,OAAO,SAAS,OAASJ,EAAW,SAAS,IAAI,CAAC,EAAI,IAAA,GAClT,GAAIE,IAAQ,IAAA,GAAWR,EAAQ,MAAMM,EAAW,KAAMA,EAAW,QAASA,EAAW,SAAUA,EAAW,SAAS,MAC9G,CACD,IAAMC,EAAM,KAAK,UAAUD,EAAW,QAAQ,EACzCF,EAAS,IAAIG,CAAG,GAAGP,EAAQ,MAAMM,EAAW,KAAM,SAASE,EAAI,KAAK,KAAKF,EAAW,UAAWA,EAAW,SAAUA,EAAW,SAAS,EAC7IF,EAAS,IAAIG,CAAG,CACpB,CACJ,CACJ,CAEA,SAAS,eAAe,EAAgC,EAA8B,CAClF,IAAMI,EAAWC,EAAsBf,CAAW,CAAC,CAAC,iBAC9CgB,EAAYC,EAAqCjB,CAAW,EAClE,EAAcgB,EAAU,YACxB,IAAME,EAAW,IAAInB,EAA4BC,CAAW,EACtDmB,kBAAmB,IAAI,IACvBC,EAAwBN,EAAS,QAAQ,GAAS,CACpD,GAAIO,EAAM,OAAS,QAGf,OAFKA,EAAM,OAAS,WAAaA,EAAM,OAAS,eAAiBA,EAAM,QAAQ,QAAU,MAAQA,EAAM,QAAQ,UAAY,OACvHlB,EAAQ,MAAMS,EAAgB,gCAAiC,6GAA8GS,EAAM,QAAQ,QAAUA,EAAM,QAAQ,SAAA,CAAW,SAAUC,EAAe,UAAWD,EAAM,QAAQ,IAAI,CAAC,EAClR,CAAC,EAEZ,IAAME,EAAiC,CAAE,KAAM,2BAA4B,UAAWF,EAAM,KAAM,OAAQA,EAAM,QAAQ,OAAQ,IAAKA,EAAM,QAAQ,IAAK,OAAQA,EAAM,QAAQ,OAAQ,SAAUA,EAAM,QAAQ,SAAU,SAAUA,EAAM,QAAQ,QAAS,EAEzP,OADAF,EAAiB,IAAII,CAAI,EAClB,CAAC,CAAE,MAAOF,EAAM,MAAO,cAAe,CAAE,KAAM,KAAM,MAAO,CAAC,EAAG,aAAc,KAAM,WAAY,CAACE,CAAI,EAAG,gBAAiB,IAAK,CAAE,CAAC,CAC3I,CAAC,EACKC,EAAU,IAAIC,EAAmBzB,CAAW,EAC5C0B,EAAWC,EAAa3B,EAAY,QAAQ,EAC5C4B,EAAaD,EAAa3B,EAAY,KAAK,EAC3C6B,EAAa,IAAI,IAAI,CAAC,GAAGD,CAAU,CAAC,CAAC,KAAK,CAACE,EAAMC,KAAU,CAACD,EAAMH,EAAaI,EAAK,UAAU,CAAC,CAAC,CAAC,EACjG,YAAc,EAA8C,IAAiCC,EAAgBnB,EAAOkB,EAAML,EAAUG,CAAU,EAC9II,kBAAQ,IAAI,IAAI,CAAC,SAAU,OAAQ,MAAO,UAAW,OAAQ,OAAQ,WAAY,GAAGP,EAAS,KAAK,EAAG,GAAGE,EAAW,KAAK,CAAC,CAAC,EAC1H,qBAAuB,EAAuB,IAA0CK,EAAM,IAAIC,EAAO,IAAI,GAAKD,EAAM,IAAIE,EAAO,IAAI,EACvID,EAAO,OAASC,EAAO,MAAQD,EAAO,eAAiBC,EAAO,eAAiB,CAACD,EAAO,YAAcC,EAAO,YAAc,KAC1H,gBAAkB,EAAiD,IAAuCC,EAA4BC,EAAYN,EAAM/B,CAAW,EACnK,SAAW,EAAmB,IAAuE,CACvG,IAAMsC,EAAWpB,EAAS,QAAQqB,EAAWtC,CAAK,CAAC,CAAC,YACpD,OAAOqC,GAAU,KAAK,OAAS,cAAgBA,EAAS,KAAO,IACnE,EACME,EAAwB,CAAC,EAC/B,IAAK,GAAM,CAAE,WAAWtB,EAAS,OAAQ,CACrC,IAAK,IAAMuB,KAAWxC,EAAM,SAAU,IAAK,IAAMyC,KAAYD,EAAQ,SAAU,CAC3E,GAAI,CAACvB,EAAS,kBAAkBwB,EAAUzC,CAAK,EAAG,SAClD,IAAM0C,EAAQ,QAAQD,EAAS,MAAOzC,CAAK,EAC3C,GAAI0C,IAAU,KAAM,SACpB,IAAMZ,EAAOa,EAAuBH,EAASC,EAAU1C,EAAa,CAAE,WAAU,OAAM,CAAC,EACvFwC,EAAU,KAAK,CAAE,QAAO,UAAS,OAAM,MAAOE,EAAS,QAAUD,EAAQ,MAAO,CAAC,CACrF,CACA,IAAK,IAAMC,KAAYzC,EAAM,UAAU,QAAQ,GAAY4C,EAAS,QAAQ,CAAC,CAAC,QAAQ,GAAW,CAAC,GAAGC,EAAQ,SAAU,GAAGA,EAAQ,QAAQ,QAAQ,GAAcC,EAAW,WAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAUC,EAAO,QAAQ,CAAC,CAAC,EAAG,CAC9N,IAAML,EAAQ,QAAQD,EAAS,MAAOzC,CAAK,EACvC0C,IAAU,MAAMH,EAAU,KAAK,CAAE,QAAO,QAAS,KAAM,KAAM,IAAK,CAAC,CAC3E,CACA,IAAK,IAAMS,KAAWhD,EAAM,SAAU,IAAK,IAAMiD,IAAY,CAAC,GAAGD,EAAQ,QAAS,GAAGA,EAAQ,SAAS,QAAQ,GAASE,EAAM,OAAO,EAAG,GAAGF,EAAQ,OAAO,QAAQ,GAAUG,EAAO,OAAO,CAAC,EAAG,CACzL,IAAMT,EAAQ,QAAQO,EAAS,MAAOjD,CAAK,EACvC0C,IAAU,MAAMH,EAAU,KAAK,CAAE,QAAO,QAAS,KAAM,KAAM,IAAK,CAAC,CAC3E,CACJ,CACA,IAAMa,EAA2B,CAC7B,GAAGjC,EAAsB,QAAQ,GAASF,EAAS,OAAO,OAAO,GAASoC,EAAM,MAAM,KAAK,GAAG,IAAMjC,EAAM,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,QAAO,YAAa,CAAE,QAAO,QAAO,cAAeA,EAAM,aAAc,EAAE,CAAC,EAC5M,GAAGH,EAAS,OAAO,SAAS,CAAE,QAAO,WAAYjB,EAAM,eAAe,IAAI,IAAkB,CAAE,QAAO,QAAO,eAAc,EAAE,CAAC,CACjI,EACA,IAAK,GAAM,CAAE,QAAO,QAAO,mBAAmBoD,EAA0B,CACpE,IAAME,EAAWrC,EAAS,OAAO,QAAQ,GAASG,EAAM,MAAM,SAAS,IAAI,IAAY,CAAE,UAAS,MAAOA,EAAM,KAAM,EAAE,CAAC,EAClHmC,EAAQtD,EAAc,MAAM,YAAY,MAAM,GAAG,GAAK,CAAC,EACvDuD,EAAaD,EAAM,MAAM,EAAG,EAAE,EAC9BE,EAAaH,EAAS,OAAO,GAASlC,EAAM,QAAQ,OAASmC,EAAM,GAAG,EAAE,GAAKC,EAAW,OAAO,EAAS,IAAUpC,EAAM,MAAMA,EAAM,MAAM,OAASoC,EAAW,OAASE,KAAWC,CAAO,CAAC,EAC5LnB,EAAgCgB,EAAW,OAAS,GAAKC,EAAW,SAAW,EAAIA,EAAW,EAAE,CAAC,QAAU,KAC/G,IAAK,IAAIG,EAAQC,EAAM,OAAQL,EAAW,SAAW,GAAKI,GAAS,GAAKpB,IAAY,KAAM,IAAS,CAC/F,IAAMsB,EAAUL,EAAW,OAAO,GAASI,EAAM,MAAM,EAAGD,CAAK,CAAC,CAAC,OAAO,EAAS,IAAUxC,EAAM,MAAMsC,KAAWC,CAAO,CAAC,EAC1H,GAAIG,EAAQ,OAAS,EAAG,CAAE,EAAUA,EAAQ,SAAW,EAAIA,EAAQ,EAAE,CAAC,QAAU,KAAM,KAAO,CACjG,CACA,IAAMC,EAAc,CAAC,GAAG9D,EAAc,MAAM,IAAI,IAAS,CAAE,OAAM,SAAU,GAAM,SAAU,EAAM,EAAE,EAC/F,GAAIA,EAAc,eAAiB,KAAO,CAAC,EAAI,CAAC,CAAE,KAAMA,EAAc,aAAc,SAAU,GAAM,SAAU,EAAM,CAAC,EACrH,GAAGA,EAAc,WAAW,IAAI,IAAS,CAAE,OAAM,SAAU,GAAO,SAAU,CAACiB,EAAiB,IAAII,CAAI,CAAE,EAAE,EAC1G,GAAIrB,EAAc,iBAAmB,KAAO,CAAC,EAAI,CAAC,CAAE,KAAM,CAAE,GAAGA,EAAc,gBAAiB,KAAM,0BAAoC,EAAG,SAAU,GAAO,SAAU,EAAM,CAAC,CAAE,EACnL,IAAK,GAAM,CAAE,OAAM,WAAU,cAAc8D,EAAa,CACpD,IAAMC,EAAOjD,EAAU,eAAe,QAAQ,GAAQkD,EAAK,KAAK,CAAC,CAAC,KAAK,GAAQD,EAAK,YAAc1C,CAAI,EAChG4C,EAAgBF,GAAM,OAAO,SAAW,UACxCG,EAAcD,GAAiB5C,EAAK,MAAQ0C,GAAM,SAAS,IAC3D,iBAAmB,EAAc,EAAiB,IAAyC,CAC7F9D,EAAQ,MAAMkE,EAAMJ,GAAM,SAAW,KAAOK,EAAU,GAAGA,EAAQ,YAAYL,EAAK,QAAQ,KAAK,iBAAkBA,GAAM,SAAW,KAAOM,EAAWN,EAAK,SAAS,QAAQ,CAC9K,EACA,GAAI1C,EAAK,QAAU,MAAQA,EAAK,UAAY,KAAM,SAC9CiD,GAAYjD,EAAK,UAAY,MAC7B,gBAAgBX,EAAgB,2BAA4B,mEAAoEW,EAAK,SAAS,QAAQ,EAC1J,IAAIkD,EAAmC,KACjC9B,EAAQ,QAAQpB,EAAK,UAAWtB,CAAK,EACrCyE,EAAiBlC,EAAU,OAAO,GAAYmC,EAAS,QAAUhC,CAAK,EAC5E,GAAIpB,EAAK,QAAU,KAAM,CACrB,IAAMqD,EAAQrD,EAAK,OACbsD,EAAarD,EAAQ,QAAQoD,EAAM,YAAaA,EAAM,MAAM,EAClE,GAAIC,EAAW,OAAA,SAA2C,CACtD,IAAMC,EAAQ,CAAE,UAAW,YAAa,SAAU,WAAY,UAAW,WAAY,EAAED,EAAW,MAC9FV,GAAehE,EAAQ,MAAMS,EAAgB,gCAAiC,WAAWgE,EAAM,YAAY,GAAGA,EAAM,OAAO,OAAOE,EAAM,oDAAqDF,EAAM,QAAQ,EAC/M,QACJ,CACA,IAAM1C,EAAS2C,EAAW,QAAQ,GAC5BE,EAASF,EAAW,QAAQ,GAC5B,iBAAmB,EAAgC,IAAuC,CAC5F,IAAMhE,EAAQmE,EAAQ,OAChBC,EAAYC,EAAsBrE,EAAOsB,EAAQnC,CAAW,EAC9DiF,GAAW,SAAW,MACjBpE,EAAM,OAAS,2BAA6BA,EAAM,QAAU,MAAQsB,IAAW,MAAQ,CAAC,WAAWtB,EAAOsB,CAAM,IACrHhC,EAAQ,MAAMS,EAAgB,gCAAiC,iHAAkHC,EAAM,QAAQ,EAFnKV,EAAQ,MAAMS,EAAgB,gCAAiCuE,EAAuBF,EAAU,OAAO,EAAGpE,EAAM,QAAQ,CAG5J,EAYA,GAXKsD,IACIY,EAAO,cAAc,OAAS,EACnCK,EAAsBL,EAAQH,EAAM,cAAeA,EAAM,WAAa,KAAMA,EAAM,SAAUhE,EAAgB,gCAAiCT,EAAS,eAAe,EAChKyE,EAAM,cAAc,OAAS,EAClCzE,EAAQ,MAAMS,EAAgB,gCAAiC,qDAAsDgE,EAAM,QAAQ,GAE9HG,EAAO,WAAa,OAAWH,EAAM,WAAa,OACnDzE,EAAQ,MAAMS,EAAgB,gCAAiCmE,EAAO,WAAa,KAAO,oDAAsD,iDAAkDH,EAAM,QAAQ,EAChNA,EAAM,WAAa,MAAM,gBAAgBA,EAAM,SAAUG,EAAO,QAAQ,IAEhF,EAAa7C,EAAO,WAChBuC,IAAe,KAAM,CACrB,IAAMY,EAAQX,EAAe,IAAI,GAAYC,EAAS,IAAI,EACpDnE,EAAW,IAAI,IAAI6E,EAAM,OAAO,GAAQtD,IAAS,IAAI,CAAC,CAAC,IAAI,GAAQ,GAAGA,EAAK,KAAK,GAAGA,EAAK,WAAW,GAAGA,EAAK,cAAc,CAAC,EAC5HsD,EAAM,SAAW,GAAKA,EAAM,KAAK,GAAQtD,IAAS,IAAI,GAAKvB,EAAS,OAAS,EACzE2D,GAAehE,EAAQ,MAAMS,EAAgB,sCAAuC,oCAAoCsB,EAAO,KAAK,0EAA2E0C,EAAM,QAAQ,EAC9N,EAAaS,EAAM,EAC9B,CACA,IAAIC,EAA6B,GACjC,GAAIrB,GAAM,SAAS,QAAU,MAAQ1C,EAAK,MAAQ,MAAQA,EAAK,MAAQ0C,EAAK,QAAQ,IAAK,CACrF,IAAMsB,EAAQ/D,EAAQ,QAAQyC,EAAK,QAAQ,OAAO,YAAaA,EAAK,QAAQ,OAAO,MAAM,EACzF,GAAIsB,EAAM,OAAA,SAA2C,CACjD,IAAMF,EAAQX,EAAe,IAAI,GAAYC,EAAS,IAAI,EACpDnE,EAAW,IAAI,IAAI6E,EAAM,OAAO,GAAQtD,IAAS,IAAI,CAAC,CAAC,IAAI,GAAQ,GAAGA,EAAK,KAAK,GAAGA,EAAK,WAAW,GAAGA,EAAK,cAAc,CAAC,EAC1HyD,EAAkBD,EAAM,QAAQ,EAAE,CAAC,aAAeF,EAAM,OAAS,GAAK,CAACA,EAAM,KAAK,GAAQtD,IAAS,IAAI,GAAKvB,EAAS,OAAS,EAAI6E,EAAM,GAAK,MAC/IG,IAAoB,OACpB,EAA6BjE,EAAK,IAAI,OAAS,2BAA6BA,EAAK,IAAI,QAAU,MAAQiE,EAAgB,cAAgBA,EAAgB,YAAc,CAAC,WAAWjE,EAAK,IAAKiE,CAAe,EAClN,CACJ,CACIhB,GAAYjD,EAAK,MAAQ,KACzB,gBAAgBX,EAAgB,sCAAuC,gEAAiEgE,EAAM,QAAQ,EACjJR,GAAe,CAACkB,GAA8B/D,EAAK,MAAQ,OAASA,EAAK,IAAI,OAAS,2BAA6BA,EAAK,IAAI,QAAU,MAAQkD,IAAe,OAASA,EAAW,cAAgBA,EAAW,YAAc,CAAC,WAAWlD,EAAK,IAAKkD,CAAU,KAC/P,gBAAgB7D,EAAgB,sCAAuC,sGAAuGW,EAAK,IAAI,QAAQ,CACvM,CACA,GAAI,CAACkE,GAAYhD,IAAY,MAAQiC,EAAe,SAAW,GAAKA,EAAe,KAAK,GAAYC,EAAS,UAAYlC,CAAO,EAAG,SACnI,IAAIiD,EAAchB,EAAe,MAAM,GAAY,CAC/C,IAAMiB,EAAehB,EAAS,OAAO,oBAAsB,KAAOA,EAAS,MAAQ,KAC/EiB,EAAUrE,EAAK,UAAY,KAA8BoE,GAAgB,MAAQA,EAAa,cAAgBpE,EAAK,OAAQ,aAAeoE,EAAa,SAAWpE,EAAK,OAAQ,OAA7IoE,GAAgB,KACtD,GAAI,CAACC,GAAWrE,EAAK,QAAU,MAAQoE,GAAgB,KAAM,CACzD,IAAMd,EAAarD,EAAQ,QAAQD,EAAK,OAAO,YAAaA,EAAK,OAAO,MAAM,EACxEwD,EAASF,EAAW,OAAA,SAA4CA,EAAW,QAAQ,GAAK,KAC9F,GAAIE,IAAW,MAAQA,EAAO,cAAc,OAAS,EAC7C,IAAAY,EAAa,WAAa,MAAQpE,EAAK,OAAO,WAAa,MAAQoE,EAAa,cAAc,OAAS,GAAKpE,EAAK,OAAO,cAAc,OAAS,EAC/I,IAAK,IAAMsE,KAAQd,EAAO,cAAe,CACrC,IAAMe,EAASH,EAAa,cAAc,OAAO,GAAWX,EAAQ,WAAaa,EAAK,IAAI,EACpFJ,EAAWlE,EAAK,OAAO,cAAc,OAAO,GAAWyD,EAAQ,WAAaa,EAAK,IAAI,EAC3F,GAAIC,EAAO,SAAW,GAAKL,EAAS,SAAW,EAAG,SAClD,IAAMM,EAAW,eAAeD,EAAO,EAAE,CAAC,OAAQD,EAAK,IAAI,EACrDG,EAAa,eAAeP,EAAS,EAAE,CAAC,OAAQI,EAAK,IAAI,EAC3DE,IAAa,MAAQC,IAAe,MAAQD,IAAaC,IAAY,EAAU,GACvF,OAED,GAAIjB,GAAQ,UAAY,MAAQY,EAAa,cAAc,SAAW,GAAKpE,EAAK,OAAO,cAAc,SAAW,EAAG,CACtH,IAAMwE,EAAW,eAAeJ,EAAa,UAAU,OAAQZ,EAAO,QAAQ,EACxEiB,EAAa,eAAezE,EAAK,OAAO,UAAU,OAAQwD,EAAO,QAAQ,EAC3EgB,IAAa,MAAQC,IAAe,MAAQD,IAAaC,IAAY,EAAU,GACvF,CACJ,CACA,OAAOJ,CACX,CAAC,EACGrE,EAAK,KAAK,OAAS,2BAA6BmD,EAAe,MAAM,GAAYC,EAAS,OAAS,OAClGF,IAAe,KAAkE,CAAC,WAAWlD,EAAK,IAAMoD,EAAS,IAAI,EAA/F,oBAAoBA,EAAS,KAAMF,CAAU,IAAM,GAA8C,IAAG,EAAc,IACzIiB,GAAa,gBAAgB9E,EAAgB,sCAAuC,mFAAoFW,EAAK,QAAUA,EAAK,SAAA,CAAW,QAAQ,CACvN,CACJ,CACJ"}
+{"version":3,"file":"SpecificationStreamValidator.js","names":["rows","AuthoringProductionResolver","application","slice","specification","context","sink","ParserContext","LineReader","reported","distinct","diagnostic","key","row","DiagnosticCodes","value","examples","specificationExamples","expansion","expandEffectiveSpecificationExamples","resolver","declarationSteps","exampleSpecifications","entry","diagnosticText","node","catalog","EventSourceCatalog","concepts","uniqueByName","composites","properties","name","type","compatibleValue","known","source","target","formatSpecificationStreamId","expression","declared","reference","producers","command","produced","event","commandDestinationType","reaction","trigger","invocation","branch","capture","appended","child","nested","validationSpecifications","owner","commands","parts","qualifiers","candidates","index","segment","depth","scope","visible","occurrences","step","pair","validateRoute","validateFor","code","message","location","required","identifier","eventProducers","producer","route","resolution","state","stream","mapping","formatted","formatStreamIdLiteral","streamIdFailureMessage","validateStreamIdParts","types","inheritedIdentityIsInvalid","prior","priorIdentifier","expected","contradicts","commandRoute","differs","part","actual","actualId","expectedId"],"sources":["../../../../../../Compiler/Parsing/SpecificationStreamValidator.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 { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { AuthoringProductionResolver } from '../Syntax/AuthoringProductionResolver';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { EventSyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { EventSourceCatalog } from '../Syntax/EventSourceCatalog';\nimport { CommandStreamSyntax, EventSourceResolutionKind } from '../Syntax/EventSources';\nimport { formatSpecificationStreamId } from './SpecificationRouteComparison';\nimport { streamIdFailureMessage } from '../Syntax/StreamIdFormatter';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { commandDestinationType } from './CommandDestinationTypes';\nimport { formatStreamIdLiteral } from './EventSourceValidator';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { validateStreamIdParts } from './CompositeStreamIdValidator';\nimport { ParserContext } from './ParserContext';\nimport { LineReader } from './LineReader';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\nimport { expandEffectiveSpecificationExamples, specificationExamples } from './SpecificationCommandExamples';\nimport { SpecificationEventSyntax } from '../Syntax/Specifications';\n\ninterface Producer { event: EventSyntax; command: CommandSyntax | null; type: TypeRefSyntax | null; route?: CommandStreamSyntax | null }\n\nexport function validateSpecificationStreams(application: ApplicationSyntax, context: ParserContext): void {\n    const rows = new AuthoringProductionResolver(application).slices.flatMap(({ slice }) => slice.specifications.flatMap(specification => specification.cases ?? []));\n    if (rows.length === 0) return validateRoutes(application, context);\n    const sink = new ParserContext(new LineReader([]));\n    validateRoutes(application, sink);\n    const reported = new Set<string>();\n    const distinct = new Set<string>();\n    for (const diagnostic of sink.diagnostics) {\n        const key = JSON.stringify([diagnostic.code, diagnostic.location.path, diagnostic.location.line, diagnostic.location.column, diagnostic.message]);\n        if (distinct.has(key)) continue;\n        distinct.add(key);\n        const row = diagnostic.code === DiagnosticCodes.InvalidSpecificationStreamRoute ? rows.find(row => row.values.some(value => value.source.location.line === diagnostic.location.line && value.source.location.column === diagnostic.location.column && value.source.location.path === diagnostic.location.path)) : undefined;\n        if (row === undefined) context.error(diagnostic.code, diagnostic.message, diagnostic.location, diagnostic.arguments);\n        else {\n            const key = JSON.stringify(diagnostic.location);\n            if (!reported.has(key)) context.error(diagnostic.code, `Case '${row.name}': ${diagnostic.message}`, diagnostic.location, diagnostic.arguments);\n            reported.add(key);\n        }\n    }\n}\n\nfunction validateRoutes(application: ApplicationSyntax, context: ParserContext): void {\n    const examples = specificationExamples(application).resolvedExamples;\n    const expansion = expandEffectiveSpecificationExamples(application);\n    application = expansion.application;\n    const resolver = new AuthoringProductionResolver(application);\n    const declarationSteps = new Set<SpecificationEventSyntax>();\n    const exampleSpecifications = examples.flatMap(entry => {\n        if (entry.kind !== 'event') {\n            if ((entry.kind === 'command' || entry.kind === 'readmodel') && (entry.example.stream != null || entry.example.noStream != null))\n                context.error(DiagnosticCodes.InvalidSpecificationExampleBody, \"only event examples carry routes; a command's route comes from its declaration, and read models have none\", (entry.example.stream ?? entry.example.noStream)!.location, diagnosticText('example', entry.example.name));\n            return [];\n        }\n        const node: SpecificationEventSyntax = { kind: 'SpecificationEventSyntax', eventType: entry.name, values: entry.example.values, for: entry.example.for, stream: entry.example.stream, noStream: entry.example.noStream, location: entry.example.location };\n        declarationSteps.add(node);\n        return [{ scope: entry.scope, specification: { when: null, given: [], whenAppended: null, thenEvents: [node], whenRedelivered: null } }];\n    });\n    const catalog = new EventSourceCatalog(application);\n    const concepts = uniqueByName(application.concepts);\n    const composites = uniqueByName(application.types);\n    const properties = new Map([...composites].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    const compatible = (value: Parameters<typeof compatibleValue>[0], type: TypeRefSyntax): boolean => compatibleValue(value, type, concepts, properties);\n    const known = new Set(['String', 'Uuid', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime', ...concepts.keys(), ...composites.keys()]);\n    const nominallyCompatible = (source: TypeRefSyntax, target: TypeRefSyntax): boolean | null => known.has(source.name) && known.has(target.name)\n        ? source.name === target.name && source.isCollection === target.isCollection && (!source.isOptional || target.isOptional) : null;\n    const formatStreamId = (expression: ExpressionSyntax | null | undefined, type: TypeRefSyntax): string | null => formatSpecificationStreamId(expression, type, application);\n    const eventOf = (reference: string, slice: typeof resolver.slices[number]['slice']): EventSyntax | null => {\n        const declared = resolver.resolve(reference, slice).declaration;\n        return declared?.node.kind === 'EventSyntax' ? declared.node : null;\n    };\n    const producers: Producer[] = [];\n    for (const { slice } of resolver.slices) {\n        for (const command of slice.commands) for (const produced of command.produces) {\n            if (!resolver.isEventProduction(produced, slice)) continue;\n            const event = eventOf(produced.event, slice);\n            if (event === null) continue;\n            const type = commandDestinationType(command, produced, application, { resolver, slice });\n            producers.push({ event, command, type, route: produced.stream ?? command.stream });\n        }\n        for (const produced of slice.reactions.flatMap(reaction => reaction.triggers).flatMap(trigger => [...trigger.produces, ...trigger.invokes.flatMap(invocation => invocation.onRefused ?? []).flatMap(branch => branch.produces)])) {\n            const event = eventOf(produced.event, slice);\n            if (event !== null) producers.push({ event, command: null, type: null });\n        }\n        for (const capture of slice.captures) for (const appended of [...capture.appends, ...capture.children.flatMap(child => child.appends), ...capture.nested.flatMap(nested => nested.appends)]) {\n            const event = eventOf(appended.event, slice);\n            if (event !== null) producers.push({ event, command: null, type: null });\n        }\n    }\n    const validationSpecifications = [\n        ...exampleSpecifications.flatMap(entry => resolver.slices.filter(owner => owner.scope.join('.') === entry.scope.join('.')).map(({ slice, scope }) => ({ slice, scope, specification: entry.specification }))),\n        ...resolver.slices.flatMap(({ slice, scope }) => slice.specifications.map(specification => ({ slice, scope, specification })))\n    ];\n    for (const { slice, scope, specification } of validationSpecifications) {\n        const commands = resolver.slices.flatMap(entry => entry.slice.commands.map(command => ({ command, scope: entry.scope })));\n        const parts = specification.when?.commandType.split('.') ?? [];\n        const qualifiers = parts.slice(0, -1);\n        const candidates = commands.filter(entry => entry.command.name === parts.at(-1) && qualifiers.every((segment, index) => entry.scope[entry.scope.length - qualifiers.length + index] === segment));\n        let command: CommandSyntax | null = qualifiers.length > 0 && candidates.length === 1 ? candidates[0].command : null;\n        for (let depth = scope.length; qualifiers.length === 0 && depth >= 0 && command === null; depth--) {\n            const visible = candidates.filter(entry => scope.slice(0, depth).every((segment, index) => entry.scope[index] === segment));\n            if (visible.length > 0) { command = visible.length === 1 ? visible[0].command : null; break; }\n        }\n        const occurrences = [...specification.given.map(node => ({ node, required: true, expected: false })),\n            ...(specification.whenAppended === null ? [] : [{ node: specification.whenAppended, required: true, expected: false }]),\n            ...specification.thenEvents.map(node => ({ node, required: false, expected: !declarationSteps.has(node) })),\n            ...(specification.whenRedelivered == null ? [] : [{ node: { ...specification.whenRedelivered, kind: 'SpecificationEventSyntax' as const }, required: false, expected: false }])];\n        for (const { node, required, expected } of occurrences) {\n            const step = expansion.specifications.flatMap(pair => pair.steps).find(step => step.effective === node);\n            const validateRoute = step?.route?.origin !== 'example';\n            const validateFor = validateRoute || node.for !== step?.example?.for;\n            const contextualError = (code: string, message: string, location: typeof node.location): void => {\n                context.error(code, step?.example == null ? message : `${message} Example '${step.example.name}' is used here.`, step?.example == null ? location : step.authored.location);\n            };\n            if (node.stream == null && node.noStream == null) continue;\n            if (required && node.noStream != null)\n                contextualError(DiagnosticCodes.InvalidSpecificationStream, \"Expected 'stream Source.Stream', or 'no stream' on a then event.\", node.noStream.location);\n            let identifier: TypeRefSyntax | null = null;\n            const event = eventOf(node.eventType, slice);\n            const eventProducers = producers.filter(producer => producer.event === event);\n            if (node.stream != null) {\n                const route = node.stream;\n                const resolution = catalog.resolve(route.eventSource, route.stream);\n                if (resolution.kind !== EventSourceResolutionKind.Unique) {\n                    const state = { ambiguous: 'Ambiguous', notFound: 'NotFound', wrongKind: 'WrongKind' }[resolution.kind];\n                    if (validateRoute) context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, `Stream '${route.eventSource}.${route.stream}' is ${state}; routing requires one physical source and stream.`, route.location);\n                    continue;\n                }\n                const source = resolution.sources[0];\n                const stream = resolution.streams[0];\n                const validateLiteral = (mapping: PropertyMappingSyntax, target: TypeRefSyntax | null): void => {\n                    const value = mapping.source;\n                    const formatted = formatStreamIdLiteral(value, target, application);\n                    if (formatted?.failure != null) context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, streamIdFailureMessage(formatted.failure), value.location);\n                    else if (value.kind !== 'LiteralExpressionSyntax' || value.value === null || target !== null && !compatible(value, target))\n                        context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, \"A specification stream id needs a nonempty concrete scalar literal compatible with the stream's declared type.\", value.location);\n                };\n                if (!validateRoute) { /* The authored example's route is checked once at its declaration. */ }\n                else if (stream.streamIdParts.length > 0)\n                    validateStreamIdParts(stream, route.streamIdParts, route.streamId !== null, route.location, DiagnosticCodes.InvalidSpecificationStreamRoute, context, validateLiteral);\n                else if (route.streamIdParts.length > 0)\n                    context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, 'A streamId part block requires a composite stream.', route.location);\n                else {\n                    if ((stream.streamId === null) !== (route.streamId === null))\n                        context.error(DiagnosticCodes.InvalidSpecificationStreamRoute, stream.streamId === null ? 'An unkeyed stream cannot take a streamId mapping.' : 'This keyed stream requires a streamId mapping.', route.location);\n                    if (route.streamId !== null) validateLiteral(route.streamId, stream.streamId);\n                }\n                identifier = source.identifier;\n                if (identifier === null) {\n                    const types = eventProducers.map(producer => producer.type);\n                    const distinct = new Set(types.filter(type => type !== null).map(type => `${type.name}:${type.isOptional}:${type.isCollection}`));\n                    if (types.length === 0 || types.some(type => type === null) || distinct.size !== 1) {\n                        if (validateRoute) context.error(DiagnosticCodes.InvalidSpecificationStreamEventSource, `Declare an identifier on source '${source.name}'; the event's producers do not supply one unambiguous destination type.`, route.location);\n                    } else identifier = types[0];\n                }\n                let inheritedIdentityIsInvalid = false;\n                if (step?.example?.stream != null && node.for !== null && node.for === step.example.for) {\n                    const prior = catalog.resolve(step.example.stream.eventSource, step.example.stream.stream);\n                    if (prior.kind === EventSourceResolutionKind.Unique) {\n                        const types = eventProducers.map(producer => producer.type);\n                        const distinct = new Set(types.filter(type => type !== null).map(type => `${type.name}:${type.isOptional}:${type.isCollection}`));\n                        const priorIdentifier = prior.sources[0].identifier ?? (types.length > 0 && !types.some(type => type === null) && distinct.size === 1 ? types[0] : null);\n                        if (priorIdentifier !== null)\n                            inheritedIdentityIsInvalid = node.for.kind !== 'LiteralExpressionSyntax' || node.for.value === null || priorIdentifier.isCollection || priorIdentifier.isOptional || !compatible(node.for, priorIdentifier);\n                    }\n                }\n                if (required && node.for === null)\n                    contextualError(DiagnosticCodes.InvalidSpecificationStreamEventSource, \"A routed given or when append event requires 'for <literal>'.\", route.location);\n                else if (validateFor && !inheritedIdentityIsInvalid && node.for !== null && (node.for.kind !== 'LiteralExpressionSyntax' || node.for.value === null || identifier !== null && (identifier.isCollection || identifier.isOptional || !compatible(node.for, identifier))))\n                    contextualError(DiagnosticCodes.InvalidSpecificationStreamEventSource, \"A routed event's for value must be a concrete literal compatible with the source's identifier type.\", node.for.location);\n            }\n            if (!expected || command === null || eventProducers.length === 0 || eventProducers.some(producer => producer.command !== command)) continue;\n            let contradicts = eventProducers.every(producer => {\n                const commandRoute = producer.route?.propertyCandidate === null ? producer.route : null;\n                let differs = node.noStream != null ? commandRoute != null : commandRoute == null || commandRoute.eventSource !== node.stream!.eventSource || commandRoute.stream !== node.stream!.stream;\n                if (!differs && node.stream != null && commandRoute != null) {\n                    const resolution = catalog.resolve(node.stream.eventSource, node.stream.stream);\n                    const stream = resolution.kind === EventSourceResolutionKind.Unique ? resolution.streams[0] : null;\n                    if (stream !== null && stream.streamIdParts.length > 0) {\n                        if (commandRoute.streamId === null && node.stream.streamId === null && commandRoute.streamIdParts.length > 0 && node.stream.streamIdParts.length > 0) {\n                            for (const part of stream.streamIdParts) {\n                                const actual = commandRoute.streamIdParts.filter(mapping => mapping.property === part.name);\n                                const expected = node.stream.streamIdParts.filter(mapping => mapping.property === part.name);\n                                if (actual.length !== 1 || expected.length !== 1) continue;\n                                const actualId = formatStreamId(actual[0].source, part.type);\n                                const expectedId = formatStreamId(expected[0].source, part.type);\n                                if (actualId !== null && expectedId !== null && actualId !== expectedId) differs = true;\n                            }\n                        }\n                    } else if (stream?.streamId != null && commandRoute.streamIdParts.length === 0 && node.stream.streamIdParts.length === 0) {\n                        const actualId = formatStreamId(commandRoute.streamId?.source, stream.streamId);\n                        const expectedId = formatStreamId(node.stream.streamId?.source, stream.streamId);\n                        if (actualId !== null && expectedId !== null && actualId !== expectedId) differs = true;\n                    }\n                }\n                return differs;\n            });\n            if (node.for?.kind === 'LiteralExpressionSyntax' && eventProducers.every(producer => producer.type !== null &&\n                (identifier !== null ? nominallyCompatible(producer.type, identifier) === false : !compatible(node.for!, producer.type)))) contradicts = true;\n            if (contradicts) contextualError(DiagnosticCodes.SpecificationStreamContradictsCommand, 'The expected event route contradicts its only producer, the command under test.', (node.stream ?? node.noStream)!.location);\n        }\n    }\n}\n"],"mappings":"A,k+BA0BA,SAAgB,6BAA6B,EAAgC,EAA8B,CACvG,IAAMA,EAAO,IAAIC,EAA4BC,CAAW,CAAC,CAAC,OAAO,SAAS,CAAE,WAAYC,EAAM,eAAe,QAAQ,GAAiBC,EAAc,OAAS,CAAC,CAAC,CAAC,EAChK,GAAIJ,EAAK,SAAW,EAAG,OAAO,eAAeE,EAAaG,CAAO,EACjE,IAAMC,EAAO,IAAIC,EAAc,IAAIC,EAAW,CAAC,CAAC,CAAC,EACjD,eAAeN,EAAaI,CAAI,EAChC,IAAMG,kBAAW,IAAI,IACfC,kBAAW,IAAI,IACrB,IAAK,IAAMC,KAAcL,EAAK,YAAa,CACvC,IAAMM,EAAM,KAAK,UAAU,CAACD,EAAW,KAAMA,EAAW,SAAS,KAAMA,EAAW,SAAS,KAAMA,EAAW,SAAS,OAAQA,EAAW,OAAO,CAAC,EAChJ,GAAID,EAAS,IAAIE,CAAG,EAAG,SACvBF,EAAS,IAAIE,CAAG,EAChB,IAAMC,EAAMF,EAAW,OAASG,EAAgB,gCAAkCd,EAAK,KAAK,GAAOa,EAAI,OAAO,KAAK,GAASE,EAAM,OAAO,SAAS,OAASJ,EAAW,SAAS,MAAQI,EAAM,OAAO,SAAS,SAAWJ,EAAW,SAAS,QAAUI,EAAM,OAAO,SAAS,OAASJ,EAAW,SAAS,IAAI,CAAC,EAAI,IAAA,GAClT,GAAIE,IAAQ,IAAA,GAAWR,EAAQ,MAAMM,EAAW,KAAMA,EAAW,QAASA,EAAW,SAAUA,EAAW,SAAS,MAC9G,CACD,IAAMC,EAAM,KAAK,UAAUD,EAAW,QAAQ,EACzCF,EAAS,IAAIG,CAAG,GAAGP,EAAQ,MAAMM,EAAW,KAAM,SAASE,EAAI,KAAK,KAAKF,EAAW,UAAWA,EAAW,SAAUA,EAAW,SAAS,EAC7IF,EAAS,IAAIG,CAAG,CACpB,CACJ,CACJ,CAEA,SAAS,eAAe,EAAgC,EAA8B,CAClF,IAAMI,EAAWC,EAAsBf,CAAW,CAAC,CAAC,iBAC9CgB,EAAYC,EAAqCjB,CAAW,EAClE,EAAcgB,EAAU,YACxB,IAAME,EAAW,IAAInB,EAA4BC,CAAW,EACtDmB,kBAAmB,IAAI,IACvBC,EAAwBN,EAAS,QAAQ,GAAS,CACpD,GAAIO,EAAM,OAAS,QAGf,OAFKA,EAAM,OAAS,WAAaA,EAAM,OAAS,aAAiBA,EAAM,QAAQ,QAAU,MAAQA,EAAM,QAAQ,UAAY,MACvHlB,EAAQ,MAAMS,EAAgB,gCAAiC,6GAA8GS,EAAM,QAAQ,QAAUA,EAAM,QAAQ,SAAA,CAAW,SAAUC,EAAe,UAAWD,EAAM,QAAQ,IAAI,CAAC,EAClR,CAAC,EAEZ,IAAME,EAAiC,CAAE,KAAM,2BAA4B,UAAWF,EAAM,KAAM,OAAQA,EAAM,QAAQ,OAAQ,IAAKA,EAAM,QAAQ,IAAK,OAAQA,EAAM,QAAQ,OAAQ,SAAUA,EAAM,QAAQ,SAAU,SAAUA,EAAM,QAAQ,QAAS,EAEzP,OADAF,EAAiB,IAAII,CAAI,EAClB,CAAC,CAAE,MAAOF,EAAM,MAAO,cAAe,CAAE,KAAM,KAAM,MAAO,CAAC,EAAG,aAAc,KAAM,WAAY,CAACE,CAAI,EAAG,gBAAiB,IAAK,CAAE,CAAC,CAC3I,CAAC,EACKC,EAAU,IAAIC,EAAmBzB,CAAW,EAC5C0B,EAAWC,EAAa3B,EAAY,QAAQ,EAC5C4B,EAAaD,EAAa3B,EAAY,KAAK,EAC3C6B,EAAa,IAAI,IAAI,CAAC,GAAGD,CAAU,CAAC,CAAC,KAAK,CAACE,EAAMC,KAAU,CAACD,EAAMH,EAAaI,EAAK,UAAU,CAAC,CAAC,CAAC,EACjG,YAAc,EAA8C,IAAiCC,EAAgBnB,EAAOkB,EAAML,EAAUG,CAAU,EAC9II,kBAAQ,IAAI,IAAI,CAAC,SAAU,OAAQ,MAAO,UAAW,OAAQ,OAAQ,WAAY,GAAGP,EAAS,KAAK,EAAG,GAAGE,EAAW,KAAK,CAAC,CAAC,EAC1H,qBAAuB,EAAuB,IAA0CK,EAAM,IAAIC,EAAO,IAAI,GAAKD,EAAM,IAAIE,EAAO,IAAI,EACvID,EAAO,OAASC,EAAO,MAAQD,EAAO,eAAiBC,EAAO,eAAiB,CAACD,EAAO,YAAcC,EAAO,YAAc,KAC1H,gBAAkB,EAAiD,IAAuCC,EAA4BC,EAAYN,EAAM/B,CAAW,EACnK,SAAW,EAAmB,IAAuE,CACvG,IAAMsC,EAAWpB,EAAS,QAAQqB,EAAWtC,CAAK,CAAC,CAAC,YACpD,OAAOqC,GAAU,KAAK,OAAS,cAAgBA,EAAS,KAAO,IACnE,EACME,EAAwB,CAAC,EAC/B,IAAK,GAAM,CAAE,WAAWtB,EAAS,OAAQ,CACrC,IAAK,IAAMuB,KAAWxC,EAAM,SAAU,IAAK,IAAMyC,KAAYD,EAAQ,SAAU,CAC3E,GAAI,CAACvB,EAAS,kBAAkBwB,EAAUzC,CAAK,EAAG,SAClD,IAAM0C,EAAQ,QAAQD,EAAS,MAAOzC,CAAK,EAC3C,GAAI0C,IAAU,KAAM,SACpB,IAAMZ,EAAOa,EAAuBH,EAASC,EAAU1C,EAAa,CAAE,WAAU,OAAM,CAAC,EACvFwC,EAAU,KAAK,CAAE,QAAO,UAAS,OAAM,MAAOE,EAAS,QAAUD,EAAQ,MAAO,CAAC,CACrF,CACA,IAAK,IAAMC,KAAYzC,EAAM,UAAU,QAAQ,GAAY4C,EAAS,QAAQ,CAAC,CAAC,QAAQ,GAAW,CAAC,GAAGC,EAAQ,SAAU,GAAGA,EAAQ,QAAQ,QAAQ,GAAcC,EAAW,WAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAUC,EAAO,QAAQ,CAAC,CAAC,EAAG,CAC9N,IAAML,EAAQ,QAAQD,EAAS,MAAOzC,CAAK,EACvC0C,IAAU,MAAMH,EAAU,KAAK,CAAE,QAAO,QAAS,KAAM,KAAM,IAAK,CAAC,CAC3E,CACA,IAAK,IAAMS,KAAWhD,EAAM,SAAU,IAAK,IAAMiD,IAAY,CAAC,GAAGD,EAAQ,QAAS,GAAGA,EAAQ,SAAS,QAAQ,GAASE,EAAM,OAAO,EAAG,GAAGF,EAAQ,OAAO,QAAQ,GAAUG,EAAO,OAAO,CAAC,EAAG,CACzL,IAAMT,EAAQ,QAAQO,EAAS,MAAOjD,CAAK,EACvC0C,IAAU,MAAMH,EAAU,KAAK,CAAE,QAAO,QAAS,KAAM,KAAM,IAAK,CAAC,CAC3E,CACJ,CACA,IAAMa,EAA2B,CAC7B,GAAGjC,EAAsB,QAAQ,GAASF,EAAS,OAAO,OAAO,GAASoC,EAAM,MAAM,KAAK,GAAG,IAAMjC,EAAM,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,QAAO,YAAa,CAAE,QAAO,QAAO,cAAeA,EAAM,aAAc,EAAE,CAAC,EAC5M,GAAGH,EAAS,OAAO,SAAS,CAAE,QAAO,WAAYjB,EAAM,eAAe,IAAI,IAAkB,CAAE,QAAO,QAAO,eAAc,EAAE,CAAC,CACjI,EACA,IAAK,GAAM,CAAE,QAAO,QAAO,mBAAmBoD,EAA0B,CACpE,IAAME,EAAWrC,EAAS,OAAO,QAAQ,GAASG,EAAM,MAAM,SAAS,IAAI,IAAY,CAAE,UAAS,MAAOA,EAAM,KAAM,EAAE,CAAC,EAClHmC,EAAQtD,EAAc,MAAM,YAAY,MAAM,GAAG,GAAK,CAAC,EACvDuD,EAAaD,EAAM,MAAM,EAAG,EAAE,EAC9BE,EAAaH,EAAS,OAAO,GAASlC,EAAM,QAAQ,OAASmC,EAAM,GAAG,EAAE,GAAKC,EAAW,OAAO,EAAS,IAAUpC,EAAM,MAAMA,EAAM,MAAM,OAASoC,EAAW,OAASE,KAAWC,CAAO,CAAC,EAC5LnB,EAAgCgB,EAAW,OAAS,GAAKC,EAAW,SAAW,EAAIA,EAAW,EAAE,CAAC,QAAU,KAC/G,IAAK,IAAIG,EAAQC,EAAM,OAAQL,EAAW,SAAW,GAAKI,GAAS,GAAKpB,IAAY,KAAM,IAAS,CAC/F,IAAMsB,EAAUL,EAAW,OAAO,GAASI,EAAM,MAAM,EAAGD,CAAK,CAAC,CAAC,OAAO,EAAS,IAAUxC,EAAM,MAAMsC,KAAWC,CAAO,CAAC,EAC1H,GAAIG,EAAQ,OAAS,EAAG,CAAE,EAAUA,EAAQ,SAAW,EAAIA,EAAQ,EAAE,CAAC,QAAU,KAAM,KAAO,CACjG,CACA,IAAMC,EAAc,CAAC,GAAG9D,EAAc,MAAM,IAAI,IAAS,CAAE,OAAM,SAAU,GAAM,SAAU,EAAM,EAAE,EAC/F,GAAIA,EAAc,eAAiB,KAAO,CAAC,EAAI,CAAC,CAAE,KAAMA,EAAc,aAAc,SAAU,GAAM,SAAU,EAAM,CAAC,EACrH,GAAGA,EAAc,WAAW,IAAI,IAAS,CAAE,OAAM,SAAU,GAAO,SAAU,CAACiB,EAAiB,IAAII,CAAI,CAAE,EAAE,EAC1G,GAAIrB,EAAc,iBAAmB,KAAO,CAAC,EAAI,CAAC,CAAE,KAAM,CAAE,GAAGA,EAAc,gBAAiB,KAAM,0BAAoC,EAAG,SAAU,GAAO,SAAU,EAAM,CAAC,CAAE,EACnL,IAAK,GAAM,CAAE,OAAM,WAAU,cAAc8D,EAAa,CACpD,IAAMC,EAAOjD,EAAU,eAAe,QAAQ,GAAQkD,EAAK,KAAK,CAAC,CAAC,KAAK,GAAQD,EAAK,YAAc1C,CAAI,EAChG4C,EAAgBF,GAAM,OAAO,SAAW,UACxCG,EAAcD,GAAiB5C,EAAK,MAAQ0C,GAAM,SAAS,IAC3D,iBAAmB,EAAc,EAAiB,IAAyC,CAC7F9D,EAAQ,MAAMkE,EAAMJ,GAAM,SAAW,KAAOK,EAAU,GAAGA,EAAQ,YAAYL,EAAK,QAAQ,KAAK,iBAAkBA,GAAM,SAAW,KAAOM,EAAWN,EAAK,SAAS,QAAQ,CAC9K,EACA,GAAI1C,EAAK,QAAU,MAAQA,EAAK,UAAY,KAAM,SAC9CiD,GAAYjD,EAAK,UAAY,MAC7B,gBAAgBX,EAAgB,2BAA4B,mEAAoEW,EAAK,SAAS,QAAQ,EAC1J,IAAIkD,EAAmC,KACjC9B,EAAQ,QAAQpB,EAAK,UAAWtB,CAAK,EACrCyE,EAAiBlC,EAAU,OAAO,GAAYmC,EAAS,QAAUhC,CAAK,EAC5E,GAAIpB,EAAK,QAAU,KAAM,CACrB,IAAMqD,EAAQrD,EAAK,OACbsD,EAAarD,EAAQ,QAAQoD,EAAM,YAAaA,EAAM,MAAM,EAClE,GAAIC,EAAW,OAAA,SAA2C,CACtD,IAAMC,EAAQ,CAAE,UAAW,YAAa,SAAU,WAAY,UAAW,WAAY,EAAED,EAAW,MAC9FV,GAAehE,EAAQ,MAAMS,EAAgB,gCAAiC,WAAWgE,EAAM,YAAY,GAAGA,EAAM,OAAO,OAAOE,EAAM,oDAAqDF,EAAM,QAAQ,EAC/M,QACJ,CACA,IAAM1C,EAAS2C,EAAW,QAAQ,GAC5BE,EAASF,EAAW,QAAQ,GAC5B,iBAAmB,EAAgC,IAAuC,CAC5F,IAAMhE,EAAQmE,EAAQ,OAChBC,EAAYC,EAAsBrE,EAAOsB,EAAQnC,CAAW,EAC9DiF,GAAW,SAAW,MACjBpE,EAAM,OAAS,2BAA6BA,EAAM,QAAU,MAAQsB,IAAW,MAAQ,CAAC,WAAWtB,EAAOsB,CAAM,IACrHhC,EAAQ,MAAMS,EAAgB,gCAAiC,iHAAkHC,EAAM,QAAQ,EAFnKV,EAAQ,MAAMS,EAAgB,gCAAiCuE,EAAuBF,EAAU,OAAO,EAAGpE,EAAM,QAAQ,CAG5J,EAYA,GAXKsD,IACIY,EAAO,cAAc,OAAS,EACnCK,EAAsBL,EAAQH,EAAM,cAAeA,EAAM,WAAa,KAAMA,EAAM,SAAUhE,EAAgB,gCAAiCT,EAAS,eAAe,EAChKyE,EAAM,cAAc,OAAS,EAClCzE,EAAQ,MAAMS,EAAgB,gCAAiC,qDAAsDgE,EAAM,QAAQ,GAE9HG,EAAO,WAAa,OAAWH,EAAM,WAAa,OACnDzE,EAAQ,MAAMS,EAAgB,gCAAiCmE,EAAO,WAAa,KAAO,oDAAsD,iDAAkDH,EAAM,QAAQ,EAChNA,EAAM,WAAa,MAAM,gBAAgBA,EAAM,SAAUG,EAAO,QAAQ,IAEhF,EAAa7C,EAAO,WAChBuC,IAAe,KAAM,CACrB,IAAMY,EAAQX,EAAe,IAAI,GAAYC,EAAS,IAAI,EACpDnE,EAAW,IAAI,IAAI6E,EAAM,OAAO,GAAQtD,IAAS,IAAI,CAAC,CAAC,IAAI,GAAQ,GAAGA,EAAK,KAAK,GAAGA,EAAK,WAAW,GAAGA,EAAK,cAAc,CAAC,EAC5HsD,EAAM,SAAW,GAAKA,EAAM,KAAK,GAAQtD,IAAS,IAAI,GAAKvB,EAAS,OAAS,EACzE2D,GAAehE,EAAQ,MAAMS,EAAgB,sCAAuC,oCAAoCsB,EAAO,KAAK,0EAA2E0C,EAAM,QAAQ,EAC9N,EAAaS,EAAM,EAC9B,CACA,IAAIC,EAA6B,GACjC,GAAIrB,GAAM,SAAS,QAAU,MAAQ1C,EAAK,MAAQ,MAAQA,EAAK,MAAQ0C,EAAK,QAAQ,IAAK,CACrF,IAAMsB,EAAQ/D,EAAQ,QAAQyC,EAAK,QAAQ,OAAO,YAAaA,EAAK,QAAQ,OAAO,MAAM,EACzF,GAAIsB,EAAM,OAAA,SAA2C,CACjD,IAAMF,EAAQX,EAAe,IAAI,GAAYC,EAAS,IAAI,EACpDnE,EAAW,IAAI,IAAI6E,EAAM,OAAO,GAAQtD,IAAS,IAAI,CAAC,CAAC,IAAI,GAAQ,GAAGA,EAAK,KAAK,GAAGA,EAAK,WAAW,GAAGA,EAAK,cAAc,CAAC,EAC1HyD,EAAkBD,EAAM,QAAQ,EAAE,CAAC,aAAeF,EAAM,OAAS,GAAK,CAACA,EAAM,KAAK,GAAQtD,IAAS,IAAI,GAAKvB,EAAS,OAAS,EAAI6E,EAAM,GAAK,MAC/IG,IAAoB,OACpB,EAA6BjE,EAAK,IAAI,OAAS,2BAA6BA,EAAK,IAAI,QAAU,MAAQiE,EAAgB,cAAgBA,EAAgB,YAAc,CAAC,WAAWjE,EAAK,IAAKiE,CAAe,EAClN,CACJ,CACIhB,GAAYjD,EAAK,MAAQ,KACzB,gBAAgBX,EAAgB,sCAAuC,gEAAiEgE,EAAM,QAAQ,EACjJR,GAAe,CAACkB,GAA8B/D,EAAK,MAAQ,OAASA,EAAK,IAAI,OAAS,2BAA6BA,EAAK,IAAI,QAAU,MAAQkD,IAAe,OAASA,EAAW,cAAgBA,EAAW,YAAc,CAAC,WAAWlD,EAAK,IAAKkD,CAAU,KAC/P,gBAAgB7D,EAAgB,sCAAuC,sGAAuGW,EAAK,IAAI,QAAQ,CACvM,CACA,GAAI,CAACkE,GAAYhD,IAAY,MAAQiC,EAAe,SAAW,GAAKA,EAAe,KAAK,GAAYC,EAAS,UAAYlC,CAAO,EAAG,SACnI,IAAIiD,EAAchB,EAAe,MAAM,GAAY,CAC/C,IAAMiB,EAAehB,EAAS,OAAO,oBAAsB,KAAOA,EAAS,MAAQ,KAC/EiB,EAAUrE,EAAK,UAAY,KAA8BoE,GAAgB,MAAQA,EAAa,cAAgBpE,EAAK,OAAQ,aAAeoE,EAAa,SAAWpE,EAAK,OAAQ,OAA7IoE,GAAgB,KACtD,GAAI,CAACC,GAAWrE,EAAK,QAAU,MAAQoE,GAAgB,KAAM,CACzD,IAAMd,EAAarD,EAAQ,QAAQD,EAAK,OAAO,YAAaA,EAAK,OAAO,MAAM,EACxEwD,EAASF,EAAW,OAAA,SAA4CA,EAAW,QAAQ,GAAK,KAC9F,GAAIE,IAAW,MAAQA,EAAO,cAAc,OAAS,EAC7C,IAAAY,EAAa,WAAa,MAAQpE,EAAK,OAAO,WAAa,MAAQoE,EAAa,cAAc,OAAS,GAAKpE,EAAK,OAAO,cAAc,OAAS,EAC/I,IAAK,IAAMsE,KAAQd,EAAO,cAAe,CACrC,IAAMe,EAASH,EAAa,cAAc,OAAO,GAAWX,EAAQ,WAAaa,EAAK,IAAI,EACpFJ,EAAWlE,EAAK,OAAO,cAAc,OAAO,GAAWyD,EAAQ,WAAaa,EAAK,IAAI,EAC3F,GAAIC,EAAO,SAAW,GAAKL,EAAS,SAAW,EAAG,SAClD,IAAMM,EAAW,eAAeD,EAAO,EAAE,CAAC,OAAQD,EAAK,IAAI,EACrDG,EAAa,eAAeP,EAAS,EAAE,CAAC,OAAQI,EAAK,IAAI,EAC3DE,IAAa,MAAQC,IAAe,MAAQD,IAAaC,IAAY,EAAU,GACvF,OAED,GAAIjB,GAAQ,UAAY,MAAQY,EAAa,cAAc,SAAW,GAAKpE,EAAK,OAAO,cAAc,SAAW,EAAG,CACtH,IAAMwE,EAAW,eAAeJ,EAAa,UAAU,OAAQZ,EAAO,QAAQ,EACxEiB,EAAa,eAAezE,EAAK,OAAO,UAAU,OAAQwD,EAAO,QAAQ,EAC3EgB,IAAa,MAAQC,IAAe,MAAQD,IAAaC,IAAY,EAAU,GACvF,CACJ,CACA,OAAOJ,CACX,CAAC,EACGrE,EAAK,KAAK,OAAS,2BAA6BmD,EAAe,MAAM,GAAYC,EAAS,OAAS,OAClGF,IAAe,KAAkE,CAAC,WAAWlD,EAAK,IAAMoD,EAAS,IAAI,EAA/F,oBAAoBA,EAAS,KAAMF,CAAU,IAAM,GAA8C,IAAG,EAAc,IACzIiB,GAAa,gBAAgB9E,EAAgB,sCAAuC,mFAAoFW,EAAK,QAAUA,EAAK,SAAA,CAAW,QAAQ,CACvN,CACJ,CACJ,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{locationOf as n}from"./SourceLine.js";import{firstWord as r}from"./LineText.js";import{parseDescription as i}from"./DescriptionParser.js";import{parseCondition as a}from"./ConditionParser.js";import{rejectOperationChildren as o}from"./OperationParser.js";import{parseLifecycleSpecification as s}from"./SpecificationParser.js";const c=t(`^statemachine\\s+([A-Za-z_]\\w*)$`),l=t(`^follows\\s+([A-Za-z_]\\w*)$`),u=t(`^state\\s+([A-Za-z_]\\w*)((?:\\s+(?:initial|final))*)$`),d=t(`^entering\\s+(send|start)\\s+([A-Za-z_]\\w*)$`),f=t(`^on\\s+([A-Za-z_][\\w.]*)(?:\\s+when\\s+(.+?))?\\s*->\\s*([A-Za-z_]\\w*)$`);function parseStateMachine(t,a){let u=c.exec(a.content);if(u===null)return t.error(e.InvalidStateMachineDeclaration,`Invalid state machine declaration '${a.content}' - expected 'statemachine <Name>'.`,n(a)),t.skipBlock(a.indent),{kind:`StateMachineSyntax`,name:r(a.content),follows:``,description:null,states:[],specifications:[],location:n(a)};let d=u[1],f=null,p=null,m=[],h=[],g={};for(let c=t.peekChild(a.indent);c!==void 0;c=t.peekChild(a.indent))switch(t.reader.takeSignificant(),r(c.content)){case`description`:f=i(t,c,f,`State machine '${d}'`),g.description??=n(c);break;case`follows`:{let r=l.exec(c.content);r===null?t.error(e.InvalidStateMachineDeclaration,`Invalid follows '${c.content}' - expected 'follows <ReadModel>'.`,n(c)):p===null?(p=r[1],g.follows=n(c)):t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' follows more than one read model.`,n(c)),o(t,c,e.InvalidStateMachineDeclaration,`A follows line cannot have children.`);break}case`state`:m.push(parseState(t,c,d));break;case`specification`:h.push(s(t,c,e.InvalidStateMachineDeclaration));break;default:t.error(e.InvalidStateMachineDeclaration,`Unexpected '${c.content}' in state machine '${d}' - expected description, follows, state or specification.`,n(c)),t.skipBlock(c.indent)}p===null&&t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' must follow a read model: 'follows <ReadModel>'.`,n(a));let _=/* @__PURE__ */ new Set;for(let n of m)_.has(n.name)&&t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' declares state '${n.name}' more than once.`,n.location),_.add(n.name);return{kind:`StateMachineSyntax`,name:d,follows:p??``,description:f,states:m,specifications:h,location:n(a),directiveLocations:g}}function parseState(t,i,s){let c=u.exec(i.content);if(c===null)return t.error(e.InvalidStateMachineDeclaration,`Invalid state '${i.content}' - expected 'state <Name> [initial] [final]'.`,n(i)),t.skipBlock(i.indent),{kind:`StateSyntax`,name:``,isInitial:!1,isFinal:!1,entering:[],transitions:[],location:n(i)};let l=c[2].split(` `).filter(e=>e.length>0);l.length!==new Set(l).size&&t.error(e.InvalidStateMachineDeclaration,`State '${c[1]}' repeats a modifier.`,n(i));let p=[],m=[];for(let l=t.peekChild(i.indent);l!==void 0;l=t.peekChild(i.indent))switch(t.reader.takeSignificant(),r(l.content)){case`entering`:{let r=d.exec(l.content);r===null?t.error(e.InvalidStateMachineDeclaration,`Invalid entering '${l.content}' - expected 'entering send <Command>' or 'entering start <Workflow>'.`,n(l)):p.push({kind:`StateEntrySyntax`,entryKind:r[1]===`send`?`Send`:`Start`,target:r[2],location:n(l)}),o(t,l,e.InvalidStateMachineDeclaration,`An entering line cannot have children.`);break}case`on`:{let r=f.exec(l.content);if(r===null)t.error(e.InvalidStateMachineDeclaration,`Invalid transition '${l.content}' - expected 'on <Event> [when <condition>] -> <State>'.`,n(l));else{let e=null,i=!1;r[2]!==void 0&&(e=a(t,r[2],n(l)),i=e===null),i||m.push({kind:`StateTransitionSyntax`,event:r[1],when:e,target:r[3],location:n(l)})}o(t,l,e.InvalidStateMachineDeclaration,`A transition cannot have children.`);break}default:t.error(e.InvalidStateMachineDeclaration,`Unexpected '${l.content}' in state '${c[1]}' of '${s}' - expected entering or on.`,n(l)),t.skipBlock(l.indent)}return{kind:`StateSyntax`,name:c[1],isInitial:l.includes(`initial`),isFinal:l.includes(`final`),entering:p,transitions:m,location:n(i)}}export{parseStateMachine};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{parseCondition as n}from"./ConditionParser.js";import{parseDescription as r}from"./DescriptionParser.js";import{firstWord as i}from"./LineText.js";import{rejectOperationChildren as a}from"./OperationParser.js";import{locationOf as o}from"./SourceLine.js";import{parseLifecycleSpecification as s}from"./SpecificationParser.js";const c=t(`^statemachine\\s+([A-Za-z_]\\w*)$`),l=t(`^follows\\s+([A-Za-z_]\\w*)$`),u=t(`^state\\s+([A-Za-z_]\\w*)((?:\\s+(?:initial|final))*)$`),d=t(`^entering\\s+(send|start)\\s+([A-Za-z_]\\w*)$`),f=t(`^on\\s+([A-Za-z_][\\w.]*)(?:\\s+when\\s+(.+?))?\\s*->\\s*([A-Za-z_]\\w*)$`);function parseStateMachine(t,n){let u=c.exec(n.content);if(u===null)return t.error(e.InvalidStateMachineDeclaration,`Invalid state machine declaration '${n.content}' - expected 'statemachine <Name>'.`,o(n)),t.skipBlock(n.indent),{kind:`StateMachineSyntax`,name:i(n.content),follows:``,description:null,states:[],specifications:[],location:o(n)};let d=u[1],f=null,p=null,m=[],h=[],g={};for(let c=t.peekChild(n.indent);c!==void 0;c=t.peekChild(n.indent))switch(t.reader.takeSignificant(),i(c.content)){case`description`:f=r(t,c,f,`State machine '${d}'`),g.description??=o(c);break;case`follows`:{let n=l.exec(c.content);n===null?t.error(e.InvalidStateMachineDeclaration,`Invalid follows '${c.content}' - expected 'follows <ReadModel>'.`,o(c)):p===null?(p=n[1],g.follows=o(c)):t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' follows more than one read model.`,o(c)),a(t,c,e.InvalidStateMachineDeclaration,`A follows line cannot have children.`);break}case`state`:m.push(parseState(t,c,d));break;case`specification`:h.push(s(t,c,e.InvalidStateMachineDeclaration));break;default:t.error(e.InvalidStateMachineDeclaration,`Unexpected '${c.content}' in state machine '${d}' - expected description, follows, state or specification.`,o(c)),t.skipBlock(c.indent)}p===null&&t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' must follow a read model: 'follows <ReadModel>'.`,o(n));let _=/* @__PURE__ */ new Set;for(let n of m)_.has(n.name)&&t.error(e.InvalidStateMachineDeclaration,`State machine '${d}' declares state '${n.name}' more than once.`,n.location),_.add(n.name);return{kind:`StateMachineSyntax`,name:d,follows:p??``,description:f,states:m,specifications:h,location:o(n),directiveLocations:g}}function parseState(t,r,s){let c=u.exec(r.content);if(c===null)return t.error(e.InvalidStateMachineDeclaration,`Invalid state '${r.content}' - expected 'state <Name> [initial] [final]'.`,o(r)),t.skipBlock(r.indent),{kind:`StateSyntax`,name:``,isInitial:!1,isFinal:!1,entering:[],transitions:[],location:o(r)};let l=c[2].split(` `).filter(e=>e.length>0);l.length!==new Set(l).size&&t.error(e.InvalidStateMachineDeclaration,`State '${c[1]}' repeats a modifier.`,o(r));let p=[],m=[];for(let l=t.peekChild(r.indent);l!==void 0;l=t.peekChild(r.indent))switch(t.reader.takeSignificant(),i(l.content)){case`entering`:{let n=d.exec(l.content);n===null?t.error(e.InvalidStateMachineDeclaration,`Invalid entering '${l.content}' - expected 'entering send <Command>' or 'entering start <Workflow>'.`,o(l)):p.push({kind:`StateEntrySyntax`,entryKind:n[1]===`send`?`Send`:`Start`,target:n[2],location:o(l)}),a(t,l,e.InvalidStateMachineDeclaration,`An entering line cannot have children.`);break}case`on`:{let r=f.exec(l.content);if(r===null)t.error(e.InvalidStateMachineDeclaration,`Invalid transition '${l.content}' - expected 'on <Event> [when <condition>] -> <State>'.`,o(l));else{let e=null,i=!1;r[2]!==void 0&&(e=n(t,r[2],o(l)),i=e===null),i||m.push({kind:`StateTransitionSyntax`,event:r[1],when:e,target:r[3],location:o(l)})}a(t,l,e.InvalidStateMachineDeclaration,`A transition cannot have children.`);break}default:t.error(e.InvalidStateMachineDeclaration,`Unexpected '${l.content}' in state '${c[1]}' of '${s}' - expected entering or on.`,o(l)),t.skipBlock(l.indent)}return{kind:`StateSyntax`,name:c[1],isInitial:l.includes(`initial`),isFinal:l.includes(`final`),entering:p,transitions:m,location:o(r)}}export{parseStateMachine};
 //# sourceMappingURL=StateMachineParser.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"StateMachineParser.js","names":["headerPattern","pattern","followsPattern","statePattern","enteringPattern","transitionPattern","match","header","context","DiagnosticCodes","locationOf","firstWord","name","description","follows","states","specifications","directiveLocations","line","parseDescription","followed","rejectOperationChildren","parseLifecycleSpecification","seen","state","modifiers","word","entering","transitions","entry","transition","when","failed","parseCondition","machine"],"sources":["../../../../../../Compiler/Parsing/StateMachineParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { LifecycleSpecificationSyntax, StateEntrySyntax, StateMachineSyntax, StateSyntax, StateTransitionSyntax } from '../Syntax/Lifecycles';\nimport { pattern } from '../Text/patterns';\nimport { parseCondition } from './ConditionParser';\nimport { parseDescription } from './DescriptionParser';\nimport { firstWord } from './LineText';\nimport { rejectOperationChildren } from './OperationParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseLifecycleSpecification } from './SpecificationParser';\n\nconst headerPattern = pattern('^statemachine\\\\s+([A-Za-z_]\\\\w*)$');\nconst followsPattern = pattern('^follows\\\\s+([A-Za-z_]\\\\w*)$');\nconst statePattern = pattern('^state\\\\s+([A-Za-z_]\\\\w*)((?:\\\\s+(?:initial|final))*)$');\nconst enteringPattern = pattern('^entering\\\\s+(send|start)\\\\s+([A-Za-z_]\\\\w*)$');\nconst transitionPattern = pattern('^on\\\\s+([A-Za-z_][\\\\w.]*)(?:\\\\s+when\\\\s+(.+?))?\\\\s*->\\\\s*([A-Za-z_]\\\\w*)$');\n\n// The port of C# StateMachineParser.\nexport function parseStateMachine(context: ParserContext, header: SourceLine): StateMachineSyntax {\n    const match = headerPattern.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid state machine declaration '${header.content}' - expected 'statemachine <Name>'.`, locationOf(header));\n        context.skipBlock(header.indent);\n        return { kind: 'StateMachineSyntax', name: firstWord(header.content), follows: '', description: null, states: [], specifications: [], location: locationOf(header) };\n    }\n    const name = match[1];\n    let description: string | null = null;\n    let follows: string | null = null;\n    const states: StateSyntax[] = [];\n    const specifications: LifecycleSpecificationSyntax[] = [];\n    const directiveLocations: Record<string, SourceLocation> = {};\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        switch (firstWord(line.content)) {\n            case 'description':\n                description = parseDescription(context, line, description, `State machine '${name}'`);\n                directiveLocations.description ??= locationOf(line);\n                break;\n            case 'follows': {\n                const followed = followsPattern.exec(line.content);\n                if (followed === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid follows '${line.content}' - expected 'follows <ReadModel>'.`, locationOf(line));\n                else if (follows !== null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' follows more than one read model.`, locationOf(line));\n                else {\n                    follows = followed[1];\n                    directiveLocations.follows = locationOf(line);\n                }\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'A follows line cannot have children.');\n                break;\n            }\n            case 'state':\n                states.push(parseState(context, line, name));\n                break;\n            case 'specification':\n                specifications.push(parseLifecycleSpecification(context, line, DiagnosticCodes.InvalidStateMachineDeclaration));\n                break;\n            default:\n                context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Unexpected '${line.content}' in state machine '${name}' - expected description, follows, state or specification.`, locationOf(line));\n                context.skipBlock(line.indent);\n        }\n    }\n    if (follows === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' must follow a read model: 'follows <ReadModel>'.`, locationOf(header));\n    const seen = new Set<string>();\n    for (const state of states) {\n        if (seen.has(state.name)) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' declares state '${state.name}' more than once.`, state.location);\n        seen.add(state.name);\n    }\n    return { kind: 'StateMachineSyntax', name, follows: follows ?? '', description, states, specifications, location: locationOf(header), directiveLocations };\n}\n\nfunction parseState(context: ParserContext, header: SourceLine, machine: string): StateSyntax {\n    const match = statePattern.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid state '${header.content}' - expected 'state <Name> [initial] [final]'.`, locationOf(header));\n        context.skipBlock(header.indent);\n        return { kind: 'StateSyntax', name: '', isInitial: false, isFinal: false, entering: [], transitions: [], location: locationOf(header) };\n    }\n    const modifiers = match[2].split(' ').filter(word => word.length > 0);\n    if (modifiers.length !== new Set(modifiers).size) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State '${match[1]}' repeats a modifier.`, locationOf(header));\n    const entering: StateEntrySyntax[] = [];\n    const transitions: StateTransitionSyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        switch (firstWord(line.content)) {\n            case 'entering': {\n                const entry = enteringPattern.exec(line.content);\n                if (entry === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid entering '${line.content}' - expected 'entering send <Command>' or 'entering start <Workflow>'.`, locationOf(line));\n                else entering.push({ kind: 'StateEntrySyntax', entryKind: entry[1] === 'send' ? 'Send' : 'Start', target: entry[2], location: locationOf(line) });\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'An entering line cannot have children.');\n                break;\n            }\n            case 'on': {\n                const transition = transitionPattern.exec(line.content);\n                if (transition === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid transition '${line.content}' - expected 'on <Event> [when <condition>] -> <State>'.`, locationOf(line));\n                else {\n                    let when: ConditionSyntax | null = null;\n                    let failed = false;\n                    if (transition[2] !== undefined) {\n                        when = parseCondition(context, transition[2], locationOf(line));\n                        failed = when === null;\n                    }\n                    if (!failed) transitions.push({ kind: 'StateTransitionSyntax', event: transition[1], when, target: transition[3], location: locationOf(line) });\n                }\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'A transition cannot have children.');\n                break;\n            }\n            default:\n                context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Unexpected '${line.content}' in state '${match[1]}' of '${machine}' - expected entering or on.`, locationOf(line));\n                context.skipBlock(line.indent);\n        }\n    }\n    return { kind: 'StateSyntax', name: match[1], isInitial: modifiers.includes('initial'), isFinal: modifiers.includes('final'), entering, transitions, location: locationOf(header) };\n}\n"],"mappings":"ofAgBA,MAAMA,EAAgBC,EAAQ,mCAAmC,EAC3DC,EAAiBD,EAAQ,8BAA8B,EACvDE,EAAeF,EAAQ,wDAAwD,EAC/EG,EAAkBH,EAAQ,+CAA+C,EACzEI,EAAoBJ,EAAQ,2EAA2E,EAG7G,SAAgB,kBAAkB,EAAwB,EAAwC,CAC9F,IAAMK,EAAQN,EAAc,KAAKO,EAAO,OAAO,EAC/C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,+BAAgC,sCAAsCF,EAAO,QAAQ,qCAAsCG,EAAWH,CAAM,CAAC,EAC3KC,EAAQ,UAAUD,EAAO,MAAM,EACxB,CAAE,KAAM,qBAAsB,KAAMI,EAAUJ,EAAO,OAAO,EAAG,QAAS,GAAI,YAAa,KAAM,OAAQ,CAAC,EAAG,eAAgB,CAAC,EAAG,SAAUG,EAAWH,CAAM,CAAE,EAEvK,IAAMK,EAAON,EAAM,GACfO,EAA6B,KAC7BC,EAAyB,KACvBC,EAAwB,CAAC,EACzBC,EAAiD,CAAC,EAClDC,EAAqD,CAAC,EAC5D,IAAK,IAAIC,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAAGW,IAAS,IAAA,GAAW,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAExG,OADAC,EAAQ,OAAO,gBAAgB,EACvBG,EAAUO,EAAK,OAAO,EAA9B,CACI,IAAK,cACD,EAAcC,EAAiBX,EAASU,EAAML,EAAa,kBAAkBD,EAAK,EAAE,EACpF,EAAmB,cAAgBF,EAAWQ,CAAI,EAClD,MACJ,IAAK,UAAW,CACZ,IAAME,EAAWlB,EAAe,KAAKgB,EAAK,OAAO,EAC7CE,IAAa,KAAMZ,EAAQ,MAAMC,EAAgB,+BAAgC,oBAAoBS,EAAK,QAAQ,qCAAsCR,EAAWQ,CAAI,CAAC,EACnKJ,IAAY,MAEjB,EAAUM,EAAS,GACnB,EAAmB,QAAUV,EAAWQ,CAAI,GAHrBV,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,qCAAsCF,EAAWQ,CAAI,CAAC,EAKtKG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,sCAAsC,EAC7H,KACJ,CACA,IAAK,QACDM,EAAO,KAAK,WAAWP,EAASU,EAAMN,CAAI,CAAC,EAC3C,MACJ,IAAK,gBACDI,EAAe,KAAKM,EAA4Bd,EAASU,EAAMT,EAAgB,8BAA8B,CAAC,EAC9G,MACJ,QACID,EAAQ,MAAMC,EAAgB,+BAAgC,eAAeS,EAAK,QAAQ,sBAAsBN,EAAK,4DAA6DF,EAAWQ,CAAI,CAAC,EAClMV,EAAQ,UAAUU,EAAK,MAAM,CACrC,CAEAJ,IAAY,MAAMN,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,oDAAqDF,EAAWH,CAAM,CAAC,EAClL,IAAMgB,kBAAO,IAAI,IACjB,IAAK,IAAMC,KAAST,EACZQ,EAAK,IAAIC,EAAM,IAAI,GAAGhB,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,oBAAoBY,EAAM,KAAK,mBAAoBA,EAAM,QAAQ,EAChLD,EAAK,IAAIC,EAAM,IAAI,EAEvB,MAAO,CAAE,KAAM,qBAAsB,OAAM,QAASV,GAAW,GAAI,cAAa,SAAQ,iBAAgB,SAAUJ,EAAWH,CAAM,EAAG,oBAAmB,CAC7J,CAEA,SAAS,WAAW,EAAwB,EAAoB,EAA8B,CAC1F,IAAMD,EAAQH,EAAa,KAAKI,EAAO,OAAO,EAC9C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBF,EAAO,QAAQ,gDAAiDG,EAAWH,CAAM,CAAC,EAClKC,EAAQ,UAAUD,EAAO,MAAM,EACxB,CAAE,KAAM,cAAe,KAAM,GAAI,UAAW,GAAO,QAAS,GAAO,SAAU,CAAC,EAAG,YAAa,CAAC,EAAG,SAAUG,EAAWH,CAAM,CAAE,EAE1I,IAAMkB,EAAYnB,EAAM,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,GAAQoB,EAAK,OAAS,CAAC,EAChED,EAAU,SAAW,IAAI,IAAIA,CAAS,CAAC,CAAC,MAAMjB,EAAQ,MAAMC,EAAgB,+BAAgC,UAAUH,EAAM,GAAG,uBAAwBI,EAAWH,CAAM,CAAC,EAC7K,IAAMoB,EAA+B,CAAC,EAChCC,EAAuC,CAAC,EAC9C,IAAK,IAAIV,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAAGW,IAAS,IAAA,GAAW,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAExG,OADAC,EAAQ,OAAO,gBAAgB,EACvBG,EAAUO,EAAK,OAAO,EAA9B,CACI,IAAK,WAAY,CACb,IAAMW,EAAQzB,EAAgB,KAAKc,EAAK,OAAO,EAC3CW,IAAU,KAAMrB,EAAQ,MAAMC,EAAgB,+BAAgC,qBAAqBS,EAAK,QAAQ,wEAAyER,EAAWQ,CAAI,CAAC,EACxMS,EAAS,KAAK,CAAE,KAAM,mBAAoB,UAAWE,EAAM,KAAO,OAAS,OAAS,QAAS,OAAQA,EAAM,GAAI,SAAUnB,EAAWQ,CAAI,CAAE,CAAC,EAChJG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,wCAAwC,EAC/H,KACJ,CACA,IAAK,KAAM,CACP,IAAMqB,EAAazB,EAAkB,KAAKa,EAAK,OAAO,EACtD,GAAIY,IAAe,KAAMtB,EAAQ,MAAMC,EAAgB,+BAAgC,uBAAuBS,EAAK,QAAQ,0DAA2DR,EAAWQ,CAAI,CAAC,MACjM,CACD,IAAIa,EAA+B,KAC/BC,EAAS,GACTF,EAAW,KAAO,IAAA,KAClB,EAAOG,EAAezB,EAASsB,EAAW,GAAIpB,EAAWQ,CAAI,CAAC,EAC9D,EAASa,IAAS,MAEjBC,GAAQJ,EAAY,KAAK,CAAE,KAAM,wBAAyB,MAAOE,EAAW,GAAI,OAAM,OAAQA,EAAW,GAAI,SAAUpB,EAAWQ,CAAI,CAAE,CAAC,CAClJ,CACAG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,oCAAoC,EAC3H,KACJ,CACA,QACID,EAAQ,MAAMC,EAAgB,+BAAgC,eAAeS,EAAK,QAAQ,cAAcZ,EAAM,GAAG,QAAQ4B,EAAQ,8BAA+BxB,EAAWQ,CAAI,CAAC,EAChLV,EAAQ,UAAUU,EAAK,MAAM,CACrC,CAEJ,MAAO,CAAE,KAAM,cAAe,KAAMZ,EAAM,GAAI,UAAWmB,EAAU,SAAS,SAAS,EAAG,QAASA,EAAU,SAAS,OAAO,EAAG,WAAU,cAAa,SAAUf,EAAWH,CAAM,CAAE,CACtL"}
+{"version":3,"file":"StateMachineParser.js","names":["headerPattern","pattern","followsPattern","statePattern","enteringPattern","transitionPattern","match","header","context","DiagnosticCodes","locationOf","firstWord","name","description","follows","states","specifications","directiveLocations","line","parseDescription","followed","rejectOperationChildren","parseLifecycleSpecification","seen","state","modifiers","word","entering","transitions","entry","transition","when","failed","parseCondition","machine"],"sources":["../../../../../../Compiler/Parsing/StateMachineParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { LifecycleSpecificationSyntax, StateEntrySyntax, StateMachineSyntax, StateSyntax, StateTransitionSyntax } from '../Syntax/Lifecycles';\nimport { pattern } from '../Text/patterns';\nimport { parseCondition } from './ConditionParser';\nimport { parseDescription } from './DescriptionParser';\nimport { firstWord } from './LineText';\nimport { rejectOperationChildren } from './OperationParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseLifecycleSpecification } from './SpecificationParser';\n\nconst headerPattern = pattern('^statemachine\\\\s+([A-Za-z_]\\\\w*)$');\nconst followsPattern = pattern('^follows\\\\s+([A-Za-z_]\\\\w*)$');\nconst statePattern = pattern('^state\\\\s+([A-Za-z_]\\\\w*)((?:\\\\s+(?:initial|final))*)$');\nconst enteringPattern = pattern('^entering\\\\s+(send|start)\\\\s+([A-Za-z_]\\\\w*)$');\nconst transitionPattern = pattern('^on\\\\s+([A-Za-z_][\\\\w.]*)(?:\\\\s+when\\\\s+(.+?))?\\\\s*->\\\\s*([A-Za-z_]\\\\w*)$');\n\n// The port of C# StateMachineParser.\nexport function parseStateMachine(context: ParserContext, header: SourceLine): StateMachineSyntax {\n    const match = headerPattern.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid state machine declaration '${header.content}' - expected 'statemachine <Name>'.`, locationOf(header));\n        context.skipBlock(header.indent);\n        return { kind: 'StateMachineSyntax', name: firstWord(header.content), follows: '', description: null, states: [], specifications: [], location: locationOf(header) };\n    }\n    const name = match[1];\n    let description: string | null = null;\n    let follows: string | null = null;\n    const states: StateSyntax[] = [];\n    const specifications: LifecycleSpecificationSyntax[] = [];\n    const directiveLocations: Record<string, SourceLocation> = {};\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        switch (firstWord(line.content)) {\n            case 'description':\n                description = parseDescription(context, line, description, `State machine '${name}'`);\n                directiveLocations.description ??= locationOf(line);\n                break;\n            case 'follows': {\n                const followed = followsPattern.exec(line.content);\n                if (followed === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid follows '${line.content}' - expected 'follows <ReadModel>'.`, locationOf(line));\n                else if (follows !== null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' follows more than one read model.`, locationOf(line));\n                else {\n                    follows = followed[1];\n                    directiveLocations.follows = locationOf(line);\n                }\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'A follows line cannot have children.');\n                break;\n            }\n            case 'state':\n                states.push(parseState(context, line, name));\n                break;\n            case 'specification':\n                specifications.push(parseLifecycleSpecification(context, line, DiagnosticCodes.InvalidStateMachineDeclaration));\n                break;\n            default:\n                context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Unexpected '${line.content}' in state machine '${name}' - expected description, follows, state or specification.`, locationOf(line));\n                context.skipBlock(line.indent);\n        }\n    }\n    if (follows === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' must follow a read model: 'follows <ReadModel>'.`, locationOf(header));\n    const seen = new Set<string>();\n    for (const state of states) {\n        if (seen.has(state.name)) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State machine '${name}' declares state '${state.name}' more than once.`, state.location);\n        seen.add(state.name);\n    }\n    return { kind: 'StateMachineSyntax', name, follows: follows ?? '', description, states, specifications, location: locationOf(header), directiveLocations };\n}\n\nfunction parseState(context: ParserContext, header: SourceLine, machine: string): StateSyntax {\n    const match = statePattern.exec(header.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid state '${header.content}' - expected 'state <Name> [initial] [final]'.`, locationOf(header));\n        context.skipBlock(header.indent);\n        return { kind: 'StateSyntax', name: '', isInitial: false, isFinal: false, entering: [], transitions: [], location: locationOf(header) };\n    }\n    const modifiers = match[2].split(' ').filter(word => word.length > 0);\n    if (modifiers.length !== new Set(modifiers).size) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `State '${match[1]}' repeats a modifier.`, locationOf(header));\n    const entering: StateEntrySyntax[] = [];\n    const transitions: StateTransitionSyntax[] = [];\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        switch (firstWord(line.content)) {\n            case 'entering': {\n                const entry = enteringPattern.exec(line.content);\n                if (entry === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid entering '${line.content}' - expected 'entering send <Command>' or 'entering start <Workflow>'.`, locationOf(line));\n                else entering.push({ kind: 'StateEntrySyntax', entryKind: entry[1] === 'send' ? 'Send' : 'Start', target: entry[2], location: locationOf(line) });\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'An entering line cannot have children.');\n                break;\n            }\n            case 'on': {\n                const transition = transitionPattern.exec(line.content);\n                if (transition === null) context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Invalid transition '${line.content}' - expected 'on <Event> [when <condition>] -> <State>'.`, locationOf(line));\n                else {\n                    let when: ConditionSyntax | null = null;\n                    let failed = false;\n                    if (transition[2] !== undefined) {\n                        when = parseCondition(context, transition[2], locationOf(line));\n                        failed = when === null;\n                    }\n                    if (!failed) transitions.push({ kind: 'StateTransitionSyntax', event: transition[1], when, target: transition[3], location: locationOf(line) });\n                }\n                rejectOperationChildren(context, line, DiagnosticCodes.InvalidStateMachineDeclaration, 'A transition cannot have children.');\n                break;\n            }\n            default:\n                context.error(DiagnosticCodes.InvalidStateMachineDeclaration, `Unexpected '${line.content}' in state '${match[1]}' of '${machine}' - expected entering or on.`, locationOf(line));\n                context.skipBlock(line.indent);\n        }\n    }\n    return { kind: 'StateSyntax', name: match[1], isInitial: modifiers.includes('initial'), isFinal: modifiers.includes('final'), entering, transitions, location: locationOf(header) };\n}\n"],"mappings":"A,ofAgBA,MAAMA,EAAgBC,EAAQ,mCAAmC,EAC3DC,EAAiBD,EAAQ,8BAA8B,EACvDE,EAAeF,EAAQ,wDAAwD,EAC/EG,EAAkBH,EAAQ,+CAA+C,EACzEI,EAAoBJ,EAAQ,2EAA2E,EAG7G,SAAgB,kBAAkB,EAAwB,EAAwC,CAC9F,IAAMK,EAAQN,EAAc,KAAKO,EAAO,OAAO,EAC/C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,+BAAgC,sCAAsCF,EAAO,QAAQ,qCAAsCG,EAAWH,CAAM,CAAC,EAC3KC,EAAQ,UAAUD,EAAO,MAAM,EACxB,CAAE,KAAM,qBAAsB,KAAMI,EAAUJ,EAAO,OAAO,EAAG,QAAS,GAAI,YAAa,KAAM,OAAQ,CAAC,EAAG,eAAgB,CAAC,EAAG,SAAUG,EAAWH,CAAM,CAAE,EAEvK,IAAMK,EAAON,EAAM,GACfO,EAA6B,KAC7BC,EAAyB,KACvBC,EAAwB,CAAC,EACzBC,EAAiD,CAAC,EAClDC,EAAqD,CAAC,EAC5D,IAAK,IAAIC,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAAGW,IAAS,IAAA,GAAW,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAExG,OADAC,EAAQ,OAAO,gBAAgB,EACvBG,EAAUO,EAAK,OAAO,EAA9B,CACI,IAAK,cACD,EAAcC,EAAiBX,EAASU,EAAML,EAAa,kBAAkBD,EAAK,EAAE,EACpF,EAAmB,cAAgBF,EAAWQ,CAAI,EAClD,MACJ,IAAK,UAAW,CACZ,IAAME,EAAWlB,EAAe,KAAKgB,EAAK,OAAO,EAC7CE,IAAa,KAAMZ,EAAQ,MAAMC,EAAgB,+BAAgC,oBAAoBS,EAAK,QAAQ,qCAAsCR,EAAWQ,CAAI,CAAC,EACnKJ,IAAY,MAEjB,EAAUM,EAAS,GACnB,EAAmB,QAAUV,EAAWQ,CAAI,GAHrBV,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,qCAAsCF,EAAWQ,CAAI,CAAC,EAKtKG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,sCAAsC,EAC7H,KACJ,CACA,IAAK,QACDM,EAAO,KAAK,WAAWP,EAASU,EAAMN,CAAI,CAAC,EAC3C,MACJ,IAAK,gBACDI,EAAe,KAAKM,EAA4Bd,EAASU,EAAMT,EAAgB,8BAA8B,CAAC,EAC9G,MACJ,QACID,EAAQ,MAAMC,EAAgB,+BAAgC,eAAeS,EAAK,QAAQ,sBAAsBN,EAAK,4DAA6DF,EAAWQ,CAAI,CAAC,EAClMV,EAAQ,UAAUU,EAAK,MAAM,CACrC,CAEAJ,IAAY,MAAMN,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,oDAAqDF,EAAWH,CAAM,CAAC,EAClL,IAAMgB,kBAAO,IAAI,IACjB,IAAK,IAAMC,KAAST,EACZQ,EAAK,IAAIC,EAAM,IAAI,GAAGhB,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBG,EAAK,oBAAoBY,EAAM,KAAK,mBAAoBA,EAAM,QAAQ,EAChLD,EAAK,IAAIC,EAAM,IAAI,EAEvB,MAAO,CAAE,KAAM,qBAAsB,OAAM,QAASV,GAAW,GAAI,cAAa,SAAQ,iBAAgB,SAAUJ,EAAWH,CAAM,EAAG,oBAAmB,CAC7J,CAEA,SAAS,WAAW,EAAwB,EAAoB,EAA8B,CAC1F,IAAMD,EAAQH,EAAa,KAAKI,EAAO,OAAO,EAC9C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,+BAAgC,kBAAkBF,EAAO,QAAQ,gDAAiDG,EAAWH,CAAM,CAAC,EAClKC,EAAQ,UAAUD,EAAO,MAAM,EACxB,CAAE,KAAM,cAAe,KAAM,GAAI,UAAW,GAAO,QAAS,GAAO,SAAU,CAAC,EAAG,YAAa,CAAC,EAAG,SAAUG,EAAWH,CAAM,CAAE,EAE1I,IAAMkB,EAAYnB,EAAM,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,GAAQoB,EAAK,OAAS,CAAC,EAChED,EAAU,SAAW,IAAI,IAAIA,CAAS,CAAC,CAAC,MAAMjB,EAAQ,MAAMC,EAAgB,+BAAgC,UAAUH,EAAM,GAAG,uBAAwBI,EAAWH,CAAM,CAAC,EAC7K,IAAMoB,EAA+B,CAAC,EAChCC,EAAuC,CAAC,EAC9C,IAAK,IAAIV,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAAGW,IAAS,IAAA,GAAW,EAAOV,EAAQ,UAAUD,EAAO,MAAM,EAExG,OADAC,EAAQ,OAAO,gBAAgB,EACvBG,EAAUO,EAAK,OAAO,EAA9B,CACI,IAAK,WAAY,CACb,IAAMW,EAAQzB,EAAgB,KAAKc,EAAK,OAAO,EAC3CW,IAAU,KAAMrB,EAAQ,MAAMC,EAAgB,+BAAgC,qBAAqBS,EAAK,QAAQ,wEAAyER,EAAWQ,CAAI,CAAC,EACxMS,EAAS,KAAK,CAAE,KAAM,mBAAoB,UAAWE,EAAM,KAAO,OAAS,OAAS,QAAS,OAAQA,EAAM,GAAI,SAAUnB,EAAWQ,CAAI,CAAE,CAAC,EAChJG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,wCAAwC,EAC/H,KACJ,CACA,IAAK,KAAM,CACP,IAAMqB,EAAazB,EAAkB,KAAKa,EAAK,OAAO,EACtD,GAAIY,IAAe,KAAMtB,EAAQ,MAAMC,EAAgB,+BAAgC,uBAAuBS,EAAK,QAAQ,0DAA2DR,EAAWQ,CAAI,CAAC,MACjM,CACD,IAAIa,EAA+B,KAC/BC,EAAS,GACTF,EAAW,KAAO,IAAA,KAClB,EAAOG,EAAezB,EAASsB,EAAW,GAAIpB,EAAWQ,CAAI,CAAC,EAC9D,EAASa,IAAS,MAEjBC,GAAQJ,EAAY,KAAK,CAAE,KAAM,wBAAyB,MAAOE,EAAW,GAAI,OAAM,OAAQA,EAAW,GAAI,SAAUpB,EAAWQ,CAAI,CAAE,CAAC,CAClJ,CACAG,EAAwBb,EAASU,EAAMT,EAAgB,+BAAgC,oCAAoC,EAC3H,KACJ,CACA,QACID,EAAQ,MAAMC,EAAgB,+BAAgC,eAAeS,EAAK,QAAQ,cAAcZ,EAAM,GAAG,QAAQ4B,EAAQ,8BAA+BxB,EAAWQ,CAAI,CAAC,EAChLV,EAAQ,UAAUU,EAAK,MAAM,CACrC,CAEJ,MAAO,CAAE,KAAM,cAAe,KAAMZ,EAAM,GAAI,UAAWmB,EAAU,SAAS,SAAS,EAAG,QAASA,EAAU,SAAS,OAAO,EAAG,WAAU,cAAa,SAAUf,EAAWH,CAAM,CAAE,CACtL,C"}

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

@@ -1 +1 @@
-{"version":3,"file":"StructuralInteractionSites.js","names":["sites","first","second","owners","application","node","module","placed","owner","grouped","physical","context","site","ancestor","index","kept","parts","part","duplicate","earlier","diagnostics","DiagnosticCodes","merged","uses","argument","structuralChildren","groups","group","depth","key","order","parent","keyword","entry"],"sources":["../../../../../../Compiler/Parsing/StructuralInteractionSites.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 { Diagnostic } from '../Diagnostics/Diagnostic';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ApplicationSyntax, FeatureSyntax } from '../Syntax/Structure';\nimport { InteractionAncestor } from './InteractionAlternatives';\nimport { InteractionUse } from './InteractionUse';\nimport { ParserContext } from './ParserContext';\n\nimport { StructuralInteractionOwner } from './StructuralInteractionOwner';\nimport { StructuralInteractionSite } from './StructuralInteractionSite';\n\n// Opaque attachments belong to effective syntax owners, not the physical document inventory.\nconst sites = new WeakMap<StructuralInteractionOwner, readonly StructuralInteractionSite[]>();\nexport const sameInteractionLocation = (first: SourceLocation, second: SourceLocation): boolean =>\n    first.path === second.path && first.line === second.line && first.column === second.column;\n\nexport function recordStructuralInteractions(application: ApplicationSyntax, context: ParserContext): void {\n    const owners: StructuralInteractionOwner[] = [application];\n    const feature = (node: FeatureSyntax) => { owners.push(node); node.features.forEach(feature); };\n    application.modules.forEach(module => { owners.push(module); module.features.forEach(feature); });\n    const placed = owners.filter(owner => owner.kind !== 'ApplicationSyntax' && owner.isPlacement).at(-1) ?? application;\n    const grouped = new Map<StructuralInteractionOwner, StructuralInteractionSite[]>();\n    const physical = [...context.guardedInteractions, ...context.interactionUses].sort((first, second) => first.location.line - second.location.line || first.location.column - second.location.column);\n    for (const site of physical) {\n        const ancestor = [...site.ancestors].reverse().find(ancestor => ['module', 'feature'].includes(ancestor.keyword));\n        const index = ancestor === undefined ? -1 : site.ancestors.indexOf(ancestor);\n        const owner = ancestor === undefined\n            ? ['behavior', 'layout'].includes(site.ancestors[0]?.keyword) ? application : placed\n            : owners.find(owner => owner.kind !== 'ApplicationSyntax' && !owner.isPlacement && sameInteractionLocation(owner.location, ancestor.location)) ?? placed;\n        if (!grouped.has(owner)) grouped.set(owner, []);\n        grouped.get(owner)!.push({ ...site, ancestors: site.ancestors.slice(index + 1) });\n    }\n    for (const owner of owners) sites.set(owner, grouped.get(owner) ?? []);\n}\n\n// Called by the syntax merge with the same authored-before-placement parts it merges for each owner.\nexport function mergeStructuralInteractions<T extends StructuralInteractionOwner>(merged: T, parts: readonly T[], diagnostics?: Diagnostic[]): T {\n    const kept: StructuralInteractionSite[] = [];\n    for (const site of parts.flatMap(part => sites.get(part) ?? [])) {\n        const duplicate = 'behavior' in site && site.ancestors.length === 0 && kept.find(earlier =>\n            'behavior' in earlier && earlier.ancestors.length === 0 && earlier.location.path !== site.location.path && useSignature(earlier) === useSignature(site));\n        if (duplicate) {\n            diagnostics?.push({ code: DiagnosticCodes.DuplicateBehaviorAttachment, severity: 'warning', location: site.location,\n                message: `Behavior '${site.behavior}' is already attached to the ${merged.kind === 'ModuleSyntax' ? 'module' : 'feature'} '${'name' in merged ? merged.name : ''}' in '${duplicate.location.path ?? 'another file'}' - this repeated attachment is ignored` });\n        } else kept.push(site);\n    }\n    sites.set(merged, kept);\n    return merged;\n}\n\nfunction useSignature(uses: InteractionUse): string {\n    return [uses.behavior, ...[...uses.arguments].sort((first, second) => first.name < second.name ? -1 : first.name > second.name ? 1 : 0).map(argument => `${argument.name}=${argument.value}`)].join('\\n');\n}\n\n// C# visits child collections, then inline bindings before uses within each owning declaration.\nconst structuralChildren: Readonly<Record<string, readonly string[]>> = {\n    application: ['behavior', 'layout'],\n    module: ['screen template', 'dialog', 'form', 'contribute', 'on', 'uses'],\n    feature: ['contribute', 'on', 'uses'],\n    layout: ['slot', 'arrangement', 'on', 'uses'],\n    'screen template': ['slot', 'arrangement', 'on', 'uses'],\n    dialog: ['slot', 'arrangement', 'on', 'uses'],\n};\n\nfunction structuralOrder(group: readonly StructuralInteractionSite[], parent: string, depth = 0): readonly StructuralInteractionSite[] {\n    const groups = new Map<string, { ancestor: InteractionAncestor; sites: StructuralInteractionSite[] }>();\n    for (const site of group) {\n        const ancestor = site.ancestors[depth] ?? { keyword: 'behavior' in site ? 'uses' : 'on', location: site.location };\n        const key = JSON.stringify(ancestor.location);\n        if (!groups.has(key)) groups.set(key, { ancestor, sites: [] });\n        groups.get(key)!.sites.push(site);\n    }\n    const order = structuralChildren[parent] ?? [];\n    const rank = (keyword: string) => order.includes(keyword) ? order.indexOf(keyword) : order.length;\n    return [...groups.values()].sort((first, second) => rank(first.ancestor.keyword) - rank(second.ancestor.keyword))\n        .flatMap(entry => ['on', 'uses'].includes(entry.ancestor.keyword) ? entry.sites : structuralOrder(entry.sites, entry.ancestor.keyword, depth + 1));\n}\n\nexport function effectiveStructuralInteractions(application: ApplicationSyntax): readonly StructuralInteractionSite[] {\n    const own = (owner: StructuralInteractionOwner) => (sites.get(owner) ?? []).filter(site => !site.ancestors.some(ancestor => ancestor.keyword === 'screen'));\n    const attached = (site: StructuralInteractionSite) => site.ancestors.length === 0;\n    const feature = (node: FeatureSyntax): readonly StructuralInteractionSite[] => [\n        ...node.features.flatMap(feature), ...structuralOrder(own(node), 'feature'),\n    ];\n    return [\n        ...structuralOrder(own(application), 'application'),\n        ...application.modules.flatMap(module => [\n            ...structuralOrder(own(module).filter(site => !attached(site)), 'module'),\n            ...module.features.flatMap(feature),\n            ...structuralOrder(own(module).filter(attached), 'module'),\n        ]),\n    ];\n}\n"],"mappings":"yHAeA,MAAMA,kBAAQ,IAAI,QACL,yBAA2B,EAAuB,IAC3DC,EAAM,OAASC,EAAO,MAAQD,EAAM,OAASC,EAAO,MAAQD,EAAM,SAAWC,EAAO,OAExF,SAAgB,6BAA6B,EAAgC,EAA8B,CACvG,IAAMC,EAAuC,CAACC,CAAW,EACnD,QAAW,GAAwB,CAAED,EAAO,KAAKE,CAAI,EAAGA,EAAK,SAAS,QAAQ,OAAO,CAAG,EAC9FD,EAAY,QAAQ,QAAQ,GAAU,CAAED,EAAO,KAAKG,CAAM,EAAGA,EAAO,SAAS,QAAQ,OAAO,CAAG,CAAC,EAChG,IAAMC,EAASJ,EAAO,OAAO,GAASK,EAAM,OAAS,qBAAuBA,EAAM,WAAW,CAAC,CAAC,GAAG,EAAE,GAAKJ,EACnGK,kBAAU,IAAI,IACdC,EAAW,CAAC,GAAGC,EAAQ,oBAAqB,GAAGA,EAAQ,eAAe,CAAC,CAAC,MAAM,EAAO,IAAWV,EAAM,SAAS,KAAOC,EAAO,SAAS,MAAQD,EAAM,SAAS,OAASC,EAAO,SAAS,MAAM,EAClM,IAAK,IAAMU,KAAQF,EAAU,CACzB,IAAMG,EAAW,CAAC,GAAGD,EAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,GAAY,CAAC,SAAU,SAAS,CAAC,CAAC,SAASC,EAAS,OAAO,CAAC,EAC1GC,EAAQD,IAAa,IAAA,GAAY,GAAKD,EAAK,UAAU,QAAQC,CAAQ,EACrEL,EAAQK,IAAa,IAAA,GACrB,CAAC,WAAY,QAAQ,CAAC,CAAC,SAASD,EAAK,UAAU,EAAE,EAAE,OAAO,EAAIR,EAAcG,EAC5EJ,EAAO,KAAK,GAASK,EAAM,OAAS,qBAAuB,CAACA,EAAM,aAAe,wBAAwBA,EAAM,SAAUK,EAAS,QAAQ,CAAC,GAAKN,EACjJE,EAAQ,IAAID,CAAK,GAAGC,EAAQ,IAAID,EAAO,CAAC,CAAC,EAC9CC,EAAQ,IAAID,CAAK,CAAC,CAAE,KAAK,CAAE,GAAGI,EAAM,UAAWA,EAAK,UAAU,MAAME,EAAQ,CAAC,CAAE,CAAC,CACpF,CACA,IAAK,IAAMN,KAASL,EAAQH,EAAM,IAAIQ,EAAOC,EAAQ,IAAID,CAAK,GAAK,CAAC,CAAC,CACzE,CAGA,SAAgB,4BAAkE,EAAW,EAAqB,EAA+B,CAC7I,IAAMO,EAAoC,CAAC,EAC3C,IAAK,IAAMH,KAAQI,EAAM,QAAQ,GAAQhB,EAAM,IAAIiB,CAAI,GAAK,CAAC,CAAC,EAAG,CAC7D,IAAMC,EAAY,aAAcN,GAAQA,EAAK,UAAU,SAAW,GAAKG,EAAK,KAAK,GAC7E,aAAcI,GAAWA,EAAQ,UAAU,SAAW,GAAKA,EAAQ,SAAS,OAASP,EAAK,SAAS,MAAQ,aAAaO,CAAO,IAAM,aAAaP,CAAI,CAAC,EACvJM,EACAE,GAAa,KAAK,CAAE,KAAMC,EAAgB,4BAA6B,SAAU,UAAW,SAAUT,EAAK,SACvG,QAAS,aAAaA,EAAK,SAAS,+BAA+BU,EAAO,OAAS,eAAiB,SAAW,UAAU,IAAI,SAAUA,EAASA,EAAO,KAAO,GAAG,QAAQJ,EAAU,SAAS,MAAQ,eAAe,wCAAyC,CAAC,EAC9PH,EAAK,KAAKH,CAAI,CACzB,CAEA,OADAZ,EAAM,IAAIsB,EAAQP,CAAI,EACfO,CACX,CAEA,SAAS,aAAa,EAA8B,CAChD,MAAO,CAACC,EAAK,SAAU,GAAG,CAAC,GAAGA,EAAK,SAAS,CAAC,CAAC,MAAM,EAAO,IAAWtB,EAAM,KAAOC,EAAO,KAAO,GAAK,IAAM,KAAOA,EAAO,KAAY,CAAC,CAAC,IAAI,GAAY,GAAGsB,EAAS,KAAK,GAAGA,EAAS,OAAO,CAAC,CAAC,CAAC,KAAK;CAAI,CAC5M,CAGA,MAAMC,EAAkE,CACpE,YAAa,CAAC,WAAY,QAAQ,EAClC,OAAQ,CAAC,kBAAmB,SAAU,OAAQ,aAAc,KAAM,MAAM,EACxE,QAAS,CAAC,aAAc,KAAM,MAAM,EACpC,OAAQ,CAAC,OAAQ,cAAe,KAAM,MAAM,EAC5C,kBAAmB,CAAC,OAAQ,cAAe,KAAM,MAAM,EACvD,OAAQ,CAAC,OAAQ,cAAe,KAAM,MAAM,CAChD,EAEA,SAAS,gBAAgB,EAA6C,EAAgB,EAAQ,EAAyC,CACnI,IAAMC,kBAAS,IAAI,IACnB,IAAK,IAAMd,KAAQe,EAAO,CACtB,IAAMd,EAAWD,EAAK,UAAUgB,IAAU,CAAE,QAAS,aAAchB,EAAO,OAAS,KAAM,SAAUA,EAAK,QAAS,EAC3GiB,EAAM,KAAK,UAAUhB,EAAS,QAAQ,EACvCa,EAAO,IAAIG,CAAG,GAAGH,EAAO,IAAIG,EAAK,CAAE,WAAU,MAAO,CAAC,CAAE,CAAC,EAC7DH,EAAO,IAAIG,CAAG,CAAC,CAAE,MAAM,KAAKjB,CAAI,CACpC,CACA,IAAMkB,EAAQL,EAAmBM,IAAW,CAAC,EACvC,KAAQ,GAAoBD,EAAM,SAASE,CAAO,EAAIF,EAAM,QAAQE,CAAO,EAAIF,EAAM,OAC3F,MAAO,CAAC,GAAGJ,EAAO,OAAO,CAAC,CAAC,CAAC,MAAM,EAAO,IAAW,KAAKzB,EAAM,SAAS,OAAO,EAAI,KAAKC,EAAO,SAAS,OAAO,CAAC,CAAC,CAC5G,QAAQ,GAAS,CAAC,KAAM,MAAM,CAAC,CAAC,SAAS+B,EAAM,SAAS,OAAO,EAAIA,EAAM,MAAQ,gBAAgBA,EAAM,MAAOA,EAAM,SAAS,QAASL,EAAQ,CAAC,CAAC,CACzJ,CAEA,SAAgB,gCAAgC,EAAsE,CAClH,IAAM,IAAO,IAAuC5B,EAAM,IAAIQ,CAAK,GAAK,CAAC,EAAA,CAAG,OAAO,GAAQ,CAACI,EAAK,UAAU,KAAK,GAAYC,EAAS,UAAY,QAAQ,CAAC,EACpJ,SAAY,GAAoCD,EAAK,UAAU,SAAW,EAC1E,QAAW,GAA8D,CAC3E,GAAGP,EAAK,SAAS,QAAQ,OAAO,EAAG,GAAG,gBAAgB,IAAIA,CAAI,EAAG,SAAS,CAC9E,EACA,MAAO,CACH,GAAG,gBAAgB,IAAID,CAAW,EAAG,aAAa,EAClD,GAAGA,EAAY,QAAQ,QAAQ,GAAU,CACrC,GAAG,gBAAgB,IAAIE,CAAM,CAAC,CAAC,OAAO,GAAQ,CAAC,SAASM,CAAI,CAAC,EAAG,QAAQ,EACxE,GAAGN,EAAO,SAAS,QAAQ,OAAO,EAClC,GAAG,gBAAgB,IAAIA,CAAM,CAAC,CAAC,OAAO,QAAQ,EAAG,QAAQ,CAC7D,CAAC,CACL,CACJ"}
+{"version":3,"file":"StructuralInteractionSites.js","names":["sites","first","second","owners","application","node","module","placed","owner","grouped","physical","context","site","ancestor","index","kept","parts","part","duplicate","earlier","diagnostics","DiagnosticCodes","merged","uses","argument","structuralChildren","groups","group","depth","key","order","parent","keyword","entry"],"sources":["../../../../../../Compiler/Parsing/StructuralInteractionSites.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 { Diagnostic } from '../Diagnostics/Diagnostic';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { ApplicationSyntax, FeatureSyntax } from '../Syntax/Structure';\nimport { InteractionAncestor } from './InteractionAlternatives';\nimport { InteractionUse } from './InteractionUse';\nimport { ParserContext } from './ParserContext';\n\nimport { StructuralInteractionOwner } from './StructuralInteractionOwner';\nimport { StructuralInteractionSite } from './StructuralInteractionSite';\n\n// Opaque attachments belong to effective syntax owners, not the physical document inventory.\nconst sites = new WeakMap<StructuralInteractionOwner, readonly StructuralInteractionSite[]>();\nexport const sameInteractionLocation = (first: SourceLocation, second: SourceLocation): boolean =>\n    first.path === second.path && first.line === second.line && first.column === second.column;\n\nexport function recordStructuralInteractions(application: ApplicationSyntax, context: ParserContext): void {\n    const owners: StructuralInteractionOwner[] = [application];\n    const feature = (node: FeatureSyntax) => { owners.push(node); node.features.forEach(feature); };\n    application.modules.forEach(module => { owners.push(module); module.features.forEach(feature); });\n    const placed = owners.filter(owner => owner.kind !== 'ApplicationSyntax' && owner.isPlacement).at(-1) ?? application;\n    const grouped = new Map<StructuralInteractionOwner, StructuralInteractionSite[]>();\n    const physical = [...context.guardedInteractions, ...context.interactionUses].sort((first, second) => first.location.line - second.location.line || first.location.column - second.location.column);\n    for (const site of physical) {\n        const ancestor = [...site.ancestors].reverse().find(ancestor => ['module', 'feature'].includes(ancestor.keyword));\n        const index = ancestor === undefined ? -1 : site.ancestors.indexOf(ancestor);\n        const owner = ancestor === undefined\n            ? ['behavior', 'layout'].includes(site.ancestors[0]?.keyword) ? application : placed\n            : owners.find(owner => owner.kind !== 'ApplicationSyntax' && !owner.isPlacement && sameInteractionLocation(owner.location, ancestor.location)) ?? placed;\n        if (!grouped.has(owner)) grouped.set(owner, []);\n        grouped.get(owner)!.push({ ...site, ancestors: site.ancestors.slice(index + 1) });\n    }\n    for (const owner of owners) sites.set(owner, grouped.get(owner) ?? []);\n}\n\n// Called by the syntax merge with the same authored-before-placement parts it merges for each owner.\nexport function mergeStructuralInteractions<T extends StructuralInteractionOwner>(merged: T, parts: readonly T[], diagnostics?: Diagnostic[]): T {\n    const kept: StructuralInteractionSite[] = [];\n    for (const site of parts.flatMap(part => sites.get(part) ?? [])) {\n        const duplicate = 'behavior' in site && site.ancestors.length === 0 && kept.find(earlier =>\n            'behavior' in earlier && earlier.ancestors.length === 0 && earlier.location.path !== site.location.path && useSignature(earlier) === useSignature(site));\n        if (duplicate) {\n            diagnostics?.push({ code: DiagnosticCodes.DuplicateBehaviorAttachment, severity: 'warning', location: site.location,\n                message: `Behavior '${site.behavior}' is already attached to the ${merged.kind === 'ModuleSyntax' ? 'module' : 'feature'} '${'name' in merged ? merged.name : ''}' in '${duplicate.location.path ?? 'another file'}' - this repeated attachment is ignored` });\n        } else kept.push(site);\n    }\n    sites.set(merged, kept);\n    return merged;\n}\n\nfunction useSignature(uses: InteractionUse): string {\n    return [uses.behavior, ...[...uses.arguments].sort((first, second) => first.name < second.name ? -1 : first.name > second.name ? 1 : 0).map(argument => `${argument.name}=${argument.value}`)].join('\\n');\n}\n\n// C# visits child collections, then inline bindings before uses within each owning declaration.\nconst structuralChildren: Readonly<Record<string, readonly string[]>> = {\n    application: ['behavior', 'layout'],\n    module: ['screen template', 'dialog', 'form', 'contribute', 'on', 'uses'],\n    feature: ['contribute', 'on', 'uses'],\n    layout: ['slot', 'arrangement', 'on', 'uses'],\n    'screen template': ['slot', 'arrangement', 'on', 'uses'],\n    dialog: ['slot', 'arrangement', 'on', 'uses'],\n};\n\nfunction structuralOrder(group: readonly StructuralInteractionSite[], parent: string, depth = 0): readonly StructuralInteractionSite[] {\n    const groups = new Map<string, { ancestor: InteractionAncestor; sites: StructuralInteractionSite[] }>();\n    for (const site of group) {\n        const ancestor = site.ancestors[depth] ?? { keyword: 'behavior' in site ? 'uses' : 'on', location: site.location };\n        const key = JSON.stringify(ancestor.location);\n        if (!groups.has(key)) groups.set(key, { ancestor, sites: [] });\n        groups.get(key)!.sites.push(site);\n    }\n    const order = structuralChildren[parent] ?? [];\n    const rank = (keyword: string) => order.includes(keyword) ? order.indexOf(keyword) : order.length;\n    return [...groups.values()].sort((first, second) => rank(first.ancestor.keyword) - rank(second.ancestor.keyword))\n        .flatMap(entry => ['on', 'uses'].includes(entry.ancestor.keyword) ? entry.sites : structuralOrder(entry.sites, entry.ancestor.keyword, depth + 1));\n}\n\nexport function effectiveStructuralInteractions(application: ApplicationSyntax): readonly StructuralInteractionSite[] {\n    const own = (owner: StructuralInteractionOwner) => (sites.get(owner) ?? []).filter(site => !site.ancestors.some(ancestor => ancestor.keyword === 'screen'));\n    const attached = (site: StructuralInteractionSite) => site.ancestors.length === 0;\n    const feature = (node: FeatureSyntax): readonly StructuralInteractionSite[] => [\n        ...node.features.flatMap(feature), ...structuralOrder(own(node), 'feature'),\n    ];\n    return [\n        ...structuralOrder(own(application), 'application'),\n        ...application.modules.flatMap(module => [\n            ...structuralOrder(own(module).filter(site => !attached(site)), 'module'),\n            ...module.features.flatMap(feature),\n            ...structuralOrder(own(module).filter(attached), 'module'),\n        ]),\n    ];\n}\n"],"mappings":"A,yHAeA,MAAMA,kBAAQ,IAAI,QACL,yBAA2B,EAAuB,IAC3DC,EAAM,OAASC,EAAO,MAAQD,EAAM,OAASC,EAAO,MAAQD,EAAM,SAAWC,EAAO,OAExF,SAAgB,6BAA6B,EAAgC,EAA8B,CACvG,IAAMC,EAAuC,CAACC,CAAW,EACnD,QAAW,GAAwB,CAAED,EAAO,KAAKE,CAAI,EAAGA,EAAK,SAAS,QAAQ,OAAO,CAAG,EAC9FD,EAAY,QAAQ,QAAQ,GAAU,CAAED,EAAO,KAAKG,CAAM,EAAGA,EAAO,SAAS,QAAQ,OAAO,CAAG,CAAC,EAChG,IAAMC,EAASJ,EAAO,OAAO,GAASK,EAAM,OAAS,qBAAuBA,EAAM,WAAW,CAAC,CAAC,GAAG,EAAE,GAAKJ,EACnGK,kBAAU,IAAI,IACdC,EAAW,CAAC,GAAGC,EAAQ,oBAAqB,GAAGA,EAAQ,eAAe,CAAC,CAAC,MAAM,EAAO,IAAWV,EAAM,SAAS,KAAOC,EAAO,SAAS,MAAQD,EAAM,SAAS,OAASC,EAAO,SAAS,MAAM,EAClM,IAAK,IAAMU,KAAQF,EAAU,CACzB,IAAMG,EAAW,CAAC,GAAGD,EAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,GAAY,CAAC,SAAU,SAAS,CAAC,CAAC,SAASC,EAAS,OAAO,CAAC,EAC1GC,EAAQD,IAAa,IAAA,GAAY,GAAKD,EAAK,UAAU,QAAQC,CAAQ,EACrEL,EAAQK,IAAa,IAAA,GACrB,CAAC,WAAY,QAAQ,CAAC,CAAC,SAASD,EAAK,UAAU,EAAE,EAAE,OAAO,EAAIR,EAAcG,EAC5EJ,EAAO,KAAK,GAASK,EAAM,OAAS,qBAAuB,CAACA,EAAM,aAAe,wBAAwBA,EAAM,SAAUK,EAAS,QAAQ,CAAC,GAAKN,EACjJE,EAAQ,IAAID,CAAK,GAAGC,EAAQ,IAAID,EAAO,CAAC,CAAC,EAC9CC,EAAQ,IAAID,CAAK,CAAC,CAAE,KAAK,CAAE,GAAGI,EAAM,UAAWA,EAAK,UAAU,MAAME,EAAQ,CAAC,CAAE,CAAC,CACpF,CACA,IAAK,IAAMN,KAASL,EAAQH,EAAM,IAAIQ,EAAOC,EAAQ,IAAID,CAAK,GAAK,CAAC,CAAC,CACzE,CAGA,SAAgB,4BAAkE,EAAW,EAAqB,EAA+B,CAC7I,IAAMO,EAAoC,CAAC,EAC3C,IAAK,IAAMH,KAAQI,EAAM,QAAQ,GAAQhB,EAAM,IAAIiB,CAAI,GAAK,CAAC,CAAC,EAAG,CAC7D,IAAMC,EAAY,aAAcN,GAAQA,EAAK,UAAU,SAAW,GAAKG,EAAK,KAAK,GAC7E,aAAcI,GAAWA,EAAQ,UAAU,SAAW,GAAKA,EAAQ,SAAS,OAASP,EAAK,SAAS,MAAQ,aAAaO,CAAO,IAAM,aAAaP,CAAI,CAAC,EACvJM,EACAE,GAAa,KAAK,CAAE,KAAMC,EAAgB,4BAA6B,SAAU,UAAW,SAAUT,EAAK,SACvG,QAAS,aAAaA,EAAK,SAAS,+BAA+BU,EAAO,OAAS,eAAiB,SAAW,UAAU,IAAI,SAAUA,EAASA,EAAO,KAAO,GAAG,QAAQJ,EAAU,SAAS,MAAQ,eAAe,wCAAyC,CAAC,EAC9PH,EAAK,KAAKH,CAAI,CACzB,CAEA,OADAZ,EAAM,IAAIsB,EAAQP,CAAI,EACfO,CACX,CAEA,SAAS,aAAa,EAA8B,CAChD,MAAO,CAACC,EAAK,SAAU,GAAG,CAAC,GAAGA,EAAK,SAAS,CAAC,CAAC,MAAM,EAAO,IAAWtB,EAAM,KAAOC,EAAO,KAAO,GAAK,IAAM,KAAOA,EAAO,KAAY,CAAC,CAAC,IAAI,GAAY,GAAGsB,EAAS,KAAK,GAAGA,EAAS,OAAO,CAAC,CAAC,CAAC,KAAK;CAAI,CAC5M,CAGA,MAAMC,EAAkE,CACpE,YAAa,CAAC,WAAY,QAAQ,EAClC,OAAQ,CAAC,kBAAmB,SAAU,OAAQ,aAAc,KAAM,MAAM,EACxE,QAAS,CAAC,aAAc,KAAM,MAAM,EACpC,OAAQ,CAAC,OAAQ,cAAe,KAAM,MAAM,EAC5C,kBAAmB,CAAC,OAAQ,cAAe,KAAM,MAAM,EACvD,OAAQ,CAAC,OAAQ,cAAe,KAAM,MAAM,CAChD,EAEA,SAAS,gBAAgB,EAA6C,EAAgB,EAAQ,EAAyC,CACnI,IAAMC,kBAAS,IAAI,IACnB,IAAK,IAAMd,KAAQe,EAAO,CACtB,IAAMd,EAAWD,EAAK,UAAUgB,IAAU,CAAE,QAAS,aAAchB,EAAO,OAAS,KAAM,SAAUA,EAAK,QAAS,EAC3GiB,EAAM,KAAK,UAAUhB,EAAS,QAAQ,EACvCa,EAAO,IAAIG,CAAG,GAAGH,EAAO,IAAIG,EAAK,CAAE,WAAU,MAAO,CAAC,CAAE,CAAC,EAC7DH,EAAO,IAAIG,CAAG,CAAC,CAAE,MAAM,KAAKjB,CAAI,CACpC,CACA,IAAMkB,EAAQL,EAAmBM,IAAW,CAAC,EACvC,KAAQ,GAAoBD,EAAM,SAASE,CAAO,EAAIF,EAAM,QAAQE,CAAO,EAAIF,EAAM,OAC3F,MAAO,CAAC,GAAGJ,EAAO,OAAO,CAAC,CAAC,CAAC,MAAM,EAAO,IAAW,KAAKzB,EAAM,SAAS,OAAO,EAAI,KAAKC,EAAO,SAAS,OAAO,CAAC,CAAC,CAC5G,QAAQ,GAAS,CAAC,KAAM,MAAM,CAAC,CAAC,SAAS+B,EAAM,SAAS,OAAO,EAAIA,EAAM,MAAQ,gBAAgBA,EAAM,MAAOA,EAAM,SAAS,QAASL,EAAQ,CAAC,CAAC,CACzJ,CAEA,SAAgB,gCAAgC,EAAsE,CAClH,IAAM,IAAO,IAAuC5B,EAAM,IAAIQ,CAAK,GAAK,CAAC,EAAA,CAAG,OAAO,GAAQ,CAACI,EAAK,UAAU,KAAK,GAAYC,EAAS,UAAY,QAAQ,CAAC,EACpJ,SAAY,GAAoCD,EAAK,UAAU,SAAW,EAC1E,QAAW,GAA8D,CAC3E,GAAGP,EAAK,SAAS,QAAQ,OAAO,EAAG,GAAG,gBAAgB,IAAIA,CAAI,EAAG,SAAS,CAC9E,EACA,MAAO,CACH,GAAG,gBAAgB,IAAID,CAAW,EAAG,aAAa,EAClD,GAAGA,EAAY,QAAQ,QAAQ,GAAU,CACrC,GAAG,gBAAgB,IAAIE,CAAM,CAAC,CAAC,OAAO,GAAQ,CAAC,SAASM,CAAI,CAAC,EAAG,QAAQ,EACxE,GAAGN,EAAO,SAAS,QAAQ,OAAO,EAClC,GAAG,gBAAgB,IAAIA,CAAM,CAAC,CAAC,OAAO,QAAQ,EAAG,QAAQ,CAC7D,CAAC,CACL,CACJ,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{stringBodyPattern as t,unescapeString as n}from"../Text/StringLiteral.js";import{dotNetWhitespace as r}from"../Text/patterns.js";import{locationOf as i}from"./SourceLine.js";import{parseLiteral as a,parseMappingSource as o}from"./ExpressionParser.js";import{unescapeIdentifier as s}from"./LineText.js";const c=`item`,l=`none`,u=`empty`,d=`@?[\\p{L}_][\\p{L}\\p{N}_]*`,f=RegExp(`^(?<name>${d}(?:\\.${d})*)(?:${r}+(?<marker>none|empty))?$`,`u`),p=RegExp(`^(?<name>${d}|"${t}")(?:${r}*=${r}*(?<value>\\S.*)|(?:${r}+(?<marker>none|empty))?)$`,`u`),markerOf=e=>e.groups?.marker;function trailingMarker(e){return e.endsWith(` none`)?l:e.endsWith(` empty`)?u:void 0}function tryParseStructuredMapping(e,t){let n=f.exec(t.content);if(!(n===null||n.groups.name===`streamId`||markerOf(n)===void 0&&e.peekChild(t.indent)===void 0))return{kind:`PropertyMappingSyntax`,property:s(n.groups.name),source:parseStructuredValue(e,t,markerOf(n)),location:i(t)}}function parseStructuredValue(t,n,r){let a=i(n);if(r===`none`)return rejectChildren(t,n,`An empty list ('none') has no lines under it.`),{kind:`ListExpressionSyntax`,items:[],location:a};if(r===`empty`)return rejectChildren(t,n,`An object without members ('empty') has no lines under it.`),{kind:`ObjectExpressionSyntax`,members:[],location:a};let o=t.peekChild(n.indent);return o===void 0?(t.error(e.InvalidStructuredValue,`'${n.content}' opens a structured value - indent its 'member = value' lines or 'item' lines under it, or end it in 'none' for an empty list or 'empty' for an object without members`,a),{kind:`ObjectExpressionSyntax`,members:[],location:a}):isItem(o.content)?parseList(t,n):parseObject(t,n)}function parseStructuredScalar(t,n,r){if(n.startsWith(`{`)||n.startsWith(`[`))return o(n,r,t);if(n.startsWith(`case.`))return t.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,r),{kind:`RawExpressionSyntax`,text:n,location:r};let i=a(n,r,t);return i===void 0?(t.error(e.InvalidStructuredValue,`Expected a string, number, true, false or null in a structured value, got '${n}'`,r),{kind:`RawExpressionSyntax`,text:n,location:r}):i}const isItem=e=>e===`item`||e.startsWith(`item `)&&!e.substring(4).trimStart().startsWith(`=`),at=(e,t)=>({...i(e),column:i(e).column+t});function parseList(t,n){let r=[];for(let a=t.peekChild(n.indent);a!==void 0;a=t.peekChild(n.indent)){if(t.reader.takeSignificant(),!isItem(a.content)){t.error(e.InvalidStructuredValue,`A list holds one 'item' line per element, got '${a.content}'`,i(a)),t.skipBlock(a.indent);continue}let n=a.content.substring(4).trimStart();n.length===0?r.push(parseStructuredValue(t,a,void 0)):n===`none`||n===`empty`?r.push(parseStructuredValue(t,a,n)):(r.push(parseStructuredScalar(t,n,at(a,a.content.length-n.length))),rejectChildren(t,a,`An 'item' with a value has no lines under it.`))}return{kind:`ListExpressionSyntax`,items:r,location:i(n)}}function parseObject(t,r){let a=[],o=/* @__PURE__ */ new Set;for(let c=t.peekChild(r.indent);c!==void 0;c=t.peekChild(r.indent)){t.reader.takeSignificant();let r=p.exec(c.content);if(r===null){t.error(e.InvalidStructuredValue,isItem(c.content)?`An object holds 'member = value' lines; an 'item' line belongs in a list, got '${c.content}'`:`Expected 'member = value', a member opening an indented block, 'member none' or 'member empty', got '${c.content}'`,i(c)),t.skipBlock(c.indent);continue}let l=r.groups.name,u=l.startsWith(`"`)?n(l.substring(1,l.length-1)):s(l),d;r.groups.value===void 0?d=parseStructuredValue(t,c,markerOf(r)):(d=parseStructuredScalar(t,r.groups.value,at(c,c.content.length-r.groups.value.length)),rejectChildren(t,c,`A member with a value has no lines under it.`)),o.has(u)?t.error(e.DuplicateStructuredValueMember,`Duplicate property '${u}' in structured value`,i(c)):(o.add(u),a.push({kind:`ObjectMemberSyntax`,name:u,value:d,location:i(c)}))}return{kind:`ObjectExpressionSyntax`,members:a,location:i(r)}}function rejectChildren(t,n,r){let a=t.peekChild(n.indent);a!==void 0&&(t.error(e.InvalidStructuredValue,r,i(a)),t.skipBlock(n.indent))}export{u as emptyKeyword,c as itemKeyword,markerOf,l as noneKeyword,parseStructuredScalar,parseStructuredValue,trailingMarker,tryParseStructuredMapping};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{dotNetWhitespace as t}from"../Text/patterns.js";import{stringBodyPattern as n,unescapeString as r}from"../Text/StringLiteral.js";import{parseLiteral as i,parseMappingSource as a}from"./ExpressionParser.js";import{unescapeIdentifier as o}from"./LineText.js";import{locationOf as s}from"./SourceLine.js";const c=`item`,l=`none`,u=`empty`,d=`@?[\\p{L}_][\\p{L}\\p{N}_]*`,f=RegExp(`^(?<name>${d}(?:\\.${d})*)(?:${t}+(?<marker>none|empty))?$`,`u`),p=RegExp(`^(?<name>${d}|"${n}")(?:${t}*=${t}*(?<value>\\S.*)|(?:${t}+(?<marker>none|empty))?)$`,`u`),markerOf=e=>e.groups?.marker;function trailingMarker(e){return e.endsWith(` none`)?l:e.endsWith(` empty`)?u:void 0}function tryParseStructuredMapping(e,t){let n=f.exec(t.content);if(!(n===null||n.groups.name===`streamId`||markerOf(n)===void 0&&e.peekChild(t.indent)===void 0))return{kind:`PropertyMappingSyntax`,property:o(n.groups.name),source:parseStructuredValue(e,t,markerOf(n)),location:s(t)}}function parseStructuredValue(t,n,r){let i=s(n);if(r===`none`)return rejectChildren(t,n,`An empty list ('none') has no lines under it.`),{kind:`ListExpressionSyntax`,items:[],location:i};if(r===`empty`)return rejectChildren(t,n,`An object without members ('empty') has no lines under it.`),{kind:`ObjectExpressionSyntax`,members:[],location:i};let a=t.peekChild(n.indent);return a===void 0?(t.error(e.InvalidStructuredValue,`'${n.content}' opens a structured value - indent its 'member = value' lines or 'item' lines under it, or end it in 'none' for an empty list or 'empty' for an object without members`,i),{kind:`ObjectExpressionSyntax`,members:[],location:i}):isItem(a.content)?parseList(t,n):parseObject(t,n)}function parseStructuredScalar(t,n,r){if(n.startsWith(`{`)||n.startsWith(`[`))return a(n,r,t);if(n.startsWith(`case.`))return t.error(e.InvalidSpecificationCaseReference,`A case reference fills a whole value position; it cannot occur inside a structured value or expression.`,r),{kind:`RawExpressionSyntax`,text:n,location:r};let o=i(n,r,t);return o===void 0?(t.error(e.InvalidStructuredValue,`Expected a string, number, true, false or null in a structured value, got '${n}'`,r),{kind:`RawExpressionSyntax`,text:n,location:r}):o}const isItem=e=>e===`item`||e.startsWith(`item `)&&!e.substring(4).trimStart().startsWith(`=`),at=(e,t)=>({...s(e),column:s(e).column+t});function parseList(t,n){let r=[];for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent)){if(t.reader.takeSignificant(),!isItem(i.content)){t.error(e.InvalidStructuredValue,`A list holds one 'item' line per element, got '${i.content}'`,s(i)),t.skipBlock(i.indent);continue}let n=i.content.substring(4).trimStart();n.length===0?r.push(parseStructuredValue(t,i,void 0)):n===`none`||n===`empty`?r.push(parseStructuredValue(t,i,n)):(r.push(parseStructuredScalar(t,n,at(i,i.content.length-n.length))),rejectChildren(t,i,`An 'item' with a value has no lines under it.`))}return{kind:`ListExpressionSyntax`,items:r,location:s(n)}}function parseObject(t,n){let i=[],a=/* @__PURE__ */ new Set;for(let c=t.peekChild(n.indent);c!==void 0;c=t.peekChild(n.indent)){t.reader.takeSignificant();let n=p.exec(c.content);if(n===null){t.error(e.InvalidStructuredValue,isItem(c.content)?`An object holds 'member = value' lines; an 'item' line belongs in a list, got '${c.content}'`:`Expected 'member = value', a member opening an indented block, 'member none' or 'member empty', got '${c.content}'`,s(c)),t.skipBlock(c.indent);continue}let l=n.groups.name,u=l.startsWith(`"`)?r(l.substring(1,l.length-1)):o(l),d;n.groups.value===void 0?d=parseStructuredValue(t,c,markerOf(n)):(d=parseStructuredScalar(t,n.groups.value,at(c,c.content.length-n.groups.value.length)),rejectChildren(t,c,`A member with a value has no lines under it.`)),a.has(u)?t.error(e.DuplicateStructuredValueMember,`Duplicate property '${u}' in structured value`,s(c)):(a.add(u),i.push({kind:`ObjectMemberSyntax`,name:u,value:d,location:s(c)}))}return{kind:`ObjectExpressionSyntax`,members:i,location:s(n)}}function rejectChildren(t,n,r){let i=t.peekChild(n.indent);i!==void 0&&(t.error(e.InvalidStructuredValue,r,s(i)),t.skipBlock(n.indent))}export{u as emptyKeyword,c as itemKeyword,markerOf,l as noneKeyword,parseStructuredScalar,parseStructuredValue,trailingMarker,tryParseStructuredMapping};
 //# sourceMappingURL=StructuredBlockParser.js.map