@cratis/screenplay-language 4.124.0 → 4.125.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"ResponseValidator.js","names":["primitiveTypes","context","effectiveCommand","specificationCommandExamples","application","slices","scope","parent","feature","slice","child","module","commands","properties","responseFields","command","entries","imports","imported","name","resolved","key","from","segments","candidates","qualifiers","entry","index","value","depth","visible","concepts","conceptNames","concept","composites","type","readModels","model","commandProperties","property","declared","DiagnosticCodes","production","event","reaction","trigger","source","explicit","response","names","field","action","specification","input","identifiers","fixture","expectation","fields","asserted","contract","inputs","result","duplicates","item","items","member","primitive","exactIsIntegral","responseDateValue","uuidValuePattern","text"],"sources":["../../../../../../Compiler/Parsing/ResponseValidator.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 { exactIsIntegral } from '../Syntax/ExactMathFacts';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { ConceptSyntax, PropertySyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { PropertyResponseSourceSyntax, ResponseFieldSyntax } from '../Syntax/Responses';\nimport { SpecificationSyntax } from '../Syntax/Specifications';\nimport { ApplicationSyntax, FeatureSyntax, SliceSyntax } from '../Syntax/Structure';\nimport { InputUse } from './InputUses';\nimport { ParserContext } from './ParserContext';\nimport { responseDateValue } from './ResponseDateValues';\nimport { specificationCommandExamples } from './SpecificationCommandExamples';\n\nconst primitiveTypes = new Set(['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime']);\ninterface ScopedCommand { command: CommandSyntax; scope: readonly string[] }\n\nexport function validateResponses(application: ApplicationSyntax, context: ParserContext, inputs: readonly InputUse[] = context.inputUses): void {\n    const effectiveCommand = specificationCommandExamples(application);\n    const slices: { slice: SliceSyntax; scope: readonly string[] }[] = [];\n    const collect = (feature: FeatureSyntax, parent: readonly string[]): void => {\n        const scope = [...parent, feature.name];\n        feature.slices.forEach(slice => slices.push({ slice, scope: [...scope, slice.name] }));\n        feature.features.forEach(child => collect(child, scope));\n    };\n    application.modules.forEach(module => module.features.forEach(feature => collect(feature, [module.name])));\n    const commands = new Map<string, ScopedCommand[]>();\n    const properties = new Map<CommandSyntax, Map<string, PropertySyntax>>();\n    const responseFields = new Map<CommandSyntax, Map<string, ResponseFieldSyntax>>();\n    for (const { slice, scope } of slices) {\n        for (const command of slice.commands) {\n            const entries = commands.get(command.name) ?? [];\n            entries.push({ command, scope });\n            commands.set(command.name, entries);\n            properties.set(command, uniqueByName(command.properties));\n            if (command.response?.kind === 'RecordCommandResponseSyntax') responseFields.set(command, uniqueByName(command.response.fields));\n        }\n    }\n    const imports = new Map<string, string[]>();\n    for (const imported of application.imports) {\n        const name = imported.qualifiedName.split('.').at(-1)!;\n        imports.set(name, [...(imports.get(name) ?? []), imported.qualifiedName]);\n    }\n    const resolved = new Map<string, CommandSyntax | null>();\n    const resolve = (name: string, from: readonly string[]): CommandSyntax | null => {\n        const key = `${from.join('.')}|${name}`;\n        if (resolved.has(key)) return resolved.get(key)!;\n        const imported = imports.get(name) ?? [];\n        const local = commands.get(name.split('.').at(-1)!) ?? [];\n        const reference = local.length === 0 && imported.length === 1 ? imported[0] : name;\n        const segments = reference.split('.');\n        let candidates = commands.get(segments.at(-1)!) ?? [];\n        if (segments.length > 1) {\n            const qualifiers = segments.slice(0, -1);\n            candidates = candidates.filter(entry => qualifiers.length <= entry.scope.length && qualifiers.every((value, index) => entry.scope[entry.scope.length - qualifiers.length + index] === value));\n        } else {\n            for (let depth = from.length; depth >= 0; depth--) {\n                const visible = candidates.filter(entry => depth <= entry.scope.length && from.slice(0, depth).every((value, index) => entry.scope[index] === value));\n                if (visible.length > 0) { candidates = visible; break; }\n            }\n        }\n        const command = candidates.length === 1 ? candidates[0].command : null;\n        resolved.set(key, command);\n        return command;\n    };\n    const concepts = uniqueByName(application.concepts);\n    const conceptNames = new Set(application.concepts.map(concept => concept.name));\n    const composites = new Map([...uniqueByName(application.types)].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    const readModels = new Set(slices.flatMap(entry => entry.slice.readModels.map(model => model.name)));\n    const commandProperties = new Set([...properties.keys()].flatMap(command => [...command.properties]));\n    const checkDeclarations = (declared: readonly PropertySyntax[]): void => {\n        for (const property of declared) {\n            if (property.isGenerated && !commandProperties.has(property)) context.error(DiagnosticCodes.GeneratedPropertyOutsideCommand, 'Generated properties can only be declared on commands.', property.location);\n        }\n    };\n    // Only these typed declarations carry PropertySyntax. Do not pull the complete extensible walker\n    // into every browser parser just to inspect their generated flags.\n    const checkFeature = (feature: FeatureSyntax): void => {\n        feature.features.forEach(checkFeature);\n        for (const slice of feature.slices) {\n            for (const command of slice.commands) {\n                for (const production of command.produces) if (production.inlineEvent !== null) checkDeclarations(production.inlineEvent.properties);\n            }\n            slice.events.forEach(event => checkDeclarations(event.properties));\n            slice.readModels.forEach(model => checkDeclarations(model.properties));\n            for (const reaction of slice.reactions) {\n                for (const trigger of reaction.triggers) {\n                    for (const production of trigger.produces) if (production.inlineEvent !== null) checkDeclarations(production.inlineEvent.properties);\n                }\n            }\n        }\n    };\n    application.types.forEach(type => checkDeclarations(type.properties));\n    application.modules.forEach(module => module.features.forEach(checkFeature));\n    const validateSource = (source: PropertyResponseSourceSyntax, explicit: TypeRefSyntax | null, command: CommandSyntax): void => {\n        const property = properties.get(command)!.get(source.property);\n        if (property === undefined) {\n            context.error(DiagnosticCodes.InvalidResponseSource, `Response source '${source.property}' must reference one direct command property.`, source.location);\n            return;\n        }\n        const type = property.type;\n        if (type.isCollection || readModels.has(type.name)) context.error(DiagnosticCodes.InvalidResponseShape, 'Collection and whole-read-model responses are not supported.', source.location);\n        if (explicit !== null && (explicit.name !== type.name || explicit.isCollection !== type.isCollection || explicit.isOptional !== type.isOptional)) context.error(DiagnosticCodes.InvalidResponseShape, \"An explicit response field type must match its source's declared type, collection shape and optionality.\", explicit.location);\n    };\n    for (const command of properties.keys()) {\n        for (const property of command.properties) {\n            if (!property.isGenerated) continue;\n            const concept = concepts.get(property.type.name);\n            if (property.type.isOptional || property.type.isCollection || (concept === undefined ? primitiveTypes.has(property.type.name) || composites.has(property.type.name) || conceptNames.has(property.type.name) || readModels.has(property.type.name) : concept.type !== 'Uuid')) context.error(DiagnosticCodes.InvalidGeneratedType, 'A generated property must be a required, noncollection concept backed by Uuid.', property.location);\n        }\n        const response = command.response;\n        if (response?.kind === 'ScalarCommandResponseSyntax') validateSource(response.source, null, command);\n        else if (response?.kind === 'RecordCommandResponseSyntax') {\n            if (response.fields.length === 0) context.error(DiagnosticCodes.InvalidCommandResponse, 'A response block requires at least one field.', response.location);\n            const names = new Set<string>();\n            for (const field of response.fields) {\n                if (names.has(field.name)) context.error(DiagnosticCodes.DuplicateResponseField, `Duplicate response field '${field.name}'.`, field.location);\n                names.add(field.name);\n                validateSource(field.source, field.type, command);\n            }\n        }\n    }\n    const validateSpecification = (specification: SpecificationSyntax, scope: readonly string[]): void => {\n        const action = effectiveCommand(specification.when, scope);\n        const command = action === null ? null : resolve(action.commandType, scope);\n        if (action !== null && command !== null) {\n            const declared = properties.get(command)!;\n            for (const input of action.values) {\n                if (declared.get(input.property.split('.')[0])?.isGenerated) context.error(DiagnosticCodes.GeneratedPropertySuppliedAsInput, `Generated property '${input.property}' cannot be supplied as request or form input.`, input.location);\n            }\n            const identifiers = [...declared.values()].filter(property => property.isIdentifier);\n            if (action.for !== null && identifiers.length === 1 && identifiers[0].isGenerated) {\n                const type = identifiers[0].type;\n                const known = primitiveTypes.has(type.name) || concepts.has(type.name) || composites.has(type.name);\n                if (known && (type.isOptional || type.isCollection || concepts.get(type.name)?.type !== 'Uuid' || action.for.kind !== 'LiteralExpressionSyntax' || typeof action.for.value !== 'string' || !uuidValue(action.for.value))) {\n                    context.error(DiagnosticCodes.InvalidGeneratedFixture, \"A generated identifier fixture must supply one compatible concrete UUID value through 'for'.\", action.for.location);\n                }\n            }\n            const names = new Set<string>();\n            for (const fixture of action.generatedValues ?? []) {\n                const property = declared.get(fixture.property);\n                if (names.has(fixture.property) || property === undefined || !property.isGenerated || property.isIdentifier || !compatibleValue(fixture.source, property.type, concepts, composites)) context.error(DiagnosticCodes.InvalidGeneratedFixture, 'A generated fixture must uniquely supply a compatible value for a nonidentifier generated command property.', fixture.location);\n                names.add(fixture.property);\n            }\n        }\n        const expectation = specification.thenReturns;\n        if (expectation == null) return;\n        if (action === null || specification.thenErrors.length > 0 || specification.thenDenied != null) context.error(DiagnosticCodes.InvalidReturnExpectation, 'A return expectation requires a command action and cannot accompany an error or denial.', expectation.location);\n        if (command === null) return;\n        const response = command.response;\n        const declared = properties.get(command)!;\n        if (expectation.kind === 'ScalarSpecificationReturnSyntax' && response?.kind === 'ScalarCommandResponseSyntax' && declared.has(response.source.property)) {\n            if (!compatibleValue(expectation.value, declared.get(response.source.property)!.type, concepts, composites)) context.error(DiagnosticCodes.InvalidReturnExpectation, \"The expected return value must match the response source's type.\", expectation.location);\n        } else if (expectation.kind === 'RecordSpecificationReturnSyntax' && response?.kind === 'RecordCommandResponseSyntax') {\n            if (expectation.fields.length === 0) context.error(DiagnosticCodes.InvalidReturnExpectation, 'A record return expectation requires at least one field.', expectation.location);\n            const fields = responseFields.get(command)!;\n            const asserted = new Set<string>();\n            for (const field of expectation.fields) {\n                const contract = fields.get(field.property);\n                const property = contract === undefined ? undefined : declared.get(contract.source.property);\n                if (asserted.has(field.property) || property === undefined || !compatibleValue(field.source, property.type, concepts, composites)) context.error(DiagnosticCodes.InvalidReturnExpectation, 'A return assertion must uniquely name a response field and supply a compatible concrete value.', field.location);\n                asserted.add(field.property);\n            }\n        } else {\n            context.error(DiagnosticCodes.InvalidReturnExpectation, \"The return expectation must match the command's scalar or record response shape.\", expectation.location);\n        }\n    };\n    for (const { slice, scope } of slices) slice.specifications.forEach(specification => validateSpecification(specification, scope));\n    for (const input of inputs) {\n        if (input.isParameter === true) continue;\n        const command = resolve(input.command, input.scope);\n        if (command !== null && properties.get(command)!.get(input.property.split('.')[0])?.isGenerated) context.error(DiagnosticCodes.GeneratedPropertySuppliedAsInput, `Generated property '${input.property}' cannot be supplied as request or form input.`, input.location);\n    }\n}\n\nexport function uniqueByName<T extends { readonly name: string }>(items: readonly T[]): Map<string, T> {\n    const result = new Map<string, T>();\n    const duplicates = new Set<string>();\n    for (const item of items) {\n        if (result.has(item.name)) duplicates.add(item.name);\n        result.set(item.name, item);\n    }\n    duplicates.forEach(name => result.delete(name));\n    return result;\n}\n\nexport function compatibleValue(value: ExpressionSyntax, type: TypeRefSyntax, concepts: ReadonlyMap<string, ConceptSyntax>, composites: ReadonlyMap<string, ReadonlyMap<string, PropertySyntax>>): boolean {\n    if (value.kind === 'LiteralExpressionSyntax' && value.value === null) return type.isOptional;\n    if (type.isCollection) return value.kind === 'ListExpressionSyntax' && value.items.every(item => compatibleValue(item, { ...type, isCollection: false, isOptional: false }, concepts, composites));\n    const properties = composites.get(type.name);\n    if (properties !== undefined) return value.kind === 'ObjectExpressionSyntax' && value.members.every(member => {\n        const property = properties.get(member.name);\n        return property !== undefined && compatibleValue(member.value, property.type, concepts, composites);\n    });\n    const concept = concepts.get(type.name);\n    const primitive = concept?.type ?? type.name;\n    if (concept?.type === 'Enum') return value.kind === 'LiteralExpressionSyntax' && typeof value.value === 'string' && concept.values.includes(value.value);\n    if (value.kind === 'LiteralExpressionSyntax') {\n        switch (primitive) {\n            case 'Uuid': return typeof value.value === 'string' && uuidValue(value.value);\n            case 'String': return typeof value.value === 'string';\n            case 'Bool': return typeof value.value === 'boolean';\n            case 'Int': return typeof value.value === 'number' ? Number.isFinite(value.value) && Number.isInteger(value.value) : typeof value.value === 'object' && value.value !== null && exactIsIntegral(value.value);\n            case 'Decimal': return typeof value.value === 'number' ? Number.isFinite(value.value) : typeof value.value === 'object' && value.value !== null && value.value.literalType === 'ExactNumber';\n            case 'Date': return typeof value.value === 'string' && responseDateValue(value.value, false);\n            case 'DateTime': return typeof value.value === 'string' && responseDateValue(value.value, true);\n            default: return !primitiveTypes.has(primitive);\n        }\n    }\n    return !primitiveTypes.has(primitive) && concept === undefined;\n}\n\n// Shared with ResponseValueTypes.cs: 32 hex digits (N), hyphenated UUIDs (D), or D wrapped in\n// braces (B) / parentheses (P). Hex is case-insensitive; whitespace and X initializer notation\n// are not admitted in response/fixture values. The lookahead requires the true end, even after a newline.\nconst uuidValuePattern = /^(?:[0-9a-f]{32}|[0-9a-f]{8}(?:-[0-9a-f]{4}){3}-[0-9a-f]{12}|\\{[0-9a-f]{8}(?:-[0-9a-f]{4}){3}-[0-9a-f]{12}\\}|\\([0-9a-f]{8}(?:-[0-9a-f]{4}){3}-[0-9a-f]{12}\\))(?![\\s\\S])/i;\n\nfunction uuidValue(text: string): boolean {\n    return uuidValuePattern.test(text);\n}\n"],"mappings":"oUAgBA,MAAMA,kBAAiB,IAAI,IAAI,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,UAAU,CAAC,EAG/F,SAAgB,kBAAkB,EAAgC,EAAwB,EAA8BC,EAAQ,UAAiB,CAC7I,IAAMC,EAAmBC,EAA6BC,CAAW,EAC3DC,EAA6D,CAAC,EAC9D,SAAW,EAAwB,IAAoC,CACzE,IAAMC,EAAQ,CAAC,GAAGC,EAAQC,EAAQ,IAAI,EACtCA,EAAQ,OAAO,QAAQ,GAASH,EAAO,KAAK,CAAE,QAAO,MAAO,CAAC,GAAGC,EAAOG,EAAM,IAAI,CAAE,CAAC,CAAC,EACrFD,EAAQ,SAAS,QAAQ,GAAS,QAAQE,EAAOJ,CAAK,CAAC,CAC3D,EACAF,EAAY,QAAQ,QAAQ,GAAUO,EAAO,SAAS,QAAQ,GAAW,QAAQH,EAAS,CAACG,EAAO,IAAI,CAAC,CAAC,CAAC,EACzG,IAAMC,kBAAW,IAAI,IACfC,kBAAa,IAAI,IACjBC,kBAAiB,IAAI,IAC3B,IAAK,GAAM,CAAE,QAAO,WAAWT,EAC3B,IAAK,IAAMU,KAAWN,EAAM,SAAU,CAClC,IAAMO,EAAUJ,EAAS,IAAIG,EAAQ,IAAI,GAAK,CAAC,EAC/CC,EAAQ,KAAK,CAAE,UAAS,OAAM,CAAC,EAC/BJ,EAAS,IAAIG,EAAQ,KAAMC,CAAO,EAClCH,EAAW,IAAIE,EAAS,aAAaA,EAAQ,UAAU,CAAC,EACpDA,EAAQ,UAAU,OAAS,+BAA+BD,EAAe,IAAIC,EAAS,aAAaA,EAAQ,SAAS,MAAM,CAAC,CACnI,CAEJ,IAAME,kBAAU,IAAI,IACpB,IAAK,IAAMC,KAAYd,EAAY,QAAS,CACxC,IAAMe,EAAOD,EAAS,cAAc,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpDD,EAAQ,IAAIE,EAAM,CAAC,GAAIF,EAAQ,IAAIE,CAAI,GAAK,CAAC,EAAID,EAAS,aAAa,CAAC,CAC5E,CACA,IAAME,kBAAW,IAAI,IACf,SAAW,EAAc,IAAkD,CAC7E,IAAMC,EAAM,GAAGC,EAAK,KAAK,GAAG,EAAE,GAAGH,IACjC,GAAIC,EAAS,IAAIC,CAAG,EAAG,OAAOD,EAAS,IAAIC,CAAG,EAC9C,IAAMH,EAAWD,EAAQ,IAAIE,CAAI,GAAK,CAAC,EAGjCI,IAFQX,EAAS,IAAIO,EAAK,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAE,GAAK,CAAC,EAAA,CAChC,SAAW,GAAKD,EAAS,SAAW,EAAIA,EAAS,GAAKC,EAAA,CACnD,MAAM,GAAG,EAChCK,EAAaZ,EAAS,IAAIW,EAAS,GAAG,EAAE,CAAE,GAAK,CAAC,EACpD,GAAIA,EAAS,OAAS,EAAG,CACrB,IAAME,EAAaF,EAAS,MAAM,EAAG,EAAE,EACvC,EAAaC,EAAW,OAAO,GAASC,EAAW,QAAUC,EAAM,MAAM,QAAUD,EAAW,OAAO,EAAO,IAAUC,EAAM,MAAMA,EAAM,MAAM,OAASD,EAAW,OAASE,KAAWC,CAAK,CAAC,CAChM,MACI,IAAK,IAAIC,EAAQP,EAAK,OAAQO,GAAS,EAAG,IAAS,CAC/C,IAAMC,EAAUN,EAAW,OAAO,GAASK,GAASH,EAAM,MAAM,QAAUJ,EAAK,MAAM,EAAGO,CAAK,CAAC,CAAC,OAAO,EAAO,IAAUH,EAAM,MAAMC,KAAWC,CAAK,CAAC,EACpJ,GAAIE,EAAQ,OAAS,EAAG,CAAE,EAAaA,EAAS,KAAO,CAC3D,CAEJ,IAAMf,EAAUS,EAAW,SAAW,EAAIA,EAAW,EAAE,CAAC,QAAU,KAElE,OADAJ,EAAS,IAAIC,EAAKN,CAAO,EAClBA,CACX,EACMgB,EAAW,aAAa3B,EAAY,QAAQ,EAC5C4B,EAAe,IAAI,IAAI5B,EAAY,SAAS,IAAI,GAAW6B,EAAQ,IAAI,CAAC,EACxEC,EAAa,IAAI,IAAI,CAAC,GAAG,aAAa9B,EAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAACe,EAAMgB,KAAU,CAAChB,EAAM,aAAagB,EAAK,UAAU,CAAC,CAAC,CAAC,EACtHC,EAAa,IAAI,IAAI/B,EAAO,QAAQ,GAASqB,EAAM,MAAM,WAAW,IAAI,GAASW,EAAM,IAAI,CAAC,CAAC,EAC7FC,EAAoB,IAAI,IAAI,CAAC,GAAGzB,EAAW,KAAK,CAAC,CAAC,CAAC,QAAQ,GAAW,CAAC,GAAGE,EAAQ,UAAU,CAAC,CAAC,EAC9F,kBAAqB,GAA8C,CACrE,IAAK,IAAMwB,KAAYC,EACfD,EAAS,aAAe,CAACD,EAAkB,IAAIC,CAAQ,GAAGtC,EAAQ,MAAMwC,EAAgB,gCAAiC,yDAA0DF,EAAS,QAAQ,CAEhN,EAGM,aAAgB,GAAiC,CACnD/B,EAAQ,SAAS,QAAQ,YAAY,EACrC,IAAK,IAAMC,KAASD,EAAQ,OAAQ,CAChC,IAAK,IAAMO,KAAWN,EAAM,SACxB,IAAK,IAAMiC,KAAc3B,EAAQ,SAAc2B,EAAW,cAAgB,MAAM,kBAAkBA,EAAW,YAAY,UAAU,EAEvIjC,EAAM,OAAO,QAAQ,GAAS,kBAAkBkC,EAAM,UAAU,CAAC,EACjElC,EAAM,WAAW,QAAQ,GAAS,kBAAkB4B,EAAM,UAAU,CAAC,EACrE,IAAK,IAAMO,KAAYnC,EAAM,UACzB,IAAK,IAAMoC,KAAWD,EAAS,SAC3B,IAAK,IAAMF,KAAcG,EAAQ,SAAcH,EAAW,cAAgB,MAAM,kBAAkBA,EAAW,YAAY,UAAU,CAG/I,CACJ,EACAtC,EAAY,MAAM,QAAQ,GAAQ,kBAAkB+B,EAAK,UAAU,CAAC,EACpE/B,EAAY,QAAQ,QAAQ,GAAUO,EAAO,SAAS,QAAQ,YAAY,CAAC,EAC3E,IAAM,gBAAkB,EAAsC,EAAgC,IAAiC,CAC3H,IAAM4B,EAAW1B,EAAW,IAAIE,CAAO,CAAC,CAAE,IAAI+B,EAAO,QAAQ,EAC7D,GAAIP,IAAa,IAAA,GAAW,CACxBtC,EAAQ,MAAMwC,EAAgB,sBAAuB,oBAAoBK,EAAO,SAAS,+CAAgDA,EAAO,QAAQ,EACxJ,MACJ,CACA,IAAMX,EAAOI,EAAS,MAClBJ,EAAK,cAAgBC,EAAW,IAAID,EAAK,IAAI,IAAGlC,EAAQ,MAAMwC,EAAgB,qBAAsB,+DAAgEK,EAAO,QAAQ,EACnLC,IAAa,OAASA,EAAS,OAASZ,EAAK,MAAQY,EAAS,eAAiBZ,EAAK,cAAgBY,EAAS,aAAeZ,EAAK,aAAalC,EAAQ,MAAMwC,EAAgB,qBAAsB,2GAA4GM,EAAS,QAAQ,CACvU,EACA,IAAK,IAAMhC,KAAWF,EAAW,KAAK,EAAG,CACrC,IAAK,IAAM0B,KAAYxB,EAAQ,WAAY,CACvC,GAAI,CAACwB,EAAS,YAAa,SAC3B,IAAMN,EAAUF,EAAS,IAAIQ,EAAS,KAAK,IAAI,GAC3CA,EAAS,KAAK,YAAcA,EAAS,KAAK,eAAiBN,IAAY,IAAA,GAAYjC,EAAe,IAAIuC,EAAS,KAAK,IAAI,GAAKL,EAAW,IAAIK,EAAS,KAAK,IAAI,GAAKP,EAAa,IAAIO,EAAS,KAAK,IAAI,GAAKH,EAAW,IAAIG,EAAS,KAAK,IAAI,EAAIN,EAAQ,OAAS,UAAShC,EAAQ,MAAMwC,EAAgB,qBAAsB,iFAAkFF,EAAS,QAAQ,CACza,CACA,IAAMS,EAAWjC,EAAQ,SACzB,GAAIiC,GAAU,OAAS,8BAA+B,eAAeA,EAAS,OAAQ,KAAMjC,CAAO,OAC9F,GAAIiC,GAAU,OAAS,8BAA+B,CACnDA,EAAS,OAAO,SAAW,GAAG/C,EAAQ,MAAMwC,EAAgB,uBAAwB,gDAAiDO,EAAS,QAAQ,EAC1J,IAAMC,kBAAQ,IAAI,IAClB,IAAK,IAAMC,KAASF,EAAS,OACrBC,EAAM,IAAIC,EAAM,IAAI,GAAGjD,EAAQ,MAAMwC,EAAgB,uBAAwB,6BAA6BS,EAAM,KAAK,IAAKA,EAAM,QAAQ,EAC5ID,EAAM,IAAIC,EAAM,IAAI,EACpB,eAAeA,EAAM,OAAQA,EAAM,KAAMnC,CAAO,CAExD,CACJ,CACA,IAAM,uBAAyB,EAAoC,IAAmC,CAClG,IAAMoC,EAASjD,EAAiBkD,EAAc,KAAM9C,CAAK,EACnDS,EAAUoC,IAAW,KAAO,KAAO,QAAQA,EAAO,YAAa7C,CAAK,EAC1E,GAAI6C,IAAW,MAAQpC,IAAY,KAAM,CACrC,IAAMyB,EAAW3B,EAAW,IAAIE,CAAO,EACvC,IAAK,IAAMsC,KAASF,EAAO,OACnBX,EAAS,IAAIa,EAAM,SAAS,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,aAAapD,EAAQ,MAAMwC,EAAgB,iCAAkC,uBAAuBY,EAAM,SAAS,gDAAiDA,EAAM,QAAQ,EAEtO,IAAMC,EAAc,CAAC,GAAGd,EAAS,OAAO,CAAC,CAAC,CAAC,OAAO,GAAYD,EAAS,YAAY,EACnF,GAAIY,EAAO,MAAQ,MAAQG,EAAY,SAAW,GAAKA,EAAY,EAAE,CAAC,YAAa,CAC/E,IAAMnB,EAAOmB,EAAY,EAAE,CAAC,MACdtD,EAAe,IAAImC,EAAK,IAAI,GAAKJ,EAAS,IAAII,EAAK,IAAI,GAAKD,EAAW,IAAIC,EAAK,IAAI,KACpFA,EAAK,YAAcA,EAAK,cAAgBJ,EAAS,IAAII,EAAK,IAAI,CAAC,EAAE,OAAS,QAAUgB,EAAO,IAAI,OAAS,2BAA6B,OAAOA,EAAO,IAAI,OAAU,UAAY,CAAC,UAAUA,EAAO,IAAI,KAAK,IAClNlD,EAAQ,MAAMwC,EAAgB,wBAAyB,+FAAgGU,EAAO,IAAI,QAAQ,CAElL,CACA,IAAMF,kBAAQ,IAAI,IAClB,IAAK,IAAMM,KAAWJ,EAAO,iBAAmB,CAAC,EAAG,CAChD,IAAMZ,EAAWC,EAAS,IAAIe,EAAQ,QAAQ,GAC1CN,EAAM,IAAIM,EAAQ,QAAQ,GAAKhB,IAAa,IAAA,IAAa,CAACA,EAAS,aAAeA,EAAS,cAAgB,CAAC,gBAAgBgB,EAAQ,OAAQhB,EAAS,KAAMR,EAAUG,CAAU,IAAGjC,EAAQ,MAAMwC,EAAgB,wBAAyB,8GAA+Gc,EAAQ,QAAQ,EAC5WN,EAAM,IAAIM,EAAQ,QAAQ,CAC9B,CACJ,CACA,IAAMC,EAAcJ,EAAc,YAGlC,GAFII,GAAe,QACfL,IAAW,MAAQC,EAAc,WAAW,OAAS,GAAKA,EAAc,YAAc,OAAMnD,EAAQ,MAAMwC,EAAgB,yBAA0B,0FAA2Fe,EAAY,QAAQ,EACnQzC,IAAY,MAAM,OACtB,IAAMiC,EAAWjC,EAAQ,SACnByB,EAAW3B,EAAW,IAAIE,CAAO,EACvC,GAAIyC,EAAY,OAAS,mCAAqCR,GAAU,OAAS,+BAAiCR,EAAS,IAAIQ,EAAS,OAAO,QAAQ,EAC9I,gBAAgBQ,EAAY,MAAOhB,EAAS,IAAIQ,EAAS,OAAO,QAAQ,CAAC,CAAE,KAAMjB,EAAUG,CAAU,GAAGjC,EAAQ,MAAMwC,EAAgB,yBAA0B,mEAAoEe,EAAY,QAAQ,OAC1P,GAAIA,EAAY,OAAS,mCAAqCR,GAAU,OAAS,8BAA+B,CAC/GQ,EAAY,OAAO,SAAW,GAAGvD,EAAQ,MAAMwC,EAAgB,yBAA0B,2DAA4De,EAAY,QAAQ,EAC7K,IAAMC,EAAS3C,EAAe,IAAIC,CAAO,EACnC2C,kBAAW,IAAI,IACrB,IAAK,IAAMR,KAASM,EAAY,OAAQ,CACpC,IAAMG,EAAWF,EAAO,IAAIP,EAAM,QAAQ,EACpCX,EAAWoB,IAAa,IAAA,GAAY,IAAA,GAAYnB,EAAS,IAAImB,EAAS,OAAO,QAAQ,GACvFD,EAAS,IAAIR,EAAM,QAAQ,GAAKX,IAAa,IAAA,IAAa,CAAC,gBAAgBW,EAAM,OAAQX,EAAS,KAAMR,EAAUG,CAAU,IAAGjC,EAAQ,MAAMwC,EAAgB,yBAA0B,iGAAkGS,EAAM,QAAQ,EAC3SQ,EAAS,IAAIR,EAAM,QAAQ,CAC/B,CACJ,MACIjD,EAAQ,MAAMwC,EAAgB,yBAA0B,mFAAoFe,EAAY,QAAQ,CAExK,EACA,IAAK,GAAM,CAAE,QAAO,WAAWnD,EAAQI,EAAM,eAAe,QAAQ,GAAiB,sBAAsB2C,EAAe9C,CAAK,CAAC,EAChI,IAAK,IAAM+C,KAASO,EAAQ,CACxB,GAAIP,EAAM,cAAgB,GAAM,SAChC,IAAMtC,EAAU,QAAQsC,EAAM,QAASA,EAAM,KAAK,EAC9CtC,IAAY,MAAQF,EAAW,IAAIE,CAAO,CAAC,CAAE,IAAIsC,EAAM,SAAS,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,aAAapD,EAAQ,MAAMwC,EAAgB,iCAAkC,uBAAuBY,EAAM,SAAS,gDAAiDA,EAAM,QAAQ,CAC1Q,CACJ,CAEA,SAAgB,aAAkD,EAAqC,CACnG,IAAMQ,kBAAS,IAAI,IACbC,kBAAa,IAAI,IACvB,IAAK,IAAMC,KAAQC,EACXH,EAAO,IAAIE,EAAK,IAAI,GAAGD,EAAW,IAAIC,EAAK,IAAI,EACnDF,EAAO,IAAIE,EAAK,KAAMA,CAAI,EAG9B,OADAD,EAAW,QAAQ,GAAQD,EAAO,OAAO1C,CAAI,CAAC,EACvC0C,CACX,CAEA,SAAgB,gBAAgB,EAAyB,EAAqB,EAA8C,EAA+E,CACvM,GAAIjC,EAAM,OAAS,2BAA6BA,EAAM,QAAU,KAAM,OAAOO,EAAK,WAClF,GAAIA,EAAK,aAAc,OAAOP,EAAM,OAAS,wBAA0BA,EAAM,MAAM,MAAM,GAAQ,gBAAgBmC,EAAM,CAAE,GAAG5B,EAAM,aAAc,GAAO,WAAY,EAAM,EAAGJ,EAAUG,CAAU,CAAC,EACjM,IAAMrB,EAAaqB,EAAW,IAAIC,EAAK,IAAI,EAC3C,GAAItB,IAAe,IAAA,GAAW,OAAOe,EAAM,OAAS,0BAA4BA,EAAM,QAAQ,MAAM,GAAU,CAC1G,IAAMW,EAAW1B,EAAW,IAAIoD,EAAO,IAAI,EAC3C,OAAO1B,IAAa,IAAA,IAAa,gBAAgB0B,EAAO,MAAO1B,EAAS,KAAMR,EAAUG,CAAU,CACtG,CAAC,EACD,IAAMD,EAAUF,EAAS,IAAII,EAAK,IAAI,EAChC+B,EAAYjC,GAAS,MAAQE,EAAK,KACxC,GAAIF,GAAS,OAAS,OAAQ,OAAOL,EAAM,OAAS,2BAA6B,OAAOA,EAAM,OAAU,UAAYK,EAAQ,OAAO,SAASL,EAAM,KAAK,EACvJ,GAAIA,EAAM,OAAS,0BACf,OAAQsC,EAAR,CACI,IAAK,OAAQ,OAAO,OAAOtC,EAAM,OAAU,UAAY,UAAUA,EAAM,KAAK,EAC5E,IAAK,SAAU,OAAO,OAAOA,EAAM,OAAU,SAC7C,IAAK,OAAQ,OAAO,OAAOA,EAAM,OAAU,UAC3C,IAAK,MAAO,OAAO,OAAOA,EAAM,OAAU,SAAW,OAAO,SAASA,EAAM,KAAK,GAAK,OAAO,UAAUA,EAAM,KAAK,EAAI,OAAOA,EAAM,OAAU,UAAYA,EAAM,QAAU,MAAQuC,EAAgBvC,EAAM,KAAK,EAC3M,IAAK,UAAW,OAAO,OAAOA,EAAM,OAAU,SAAW,OAAO,SAASA,EAAM,KAAK,EAAI,OAAOA,EAAM,OAAU,UAAYA,EAAM,QAAU,MAAQA,EAAM,MAAM,cAAgB,cAC/K,IAAK,OAAQ,OAAO,OAAOA,EAAM,OAAU,UAAYwC,EAAkBxC,EAAM,MAAO,EAAK,EAC3F,IAAK,WAAY,OAAO,OAAOA,EAAM,OAAU,UAAYwC,EAAkBxC,EAAM,MAAO,EAAI,EAC9F,QAAS,MAAO,CAAC5B,EAAe,IAAIkE,CAAS,CACjD,CAEJ,MAAO,CAAClE,EAAe,IAAIkE,CAAS,GAAKjC,IAAY,IAAA,EACzD,CAKA,MAAMoC,EAAmB,2KAEzB,SAAS,UAAU,EAAuB,CACtC,OAAOA,EAAiB,KAAKC,CAAI,CACrC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"ScreenParser.js","names":["operand","stringBodyPattern","header","pattern","data","action","label","guardedAction","navigate","route","outletPattern","contributionPattern","parameter","component","stableId","componentPropertyBinding","componentPropertyLiteral","exposes","presentation","toolbarItem","slot","title","column","rowClick","field","match","quotedGroup","unescapeString","firstWord","line","context","DiagnosticCodes","locationOf","directives","contributions","description","child","parsed","parseDescription","isFileDirective","directive","parent","collectInputUses","parseTypeRef","guarded","parseGuardedAction","text","target","labelMatch","parameters","routeValue","outletValue","parameterMatch","parseFromClause","routeMatch","outletMatch","name","slots","columns","click","columnMatch","clickMatch","labelled","fields","dataContext","componentStableId","icon","properties","exposedValues","presentationValues","outlets","bound","literal","parseMappingSource","values","items","item","itemLabel","syntaxKind","language","code","parseFencedText"],"sources":["../../../../../../Compiler/Parsing/ScreenParser.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 {\n    ComponentExposedValueSyntax, ComponentOutletSyntax, ComponentPropertySyntax, PresentationValueSyntax,\n    ScreenActionSyntax, ScreenGuardedActionSyntax, ScreenCodeSyntax, ScreenColumnSyntax, ScreenComponentSyntax, ScreenDataSyntax, ScreenDirectiveSyntax, ScreenFieldSyntax,\n    ScreenNavigateSyntax, ScreenNavigationParameterSyntax, ScreenSectionSyntax, ScreenSlotSyntax, ScreenSummarySyntax, ScreenSyntax, ScreenTableSyntax,\n    ScreenTemplateReferenceSyntax, ScreenTitleSyntax, ScreenToolbarSyntax, ToolbarItemKind, ToolbarItemSyntax,\n} from '../Syntax/Screens';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { pattern } from '../Text/patterns';\nimport { parseFencedText } from './CodeBlockParser';\nimport { parseMappingSource } from './ExpressionParser';\nimport { parseDescription } from './DescriptionParser';\nimport { isFileDirective } from './FileReferences';\nimport { parseGuardedAction } from './GuardedActionParser';\nimport { collectInputUses } from './InputUses';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseTypeRef } from './PropertyLineParser';\nimport { parseFromClause } from './UiBindingParser';\nimport { ScreenContributionSyntax } from '../Syntax/CompositionSyntax';\nimport { locationOf, SourceLine } from './SourceLine';\n\n// Parses 'screen' declarations the way the C# ScreenParser does - intent level directives, the template\n// whose slots they fill, and inline code. Interaction ('on' and 'uses') is recognized but not modeled.\n\nconst operand = `(?:\"(${stringBodyPattern})\"|(\\\\$strings\\\\.\\\\w+(?:\\\\.\\\\w+)*))`;\nconst header = pattern('^screen\\\\s+([A-Za-z_]\\\\w*)$');\nconst data = pattern('^data\\\\s+([\\\\w.]+(?:\\\\[\\\\])?)\\\\s+via\\\\s+query\\\\s+(\\\\w+(?:\\\\.\\\\w+)*)(?:\\\\s+by\\\\s+(\\\\w+))?$');\nconst action = pattern('^action\\\\s+([A-Za-z_]\\\\w*(?:\\\\.\\\\w+)*)$');\nconst label = pattern(`^label\\\\s+${operand}$`);\nconst guardedAction = pattern(`^action\\\\s+${operand}$`);\nconst navigate = pattern('^navigate\\\\s+to\\\\s+(\\\\w+(?:\\\\.\\\\w+)*)(?:\\\\s+by\\\\s+(\\\\w+))?$');\nconst route = pattern(`^route\\\\s+${operand}$`);\nconst outletPattern = pattern('^outlet\\\\s+([A-Za-z_]\\\\w*)$');\nconst contributionPattern = pattern('^contribute\\\\s+to\\\\s+([A-Za-z_]\\\\w*)(?:\\\\s+order\\\\s+(-?\\\\d+))?$');\nconst parameter = pattern('^parameter\\\\s+([A-Za-z_]\\\\w*)\\\\s+from\\\\s+(.+)$');\nconst component = pattern('^component\\\\s+([A-Za-z_]\\\\w*(?:\\\\.[A-Za-z_]\\\\w*)*)\\\\s+([A-Za-z_]\\\\w*)$');\nconst stableId = pattern(`^id\\\\s+(?:\"(${stringBodyPattern})\"|(\\\\S+))$`);\nconst componentPropertyBinding = pattern('^property\\\\s+([\\\\w.]+)\\\\s+from\\\\s+(.+)$');\nconst componentPropertyLiteral = pattern('^property\\\\s+([\\\\w.]+)\\\\s*=\\\\s+(.+)$');\nconst exposes = pattern('^exposes\\\\s+([A-Za-z_]\\\\w*)\\\\s+from\\\\s+(.+)$');\nconst presentation = pattern(`^presentation\\\\s+([A-Za-z_]\\\\w*)\\\\s+${operand}$`);\nconst toolbarItem = pattern('^item\\\\s+([A-Za-z_]\\\\w*)\\\\s+(action|navigate|dialog)(?:\\\\s+to)?\\\\s+([A-Za-z_]\\\\w*(?:\\\\.\\\\w+)*)$');\nconst slot = pattern('^[a-z_]\\\\w*$');\nconst title = pattern(`^title\\\\s+${operand}$`);\nconst column = pattern(`^column\\\\s+([\\\\w.]+)(?:\\\\s+label\\\\s+${operand})?$`);\nconst rowClick = pattern('^on\\\\s+row-click\\\\s+(navigate\\\\s+to\\\\s+.+)$');\nconst field = pattern(`^field\\\\s+([\\\\w.]+)\\\\s+label\\\\s+${operand}$`);\n\nconst operandText = (match: RegExpExecArray, quotedGroup: number): string =>\n    match[quotedGroup] !== undefined ? unescapeString(match[quotedGroup]) : match[quotedGroup + 1];\n\nconst isInteraction = (line: SourceLine): boolean => ['on', 'uses'].includes(firstWord(line.content));\n\nconst isCodeLine = (context: ParserContext, line: SourceLine): boolean => line.content.startsWith('```') || context.languages.has(line.content);\n\nexport function parseScreen(context: ParserContext, line: SourceLine): ScreenSyntax {\n    const match = header.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidScreenDeclaration, `Invalid screen declaration '${line.content}' - expected 'screen <Name>'`, locationOf(line));\n    }\n    const directives: ScreenDirectiveSyntax[] = [];\n    const contributions: ScreenContributionSyntax[] = [];\n    let description: string | null = null;\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        if (firstWord(child.content) === 'contribute') {\n            const parsed = parseScreenContribution(context, child);\n            if (parsed !== undefined) contributions.push(parsed);\n        } else if (firstWord(child.content) === 'description') {\n            description = parseDescription(context, child, description, `Screen '${match?.[1] ?? ''}'`);\n        } else if (!isFileDirective(child)) {\n            pushDirective(context, child, directives);\n        }\n    }\n    return { kind: 'ScreenSyntax', name: match?.[1] ?? '', directives, description, ...(contributions.length > 0 ? { contributions } : {}), location: locationOf(line) };\n}\n\nfunction parseScreenContribution(context: ParserContext, line: SourceLine): ScreenContributionSyntax | undefined {\n    const match = contributionPattern.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid screen contribution '${line.content}' - expected 'contribute to <Point> [order <n>]'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n    return { kind: 'ScreenContributionSyntax', contributionPoint: match[1], order: match[2] === undefined ? null : Number(match[2]), directives: parseDirectives(context, line), location: locationOf(line) };\n}\n\nfunction pushDirective(context: ParserContext, line: SourceLine, directives: ScreenDirectiveSyntax[]): void {\n    const directive = parseDirective(context, line);\n    if (directive !== undefined) {\n        directives.push(directive);\n    }\n}\n\nfunction parseDirectives(context: ParserContext, parent: SourceLine): ScreenDirectiveSyntax[] {\n    const directives: ScreenDirectiveSyntax[] = [];\n    for (let child = context.peekChild(parent.indent); child !== undefined; child = context.peekChild(parent.indent)) {\n        context.reader.takeSignificant();\n        pushDirective(context, child, directives);\n    }\n    return directives;\n}\n\nfunction parseDirective(context: ParserContext, line: SourceLine): ScreenDirectiveSyntax | undefined {\n    switch (firstWord(line.content)) {\n        case 'data':\n            return parseData(context, line);\n        case 'action':\n            return parseAction(context, line);\n        case 'template':\n            return parseTemplateReference(context, line);\n        case 'section':\n            return parseSection(context, line);\n        case 'title':\n            return parseTitle(context, line);\n        case 'table':\n            return parseTable(context, line);\n        case 'summary':\n            return parseSummary(context, line);\n        case 'component':\n            return parseComponent(context, line);\n        case 'toolbar':\n            return parseToolbar(context, line);\n        case 'navigate':\n            return parseNavigate(context, line.content, line);\n        case 'on':\n            collectInputUses(context, line);\n            return { kind: 'ScreenBehaviorSyntax', location: locationOf(line) };\n        case 'uses':\n            context.skipOpaqueBlock(line.indent);\n            return { kind: 'ScreenUsesBehaviorSyntax', location: locationOf(line) };\n        default:\n            if (isCodeLine(context, line)) {\n                return parseCode(context, line);\n            }\n            context.error(DiagnosticCodes.UnknownScreenDirective, `Unexpected '${line.content}' in screen body`, locationOf(line));\n            context.skipBlock(line.indent);\n            return undefined;\n    }\n}\n\nfunction parseData(context: ParserContext, line: SourceLine): ScreenDataSyntax | undefined {\n    const match = data.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidDataDirective, `Invalid data directive '${line.content}' - expected 'data <ReadModel> via query <Query> [by <param>]'`, locationOf(line));\n        return undefined;\n    }\n    return { kind: 'ScreenDataSyntax', type: parseTypeRef(match[1], locationOf(line)), query: match[2], by: match[3] ?? null, location: locationOf(line) };\n}\n\nfunction parseAction(context: ParserContext, line: SourceLine): ScreenActionSyntax | ScreenGuardedActionSyntax | undefined {\n    const guarded = guardedAction.exec(line.content);\n    if (guarded !== null) return parseGuardedAction(context, line, operandText(guarded, 1), parseNavigate);\n    const match = action.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidActionDirective, `Invalid action directive '${line.content}' - expected 'action <Command>'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n    let text: string | null = null;\n    let target: ScreenNavigateSyntax | null = null;\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const labelMatch = label.exec(child.content);\n        if (labelMatch !== null) {\n            text = operandText(labelMatch, 1);\n        } else if (firstWord(child.content) === 'navigate') {\n            target = parseNavigate(context, child.content, child) ?? null;\n        } else {\n            context.error(DiagnosticCodes.UnknownActionDirective, `Unexpected '${child.content}' in action - expected 'label \"...\"' or 'navigate to ...'`, locationOf(child));\n        }\n    }\n    return { kind: 'ScreenActionSyntax', command: match[1], label: text, navigate: target, location: locationOf(line) };\n}\n\nfunction parseNavigate(context: ParserContext, text: string, line: SourceLine): ScreenNavigateSyntax | undefined {\n    const match = navigate.exec(text);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidNavigation, `Invalid navigation '${text}' - expected 'navigate to <Screen> [by <param>]'`, locationOf(line));\n        return undefined;\n    }\n    const parameters: ScreenNavigationParameterSyntax[] = [];\n    let routeValue: string | null = null;\n    let outletValue: string | null = null;\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const parameterMatch = parameter.exec(child.content);\n        if (parameterMatch !== null) {\n            parameters.push({ kind: 'ScreenNavigationParameterSyntax', name: parameterMatch[1], binding: parseFromClause(context, parameterMatch[2], locationOf(child)), location: locationOf(child) });\n            continue;\n        }\n        const routeMatch = route.exec(child.content);\n        if (routeMatch !== null) {\n            routeValue = operandText(routeMatch, 1);\n            continue;\n        }\n        const outletMatch = outletPattern.exec(child.content);\n        if (outletMatch !== null) {\n            outletValue = outletMatch[1];\n            continue;\n        }\n        context.error(DiagnosticCodes.InvalidNavigation, `Unexpected '${child.content}' in navigation - expected 'route \"...\"', 'outlet <name>' or 'parameter <name> from <binding>'`, locationOf(child));\n    }\n    return { kind: 'ScreenNavigateSyntax', screen: match[1], by: match[2] ?? null, route: routeValue, ...(outletValue === null ? {} : { outlet: outletValue }), parameters, location: locationOf(line) };\n}\n\nfunction parseTemplateReference(context: ParserContext, line: SourceLine): ScreenTemplateReferenceSyntax {\n    const name = line.content.substring('template'.length).trim();\n    const slots: ScreenSlotSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        if (!slot.test(child.content)) {\n            context.error(DiagnosticCodes.InvalidScreenLayoutSlot, `Expected a slot name in template '${name}', got '${child.content}'`, locationOf(child));\n            context.skipBlock(child.indent);\n            continue;\n        }\n        slots.push({ kind: 'ScreenSlotSyntax', name: child.content, directives: parseDirectives(context, child), location: locationOf(child) });\n    }\n    return { kind: 'ScreenTemplateReferenceSyntax', name, slots, location: locationOf(line) };\n}\n\nfunction parseSection(context: ParserContext, line: SourceLine): ScreenSectionSyntax {\n    const name = line.content.substring('section'.length).trim();\n    return { kind: 'ScreenSectionSyntax', name, directives: parseDirectives(context, line), location: locationOf(line) };\n}\n\nfunction parseTitle(context: ParserContext, line: SourceLine): ScreenTitleSyntax {\n    const match = title.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidTitleDirective, `Invalid title directive '${line.content}' - expected 'title \"...\"'`, locationOf(line));\n        return { kind: 'ScreenTitleSyntax', text: '', location: locationOf(line) };\n    }\n    return { kind: 'ScreenTitleSyntax', text: operandText(match, 1), location: locationOf(line) };\n}\n\nfunction parseTable(context: ParserContext, line: SourceLine): ScreenTableSyntax {\n    const target = line.content.substring('table'.length).trim();\n    const columns: ScreenColumnSyntax[] = [];\n    let click: ScreenNavigateSyntax | null = null;\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const columnMatch = column.exec(child.content);\n        const clickMatch = rowClick.exec(child.content);\n        if (columnMatch !== null) {\n            const labelled = columnMatch[2] !== undefined || columnMatch[3] !== undefined;\n            columns.push({ kind: 'ScreenColumnSyntax', property: columnMatch[1], label: labelled ? operandText(columnMatch, 2) : null, location: locationOf(child) });\n        } else if (clickMatch !== null) {\n            click = parseNavigate(context, clickMatch[1], child) ?? null;\n        } else if (firstWord(child.content) === 'on') {\n            collectInputUses(context, child);\n        } else if (isInteraction(child)) {\n            context.skipOpaqueBlock(child.indent);\n        } else {\n            context.error(DiagnosticCodes.UnknownTableDirective, `Unexpected '${child.content}' in table - expected 'column ...', 'on row-click navigate to ...', 'on <trigger>' or 'uses <Behavior>'`, locationOf(child));\n        }\n    }\n    return { kind: 'ScreenTableSyntax', target, columns, rowClick: click, location: locationOf(line) };\n}\n\nfunction parseSummary(context: ParserContext, line: SourceLine): ScreenSummarySyntax {\n    const target = line.content.substring('summary'.length).trim();\n    const fields: ScreenFieldSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const match = field.exec(child.content);\n        if (match === null) {\n            context.error(DiagnosticCodes.UnknownSummaryDirective, `Unexpected '${child.content}' in summary - expected 'field <property> label \"...\"'`, locationOf(child));\n            continue;\n        }\n        fields.push({ kind: 'ScreenFieldSyntax', property: match[1], label: operandText(match, 2), location: locationOf(child) });\n    }\n    return { kind: 'ScreenSummarySyntax', target, fields, location: locationOf(line) };\n}\n\n\nfunction parseComponent(context: ParserContext, line: SourceLine): ScreenComponentSyntax | undefined {\n    const match = component.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid component directive '${line.content}' - expected 'component <Package.Component> <name>'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n\n    let dataContext = null;\n    let componentStableId = null;\n    let icon = null;\n    const properties: ComponentPropertySyntax[] = [];\n    const exposedValues: ComponentExposedValueSyntax[] = [];\n    const presentationValues: PresentationValueSyntax[] = [];\n    const outlets: ComponentOutletSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        switch (firstWord(child.content)) {\n            case 'context':\n                dataContext = parseUiContext(context, child);\n                break;\n            case 'id':\n                componentStableId = parseStableId(context, child);\n                break;\n            case 'property':\n                parseComponentProperty(context, child, properties);\n                break;\n            case 'icon':\n                icon = child.content.substring('icon'.length).trim();\n                break;\n            case 'presentation':\n                parsePresentationValue(context, child, presentationValues);\n                break;\n            case 'exposes':\n                parseExposedValue(context, child, exposedValues);\n                break;\n            case 'outlet':\n                outlets.push({ kind: 'ComponentOutletSyntax', name: child.content.substring('outlet'.length).trim(), directives: parseDirectives(context, child), location: locationOf(child) });\n                break;\n            case 'on':\n                collectInputUses(context, child);\n                break;\n            case 'uses':\n                context.skipOpaqueBlock(child.indent);\n                break;\n            default:\n                context.error(DiagnosticCodes.UnknownScreenDirective, `Unexpected '${child.content}' in component - expected context, id, property, icon, presentation, exposes, outlet, on or uses`, locationOf(child));\n                context.skipBlock(child.indent);\n                break;\n        }\n    }\n\n    return { kind: 'ScreenComponentSyntax', component: match[1], name: match[2], stableId: componentStableId, context: dataContext, properties, exposes: exposedValues, presentation: presentationValues, icon, outlets, location: locationOf(line) };\n}\n\nfunction parseUiContext(context: ParserContext, line: SourceLine) {\n    return parseUiBindingValue(context, line.content.substring('context'.length).trim(), line);\n}\n\nfunction parseComponentProperty(context: ParserContext, line: SourceLine, properties: ComponentPropertySyntax[]): void {\n    const bound = componentPropertyBinding.exec(line.content);\n    if (bound !== null) {\n        properties.push({ kind: 'ComponentPropertySyntax', property: bound[1], binding: parseFromClause(context, bound[2], locationOf(line)), value: null, location: locationOf(line) });\n        return;\n    }\n    const literal = componentPropertyLiteral.exec(line.content);\n    if (literal !== null) {\n        properties.push({ kind: 'ComponentPropertySyntax', property: literal[1], binding: null, value: parseMappingSource(literal[2], locationOf(line), context), location: locationOf(line) });\n        return;\n    }\n    context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid component property '${line.content}' - expected 'property <path> from <binding>' or 'property <path> = <literal|object|array|null>'`, locationOf(line));\n}\n\nfunction parseStableId(context: ParserContext, line: SourceLine): string | null {\n    const match = stableId.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid component id '${line.content}' - expected 'id \"stable-id\"'`, locationOf(line));\n        return null;\n    }\n    return operandText(match, 1);\n}\n\nfunction parseExposedValue(context: ParserContext, line: SourceLine, values: ComponentExposedValueSyntax[]): void {\n    const match = exposes.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid exposed value '${line.content}' - expected 'exposes <name> from <binding>'`, locationOf(line));\n        return;\n    }\n    values.push({ kind: 'ComponentExposedValueSyntax', name: match[1], binding: parseFromClause(context, match[2], locationOf(line)), location: locationOf(line) });\n}\n\nfunction parsePresentationValue(context: ParserContext, line: SourceLine, values: PresentationValueSyntax[]): void {\n    const match = presentation.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid presentation value '${line.content}' - expected 'presentation <key> \"value\"'`, locationOf(line));\n        return;\n    }\n    values.push({ kind: 'PresentationValueSyntax', name: match[1], value: operandText(match, 2), location: locationOf(line) });\n}\n\nfunction parseToolbar(context: ParserContext, line: SourceLine): ScreenToolbarSyntax {\n    const name = line.content.substring('toolbar'.length).trim();\n    const items: ToolbarItemSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const item = parseToolbarItem(context, child);\n        if (item !== undefined) items.push(item);\n    }\n    return { kind: 'ScreenToolbarSyntax', name, items, location: locationOf(line) };\n}\n\nfunction parseToolbarItem(context: ParserContext, line: SourceLine): ToolbarItemSyntax | undefined {\n    const match = toolbarItem.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.UnknownScreenDirective, `Invalid toolbar item '${line.content}' - expected 'item <name> action <Command>', 'item <name> navigate to <Screen>' or 'item <name> dialog <DialogTemplate>'`, locationOf(line));\n        context.skipBlock(line.indent);\n        return undefined;\n    }\n    let itemLabel = null;\n    let icon = null;\n    const parameters: ScreenNavigationParameterSyntax[] = [];\n    const presentationValues: PresentationValueSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const labelMatch = label.exec(child.content);\n        if (labelMatch !== null) {\n            itemLabel = operandText(labelMatch, 1);\n            continue;\n        }\n        const parameterMatch = parameter.exec(child.content);\n        if (parameterMatch !== null) {\n            parameters.push({ kind: 'ScreenNavigationParameterSyntax', name: parameterMatch[1], binding: parseFromClause(context, parameterMatch[2], locationOf(child)), location: locationOf(child) });\n            continue;\n        }\n        if (firstWord(child.content) === 'icon') {\n            icon = child.content.substring('icon'.length).trim();\n            continue;\n        }\n        parsePresentationValue(context, child, presentationValues);\n    }\n    const syntaxKind: ToolbarItemKind = match[2] === 'navigate' ? 'Navigate' : match[2] === 'dialog' ? 'Dialog' : 'Action';\n    return { kind: 'ToolbarItemSyntax', name: match[1], syntaxKind, target: match[3], label: itemLabel, icon, parameters, presentation: presentationValues, location: locationOf(line) };\n}\n\nfunction parseUiBindingValue(context: ParserContext, text: string, line: SourceLine) {\n    return parseFromClause(context, text, locationOf(line));\n}\n\nfunction parseCode(context: ParserContext, line: SourceLine): ScreenCodeSyntax | undefined {\n    const language = line.content.startsWith('```') ? line.content.substring(3) : line.content;\n    if (!context.languages.has(language)) {\n        context.error(DiagnosticCodes.ExpectedCodeFence, `Expected a registered language on the opening fence, not '${line.content}'`, locationOf(line));\n        return undefined;\n    }\n    if (!line.content.startsWith('```')) {\n        context.warning(DiagnosticCodes.LegacyInlineCodeFence, `'${language}' on its own line is deprecated - use '\\`\\`\\`${language}' instead`, locationOf(line));\n    }\n    const code = parseFencedText(context, language, line);\n    return code === null ? undefined : {\n        kind: 'ScreenCodeSyntax',\n        code: { kind: 'CodeBlockSyntax', language, code, location: locationOf(line) },\n        location: locationOf(line),\n    };\n}\n"],"mappings":"+wBA4BA,MAAMA,EAAU,QAAQC,EAAkB,qCACpCC,EAASC,EAAQ,6BAA6B,EAC9CC,EAAOD,EAAQ,2FAA2F,EAC1GE,EAASF,EAAQ,yCAAyC,EAC1DG,EAAQH,EAAQ,aAAaH,EAAQ,EAAE,EACvCO,EAAgBJ,EAAQ,cAAcH,EAAQ,EAAE,EAChDQ,EAAWL,EAAQ,6DAA6D,EAChFM,EAAQN,EAAQ,aAAaH,EAAQ,EAAE,EACvCU,EAAgBP,EAAQ,6BAA6B,EACrDQ,EAAsBR,EAAQ,iEAAiE,EAC/FS,EAAYT,EAAQ,gDAAgD,EACpEU,EAAYV,EAAQ,wEAAwE,EAC5FW,EAAWX,EAAQ,eAAeF,EAAkB,YAAY,EAChEc,EAA2BZ,EAAQ,yCAAyC,EAC5Ea,EAA2Bb,EAAQ,sCAAsC,EACzEc,EAAUd,EAAQ,8CAA8C,EAChEe,EAAef,EAAQ,uCAAuCH,EAAQ,EAAE,EACxEmB,EAAchB,EAAQ,iGAAiG,EACvHiB,EAAOjB,EAAQ,cAAc,EAC7BkB,EAAQlB,EAAQ,aAAaH,EAAQ,EAAE,EACvCsB,EAASnB,EAAQ,uCAAuCH,EAAQ,IAAI,EACpEuB,EAAWpB,EAAQ,6CAA6C,EAChEqB,EAAQrB,EAAQ,mCAAmCH,EAAQ,EAAE,EAE7D,aAAe,EAAwB,IACzCyB,EAAMC,KAAiB,IAAA,GAAiDD,EAAMC,EAAc,GAAzDC,EAAeF,EAAMC,EAAY,EAElE,cAAiB,GAA8B,CAAC,KAAM,MAAM,CAAC,CAAC,SAASE,EAAUC,EAAK,OAAO,CAAC,EAE9F,YAAc,EAAwB,IAA8BA,EAAK,QAAQ,WAAW,KAAK,GAAKC,EAAQ,UAAU,IAAID,EAAK,OAAO,EAE9I,SAAgB,YAAY,EAAwB,EAAgC,CAChF,IAAMJ,EAAQvB,EAAO,KAAK2B,EAAK,OAAO,EAClCJ,IAAU,MACVK,EAAQ,MAAMC,EAAgB,yBAA0B,+BAA+BF,EAAK,QAAQ,8BAA+BG,EAAWH,CAAI,CAAC,EAEvJ,IAAMI,EAAsC,CAAC,EACvCC,EAA4C,CAAC,EAC/CC,EAA6B,KACjC,IAAK,IAAIC,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAEvG,GADAC,EAAQ,OAAO,gBAAgB,EAC3BF,EAAUQ,EAAM,OAAO,IAAM,aAAc,CAC3C,IAAMC,EAAS,wBAAwBP,EAASM,CAAK,EACjDC,IAAW,IAAA,IAAWH,EAAc,KAAKG,CAAM,CACvD,MAAWT,EAAUQ,EAAM,OAAO,IAAM,cACpC,EAAcE,EAAiBR,EAASM,EAAOD,EAAa,WAAWV,IAAQ,IAAM,GAAG,EAAE,EAClFc,EAAgBH,CAAK,GAC7B,cAAcN,EAASM,EAAOH,CAAU,EAGhD,MAAO,CAAE,KAAM,eAAgB,KAAMR,IAAQ,IAAM,GAAI,aAAY,cAAa,GAAIS,EAAc,OAAS,EAAI,CAAE,eAAc,EAAI,CAAC,EAAI,SAAUF,EAAWH,CAAI,CAAE,CACvK,CAEA,SAAS,wBAAwB,EAAwB,EAAwD,CAC7G,IAAMJ,EAAQd,EAAoB,KAAKkB,EAAK,OAAO,EACnD,GAAIJ,IAAU,KACVK,EAAQ,MAAMC,EAAgB,uBAAwB,gCAAgCF,EAAK,QAAQ,kDAAmDG,EAAWH,CAAI,CAAC,EACtKC,EAAQ,UAAUD,EAAK,MAAM,OAGjC,MAAO,CAAE,KAAM,2BAA4B,kBAAmBJ,EAAM,GAAI,MAAOA,EAAM,KAAO,IAAA,GAAY,KAAO,OAAOA,EAAM,EAAE,EAAG,WAAY,gBAAgBK,EAASD,CAAI,EAAG,SAAUG,EAAWH,CAAI,CAAE,CAC5M,CAEA,SAAS,cAAc,EAAwB,EAAkB,EAA2C,CACxG,IAAMW,EAAY,eAAeV,EAASD,CAAI,EAC1CW,IAAc,IAAA,IACdP,EAAW,KAAKO,CAAS,CAEjC,CAEA,SAAS,gBAAgB,EAAwB,EAA6C,CAC1F,IAAMP,EAAsC,CAAC,EAC7C,IAAK,IAAIG,EAAQN,EAAQ,UAAUW,EAAO,MAAM,EAAGL,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUW,EAAO,MAAM,EAC3GX,EAAQ,OAAO,gBAAgB,EAC/B,cAAcA,EAASM,EAAOH,CAAU,EAE5C,OAAOA,CACX,CAEA,SAAS,eAAe,EAAwB,EAAqD,CACjG,OAAQL,EAAUC,EAAK,OAAO,EAA9B,CACI,IAAK,OACD,OAAO,UAAUC,EAASD,CAAI,EAClC,IAAK,SACD,OAAO,YAAYC,EAASD,CAAI,EACpC,IAAK,WACD,OAAO,uBAAuBC,EAASD,CAAI,EAC/C,IAAK,UACD,OAAO,aAAaC,EAASD,CAAI,EACrC,IAAK,QACD,OAAO,WAAWC,EAASD,CAAI,EACnC,IAAK,QACD,OAAO,WAAWC,EAASD,CAAI,EACnC,IAAK,UACD,OAAO,aAAaC,EAASD,CAAI,EACrC,IAAK,YACD,OAAO,eAAeC,EAASD,CAAI,EACvC,IAAK,UACD,OAAO,aAAaC,EAASD,CAAI,EACrC,IAAK,WACD,OAAO,cAAcC,EAASD,EAAK,QAASA,CAAI,EACpD,IAAK,KAED,OADAa,EAAiBZ,EAASD,CAAI,EACvB,CAAE,KAAM,uBAAwB,SAAUG,EAAWH,CAAI,CAAE,EACtE,IAAK,OAED,OADAC,EAAQ,gBAAgBD,EAAK,MAAM,EAC5B,CAAE,KAAM,2BAA4B,SAAUG,EAAWH,CAAI,CAAE,EAC1E,QACI,GAAI,WAAWC,EAASD,CAAI,EACxB,OAAO,UAAUC,EAASD,CAAI,EAElCC,EAAQ,MAAMC,EAAgB,uBAAwB,eAAeF,EAAK,QAAQ,kBAAmBG,EAAWH,CAAI,CAAC,EACrHC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACR,CACJ,CAEA,SAAS,UAAU,EAAwB,EAAgD,CACvF,IAAMJ,EAAQrB,EAAK,KAAKyB,EAAK,OAAO,EACpC,GAAIJ,IAAU,KACVK,EAAQ,MAAMC,EAAgB,qBAAsB,2BAA2BF,EAAK,QAAQ,gEAAiEG,EAAWH,CAAI,CAAC,OAGjL,MAAO,CAAE,KAAM,mBAAoB,KAAMc,EAAalB,EAAM,GAAIO,EAAWH,CAAI,CAAC,EAAG,MAAOJ,EAAM,GAAI,GAAIA,EAAM,IAAM,KAAM,SAAUO,EAAWH,CAAI,CAAE,CACzJ,CAEA,SAAS,YAAY,EAAwB,EAA8E,CACvH,IAAMe,EAAUrC,EAAc,KAAKsB,EAAK,OAAO,EAC/C,GAAIe,IAAY,KAAM,OAAOC,EAAmBf,EAASD,EAAM,YAAYe,EAAS,CAAC,EAAG,aAAa,EACrG,IAAMnB,EAAQpB,EAAO,KAAKwB,EAAK,OAAO,EACtC,GAAIJ,IAAU,KAAM,CAChBK,EAAQ,MAAMC,EAAgB,uBAAwB,6BAA6BF,EAAK,QAAQ,iCAAkCG,EAAWH,CAAI,CAAC,EAClJC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAIiB,EAAsB,KACtBC,EAAsC,KAC1C,IAAK,IAAIX,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkB,EAAa1C,EAAM,KAAK8B,EAAM,OAAO,EACvCY,IAAe,KAERpB,EAAUQ,EAAM,OAAO,IAAM,WACpC,EAAS,cAAcN,EAASM,EAAM,QAASA,CAAK,GAAK,KAEzDN,EAAQ,MAAMC,EAAgB,uBAAwB,eAAeK,EAAM,QAAQ,2DAA4DJ,EAAWI,CAAK,CAAC,EAJhK,EAAO,YAAYY,EAAY,CAAC,CAMxC,CACA,MAAO,CAAE,KAAM,qBAAsB,QAASvB,EAAM,GAAI,MAAOqB,EAAM,SAAUC,EAAQ,SAAUf,EAAWH,CAAI,CAAE,CACtH,CAEA,SAAS,cAAc,EAAwB,EAAc,EAAoD,CAC7G,IAAMJ,EAAQjB,EAAS,KAAKsC,CAAI,EAChC,GAAIrB,IAAU,KAAM,CAChBK,EAAQ,MAAMC,EAAgB,kBAAmB,uBAAuBe,EAAK,kDAAmDd,EAAWH,CAAI,CAAC,EAChJ,MACJ,CACA,IAAMoB,EAAgD,CAAC,EACnDC,EAA4B,KAC5BC,EAA6B,KACjC,IAAK,IAAIf,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAiBxC,EAAU,KAAKwB,EAAM,OAAO,EACnD,GAAIgB,IAAmB,KAAM,CACzBH,EAAW,KAAK,CAAE,KAAM,kCAAmC,KAAMG,EAAe,GAAI,QAASC,EAAgBvB,EAASsB,EAAe,GAAIpB,EAAWI,CAAK,CAAC,EAAG,SAAUJ,EAAWI,CAAK,CAAE,CAAC,EAC1L,QACJ,CACA,IAAMkB,EAAa7C,EAAM,KAAK2B,EAAM,OAAO,EAC3C,GAAIkB,IAAe,KAAM,CACrB,EAAa,YAAYA,EAAY,CAAC,EACtC,QACJ,CACA,IAAMC,EAAc7C,EAAc,KAAK0B,EAAM,OAAO,EAChDmB,IAAgB,KAIpBzB,EAAQ,MAAMC,EAAgB,kBAAmB,eAAeK,EAAM,QAAQ,gGAAiGJ,EAAWI,CAAK,CAAC,EAH5L,EAAcmB,EAAY,EAIlC,CACA,MAAO,CAAE,KAAM,uBAAwB,OAAQ9B,EAAM,GAAI,GAAIA,EAAM,IAAM,KAAM,MAAOyB,EAAY,GAAIC,IAAgB,KAAO,CAAC,EAAI,CAAE,OAAQA,CAAY,EAAI,aAAY,SAAUnB,EAAWH,CAAI,CAAE,CACvM,CAEA,SAAS,uBAAuB,EAAwB,EAAiD,CACrG,IAAM2B,EAAO3B,EAAK,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,EACtD4B,EAA4B,CAAC,EACnC,IAAK,IAAIrB,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EACvGC,EAAQ,OAAO,gBAAgB,EAC1BV,EAAK,KAAKgB,EAAM,OAAO,EAK5BqB,EAAM,KAAK,CAAE,KAAM,mBAAoB,KAAMrB,EAAM,QAAS,WAAY,gBAAgBN,EAASM,CAAK,EAAG,SAAUJ,EAAWI,CAAK,CAAE,CAAC,GAJlIN,EAAQ,MAAMC,EAAgB,wBAAyB,qCAAqCyB,EAAK,UAAUpB,EAAM,QAAQ,GAAIJ,EAAWI,CAAK,CAAC,EAC9IN,EAAQ,UAAUM,EAAM,MAAM,GAKtC,MAAO,CAAE,KAAM,gCAAiC,OAAM,QAAO,SAAUJ,EAAWH,CAAI,CAAE,CAC5F,CAEA,SAAS,aAAa,EAAwB,EAAuC,CAEjF,MAAO,CAAE,KAAM,sBAAuB,KADzBA,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KACb,EAAG,WAAY,gBAAgBC,EAASD,CAAI,EAAG,SAAUG,EAAWH,CAAI,CAAE,CACvH,CAEA,SAAS,WAAW,EAAwB,EAAqC,CAC7E,IAAMJ,EAAQJ,EAAM,KAAKQ,EAAK,OAAO,EAKrC,OAJIJ,IAAU,MACVK,EAAQ,MAAMC,EAAgB,sBAAuB,4BAA4BF,EAAK,QAAQ,4BAA6BG,EAAWH,CAAI,CAAC,EACpI,CAAE,KAAM,oBAAqB,KAAM,GAAI,SAAUG,EAAWH,CAAI,CAAE,GAEtE,CAAE,KAAM,oBAAqB,KAAM,YAAYJ,EAAO,CAAC,EAAG,SAAUO,EAAWH,CAAI,CAAE,CAChG,CAEA,SAAS,WAAW,EAAwB,EAAqC,CAC7E,IAAMkB,EAASlB,EAAK,QAAQ,UAAU,CAAc,CAAC,CAAC,KAAK,EACrD6B,EAAgC,CAAC,EACnCC,EAAqC,KACzC,IAAK,IAAIvB,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAM8B,EAActC,EAAO,KAAKc,EAAM,OAAO,EACvCyB,EAAatC,EAAS,KAAKa,EAAM,OAAO,EAC9C,GAAIwB,IAAgB,KAAM,CACtB,IAAME,EAAWF,EAAY,KAAO,IAAA,IAAaA,EAAY,KAAO,IAAA,GACpEF,EAAQ,KAAK,CAAE,KAAM,qBAAsB,SAAUE,EAAY,GAAI,MAAOE,EAAW,YAAYF,EAAa,CAAC,EAAI,KAAM,SAAU5B,EAAWI,CAAK,CAAE,CAAC,CAC5J,MAAWyB,IAAe,KAEfjC,EAAUQ,EAAM,OAAO,IAAM,KACpCM,EAAiBZ,EAASM,CAAK,EACxB,cAAcA,CAAK,EAC1BN,EAAQ,gBAAgBM,EAAM,MAAM,EAEpCN,EAAQ,MAAMC,EAAgB,sBAAuB,eAAeK,EAAM,QAAQ,yGAA0GJ,EAAWI,CAAK,CAAC,EAN7M,EAAQ,cAAcN,EAAS+B,EAAW,GAAIzB,CAAK,GAAK,IAQhE,CACA,MAAO,CAAE,KAAM,oBAAqB,SAAQ,UAAS,SAAUuB,EAAO,SAAU3B,EAAWH,CAAI,CAAE,CACrG,CAEA,SAAS,aAAa,EAAwB,EAAuC,CACjF,IAAMkB,EAASlB,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EACvDkC,EAA8B,CAAC,EACrC,IAAK,IAAI3B,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAML,EAAQD,EAAM,KAAKY,EAAM,OAAO,EAClCX,IAAU,KACVK,EAAQ,MAAMC,EAAgB,wBAAyB,eAAeK,EAAM,QAAQ,wDAAyDJ,EAAWI,CAAK,CAAC,EAGlK2B,EAAO,KAAK,CAAE,KAAM,oBAAqB,SAAUtC,EAAM,GAAI,MAAO,YAAYA,EAAO,CAAC,EAAG,SAAUO,EAAWI,CAAK,CAAE,CAAC,CAC5H,CACA,MAAO,CAAE,KAAM,sBAAuB,SAAQ,SAAQ,SAAUJ,EAAWH,CAAI,CAAE,CACrF,CAGA,SAAS,eAAe,EAAwB,EAAqD,CACjG,IAAMJ,EAAQZ,EAAU,KAAKgB,EAAK,OAAO,EACzC,GAAIJ,IAAU,KAAM,CAChBK,EAAQ,MAAMC,EAAgB,uBAAwB,gCAAgCF,EAAK,QAAQ,qDAAsDG,EAAWH,CAAI,CAAC,EACzKC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CAEA,IAAImC,EAAc,KACdC,EAAoB,KACpBC,EAAO,KACLC,EAAwC,CAAC,EACzCC,EAA+C,CAAC,EAChDC,EAAgD,CAAC,EACjDC,EAAmC,CAAC,EAC1C,IAAK,IAAIlC,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAEvG,OADAC,EAAQ,OAAO,gBAAgB,EACvBF,EAAUQ,EAAM,OAAO,EAA/B,CACI,IAAK,UACD,EAAc,eAAeN,EAASM,CAAK,EAC3C,MACJ,IAAK,KACD,EAAoB,cAAcN,EAASM,CAAK,EAChD,MACJ,IAAK,WACD,uBAAuBN,EAASM,EAAO+B,CAAU,EACjD,MACJ,IAAK,OACD,EAAO/B,EAAM,QAAQ,UAAU,CAAa,CAAC,CAAC,KAAK,EACnD,MACJ,IAAK,eACD,uBAAuBN,EAASM,EAAOiC,CAAkB,EACzD,MACJ,IAAK,UACD,kBAAkBvC,EAASM,EAAOgC,CAAa,EAC/C,MACJ,IAAK,SACDE,EAAQ,KAAK,CAAE,KAAM,wBAAyB,KAAMlC,EAAM,QAAQ,UAAU,CAAe,CAAC,CAAC,KAAK,EAAG,WAAY,gBAAgBN,EAASM,CAAK,EAAG,SAAUJ,EAAWI,CAAK,CAAE,CAAC,EAC/K,MACJ,IAAK,KACDM,EAAiBZ,EAASM,CAAK,EAC/B,MACJ,IAAK,OACDN,EAAQ,gBAAgBM,EAAM,MAAM,EACpC,MACJ,QACIN,EAAQ,MAAMC,EAAgB,uBAAwB,eAAeK,EAAM,QAAQ,kGAAmGJ,EAAWI,CAAK,CAAC,EACvMN,EAAQ,UAAUM,EAAM,MAAM,CAEtC,CAGJ,MAAO,CAAE,KAAM,wBAAyB,UAAWX,EAAM,GAAI,KAAMA,EAAM,GAAI,SAAUwC,EAAmB,QAASD,EAAa,aAAY,QAASI,EAAe,aAAcC,EAAoB,OAAM,UAAS,SAAUrC,EAAWH,CAAI,CAAE,CACpP,CAEA,SAAS,eAAe,EAAwB,EAAkB,CAC9D,OAAO,oBAAoBC,EAASD,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EAAGA,CAAI,CAC7F,CAEA,SAAS,uBAAuB,EAAwB,EAAkB,EAA6C,CACnH,IAAM0C,EAAQxD,EAAyB,KAAKc,EAAK,OAAO,EACxD,GAAI0C,IAAU,KAAM,CAChBJ,EAAW,KAAK,CAAE,KAAM,0BAA2B,SAAUI,EAAM,GAAI,QAASlB,EAAgBvB,EAASyC,EAAM,GAAIvC,EAAWH,CAAI,CAAC,EAAG,MAAO,KAAM,SAAUG,EAAWH,CAAI,CAAE,CAAC,EAC/K,MACJ,CACA,IAAM2C,EAAUxD,EAAyB,KAAKa,EAAK,OAAO,EACtD2C,IAAY,KAIhB1C,EAAQ,MAAMC,EAAgB,uBAAwB,+BAA+BF,EAAK,QAAQ,kGAAmGG,EAAWH,CAAI,CAAC,EAHjNsC,EAAW,KAAK,CAAE,KAAM,0BAA2B,SAAUK,EAAQ,GAAI,QAAS,KAAM,MAAOC,EAAmBD,EAAQ,GAAIxC,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,CAAC,CAI9L,CAEA,SAAS,cAAc,EAAwB,EAAiC,CAC5E,IAAMJ,EAAQX,EAAS,KAAKe,EAAK,OAAO,EAKxC,OAJIJ,IAAU,MACVK,EAAQ,MAAMC,EAAgB,uBAAwB,yBAAyBF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EACrI,MAEJ,YAAYJ,EAAO,CAAC,CAC/B,CAEA,SAAS,kBAAkB,EAAwB,EAAkB,EAA6C,CAC9G,IAAMA,EAAQR,EAAQ,KAAKY,EAAK,OAAO,EACnCJ,IAAU,KACVK,EAAQ,MAAMC,EAAgB,uBAAwB,0BAA0BF,EAAK,QAAQ,8CAA+CG,EAAWH,CAAI,CAAC,EAGhK6C,EAAO,KAAK,CAAE,KAAM,8BAA+B,KAAMjD,EAAM,GAAI,QAAS4B,EAAgBvB,EAASL,EAAM,GAAIO,EAAWH,CAAI,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,CAAC,CAClK,CAEA,SAAS,uBAAuB,EAAwB,EAAkB,EAAyC,CAC/G,IAAMJ,EAAQP,EAAa,KAAKW,EAAK,OAAO,EACxCJ,IAAU,KACVK,EAAQ,MAAMC,EAAgB,uBAAwB,+BAA+BF,EAAK,QAAQ,2CAA4CG,EAAWH,CAAI,CAAC,EAGlK6C,EAAO,KAAK,CAAE,KAAM,0BAA2B,KAAMjD,EAAM,GAAI,MAAO,YAAYA,EAAO,CAAC,EAAG,SAAUO,EAAWH,CAAI,CAAE,CAAC,CAC7H,CAEA,SAAS,aAAa,EAAwB,EAAuC,CACjF,IAAM2B,EAAO3B,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EACrD8C,EAA6B,CAAC,EACpC,IAAK,IAAIvC,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAM8C,EAAO,iBAAiB9C,EAASM,CAAK,EACxCwC,IAAS,IAAA,IAAWD,EAAM,KAAKC,CAAI,CAC3C,CACA,MAAO,CAAE,KAAM,sBAAuB,OAAM,QAAO,SAAU5C,EAAWH,CAAI,CAAE,CAClF,CAEA,SAAS,iBAAiB,EAAwB,EAAiD,CAC/F,IAAMJ,EAAQN,EAAY,KAAKU,EAAK,OAAO,EAC3C,GAAIJ,IAAU,KAAM,CAChBK,EAAQ,MAAMC,EAAgB,uBAAwB,yBAAyBF,EAAK,QAAQ,0HAA2HG,EAAWH,CAAI,CAAC,EACvOC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAIgD,EAAY,KACZX,EAAO,KACLjB,EAAgD,CAAC,EACjDoB,EAAgD,CAAC,EACvD,IAAK,IAAIjC,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAGO,IAAU,IAAA,GAAW,EAAQN,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkB,EAAa1C,EAAM,KAAK8B,EAAM,OAAO,EAC3C,GAAIY,IAAe,KAAM,CACrB,EAAY,YAAYA,EAAY,CAAC,EACrC,QACJ,CACA,IAAMI,EAAiBxC,EAAU,KAAKwB,EAAM,OAAO,EAC/CgB,IAAmB,KAInBxB,EAAUQ,EAAM,OAAO,IAAM,OAC7B,EAAOA,EAAM,QAAQ,UAAU,CAAa,CAAC,CAAC,KAAK,EAGvD,uBAAuBN,EAASM,EAAOiC,CAAkB,EAPrDpB,EAAW,KAAK,CAAE,KAAM,kCAAmC,KAAMG,EAAe,GAAI,QAASC,EAAgBvB,EAASsB,EAAe,GAAIpB,EAAWI,CAAK,CAAC,EAAG,SAAUJ,EAAWI,CAAK,CAAE,CAAC,CAQlM,CACA,IAAM0C,EAA8BrD,EAAM,KAAO,WAAa,WAAaA,EAAM,KAAO,SAAW,SAAW,SAC9G,MAAO,CAAE,KAAM,oBAAqB,KAAMA,EAAM,GAAI,aAAY,OAAQA,EAAM,GAAI,MAAOoD,EAAW,OAAM,aAAY,aAAcR,EAAoB,SAAUrC,EAAWH,CAAI,CAAE,CACvL,CAEA,SAAS,oBAAoB,EAAwB,EAAc,EAAkB,CACjF,OAAOwB,EAAgBvB,EAASgB,EAAMd,EAAWH,CAAI,CAAC,CAC1D,CAEA,SAAS,UAAU,EAAwB,EAAgD,CACvF,IAAMkD,EAAWlD,EAAK,QAAQ,WAAW,KAAK,EAAIA,EAAK,QAAQ,UAAU,CAAC,EAAIA,EAAK,QACnF,GAAI,CAACC,EAAQ,UAAU,IAAIiD,CAAQ,EAAG,CAClCjD,EAAQ,MAAMC,EAAgB,kBAAmB,6DAA6DF,EAAK,QAAQ,GAAIG,EAAWH,CAAI,CAAC,EAC/I,MACJ,CACKA,EAAK,QAAQ,WAAW,KAAK,GAC9BC,EAAQ,QAAQC,EAAgB,sBAAuB,IAAIgD,EAAS,+CAA+CA,EAAS,WAAY/C,EAAWH,CAAI,CAAC,EAE5J,IAAMmD,EAAOC,EAAgBnD,EAASiD,EAAUlD,CAAI,EACpD,OAAOmD,IAAS,KAAO,IAAA,GAAY,CAC/B,KAAM,mBACN,KAAM,CAAE,KAAM,kBAAmB,WAAU,OAAM,SAAUhD,EAAWH,CAAI,CAAE,EAC5E,SAAUG,EAAWH,CAAI,CAC7B,CACJ"}

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"SeedParser.js","names":["pattern","parseMappingSource","forPattern","stringBodyPattern","eventPattern","nativePattern","mappingPattern","groups","context","header","DiagnosticCodes","locationOf","group","match","events","event","properties","property","mapped","parseModeledMappingSource","unescapeString"],"sources":["../../../../../../Compiler/Parsing/SeedParser.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 { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { SeedEventSyntax, SeedGroupSyntax, SeedSyntax } from '../Syntax/Seeds';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { nativePattern as pattern } from '../Text/patterns';\nimport { parseModeledMappingSource as parseMappingSource } from './ExpressionParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst forPattern = new RegExp(`^for\\\\s+\"(${stringBodyPattern})\"$`, 'u');\nconst eventPattern = pattern('^[A-Z]\\\\w*$');\nconst mappingPattern = pattern('^([\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\n\nexport function parseSeed(context: ParserContext, header: SourceLine): SeedSyntax {\n    const groups: SeedGroupSyntax[] = [];\n    context = context.valueContext;\n    if (header.content !== 'seed') {\n        context.error(DiagnosticCodes.InvalidSeedDeclaration, `Invalid seed declaration '${header.content}' - expected 'seed'`, locationOf(header));\n        context.skipOpaqueBlock(header.indent);\n        return { kind: 'SeedSyntax', groups, location: locationOf(header) };\n    }\n    for (let group = context.peekChild(header.indent); group !== undefined; group = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        const match = forPattern.exec(group.content);\n        if (match === null) {\n            context.error(DiagnosticCodes.InvalidSeedGroup, `Invalid seed group '${group.content}' - expected 'for \"<event source id>\"'`, locationOf(group));\n            context.skipOpaqueBlock(group.indent);\n            continue;\n        }\n        const events: SeedEventSyntax[] = [];\n        for (let event = context.peekChild(group.indent); event !== undefined; event = context.peekChild(group.indent)) {\n            context.reader.takeSignificant();\n            if (!eventPattern.test(event.content)) {\n                context.error(DiagnosticCodes.InvalidSeedEvent, `Invalid seed event '${event.content}' - expected an event type name`, locationOf(event));\n                context.skipOpaqueBlock(event.indent);\n                continue;\n            }\n            const properties: PropertyMappingSyntax[] = [];\n            for (let property = context.peekChild(event.indent); property !== undefined; property = context.peekChild(event.indent)) {\n                context.reader.takeSignificant();\n                const mapped = mappingPattern.exec(property.content);\n                if (mapped !== null) properties.push({ kind: 'PropertyMappingSyntax', property: mapped[1], source: parseMappingSource(mapped[2], locationOf(property), context), location: locationOf(property) });\n                else context.error(DiagnosticCodes.InvalidSeedPropertyAssignment, `Invalid property assignment '${property.content}' - expected '<property> = <value>'`, locationOf(property));\n            }\n            events.push({ kind: 'SeedEventSyntax', event: event.content, properties, location: locationOf(event) });\n        }\n        groups.push({ kind: 'SeedGroupSyntax', eventSourceId: unescapeString(match[1]), events, location: locationOf(group) });\n    }\n    return { kind: 'SeedSyntax', groups, location: locationOf(header) };\n}\n"],"mappings":"6WAYA,MAAME,EAAiB,OAAO,aAAaC,EAAkB,KAAM,GAAG,EAChEC,EAAeJ,EAAQ,aAAa,EACpCM,EAAiBN,EAAQ,iCAAiC,EAEhE,SAAgB,UAAU,EAAwB,EAAgC,CAC9E,IAAMO,EAA4B,CAAC,EAEnC,GADA,EAAUC,EAAQ,aACdC,EAAO,UAAY,OAGnB,OAFAD,EAAQ,MAAME,EAAgB,uBAAwB,6BAA6BD,EAAO,QAAQ,qBAAsBE,EAAWF,CAAM,CAAC,EAC1ID,EAAQ,gBAAgBC,EAAO,MAAM,EAC9B,CAAE,KAAM,aAAc,SAAQ,SAAUE,EAAWF,CAAM,CAAE,EAEtE,IAAK,IAAIG,EAAQJ,EAAQ,UAAUC,EAAO,MAAM,EAAGG,IAAU,IAAA,GAAW,EAAQJ,EAAQ,UAAUC,EAAO,MAAM,EAAG,CAC9GD,EAAQ,OAAO,gBAAgB,EAC/B,IAAMK,EAAQX,EAAW,KAAKU,EAAM,OAAO,EAC3C,GAAIC,IAAU,KAAM,CAChBL,EAAQ,MAAME,EAAgB,iBAAkB,uBAAuBE,EAAM,QAAQ,wCAAyCD,EAAWC,CAAK,CAAC,EAC/IJ,EAAQ,gBAAgBI,EAAM,MAAM,EACpC,QACJ,CACA,IAAME,EAA4B,CAAC,EACnC,IAAK,IAAIC,EAAQP,EAAQ,UAAUI,EAAM,MAAM,EAAGG,IAAU,IAAA,GAAW,EAAQP,EAAQ,UAAUI,EAAM,MAAM,EAAG,CAE5G,GADAJ,EAAQ,OAAO,gBAAgB,EAC3B,CAACJ,EAAa,KAAKW,EAAM,OAAO,EAAG,CACnCP,EAAQ,MAAME,EAAgB,iBAAkB,uBAAuBK,EAAM,QAAQ,iCAAkCJ,EAAWI,CAAK,CAAC,EACxIP,EAAQ,gBAAgBO,EAAM,MAAM,EACpC,QACJ,CACA,IAAMC,EAAsC,CAAC,EAC7C,IAAK,IAAIC,EAAWT,EAAQ,UAAUO,EAAM,MAAM,EAAGE,IAAa,IAAA,GAAW,EAAWT,EAAQ,UAAUO,EAAM,MAAM,EAAG,CACrHP,EAAQ,OAAO,gBAAgB,EAC/B,IAAMU,EAASZ,EAAe,KAAKW,EAAS,OAAO,EAC/CC,IAAW,KACVV,EAAQ,MAAME,EAAgB,8BAA+B,gCAAgCO,EAAS,QAAQ,qCAAsCN,EAAWM,CAAQ,CAAC,EADxJD,EAAW,KAAK,CAAE,KAAM,wBAAyB,SAAUE,EAAO,GAAI,OAAQjB,EAAmBiB,EAAO,GAAIP,EAAWM,CAAQ,EAAGT,CAAO,EAAG,SAAUG,EAAWM,CAAQ,CAAE,CAAC,CAErM,CACAH,EAAO,KAAK,CAAE,KAAM,kBAAmB,MAAOC,EAAM,QAAS,aAAY,SAAUJ,EAAWI,CAAK,CAAE,CAAC,CAC1G,CACAR,EAAO,KAAK,CAAE,KAAM,kBAAmB,cAAea,EAAeP,EAAM,EAAE,EAAG,SAAQ,SAAUF,EAAWC,CAAK,CAAE,CAAC,CACzH,CACA,MAAO,CAAE,KAAM,aAAc,SAAQ,SAAUD,EAAWF,CAAM,CAAE,CACtE"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"SliceParser.js","names":["header","pattern","opaqueMembers","match","line","type","name","context","DiagnosticCodes","locationOf","sliceTypes","previous","direction","hasDirection","description","documentation","events","operations","commands","queries","projections","reactions","captures","constraints","specifications","examples","purposes","readModels","screens","reducers","child","isFileDirective","metadataWord","keyword","firstWord","parseDescription","parseDocumentation","parsePurposeReference","parseOperation","directionMatch","parseEvent","parseCommand","parseQuery","parseProjection","parseCapture","misplacedReactionIdentity","parseReaction","parseConstraint","parseExample","parseSpecification","parseReadModel","parseScreen","captureReducer","syntax","dependencySources"],"sources":["../../../../../../Compiler/Parsing/SliceParser.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 { CaptureSyntax } from '../Syntax/Captures';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { ConstraintSyntax } from '../Syntax/Constraints';\nimport { EventSyntax, ReadModelSyntax } from '../Syntax/Declarations';\nimport { ProjectionSyntax } from '../Syntax/Projections';\nimport { QuerySyntax } from '../Syntax/Queries';\nimport { ReactionSyntax } from '../Syntax/Reactions';\nimport { ScreenSyntax } from '../Syntax/Screens';\nimport { SpecificationExampleSyntax, SpecificationSyntax } from '../Syntax/Specifications';\nimport { SliceSyntax, SliceType, sliceTypes } from '../Syntax/Structure';\nimport { pattern } from '../Text/patterns';\nimport { TranslationDirection } from '../Syntax/TranslationDirection';\nimport { parseCapture } from './CaptureParser';\nimport { parseCommand } from './CommandParser';\nimport { dependencySources, ReducerSyntax } from '../Syntax/DependencySources';\nimport { captureReducer } from './DependencySourceParser';\nimport { parseConstraint } from './ConstraintParser';\nimport { parseEvent, parseReadModel } from './DeclarationParsers';\nimport { parseDescription } from './DescriptionParser';\nimport { PurposeReferenceSyntax } from '../Syntax/Purposes';\nimport { parsePurposeReference } from './PurposeParser';\nimport { parseDocumentation } from './DocumentationParser';\nimport { isFileDirective } from './FileReferences';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseOperation } from './OperationParser';\nimport { OperationSyntax } from '../Syntax/Operations';\nimport { parseProjection } from './ProjectionParser';\nimport { parseQuery } from './QueryParser';\nimport { parseReaction } from './ReactionParser';\nimport { misplacedReactionIdentity } from './ReactionIdentityParser';\nimport { parseScreen } from './ScreenParser';\nimport { parseExample } from './SpecificationExampleParser';\nimport { parseSpecification } from './SpecificationParser';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst header = pattern('^slice\\\\s+([A-Za-z]\\\\w*)\\\\s+([A-Za-z_]\\\\w*)$');\n\n// Slice members the C# compiler knows that this compiler does not model yet. They are skipped whole rather\n// than reported - the C# compiler and the editor diagnostics remain the authority on whether they are valid.\nconst opaqueMembers = new Set(['reducer']);\n\nexport function parseSlice(context: ParserContext, line: SourceLine): SliceSyntax {\n    const match = header.exec(line.content);\n    let type: SliceType = 'StateChange';\n    let name = '';\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidSliceDeclaration, `Invalid slice declaration '${line.content}' - expected 'slice <Type> <Name>'`, locationOf(line));\n    } else {\n        name = match[2];\n        if ((sliceTypes as readonly string[]).includes(match[1])) {\n            type = match[1] as SliceType;\n        } else {\n            context.error(DiagnosticCodes.UnknownSliceType, `Unknown slice type '${match[1]}' - expected StateChange, StateView, Automation or Translate`, locationOf(line));\n        }\n    }\n    const previous = context.scope;\n    context.scope = [...previous, name];\n    let direction: TranslationDirection | null = null;\n    let hasDirection = false;\n    let description: string | null = null;\n    let documentation: string | null = null;\n    const events: EventSyntax[] = [];\n    const operations: OperationSyntax[] = [];\n    const commands: CommandSyntax[] = [];\n    const queries: QuerySyntax[] = [];\n    const projections: ProjectionSyntax[] = [];\n    const reactions: ReactionSyntax[] = [];\n    const captures: CaptureSyntax[] = [];\n    const constraints: ConstraintSyntax[] = [];\n    const specifications: SpecificationSyntax[] = [];\n    const examples: SpecificationExampleSyntax[] = [];\n    const purposes: PurposeReferenceSyntax[] = [];\n    const readModels: ReadModelSyntax[] = [];\n    const screens: ScreenSyntax[] = [];\n    const reducers: ReducerSyntax[] = [];\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        if (isFileDirective(child)) {\n            continue;\n        }\n        const metadataWord = child.content.split(/[ \\t]/, 1)[0];\n        const keyword = metadataWord === 'public' || metadataWord === 'direction' ? metadataWord : firstWord(child.content);\n        if (keyword === 'description') {\n            description = parseDescription(context, child, description, `Slice '${name}'`);\n        } else if (keyword === 'documentation') {\n            documentation = parseDocumentation(context, child, documentation, `Slice '${name}'`);\n        } else if (keyword === 'purpose') {\n            parsePurposeReference(context, child, purposes);\n        } else if (keyword === 'operation') {\n            operations.push(parseOperation(context, child).operation);\n        } else if (keyword === 'direction') {\n            const directionMatch = /^direction\\s+(inbound|outbound)$/.exec(child.content);\n            if (hasDirection || type !== 'Translate' || directionMatch === null) {\n                context.error(DiagnosticCodes.InvalidSliceDeclaration, 'Declare direction inbound or direction outbound once, inside a Translate slice only', locationOf(child));\n            } else {\n                direction = directionMatch[1] === 'inbound' ? TranslationDirection.Inbound : TranslationDirection.Outbound;\n            }\n            hasDirection = true;\n        } else if (keyword === 'event' || keyword === 'public') {\n            events.push(parseEvent(context, child));\n        } else if (keyword === 'command') {\n            commands.push(parseCommand(context, child));\n        } else if (keyword === 'query') {\n            queries.push(parseQuery(context, child));\n        } else if (keyword === 'projection') {\n            projections.push(parseProjection(context, child));\n        } else if (keyword === 'capture') {\n            captures.push(parseCapture(context, child));\n        } else if (keyword === 'runs') {\n            misplacedReactionIdentity(context, child);\n        } else if (keyword === 'reaction') {\n            reactions.push(parseReaction(context, child));\n        } else if (keyword === 'constraint') {\n            constraints.push(parseConstraint(context, child));\n        } else if (keyword === 'example') {\n            examples.push(parseExample(context, child));\n        } else if (keyword === 'specification') {\n            specifications.push(parseSpecification(context, child));\n        } else if (keyword === 'readmodel') {\n            readModels.push(parseReadModel(context, child));\n        } else if (keyword === 'screen') {\n            screens.push(parseScreen(context, child));\n        } else if (opaqueMembers.has(keyword)) {\n            reducers.push(captureReducer(context, child));\n            context.skipOpaqueBlock(child.indent);\n        } else {\n            context.warning(DiagnosticCodes.UnknownSliceDirective, `Unknown construct '${keyword}' in slice '${name}'`, locationOf(child));\n            context.skipBlock(child.indent);\n        }\n    }\n    context.scope = previous;\n    const syntax: SliceSyntax = {\n        kind: 'SliceSyntax', type, name, direction, description, documentation, examples, purposes, events, operations, commands, queries, projections, captures, reactions, constraints, specifications, readModels, screens,\n        location: locationOf(line),\n    };\n    dependencySources.set(syntax, { reducers });\n    return syntax;\n}\n"],"mappings":"q0CAwCA,MAAMA,EAASC,EAAQ,8CAA8C,EAI/DC,kBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,EAEzC,SAAgB,WAAW,EAAwB,EAA+B,CAC9E,IAAMC,EAAQH,EAAO,KAAKI,EAAK,OAAO,EAClCC,EAAkB,cAClBC,EAAO,GACPH,IAAU,KACVI,EAAQ,MAAMC,EAAgB,wBAAyB,8BAA8BJ,EAAK,QAAQ,oCAAqCK,EAAWL,CAAI,CAAC,GAEvJ,EAAOD,EAAM,GACRO,EAAiC,SAASP,EAAM,EAAE,EACnD,EAAOA,EAAM,GAEbI,EAAQ,MAAMC,EAAgB,iBAAkB,uBAAuBL,EAAM,GAAG,8DAA+DM,EAAWL,CAAI,CAAC,GAGvK,IAAMO,EAAWJ,EAAQ,MACzB,EAAQ,MAAQ,CAAC,GAAGI,EAAUL,CAAI,EAClC,IAAIM,EAAyC,KACzCC,EAAe,GACfC,EAA6B,KAC7BC,EAA+B,KAC7BC,EAAwB,CAAC,EACzBC,EAAgC,CAAC,EACjCC,EAA4B,CAAC,EAC7BC,EAAyB,CAAC,EAC1BC,EAAkC,CAAC,EACnCC,EAA8B,CAAC,EAC/BC,EAA4B,CAAC,EAC7BC,EAAkC,CAAC,EACnCC,EAAwC,CAAC,EACzCC,EAAyC,CAAC,EAC1CC,EAAqC,CAAC,EACtCC,EAAgC,CAAC,EACjCC,EAA0B,CAAC,EAC3BC,EAA4B,CAAC,EACnC,IAAK,IAAIC,EAAQvB,EAAQ,UAAUH,EAAK,MAAM,EAAG0B,IAAU,IAAA,GAAW,EAAQvB,EAAQ,UAAUH,EAAK,MAAM,EAAG,CAE1G,GADAG,EAAQ,OAAO,gBAAgB,EAC3BwB,EAAgBD,CAAK,EACrB,SAEJ,IAAME,EAAeF,EAAM,QAAQ,MAAM,QAAS,CAAC,CAAC,CAAC,GAC/CG,EAAUD,IAAiB,UAAYA,IAAiB,YAAcA,EAAeE,EAAUJ,EAAM,OAAO,EAClH,GAAIG,IAAY,cACZ,EAAcE,EAAiB5B,EAASuB,EAAOhB,EAAa,UAAUR,EAAK,EAAE,OAC1E,GAAI2B,IAAY,gBACnB,EAAgBG,EAAmB7B,EAASuB,EAAOf,EAAe,UAAUT,EAAK,EAAE,OAChF,GAAI2B,IAAY,UACnBI,EAAsB9B,EAASuB,EAAOJ,CAAQ,OAC3C,GAAIO,IAAY,YACnBhB,EAAW,KAAKqB,EAAe/B,EAASuB,CAAK,CAAC,CAAC,SAAS,OACrD,GAAIG,IAAY,YAAa,CAChC,IAAMM,EAAiB,mCAAmC,KAAKT,EAAM,OAAO,EACxEjB,GAAgBR,IAAS,aAAekC,IAAmB,KAC3DhC,EAAQ,MAAMC,EAAgB,wBAAyB,sFAAuFC,EAAWqB,CAAK,CAAC,EAE/J,EAAYS,EAAe,KAAO,UAAA,UAAA,WAEtC,EAAe,EACnB,MAAWN,IAAY,SAAWA,IAAY,SAC1CjB,EAAO,KAAKwB,EAAWjC,EAASuB,CAAK,CAAC,EAC/BG,IAAY,UACnBf,EAAS,KAAKuB,EAAalC,EAASuB,CAAK,CAAC,EACnCG,IAAY,QACnBd,EAAQ,KAAKuB,EAAWnC,EAASuB,CAAK,CAAC,EAChCG,IAAY,aACnBb,EAAY,KAAKuB,EAAgBpC,EAASuB,CAAK,CAAC,EACzCG,IAAY,UACnBX,EAAS,KAAKsB,EAAarC,EAASuB,CAAK,CAAC,EACnCG,IAAY,OACnBY,EAA0BtC,EAASuB,CAAK,EACjCG,IAAY,WACnBZ,EAAU,KAAKyB,EAAcvC,EAASuB,CAAK,CAAC,EACrCG,IAAY,aACnBV,EAAY,KAAKwB,EAAgBxC,EAASuB,CAAK,CAAC,EACzCG,IAAY,UACnBR,EAAS,KAAKuB,EAAazC,EAASuB,CAAK,CAAC,EACnCG,IAAY,gBACnBT,EAAe,KAAKyB,EAAmB1C,EAASuB,CAAK,CAAC,EAC/CG,IAAY,YACnBN,EAAW,KAAKuB,EAAe3C,EAASuB,CAAK,CAAC,EACvCG,IAAY,SACnBL,EAAQ,KAAKuB,EAAY5C,EAASuB,CAAK,CAAC,EACjC5B,EAAc,IAAI+B,CAAO,GAChCJ,EAAS,KAAKuB,EAAe7C,EAASuB,CAAK,CAAC,EAC5CvB,EAAQ,gBAAgBuB,EAAM,MAAM,IAEpCvB,EAAQ,QAAQC,EAAgB,sBAAuB,sBAAsByB,EAAQ,cAAc3B,EAAK,GAAIG,EAAWqB,CAAK,CAAC,EAC7HvB,EAAQ,UAAUuB,EAAM,MAAM,EAEtC,CACA,EAAQ,MAAQnB,EAChB,IAAM0C,EAAsB,CACxB,KAAM,cAAe,OAAM,OAAM,YAAW,cAAa,gBAAe,WAAU,WAAU,SAAQ,aAAY,WAAU,UAAS,cAAa,WAAU,YAAW,cAAa,iBAAgB,aAAY,UAC9M,SAAU5C,EAAWL,CAAI,CAC7B,EAEA,OADAkD,EAAkB,IAAID,EAAQ,CAAE,UAAS,CAAC,EACnCA,CACX"}

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

@@ -0,0 +1,2 @@
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{sourceLocation as e}from"../Diagnostics/SourceLocation.js";const isBlank=e=>e.content.length===0,locationOf=t=>e(t.number,t.indent+(t.contentOffset??0)+1,t.path),startOf=t=>e(t.number,1,t.path);export{isBlank,locationOf,startOf};
+//# sourceMappingURL=SourceLine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SourceLine.js","names":["line","sourceLocation"],"sources":["../../../../../../Compiler/Parsing/SourceLine.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { SourceLocation, sourceLocation } from '../Diagnostics/SourceLocation';\n\n// One physical line of a document: its raw text, how far it is indented and what is left once comments and\n// trailing whitespace are gone. The offside rule reads nesting from the indent alone.\nexport interface SourceLine {\n    readonly number: number;\n    readonly raw: string;\n    readonly indent: number;\n    readonly content: string;\n    readonly contentOffset?: number;\n    readonly path?: string;\n    readonly startOffset: number;\n}\n\nexport const isBlank = (line: SourceLine): boolean => line.content.length === 0;\n\n// The location of the line's first significant character.\nexport const locationOf = (line: SourceLine): SourceLocation => sourceLocation(line.number, line.indent + (line.contentOffset ?? 0) + 1, line.path);\n\n// The location of the line's first column, whatever its indent.\nexport const startOf = (line: SourceLine): SourceLocation => sourceLocation(line.number, 1, line.path);\n"],"mappings":"uHAiBA,MAAa,QAAW,GAA8BA,EAAK,QAAQ,SAAW,EAGjE,WAAc,GAAqCC,EAAeD,EAAK,OAAQA,EAAK,QAAUA,EAAK,eAAiB,GAAK,EAAGA,EAAK,IAAI,EAGrI,QAAW,GAAqCC,EAAeD,EAAK,OAAQ,EAAGA,EAAK,IAAI"}

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

@@ -0,0 +1,3 @@
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{dotNetWhitespace as e}from"../Text/patterns.js";const t=RegExp(`^depends${e}+on(?:${e}|$)`,`u`),n=RegExp(`${e}+$`,`u`);function splitLines(e,r=!1,i){let a=[],o=0,s=0;for(let c of e.split(`
+`)){o++;let e=c.endsWith(`\r`)?c.replace(/\r+$/,``):c,l=e.length-e.trimStart().length,u=stripComment(e.substring(l),r),d=t.test(u)?u.replace(n,``):u.trimEnd();a.push(i===void 0?{number:o,raw:e,indent:l,content:d,startOffset:s}:{number:o,raw:e,indent:l,content:d,path:i,startOffset:s}),s+=c.length+1}return a}function commentStart(e,t=!1){let n=!1,r=!1;for(let i=0;i<e.length;i++){let a=e[i];if(a===`\\`&&n&&i+1<e.length)i++;else if(a===`"`&&!r)n=!n;else if(a==="`"&&!n)r=!r;else if(!n&&!r&&(a===`/`&&i+1<e.length&&e[i+1]===`/`||t&&a===`#`))return i}return-1}function stripComment(e,t){let n=commentStart(e,t);return n<0?e:e.substring(0,n)}export{commentStart,splitLines};
+//# sourceMappingURL=SourceLineSplitter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SourceLineSplitter.js","names":["dependencyPrefix","dotNetWhitespace","dependencyTrailingWhitespace","result","number","offset","raw","source","line","indent","body","hashComments","content","path","inString","inTemplate","index","text","current","comment"],"sources":["../../../../../../Compiler/Parsing/SourceLineSplitter.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 { dotNetWhitespace } from '../Text/patterns';\nimport { SourceLine } from './SourceLine';\n\nconst dependencyPrefix = new RegExp(`^depends${dotNetWhitespace}+on(?:${dotNetWhitespace}|$)`, 'u');\nconst dependencyTrailingWhitespace = new RegExp(`${dotNetWhitespace}+$`, 'u');\n\n// Splits a document into lines the way the C# SourceLineSplitter does: a line's indent is its leading\n// whitespace, and its content is what follows with any comment and trailing whitespace removed. A comment\n// starts at '//' (or '#' in the sub-languages that use it) outside a string or a template literal.\nexport function splitLines(source: string, hashComments = false, path?: string): SourceLine[] {\n    const result: SourceLine[] = [];\n    let number = 0;\n    let offset = 0;\n    for (const raw of source.split('\\n')) {\n        number++;\n        const line = raw.endsWith('\\r') ? raw.replace(/\\r+$/, '') : raw;\n        const indent = line.length - line.trimStart().length;\n        const body = stripComment(line.substring(indent), hashComments);\n        // Dependency grammar follows .NET's whitespace exactly, including NEL but not FEFF.\n        const content = dependencyPrefix.test(body) ? body.replace(dependencyTrailingWhitespace, '') : body.trimEnd();\n        result.push(path === undefined\n            ? { number, raw: line, indent, content, startOffset: offset }\n            : { number, raw: line, indent, content, path, startOffset: offset });\n        offset += raw.length + 1;\n    }\n    return result;\n}\n\n// The index a comment starts at in the text, or -1 when it has none.\nexport function commentStart(text: string, hashComments = false): number {\n    let inString = false;\n    let inTemplate = false;\n    for (let index = 0; index < text.length; index++) {\n        const current = text[index];\n        if (current === '\\\\' && inString && index + 1 < text.length) {\n            index++;\n        } else if (current === '\"' && !inTemplate) {\n            inString = !inString;\n        } else if (current === '`' && !inString) {\n            inTemplate = !inTemplate;\n        } else if (!inString && !inTemplate) {\n            if (current === '/' && index + 1 < text.length && text[index + 1] === '/') {\n                return index;\n            }\n            if (hashComments && current === '#') {\n                return index;\n            }\n        }\n    }\n    return -1;\n}\n\nfunction stripComment(text: string, hashComments: boolean): string {\n    const comment = commentStart(text, hashComments);\n    return comment < 0 ? text : text.substring(0, comment);\n}\n"],"mappings":"4GAMA,MAAMA,EAAuB,OAAO,WAAWC,EAAiB,QAAQA,EAAiB,KAAM,GAAG,EAC5FC,EAAmC,OAAO,GAAGD,EAAiB,IAAK,GAAG,EAK5E,SAAgB,WAAW,EAAgB,EAAe,GAAO,EAA6B,CAC1F,IAAME,EAAuB,CAAC,EAC1BC,EAAS,EACTC,EAAS,EACb,IAAK,IAAMC,KAAOC,EAAO,MAAM;CAAI,EAAG,CAClC,IACA,IAAMC,EAAOF,EAAI,SAAS,IAAI,EAAIA,EAAI,QAAQ,OAAQ,EAAE,EAAIA,EACtDG,EAASD,EAAK,OAASA,EAAK,UAAU,CAAC,CAAC,OACxCE,EAAO,aAAaF,EAAK,UAAUC,CAAM,EAAGE,CAAY,EAExDC,EAAUZ,EAAiB,KAAKU,CAAI,EAAIA,EAAK,QAAQR,EAA8B,EAAE,EAAIQ,EAAK,QAAQ,EAC5GP,EAAO,KAAKU,IAAS,IAAA,GACf,CAAE,SAAQ,IAAKL,EAAM,SAAQ,UAAS,YAAaH,CAAO,EAC1D,CAAE,SAAQ,IAAKG,EAAM,SAAQ,UAAS,OAAM,YAAaH,CAAO,CAAC,EACvE,GAAUC,EAAI,OAAS,CAC3B,CACA,OAAOH,CACX,CAGA,SAAgB,aAAa,EAAc,EAAe,GAAe,CACrE,IAAIW,EAAW,GACXC,EAAa,GACjB,IAAK,IAAIC,EAAQ,EAAGA,EAAQC,EAAK,OAAQ,IAAS,CAC9C,IAAMC,EAAUD,EAAKD,GACrB,GAAIE,IAAY,MAAQJ,GAAYE,EAAQ,EAAIC,EAAK,OACjD,SACG,GAAIC,IAAY,KAAO,CAACH,EAC3B,EAAW,CAACD,OACT,GAAII,IAAY,KAAO,CAACJ,EAC3B,EAAa,CAACC,OACX,GAAI,CAACD,GAAY,CAACC,IACjBG,IAAY,KAAOF,EAAQ,EAAIC,EAAK,QAAUA,EAAKD,EAAQ,KAAO,KAGlEL,GAAgBO,IAAY,KAC5B,OAAOF,CAGnB,CACA,MAAO,EACX,CAEA,SAAS,aAAa,EAAc,EAA+B,CAC/D,IAAMG,EAAU,aAAaF,EAAMN,CAAY,EAC/C,OAAOQ,EAAU,EAAIF,EAAOA,EAAK,UAAU,EAAGE,CAAO,CACzD"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"SourceOptionsParser.js","names":["prepared","diagnostics","options","legacySourceOptions","seen","contentSeen","inFence","nested","registry","ParserContext","LineReader","path","languages","original","lines","line","raw","indent","comment","commentStart","hashComments","isClosingCodeFence","firstWord","code","DiagnosticCodes","exactSourceOptions","locationOf","context","diagnostic"],"sources":["../../../../../../Compiler/Parsing/SourceOptionsParser.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 { exactSourceOptions, legacySourceOptions, NumericMode, SourceOptions } from '../Syntax/SourceOptions';\nimport { LineReader } from './LineReader';\nimport { isClosingCodeFence } from './ImplementationParser';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { commentStart } from './SourceLineSplitter';\n\n// Establishes options before entering any value grammar. This mirrors the C# physical-file prepass;\n// fences and property owners are not reinterpreted as numeric directives.\nexport function sourceContext(lines: readonly SourceLine[], path?: string, languages?: ReadonlySet<string>, hashComments = false): ParserContext {\n    const prepared: SourceLine[] = [];\n    const diagnostics: Diagnostic[] = [];\n    let options: SourceOptions = legacySourceOptions;\n    let seen = false;\n    let contentSeen = false;\n    let inFence = false;\n    const nested = new Map<number, Diagnostic>();\n    const registry = new ParserContext(new LineReader([]), path, languages).languages;\n    for (const original of lines) {\n        let line = original;\n        if (line.number === 1 && line.raw.startsWith('\\uFEFF')) {\n            const raw = line.raw.substring(1);\n            const indent = raw.length - raw.trimStart().length;\n            const comment = commentStart(raw.substring(indent), hashComments);\n            line = { ...line, indent, contentOffset: 1, content: (comment < 0 ? raw.substring(indent) : raw.substring(indent, indent + comment)).trimEnd() };\n        }\n        if (inFence) {\n            if (isClosingCodeFence(line)) inFence = false;\n            prepared.push(line);\n            continue;\n        }\n        if (line.content.startsWith('```') && (['```', '```text', '```markdown'].includes(line.content) || registry.has(line.content.substring(3)))) inFence = true;\n        if (!inFence && line.indent === 0 && firstWord(line.content) === 'numbers') {\n            const code = line.content !== 'numbers exact' ? DiagnosticCodes.InvalidNumericDirective : seen ? DiagnosticCodes.DuplicateNumericDirective : contentSeen ? DiagnosticCodes.LateNumericDirective : undefined;\n            if (code !== undefined) {\n                diagnostics.push({ severity: 'error', code, message: \"Expected one 'numbers exact' preamble before domain, imports and declarations.\", location: locationOf(line) });\n                options = Object.freeze({ numericMode: 'invalid' as NumericMode });\n            } else options = exactSourceOptions;\n            seen = true;\n            prepared.push({ ...line, content: '' });\n            continue;\n        }\n        // A directive-shaped line below the top level is never a valid option, whichever construct owns the block.\n        if (!inFence && line.indent > 0 && /^numbers(\\s+(exact|legacy))?$/.test(line.content)) nested.set(line.number, { severity: 'error', code: DiagnosticCodes.InvalidNumericDirective, message: \"Expected 'numbers exact' only as the document preamble, not inside a body.\", location: locationOf(line) });\n        contentSeen ||= line.content.trim().length > 0;\n        prepared.push(line);\n    }\n    const context = new ParserContext(new LineReader(seen ? prepared : lines), path, languages);\n    context.sourceOptions = options;\n    // Reported when reading ends, once every property owner has claimed the lines it models as fields.\n    context.nestedNumericDirectives = nested;\n    diagnostics.forEach(diagnostic => context.error(diagnostic.code, diagnostic.message, diagnostic.location));\n    return context;\n}\n"],"mappings":"+fAeA,SAAgB,cAAc,EAA8B,EAAe,EAAiC,EAAe,GAAsB,CAC7I,IAAMA,EAAyB,CAAC,EAC1BC,EAA4B,CAAC,EAC/BC,EAAyBC,EACzBC,EAAO,GACPC,EAAc,GACdC,EAAU,GACRC,kBAAS,IAAI,IACbC,EAAW,IAAIC,EAAc,IAAIC,EAAW,CAAC,CAAC,EAAGC,EAAMC,CAAS,CAAC,CAAC,UACxE,IAAK,IAAMC,KAAYC,EAAO,CAC1B,IAAIC,EAAOF,EACX,GAAIE,EAAK,SAAW,GAAKA,EAAK,IAAI,WAAW,GAAQ,EAAG,CACpD,IAAMC,EAAMD,EAAK,IAAI,UAAU,CAAC,EAC1BE,EAASD,EAAI,OAASA,EAAI,UAAU,CAAC,CAAC,OACtCE,EAAUC,EAAaH,EAAI,UAAUC,CAAM,EAAGG,CAAY,EAChE,EAAO,CAAE,GAAGL,EAAM,SAAQ,cAAe,EAAG,SAAUG,EAAU,EAAIF,EAAI,UAAUC,CAAM,EAAID,EAAI,UAAUC,EAAQA,EAASC,CAAO,EAAA,CAAG,QAAQ,CAAE,CACnJ,CACA,GAAIZ,EACIe,EAAmBN,CAAI,IAAG,EAAU,IACxCf,EAAS,KAAKe,CAAI,OAItB,GADIA,EAAK,QAAQ,WAAW,KAAK,IAAM,CAAC,MAAO,UAAW,aAAa,CAAC,CAAC,SAASA,EAAK,OAAO,GAAKP,EAAS,IAAIO,EAAK,QAAQ,UAAU,CAAC,CAAC,KAAI,EAAU,IACnJ,CAACT,GAAWS,EAAK,SAAW,GAAKO,EAAUP,EAAK,OAAO,IAAM,UAAW,CACxE,IAAMQ,EAAOR,EAAK,UAAY,gBAA4DX,EAAOoB,EAAgB,0BAA4BnB,EAAcmB,EAAgB,qBAAuB,IAAA,GAAlJA,EAAgB,wBAC5DD,IAAS,IAAA,GAGN,EAAUE,GAFbxB,EAAY,KAAK,CAAE,SAAU,QAAS,OAAM,QAAS,iFAAkF,SAAUyB,EAAWX,CAAI,CAAE,CAAC,EACnK,EAAU,OAAO,OAAO,CAAE,YAAa,SAAyB,CAAC,GAErE,EAAO,GACPf,EAAS,KAAK,CAAE,GAAGe,EAAM,QAAS,EAAG,CAAC,CAE1C,KAEI,CAACT,GAAWS,EAAK,OAAS,GAAK,gCAAgC,KAAKA,EAAK,OAAO,GAAGR,EAAO,IAAIQ,EAAK,OAAQ,CAAE,SAAU,QAAS,KAAMS,EAAgB,wBAAyB,QAAS,6EAA8E,SAAUE,EAAWX,CAAI,CAAE,CAAC,EACtS,IAAgBA,EAAK,QAAQ,KAAK,CAAC,CAAC,OAAS,EAC7Cf,EAAS,KAAKe,CAAI,CACtB,CACA,IAAMY,EAAU,IAAIlB,EAAc,IAAIC,EAAWN,EAAOJ,EAAWc,CAAK,EAAGH,EAAMC,CAAS,EAK1F,MAJA,GAAQ,cAAgBV,EAExB,EAAQ,wBAA0BK,EAClCN,EAAY,QAAQ,GAAc0B,EAAQ,MAAMC,EAAW,KAAMA,EAAW,QAASA,EAAW,QAAQ,CAAC,EAClGD,CACX"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"SpecificationCaseParser.js","names":["caseHeader","pattern","assignment","reference","text","context","DiagnosticCodes","location","parseMappingSource","nativeIdentifiers","match","offset","line","property","parseProperty","locationOf","child","values","owner","valueLocation","source","parseConcrete","value","nested","parameters","specification","cases","index","prior","parameter","row","references","copies","result","item","key"],"sources":["../../../../../../Compiler/Parsing/SpecificationCaseParser.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 { CaseValueExpressionSyntax, ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { SpecificationCaseSyntax, SpecificationParameterSyntax, SpecificationSyntax } from '../Syntax/Specifications';\nimport { pattern } from '../Text/patterns';\nimport { parseMappingSource } from './ExpressionParser';\nimport { ParserContext } from './ParserContext';\nimport { parseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseConcrete } from './SpecificationResponseParser';\n\nconst caseHeader = new RegExp(pattern('^case\\\\s+([A-Za-z_]\\\\w*)(?:\\\\s+(?<property>[\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(?<value>.+))?$').source, 'du');\nconst assignment = pattern('^([\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst reference = pattern('^case\\\\.([a-z_]\\\\w*)$');\n\nexport function containsCaseReference(text: string): boolean {\n    return /\\bcase\\.[a-z_]\\w*/.test(text.replace(/\"(?:[^\"\\\\]|\\\\.)*\"|'(?:[^'\\\\]|\\\\.)*'/g, ''));\n}\n\nexport function parseSpecificationValue(text: string, location: SourceLocation, context: ParserContext, nativeIdentifiers = false): ExpressionSyntax {\n    if (!text.startsWith('case.')) {\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        return parseMappingSource(text, location, context, nativeIdentifiers);\n    }\n    const match = reference.exec(text);\n    if (match === null) context.error(DiagnosticCodes.InvalidSpecificationCaseReference, \"A case reference fills a whole value position: 'case.<parameter>'.\", location);\n    return { kind: 'CaseValueExpressionSyntax', parameter: match?.[1] ?? text.substring(5), location };\n}\n\nexport function parseParameter(context: ParserContext, line: SourceLine): SpecificationParameterSyntax | null {\n    const offset = line.content.indexOf(' ') + 1;\n    const property = offset > 0 ? parseProperty(context, { ...line, content: line.content.substring(offset), indent: line.indent + offset }) : undefined;\n    if (property === undefined || property.isGenerated || property.isIdentifier) {\n        context.error(DiagnosticCodes.InvalidSpecificationParameter, \"Expected 'parameter <name> <Type>', with optional collection and optional modifiers.\", locationOf(line));\n        context.skipOpaqueBlock(line.indent);\n        return null;\n    }\n    const child = context.peekChild(line.indent);\n    if (child !== undefined) {\n        context.error(DiagnosticCodes.InvalidSpecificationParameter, 'A parameter has no body or default.', locationOf(child));\n        context.skipOpaqueBlock(line.indent);\n    }\n    return { kind: 'SpecificationParameterSyntax', name: property.name, type: property.type, location: locationOf(line) };\n}\n\nexport function parseCase(context: ParserContext, line: SourceLine): SpecificationCaseSyntax | null {\n    const match = caseHeader.exec(line.content);\n    if (match === null) {\n        context.error(DiagnosticCodes.InvalidSpecificationCase, \"Expected 'case <Name>' with at most one inline parameter assignment.\", locationOf(line));\n        context.skipOpaqueBlock(line.indent);\n        return null;\n    }\n    const values: PropertyMappingSyntax[] = [];\n    const add = (property: string, text: string, owner: SourceLine) => {\n        const location = locationOf(owner);\n        const valueLocation = { ...location, column: location.column + owner.content.indexOf(text, owner.content.indexOf('=') + 1) };\n        if (text.startsWith('case.')) {\n            context.error(DiagnosticCodes.InvalidSpecificationCaseValue, 'A case assigns concrete values, not case references.', valueLocation);\n            return;\n        }\n        const source = parseConcrete(context, text, valueLocation, DiagnosticCodes.InvalidSpecificationCaseValue);\n        if (source !== null) values.push({ kind: 'PropertyMappingSyntax', property, source, location: owner === line ? { ...location, column: location.column + match.indices!.groups!.property[0] } : location });\n    };\n    if (match.groups?.property !== undefined) add(match.groups.property, match.groups.value, line);\n    for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n        context.reader.takeSignificant();\n        const value = assignment.exec(child.content);\n        if (value === null) {\n            context.error(DiagnosticCodes.InvalidSpecificationCaseAssignment, \"Expected '<parameter> = <concrete value>' in a case.\", locationOf(child));\n            context.skipOpaqueBlock(child.indent);\n            continue;\n        }\n        add(value[1], value[2], child);\n        const nested = context.peekChild(child.indent);\n        if (nested !== undefined) {\n            context.error(DiagnosticCodes.InvalidSpecificationCaseValue, 'A case value must fit on one line.', locationOf(nested));\n            context.skipOpaqueBlock(child.indent);\n        }\n    }\n    return { kind: 'SpecificationCaseSyntax', name: match[1], values, location: locationOf(line) };\n}\n\nexport function caseReferences(value: unknown): CaseValueExpressionSyntax[] {\n    if (Array.isArray(value)) return value.flatMap(caseReferences);\n    if (value === null || typeof value !== 'object') return [];\n    if ('kind' in value && value.kind === 'CaseValueExpressionSyntax') return [value as CaseValueExpressionSyntax];\n    return Object.values(value).flatMap(caseReferences);\n}\n\nexport function validateTable(specification: SpecificationSyntax, context: ParserContext): void {\n    const parameters = specification.parameters ?? [];\n    const cases = specification.cases ?? [];\n    if ((parameters.length === 0) !== (cases.length === 0)) context.error(DiagnosticCodes.IncompleteSpecificationTable, 'A specification table requires parameters and at least one case.', specification.location);\n    parameters.forEach((parameter, index) => {\n        if (parameters.slice(0, index).some(prior => prior.name === parameter.name)) context.error(DiagnosticCodes.DuplicateSpecificationParameter, `Parameter '${parameter.name}' is declared more than once.`, parameter.location);\n    });\n    cases.forEach((row, index) => {\n        if (cases.slice(0, index).some(prior => prior.name === row.name)) context.error(DiagnosticCodes.DuplicateSpecificationCase, `Case '${row.name}' is declared more than once.`, row.location);\n        for (const value of row.values.filter(value => !parameters.some(parameter => parameter.name === value.property))) context.error(DiagnosticCodes.InvalidSpecificationCaseAssignment, `Case '${row.name}' assigns undeclared parameter '${value.property}'.`, value.location);\n        for (const parameter of parameters.filter(parameter => row.values.filter(value => value.property === parameter.name).length !== 1)) context.error(DiagnosticCodes.InvalidSpecificationCaseAssignment, `Case '${row.name}' must assign parameter '${parameter.name}' exactly once.`, row.location);\n    });\n    const references = caseReferences(specification);\n    for (const value of references) {\n        if (cases.length === 0 || !parameters.some(parameter => parameter.name === value.parameter)) context.error(DiagnosticCodes.InvalidSpecificationCaseReference, `Case reference '${value.parameter}' requires a declared parameter in a specification table.`, value.location);\n    }\n    for (const parameter of parameters.filter(parameter => !references.some(value => value.parameter === parameter.name))) context.warning(DiagnosticCodes.UnusedSpecificationParameter, `Parameter '${parameter.name}' is never referenced.`, parameter.location);\n    for (const value of caseReferences(specification.whenRedelivered)) context.error(DiagnosticCodes.InvalidSpecificationCaseReference, 'Case references are not permitted in redelivery locators.', value.location);\n}\n\nexport function substituteCase<T>(value: T, row: SpecificationCaseSyntax, copies = new WeakMap<object, unknown>()): T {\n    if (value !== null && typeof value === 'object' && copies.has(value)) return copies.get(value) as T;\n    if (Array.isArray(value)) {\n        const result = value.map(item => substituteCase(item, row, copies));\n        copies.set(value, result);\n        return result as T;\n    }\n    if (value === null || typeof value !== 'object' || !('kind' in value)) return value;\n    if (value.kind === 'CaseValueExpressionSyntax') {\n        const parameter = (value as unknown as CaseValueExpressionSyntax).parameter;\n        return (row.values.find(value => value.property === parameter)?.source ?? value) as T;\n    }\n    const result = Object.fromEntries(Object.entries(value).map(([key, item]) => [key, substituteCase(item, row, copies)]));\n    if (value.kind === 'SpecificationErrorSyntax' && 'caseValue' in value && value.caseValue !== undefined) {\n        const source = result.caseValue as ExpressionSyntax;\n        result.name = source.kind === 'LiteralExpressionSyntax' ? source.value : null;\n        delete result.caseValue;\n    }\n    copies.set(value, result);\n    return result as T;\n}\n"],"mappings":"wYAcA,MAAMA,EAAa,IAAI,OAAOC,EAAQ,oFAAoF,CAAC,CAAC,OAAQ,IAAI,EAClIC,EAAaD,EAAQ,iCAAiC,EACtDE,EAAYF,EAAQ,uBAAuB,EAEjD,SAAgB,sBAAsB,EAAuB,CACzD,MAAO,oBAAoB,KAAKG,EAAK,QAAQ,uCAAwC,EAAE,CAAC,CAC5F,CAEA,SAAgB,wBAAwB,EAAc,EAA0B,EAAwB,EAAoB,GAAyB,CACjJ,GAAI,CAACA,EAAK,WAAW,OAAO,EAExB,OADI,sBAAsBA,CAAI,GAAGC,EAAQ,MAAMC,EAAgB,kCAAmC,0GAA2GC,CAAQ,EAC9MC,EAAmBJ,EAAMG,EAAUF,EAASI,CAAiB,EAExE,IAAMC,EAAQP,EAAU,KAAKC,CAAI,EAEjC,OADIM,IAAU,MAAML,EAAQ,MAAMC,EAAgB,kCAAmC,qEAAsEC,CAAQ,EAC5J,CAAE,KAAM,4BAA6B,UAAWG,IAAQ,IAAMN,EAAK,UAAU,CAAC,EAAG,UAAS,CACrG,CAEA,SAAgB,eAAe,EAAwB,EAAuD,CAC1G,IAAMO,EAASC,EAAK,QAAQ,QAAQ,GAAG,EAAI,EACrCC,EAAWF,EAAS,EAAIG,EAAcT,EAAS,CAAE,GAAGO,EAAM,QAASA,EAAK,QAAQ,UAAUD,CAAM,EAAG,OAAQC,EAAK,OAASD,CAAO,CAAC,EAAI,IAAA,GAC3I,GAAIE,IAAa,IAAA,IAAaA,EAAS,aAAeA,EAAS,aAG3D,OAFAR,EAAQ,MAAMC,EAAgB,8BAA+B,uFAAwFS,EAAWH,CAAI,CAAC,EACrKP,EAAQ,gBAAgBO,EAAK,MAAM,EAC5B,KAEX,IAAMI,EAAQX,EAAQ,UAAUO,EAAK,MAAM,EAK3C,OAJII,IAAU,IAAA,KACVX,EAAQ,MAAMC,EAAgB,8BAA+B,sCAAuCS,EAAWC,CAAK,CAAC,EACrHX,EAAQ,gBAAgBO,EAAK,MAAM,GAEhC,CAAE,KAAM,+BAAgC,KAAMC,EAAS,KAAM,KAAMA,EAAS,KAAM,SAAUE,EAAWH,CAAI,CAAE,CACxH,CAEA,SAAgB,UAAU,EAAwB,EAAkD,CAChG,IAAMF,EAAQV,EAAW,KAAKY,EAAK,OAAO,EAC1C,GAAIF,IAAU,KAGV,OAFAL,EAAQ,MAAMC,EAAgB,yBAA0B,uEAAwES,EAAWH,CAAI,CAAC,EAChJP,EAAQ,gBAAgBO,EAAK,MAAM,EAC5B,KAEX,IAAMK,EAAkC,CAAC,EACnC,KAAO,EAAkB,EAAc,IAAsB,CAC/D,IAAMV,EAAWQ,EAAWG,CAAK,EAC3BC,EAAgB,CAAE,GAAGZ,EAAU,OAAQA,EAAS,OAASW,EAAM,QAAQ,QAAQd,EAAMc,EAAM,QAAQ,QAAQ,GAAG,EAAI,CAAC,CAAE,EAC3H,GAAId,EAAK,WAAW,OAAO,EAAG,CAC1BC,EAAQ,MAAMC,EAAgB,8BAA+B,uDAAwDa,CAAa,EAClI,MACJ,CACA,IAAMC,EAASC,EAAchB,EAASD,EAAMe,EAAeb,EAAgB,6BAA6B,EACpGc,IAAW,MAAMH,EAAO,KAAK,CAAE,KAAM,wBAAyB,WAAU,SAAQ,SAAUC,IAAUN,EAAO,CAAE,GAAGL,EAAU,OAAQA,EAAS,OAASG,EAAM,QAAS,OAAQ,SAAS,EAAG,EAAIH,CAAS,CAAC,CAC7M,EACIG,EAAM,QAAQ,WAAa,IAAA,IAAW,IAAIA,EAAM,OAAO,SAAUA,EAAM,OAAO,MAAOE,CAAI,EAC7F,IAAK,IAAII,EAAQX,EAAQ,UAAUO,EAAK,MAAM,EAAGI,IAAU,IAAA,GAAW,EAAQX,EAAQ,UAAUO,EAAK,MAAM,EAAG,CAC1GP,EAAQ,OAAO,gBAAgB,EAC/B,IAAMiB,EAAQpB,EAAW,KAAKc,EAAM,OAAO,EAC3C,GAAIM,IAAU,KAAM,CAChBjB,EAAQ,MAAMC,EAAgB,mCAAoC,uDAAwDS,EAAWC,CAAK,CAAC,EAC3IX,EAAQ,gBAAgBW,EAAM,MAAM,EACpC,QACJ,CACA,IAAIM,EAAM,GAAIA,EAAM,GAAIN,CAAK,EAC7B,IAAMO,EAASlB,EAAQ,UAAUW,EAAM,MAAM,EACzCO,IAAW,IAAA,KACXlB,EAAQ,MAAMC,EAAgB,8BAA+B,qCAAsCS,EAAWQ,CAAM,CAAC,EACrHlB,EAAQ,gBAAgBW,EAAM,MAAM,EAE5C,CACA,MAAO,CAAE,KAAM,0BAA2B,KAAMN,EAAM,GAAI,SAAQ,SAAUK,EAAWH,CAAI,CAAE,CACjG,CAEA,SAAgB,eAAe,EAA6C,CAIxE,OAHI,MAAM,QAAQU,CAAK,EAAUA,EAAM,QAAQ,cAAc,EACvC,OAAOA,GAAU,WAAnCA,EAAoD,CAAC,EACrD,SAAUA,GAASA,EAAM,OAAS,4BAAoC,CAACA,CAAkC,EACtG,OAAO,OAAOA,CAAK,CAAC,CAAC,QAAQ,cAAc,CACtD,CAEA,SAAgB,cAAc,EAAoC,EAA8B,CAC5F,IAAME,EAAaC,EAAc,YAAc,CAAC,EAC1CC,EAAQD,EAAc,OAAS,CAAC,EACjCD,EAAW,SAAW,IAAQE,EAAM,SAAW,IAAIrB,EAAQ,MAAMC,EAAgB,6BAA8B,mEAAoEmB,EAAc,QAAQ,EAC9MD,EAAW,SAAS,EAAW,IAAU,CACjCA,EAAW,MAAM,EAAGG,CAAK,CAAC,CAAC,KAAK,GAASC,EAAM,OAASC,EAAU,IAAI,GAAGxB,EAAQ,MAAMC,EAAgB,gCAAiC,cAAcuB,EAAU,KAAK,+BAAgCA,EAAU,QAAQ,CAC/N,CAAC,EACDH,EAAM,SAAS,EAAK,IAAU,CACtBA,EAAM,MAAM,EAAGC,CAAK,CAAC,CAAC,KAAK,GAASC,EAAM,OAASE,EAAI,IAAI,GAAGzB,EAAQ,MAAMC,EAAgB,2BAA4B,SAASwB,EAAI,KAAK,+BAAgCA,EAAI,QAAQ,EAC1L,IAAK,IAAMR,KAASQ,EAAI,OAAO,OAAO,GAAS,CAACN,EAAW,KAAK,GAAaK,EAAU,OAASP,EAAM,QAAQ,CAAC,EAAGjB,EAAQ,MAAMC,EAAgB,mCAAoC,SAASwB,EAAI,KAAK,kCAAkCR,EAAM,SAAS,IAAKA,EAAM,QAAQ,EAC1Q,IAAK,IAAMO,KAAaL,EAAW,OAAO,GAAaM,EAAI,OAAO,OAAO,GAASR,EAAM,WAAaO,EAAU,IAAI,CAAC,CAAC,SAAW,CAAC,EAAGxB,EAAQ,MAAMC,EAAgB,mCAAoC,SAASwB,EAAI,KAAK,2BAA2BD,EAAU,KAAK,iBAAkBC,EAAI,QAAQ,CACpS,CAAC,EACD,IAAMC,EAAa,eAAeN,CAAa,EAC/C,IAAK,IAAMH,KAASS,GACZL,EAAM,SAAW,GAAK,CAACF,EAAW,KAAK,GAAaK,EAAU,OAASP,EAAM,SAAS,IAAGjB,EAAQ,MAAMC,EAAgB,kCAAmC,mBAAmBgB,EAAM,UAAU,2DAA4DA,EAAM,QAAQ,EAE/Q,IAAK,IAAMO,KAAaL,EAAW,OAAO,GAAa,CAACO,EAAW,KAAK,GAAST,EAAM,YAAcO,EAAU,IAAI,CAAC,EAAGxB,EAAQ,QAAQC,EAAgB,6BAA8B,cAAcuB,EAAU,KAAK,wBAAyBA,EAAU,QAAQ,EAC7P,IAAK,IAAMP,KAAS,eAAeG,EAAc,eAAe,EAAGpB,EAAQ,MAAMC,EAAgB,kCAAmC,4DAA6DgB,EAAM,QAAQ,CACnN,CAEA,SAAgB,eAAkB,EAAU,EAA8B,kBAAS,IAAI,QAA+B,CAClH,GAAsB,OAAOA,GAAU,UAAnCA,GAA+CU,EAAO,IAAIV,CAAK,EAAG,OAAOU,EAAO,IAAIV,CAAK,EAC7F,GAAI,MAAM,QAAQA,CAAK,EAAG,CACtB,IAAMW,EAASX,EAAM,IAAI,GAAQ,eAAeY,EAAMJ,EAAKE,CAAM,CAAC,EAElE,OADAA,EAAO,IAAIV,EAAOW,CAAM,EACjBA,CACX,CACA,GAAsB,OAAOX,GAAU,WAAnCA,GAA+C,EAAE,SAAUA,GAAQ,OAAOA,EAC9E,GAAIA,EAAM,OAAS,4BAA6B,CAC5C,IAAMO,EAAaP,EAA+C,UAClE,OAAQQ,EAAI,OAAO,KAAK,GAASR,EAAM,WAAaO,CAAS,CAAC,EAAE,QAAUP,CAC9E,CACA,IAAMW,EAAS,OAAO,YAAY,OAAO,QAAQX,CAAK,CAAC,CAAC,KAAK,CAACa,EAAKD,KAAU,CAACC,EAAK,eAAeD,EAAMJ,EAAKE,CAAM,CAAC,CAAC,CAAC,EACtH,GAAIV,EAAM,OAAS,4BAA8B,cAAeA,GAASA,EAAM,YAAc,IAAA,GAAW,CACpG,IAAMF,EAASa,EAAO,UACtB,EAAO,KAAOb,EAAO,OAAS,0BAA4BA,EAAO,MAAQ,KACzE,OAAOa,EAAO,SAClB,CAEA,OADAD,EAAO,IAAIV,EAAOW,CAAM,EACjBA,CACX"}

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

@@ -0,0 +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{EventSourceCatalog as n}from"../Syntax/EventSourceCatalog.js";import{specificationExamples as r}from"./SpecificationCommandExamples.js";import{compatibleValue as i}from"./ResponseValidator.js";import{commandDestinationType as a}from"./CommandDestinationTypes.js";import{RefusalDeclarations as o}from"./RefusalDeclarations.js";const s=/* @__PURE__ */ new Set([`Uuid`,`String`,`Int`,`Decimal`,`Bool`,`Date`,`DateTime`]);function validateSpecificationCases(t,a,c){let l=new o(t),u=r(t),knownType=e=>s.has(e)||l.concepts.has(e)||l.types.has(e),d=new Map([...l.types].map(([e,t])=>[e,new Map(t.properties.map(e=>[e.name,e]))])),f=c===void 0?l.slices:[{scope:[],slice:{kind:`SliceSyntax`,type:`StateChange`,name:``,description:null,location:t.location,events:[],commands:[],queries:[],projections:[],captures:[],reactions:[],constraints:[],readModels:[],screens:[],specifications:c}}];for(let{slice:r,scope:o}of f){let s=/* @__PURE__ */ new Map;for(let e of r.specifications){let t=(e.cases?.length??0)===0?[e.name]:e.cases.map(t=>`${e.name}_${t.name}`);for(let e of t)s.set(e,(s.get(e)??0)+1);(e.cases?.length??0)>0&&s.set(e.name,(s.get(e.name)??0)+1)}for(let f of r.specifications){for(let t of f.cases??[])(s.get(`${f.name}_${t.name}`)??0)>1&&a.error(e.SpecificationCaseNameCollision,`Case '${t.name}' derives specification '${f.name}_${t.name}', which collides in this ${c===void 0?`slice`:`document`}.`,t.location);for(let t of f.parameters??[]){c===void 0&&!knownType(t.type.name)&&a.error(e.IncompatibleSpecificationParameterType,`Parameter '${t.name}' has unknown type '${t.type.name}'.`,t.type.location);for(let n of f.cases??[])for(let r of n.values.filter(e=>e.property===t.name))i(r.source,t.type,l.concepts,d)||a.error(e.InvalidSpecificationCaseValue,`Case '${n.name}' parameter '${t.name}' requires a concrete value of type '${t.type.name}'.`,r.source.location)}let check=(t,n,r)=>{if(t?.kind!==`CaseValueExpressionSyntax`||n===void 0)return;let i=f.parameters?.find(e=>e.name===t.parameter);if(i===void 0||(i.type.isOptional&&!n.isOptional&&a.error(e.OptionalSpecificationParameterTarget,`Optional parameter '${i.name}' cannot supply required target '${r}'.`,t.location),c!==void 0&&(!knownType(i.type.name)||!knownType(n.name))))return;let o=l.concepts.get(i.type.name),s=l.concepts.get(n.name);(!(i.type.name===n.name||o?.type!==`Enum`&&o?.type===n.name||s?.type!==`Enum`&&s?.type===i.type.name)||i.type.isCollection!==n.isCollection)&&a.error(e.IncompatibleSpecificationParameterType,`Parameter '${i.name}' type '${i.type.name}' is incompatible with target '${r}' type '${n.name}'.`,t.location)},assignments=(e,t)=>{for(let n of e)check(n.source,l.property(t,n.property)?.type,n.property)},p=u.command(f.when,o);if(p!==null){let e=l.resolve(p.commandType,r,e=>e.commands)?.node.properties??null;assignments(p.values,e),assignments(p.generatedValues??[],e),check(p.for,e?.find(e=>e.isIdentifier)?.type,`for`)}if(p!==null&&f.thenReturns!=null){let e=l.resolve(p.commandType,r,e=>e.commands)?.node,t=e?.response;if(f.thenReturns.kind===`ScalarSpecificationReturnSyntax`&&t?.kind===`ScalarCommandResponseSyntax`&&check(f.thenReturns.value,e?.properties.find(e=>e.name===t.source.property)?.type,`value`),f.thenReturns.kind===`RecordSpecificationReturnSyntax`&&t?.kind===`RecordCommandResponseSyntax`)for(let n of f.thenReturns.fields){let r=t.fields.find(e=>e.name===n.property);check(n.source,r?.type??e?.properties.find(e=>e.name===r?.source.property)?.type,n.property)}}for(let e of[...f.given,...f.thenEvents,...f.whenAppended===null?[]:[f.whenAppended]]){let i=u.eventStep(e,`given`,o).effective;assignments(i.values,l.event(i.eventType,r)?.properties??null);let a=i.stream==null?null:new n(t).resolve(i.stream.eventSource,i.stream.stream),s=a?.kind===`unique`?a.sources[0]:void 0,c=a?.kind===`unique`?a.streams[0]:void 0;check(i.for,i.stream!=null&&s===void 0?void 0:s?.identifier??eventDestinationType(i.eventType,r,t,l),`for`),i.stream?.streamId!=null&&check(i.stream.streamId.source,c?.streamId??void 0,`streamId`);for(let e of i.stream?.streamIdParts??[])check(e.source,c?.streamIdParts.find(t=>t.name===e.property)?.type,e.property)}for(let e of[...f.givenReadModels,...f.thenReadModels]){let t=u.readModel(e,o);assignments(t.properties,l.resolve(t.name,r,e=>e.readModels)?.node.properties??null)}if(f.whenTrigger!=null){let e=(t.declaredTriggers??[]).find(e=>e.name===f.whenTrigger.trigger);for(let t of f.whenTrigger.values)check(t.source,e?.data.find(e=>e.name===t.property)?.type,t.property)}for(let e of f.thenErrors)check(e.caseValue??null,{kind:`TypeRefSyntax`,name:`String`,isOptional:!1,isCollection:!1,location:e.location},`message`);for(let e of f.thenAbsentReadModels??[]){let t=l.resolve(e.name,r,e=>e.readModels)?.node,n=l.slices.flatMap(({slice:e})=>e.queries.filter(n=>n.by!==null&&l.resolve(n.returnType.name,e,e=>e.readModels)?.node===t));check(e.key,t!==void 0&&n.length===1?n[0].by.type:void 0,`for`)}for(let e of[...f.thenQueries??[],...f.whenQuery===null?[]:[f.whenQuery]]){let t=l.resolve(e.query,r,e=>e.queries),n=t===null?[]:[...t.node.by===null?[]:[t.node.by],...t.node.filters].map(e=>({...e,kind:`PropertySyntax`,isIdentifier:!1}));assignments(e.arguments,n);let i=t===null?null:l.resolve(t.node.returnType.name,t.slice,e=>e.readModels)?.node.properties??null,a=e.kind===`SpecificationQuerySyntax`?e.results:f.thenResults;for(let e of a)assignments(e.properties,i)}}}}function uniqueDestinationType(e){let t=new Map(e.map(e=>[JSON.stringify([e.name,e.isOptional,e.isCollection]),e]));return t.size===1?[...t.values()][0]:void 0}function eventDestinationType(e,n,r,i){let o=new t(r),s=i.event(e,n);if(s===null)return;let commandTypes=(e,t=i.slices)=>t.flatMap(({slice:t})=>t.commands.flatMap(n=>n.produces.filter(n=>o.isEventProduction(n,t)&&i.event(n.event,t)===e).map(e=>a(n,e,r,{resolver:o,slice:t})).filter(e=>e!==null))),producerTypes=(e,t)=>{if(t.has(e))return[];t.add(e);let n=commandTypes(e);for(let{slice:a}of i.slices){for(let o of a.reactions.flatMap(e=>e.triggers)){let s=o.source.kind===`NamedTriggerSourceSyntax`?o.source.name:void 0,c=s===void 0?null:i.event(s,a);for(let l of o.produces.filter(t=>i.event(t.event,a)===e))if(l.for?.kind===`PathExpressionSyntax`){let e=l.for.path,t=i.property(c?.properties??null,e)?.type??(s===void 0?void 0:(r.declaredTriggers??[]).find(e=>e.name===s)?.data.find(t=>t.name===e)?.type);t!==void 0&&n.push(t)}else l.for?.kind===`LiteralExpressionSyntax`?n.push({kind:`TypeRefSyntax`,name:`String`,isOptional:!1,isCollection:!1,location:l.location}):l.for===null&&c!==null&&n.push(...producerTypes(c,t))}a.captures.flatMap(e=>[...e.appends,...e.children.flatMap(e=>e.appends),...e.nested.flatMap(e=>e.appends)]).some(t=>i.event(t.event,a)===e)&&n.push(uniqueDestinationType(commandTypes(e))??{kind:`TypeRefSyntax`,name:`String`,isOptional:!1,isCollection:!1,location:e.location})}return n};return uniqueDestinationType(commandTypes(s,i.slices.filter(e=>e.slice===n)))??uniqueDestinationType(commandTypes(s))??uniqueDestinationType(producerTypes(s,/* @__PURE__ */ new Set))}export{validateSpecificationCases};
+//# sourceMappingURL=SpecificationCaseValidator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SpecificationCaseValidator.js","names":["primitives","declarations","RefusalDeclarations","application","examples","specificationExamples","name","composites","type","property","owners","standaloneSpecifications","names","specification","slice","expandedNames","row","context","DiagnosticCodes","parameter","assignment","value","compatibleValue","expression","target","sourceConcept","targetConcept","values","properties","command","scope","declaration","response","field","authored","event","route","EventSourceCatalog","source","stream","part","model","trigger","error","absent","keyed","owner","query","parameters","results","result","distinct","types","resolver","AuthoringProductionResolver","reference","local","produced","commandDestinationType","visited","reaction","sourceName","path","declared","capture","child","nested","append"],"sources":["../../../../../../Compiler/Parsing/SpecificationCaseValidator.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 { EventSyntax, PropertySyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { AuthoringProductionResolver } from '../Syntax/AuthoringProductionResolver';\nimport { EventSourceCatalog } from '../Syntax/EventSourceCatalog';\nimport { EventSourceResolutionKind } from '../Syntax/EventSources';\nimport { SpecificationSyntax } from '../Syntax/Specifications';\nimport { commandDestinationType } from './CommandDestinationTypes';\nimport { ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { ApplicationSyntax, SliceSyntax } from '../Syntax/Structure';\nimport { ParserContext } from './ParserContext';\nimport { RefusalDeclarations } from './RefusalDeclarations';\nimport { compatibleValue } from './ResponseValidator';\nimport { specificationExamples } from './SpecificationCommandExamples';\n\nconst primitives = new Set(['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime']);\n\nexport function validateSpecificationCases(application: ApplicationSyntax, context: ParserContext, standaloneSpecifications?: readonly SpecificationSyntax[]): void {\n    const declarations = new RefusalDeclarations(application);\n    const examples = specificationExamples(application);\n    const knownType = (name: string) => primitives.has(name) || declarations.concepts.has(name) || declarations.types.has(name);\n    const composites = new Map([...declarations.types].map(([name, type]) => [name, new Map(type.properties.map(property => [property.name, property]))]));\n    const owners = standaloneSpecifications === undefined ? declarations.slices : [{ scope: [], slice: {\n        kind: 'SliceSyntax' as const, type: 'StateChange' as const, name: '', description: null, location: application.location,\n        events: [], commands: [], queries: [], projections: [], captures: [], reactions: [], constraints: [], readModels: [], screens: [], specifications: standaloneSpecifications,\n    } }];\n    for (const { slice, scope } of owners) {\n        const names = new Map<string, number>();\n        for (const specification of slice.specifications) {\n            const expandedNames = (specification.cases?.length ?? 0) === 0 ? [specification.name] : specification.cases!.map(row => `${specification.name}_${row.name}`);\n            for (const name of expandedNames) names.set(name, (names.get(name) ?? 0) + 1);\n            if ((specification.cases?.length ?? 0) > 0) names.set(specification.name, (names.get(specification.name) ?? 0) + 1);\n        }\n        for (const specification of slice.specifications) {\n            for (const row of specification.cases ?? []) {\n                if ((names.get(`${specification.name}_${row.name}`) ?? 0) > 1) context.error(DiagnosticCodes.SpecificationCaseNameCollision, `Case '${row.name}' derives specification '${specification.name}_${row.name}', which collides in this ${standaloneSpecifications === undefined ? 'slice' : 'document'}.`, row.location);\n            }\n            for (const parameter of specification.parameters ?? []) {\n                if (standaloneSpecifications === undefined && !knownType(parameter.type.name)) context.error(DiagnosticCodes.IncompatibleSpecificationParameterType, `Parameter '${parameter.name}' has unknown type '${parameter.type.name}'.`, parameter.type.location);\n                for (const row of specification.cases ?? []) {\n                    for (const assignment of row.values.filter(value => value.property === parameter.name)) {\n                        if (!compatibleValue(assignment.source, parameter.type, declarations.concepts, composites)) context.error(DiagnosticCodes.InvalidSpecificationCaseValue, `Case '${row.name}' parameter '${parameter.name}' requires a concrete value of type '${parameter.type.name}'.`, assignment.source.location);\n                    }\n                }\n            }\n            const check = (expression: ExpressionSyntax | null, target: TypeRefSyntax | undefined, property: string) => {\n                if (expression?.kind !== 'CaseValueExpressionSyntax' || target === undefined) return;\n                const parameter = specification.parameters?.find(parameter => parameter.name === expression.parameter);\n                if (parameter === undefined) return;\n                if (parameter.type.isOptional && !target.isOptional) context.error(DiagnosticCodes.OptionalSpecificationParameterTarget, `Optional parameter '${parameter.name}' cannot supply required target '${property}'.`, expression.location);\n                if (standaloneSpecifications !== undefined && (!knownType(parameter.type.name) || !knownType(target.name))) return;\n                const sourceConcept = declarations.concepts.get(parameter.type.name);\n                const targetConcept = declarations.concepts.get(target.name);\n                const compatible = parameter.type.name === target.name || sourceConcept?.type !== 'Enum' && sourceConcept?.type === target.name || targetConcept?.type !== 'Enum' && targetConcept?.type === parameter.type.name;\n                if (!compatible || parameter.type.isCollection !== target.isCollection) context.error(DiagnosticCodes.IncompatibleSpecificationParameterType, `Parameter '${parameter.name}' type '${parameter.type.name}' is incompatible with target '${property}' type '${target.name}'.`, expression.location);\n            };\n            const assignments = (values: readonly PropertyMappingSyntax[], properties: readonly PropertySyntax[] | null) => {\n                for (const value of values) check(value.source, declarations.property(properties, value.property)?.type, value.property);\n            };\n            const command = examples.command(specification.when, scope);\n            if (command !== null) {\n                const properties = declarations.resolve(command.commandType, slice, slice => slice.commands)?.node.properties ?? null;\n                assignments(command.values, properties);\n                assignments(command.generatedValues ?? [], properties);\n                check(command.for, properties?.find(property => property.isIdentifier)?.type, 'for');\n            }\n            if (command !== null && specification.thenReturns != null) {\n                const declaration = declarations.resolve(command.commandType, slice, slice => slice.commands)?.node;\n                const response = declaration?.response;\n                if (specification.thenReturns.kind === 'ScalarSpecificationReturnSyntax' && response?.kind === 'ScalarCommandResponseSyntax') check(specification.thenReturns.value, declaration?.properties.find(property => property.name === response.source.property)?.type, 'value');\n                if (specification.thenReturns.kind === 'RecordSpecificationReturnSyntax' && response?.kind === 'RecordCommandResponseSyntax') {\n                    for (const value of specification.thenReturns.fields) {\n                        const field = response.fields.find(field => field.name === value.property);\n                        check(value.source, field?.type ?? declaration?.properties.find(property => property.name === field?.source.property)?.type, value.property);\n                    }\n                }\n            }\n            for (const authored of [...specification.given, ...specification.thenEvents, ...(specification.whenAppended === null ? [] : [specification.whenAppended])]) {\n                const event = examples.eventStep(authored, 'given', scope).effective as typeof authored;\n                assignments(event.values, declarations.event(event.eventType, slice)?.properties ?? null);\n                const route = event.stream == null ? null : new EventSourceCatalog(application).resolve(event.stream.eventSource, event.stream.stream);\n                const source = route?.kind === EventSourceResolutionKind.Unique ? route.sources[0] : undefined;\n                const stream = route?.kind === EventSourceResolutionKind.Unique ? route.streams[0] : undefined;\n                check(event.for, event.stream != null && source === undefined ? undefined : source?.identifier ?? eventDestinationType(event.eventType, slice, application, declarations), 'for');\n                if (event.stream?.streamId != null) check(event.stream.streamId.source, stream?.streamId ?? undefined, 'streamId');\n                for (const part of event.stream?.streamIdParts ?? []) check(part.source, stream?.streamIdParts.find(declaration => declaration.name === part.property)?.type, part.property);\n            }\n            for (const authored of [...specification.givenReadModels, ...specification.thenReadModels]) {\n                const model = examples.readModel(authored, scope);\n                assignments(model.properties, declarations.resolve(model.name, slice, slice => slice.readModels)?.node.properties ?? null);\n            }\n            if (specification.whenTrigger != null) {\n                const trigger = (application.declaredTriggers ?? []).find(trigger => trigger.name === specification.whenTrigger!.trigger);\n                for (const value of specification.whenTrigger.values) check(value.source, trigger?.data.find(property => property.name === value.property)?.type, value.property);\n            }\n            for (const error of specification.thenErrors) check(error.caseValue ?? null, { kind: 'TypeRefSyntax', name: 'String', isOptional: false, isCollection: false, location: error.location }, 'message');\n            for (const absent of specification.thenAbsentReadModels ?? []) {\n                const model = declarations.resolve(absent.name, slice, slice => slice.readModels)?.node;\n                const keyed = declarations.slices.flatMap(({ slice: owner }) => owner.queries.filter(query => query.by !== null && declarations.resolve(query.returnType.name, owner, slice => slice.readModels)?.node === model));\n                check(absent.key, model !== undefined && keyed.length === 1 ? keyed[0].by!.type : undefined, 'for');\n            }\n            for (const query of [...(specification.thenQueries ?? []), ...(specification.whenQuery === null ? [] : [specification.whenQuery])]) {\n                const declaration = declarations.resolve(query.query, slice, slice => slice.queries);\n                const parameters = declaration === null ? [] : [...(declaration.node.by === null ? [] : [declaration.node.by]), ...declaration.node.filters].map(parameter => ({ ...parameter, kind: 'PropertySyntax' as const, isIdentifier: false }));\n                assignments(query.arguments, parameters);\n                const properties = declaration === null ? null : declarations.resolve(declaration.node.returnType.name, declaration.slice, slice => slice.readModels)?.node.properties ?? null;\n                const results = query.kind === 'SpecificationQuerySyntax' ? query.results : specification.thenResults;\n                for (const result of results) assignments(result.properties, properties);\n            }\n        }\n    }\n}\n\nfunction uniqueDestinationType(types: readonly TypeRefSyntax[]): TypeRefSyntax | undefined {\n    const distinct = new Map(types.map(type => [JSON.stringify([type.name, type.isOptional, type.isCollection]), type]));\n    return distinct.size === 1 ? [...distinct.values()][0] : undefined;\n}\n\nfunction eventDestinationType(reference: string, local: SliceSyntax, application: ApplicationSyntax, declarations: RefusalDeclarations): TypeRefSyntax | undefined {\n    const resolver = new AuthoringProductionResolver(application);\n    const event = declarations.event(reference, local);\n    if (event === null) return undefined;\n    const commandTypes = (event: EventSyntax, owners = declarations.slices): TypeRefSyntax[] => owners.flatMap(({ slice }) => slice.commands.flatMap(command => command.produces\n        .filter(produced => resolver.isEventProduction(produced, slice) && declarations.event(produced.event, slice) === event)\n        .map(produced => commandDestinationType(command, produced, application, { resolver, slice })).filter((type): type is TypeRefSyntax => type !== null)));\n    const producerTypes = (event: EventSyntax, visited: Set<EventSyntax>): TypeRefSyntax[] => {\n        if (visited.has(event)) return [];\n        visited.add(event);\n        const types = commandTypes(event);\n        for (const { slice } of declarations.slices) {\n            for (const trigger of slice.reactions.flatMap(reaction => reaction.triggers)) {\n                const sourceName = trigger.source.kind === 'NamedTriggerSourceSyntax' ? trigger.source.name : undefined;\n                const source = sourceName === undefined ? null : declarations.event(sourceName, slice);\n                for (const produced of trigger.produces.filter(produced => declarations.event(produced.event, slice) === event)) {\n                    if (produced.for?.kind === 'PathExpressionSyntax') {\n                        const path = produced.for.path;\n                        const type = declarations.property(source?.properties ?? null, path)?.type ?? (sourceName === undefined ? undefined\n                            : (application.declaredTriggers ?? []).find(declared => declared.name === sourceName)?.data.find(property => property.name === path)?.type);\n                        if (type !== undefined) types.push(type);\n                    } else if (produced.for?.kind === 'LiteralExpressionSyntax') types.push({ kind: 'TypeRefSyntax', name: 'String', isOptional: false, isCollection: false, location: produced.location });\n                    else if (produced.for === null && source !== null) types.push(...producerTypes(source, visited));\n                }\n            }\n            if (slice.captures.flatMap(capture => [...capture.appends, ...capture.children.flatMap(child => child.appends), ...capture.nested.flatMap(nested => nested.appends)]).some(append => declarations.event(append.event, slice) === event))\n                types.push(uniqueDestinationType(commandTypes(event)) ?? { kind: 'TypeRefSyntax', name: 'String', isOptional: false, isCollection: false, location: event.location });\n        }\n        return types;\n    };\n    return uniqueDestinationType(commandTypes(event, declarations.slices.filter(owner => owner.slice === local))) ?? uniqueDestinationType(commandTypes(event)) ?? uniqueDestinationType(producerTypes(event, new Set()));\n}\n"],"mappings":"6hBAiBA,MAAMA,kBAAa,IAAI,IAAI,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,UAAU,CAAC,EAE3F,SAAgB,2BAA2B,EAAgC,EAAwB,EAAiE,CAChK,IAAMC,EAAe,IAAIC,EAAoBC,CAAW,EAClDC,EAAWC,EAAsBF,CAAW,EAC5C,UAAa,GAAiBH,EAAW,IAAIM,CAAI,GAAKL,EAAa,SAAS,IAAIK,CAAI,GAAKL,EAAa,MAAM,IAAIK,CAAI,EACpHC,EAAa,IAAI,IAAI,CAAC,GAAGN,EAAa,KAAK,CAAC,CAAC,KAAK,CAACK,EAAME,KAAU,CAACF,EAAM,IAAI,IAAIE,EAAK,WAAW,IAAI,GAAY,CAACC,EAAS,KAAMA,CAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/IC,EAASC,IAA6B,IAAA,GAAYV,EAAa,OAAS,CAAC,CAAE,MAAO,CAAC,EAAG,MAAO,CAC/F,KAAM,cAAwB,KAAM,cAAwB,KAAM,GAAI,YAAa,KAAM,SAAUE,EAAY,SAC/G,OAAQ,CAAC,EAAG,SAAU,CAAC,EAAG,QAAS,CAAC,EAAG,YAAa,CAAC,EAAG,SAAU,CAAC,EAAG,UAAW,CAAC,EAAG,YAAa,CAAC,EAAG,WAAY,CAAC,EAAG,QAAS,CAAC,EAAG,eAAgBQ,CACvJ,CAAE,CAAC,EACH,IAAK,GAAM,CAAE,QAAO,WAAWD,EAAQ,CACnC,IAAME,kBAAQ,IAAI,IAClB,IAAK,IAAMC,KAAiBC,EAAM,eAAgB,CAC9C,IAAMC,GAAiBF,EAAc,OAAO,QAAU,KAAO,EAAI,CAACA,EAAc,IAAI,EAAIA,EAAc,MAAO,IAAI,GAAO,GAAGA,EAAc,KAAK,GAAGG,EAAI,MAAM,EAC3J,IAAK,IAAMV,KAAQS,EAAeH,EAAM,IAAIN,GAAOM,EAAM,IAAIN,CAAI,GAAK,GAAK,CAAC,GACvEO,EAAc,OAAO,QAAU,GAAK,GAAGD,EAAM,IAAIC,EAAc,MAAOD,EAAM,IAAIC,EAAc,IAAI,GAAK,GAAK,CAAC,CACtH,CACA,IAAK,IAAMA,KAAiBC,EAAM,eAAgB,CAC9C,IAAK,IAAME,KAAOH,EAAc,OAAS,CAAC,GACjCD,EAAM,IAAI,GAAGC,EAAc,KAAK,GAAGG,EAAI,MAAM,GAAK,GAAK,GAAGC,EAAQ,MAAMC,EAAgB,+BAAgC,SAASF,EAAI,KAAK,2BAA2BH,EAAc,KAAK,GAAGG,EAAI,KAAK,4BAA4BL,IAA6B,IAAA,GAAY,QAAU,WAAW,GAAIK,EAAI,QAAQ,EAEvT,IAAK,IAAMG,KAAaN,EAAc,YAAc,CAAC,EAAG,CAChDF,IAA6B,IAAA,IAAa,CAAC,UAAUQ,EAAU,KAAK,IAAI,GAAGF,EAAQ,MAAMC,EAAgB,uCAAwC,cAAcC,EAAU,KAAK,sBAAsBA,EAAU,KAAK,KAAK,IAAKA,EAAU,KAAK,QAAQ,EACxP,IAAK,IAAMH,KAAOH,EAAc,OAAS,CAAC,EACtC,IAAK,IAAMO,KAAcJ,EAAI,OAAO,OAAO,GAASK,EAAM,WAAaF,EAAU,IAAI,EAC5EG,EAAgBF,EAAW,OAAQD,EAAU,KAAMlB,EAAa,SAAUM,CAAU,GAAGU,EAAQ,MAAMC,EAAgB,8BAA+B,SAASF,EAAI,KAAK,eAAeG,EAAU,KAAK,uCAAuCA,EAAU,KAAK,KAAK,IAAKC,EAAW,OAAO,QAAQ,CAG/S,CACA,IAAM,OAAS,EAAqC,EAAmC,IAAqB,CACxG,GAAIG,GAAY,OAAS,6BAA+BC,IAAW,IAAA,GAAW,OAC9E,IAAML,EAAYN,EAAc,YAAY,KAAK,GAAaM,EAAU,OAASI,EAAW,SAAS,EAGrG,GAFIJ,IAAc,IAAA,KACdA,EAAU,KAAK,YAAc,CAACK,EAAO,YAAYP,EAAQ,MAAMC,EAAgB,qCAAsC,uBAAuBC,EAAU,KAAK,mCAAmCV,EAAS,IAAKc,EAAW,QAAQ,EAC/NZ,IAA6B,IAAA,KAAc,CAAC,UAAUQ,EAAU,KAAK,IAAI,GAAK,CAAC,UAAUK,EAAO,IAAI,IAAI,OAC5G,IAAMC,EAAgBxB,EAAa,SAAS,IAAIkB,EAAU,KAAK,IAAI,EAC7DO,EAAgBzB,EAAa,SAAS,IAAIuB,EAAO,IAAI,GAEvD,EADeL,EAAU,KAAK,OAASK,EAAO,MAAQC,GAAe,OAAS,QAAUA,GAAe,OAASD,EAAO,MAAQE,GAAe,OAAS,QAAUA,GAAe,OAASP,EAAU,KAAK,OACzLA,EAAU,KAAK,eAAiBK,EAAO,eAAcP,EAAQ,MAAMC,EAAgB,uCAAwC,cAAcC,EAAU,KAAK,UAAUA,EAAU,KAAK,KAAK,iCAAiCV,EAAS,UAAUe,EAAO,KAAK,IAAKD,EAAW,QAAQ,CACrS,EACM,aAAe,EAA0C,IAAiD,CAC5G,IAAK,IAAMF,KAASM,EAAQ,MAAMN,EAAM,OAAQpB,EAAa,SAAS2B,EAAYP,EAAM,QAAQ,CAAC,EAAE,KAAMA,EAAM,QAAQ,CAC3H,EACMQ,EAAUzB,EAAS,QAAQS,EAAc,KAAMiB,CAAK,EAC1D,GAAID,IAAY,KAAM,CAClB,IAAMD,EAAa3B,EAAa,QAAQ4B,EAAQ,YAAaf,EAAO,GAASA,EAAM,QAAQ,CAAC,EAAE,KAAK,YAAc,KACjH,YAAYe,EAAQ,OAAQD,CAAU,EACtC,YAAYC,EAAQ,iBAAmB,CAAC,EAAGD,CAAU,EACrD,MAAMC,EAAQ,IAAKD,GAAY,KAAK,GAAYnB,EAAS,YAAY,CAAC,EAAE,KAAM,KAAK,CACvF,CACA,GAAIoB,IAAY,MAAQhB,EAAc,aAAe,KAAM,CACvD,IAAMkB,EAAc9B,EAAa,QAAQ4B,EAAQ,YAAaf,EAAO,GAASA,EAAM,QAAQ,CAAC,EAAE,KACzFkB,EAAWD,GAAa,SAE9B,GADIlB,EAAc,YAAY,OAAS,mCAAqCmB,GAAU,OAAS,+BAA+B,MAAMnB,EAAc,YAAY,MAAOkB,GAAa,WAAW,KAAK,GAAYtB,EAAS,OAASuB,EAAS,OAAO,QAAQ,CAAC,EAAE,KAAM,OAAO,EACpQnB,EAAc,YAAY,OAAS,mCAAqCmB,GAAU,OAAS,8BAC3F,IAAK,IAAMX,KAASR,EAAc,YAAY,OAAQ,CAClD,IAAMoB,EAAQD,EAAS,OAAO,KAAK,GAASC,EAAM,OAASZ,EAAM,QAAQ,EACzE,MAAMA,EAAM,OAAQY,GAAO,MAAQF,GAAa,WAAW,KAAK,GAAYtB,EAAS,OAASwB,GAAO,OAAO,QAAQ,CAAC,EAAE,KAAMZ,EAAM,QAAQ,CAC/I,CAER,CACA,IAAK,IAAMa,IAAY,CAAC,GAAGrB,EAAc,MAAO,GAAGA,EAAc,WAAY,GAAIA,EAAc,eAAiB,KAAO,CAAC,EAAI,CAACA,EAAc,YAAY,CAAE,EAAG,CACxJ,IAAMsB,EAAQ/B,EAAS,UAAU8B,EAAU,QAASJ,CAAK,CAAC,CAAC,UAC3D,YAAYK,EAAM,OAAQlC,EAAa,MAAMkC,EAAM,UAAWrB,CAAK,CAAC,EAAE,YAAc,IAAI,EACxF,IAAMsB,EAAQD,EAAM,QAAU,KAAO,KAAO,IAAIE,EAAmBlC,CAAW,CAAC,CAAC,QAAQgC,EAAM,OAAO,YAAaA,EAAM,OAAO,MAAM,EAC/HG,EAASF,GAAO,OAAA,SAA4CA,EAAM,QAAQ,GAAK,IAAA,GAC/EG,EAASH,GAAO,OAAA,SAA4CA,EAAM,QAAQ,GAAK,IAAA,GACrF,MAAMD,EAAM,IAAKA,EAAM,QAAU,MAAQG,IAAW,IAAA,GAAY,IAAA,GAAYA,GAAQ,YAAc,qBAAqBH,EAAM,UAAWrB,EAAOX,EAAaF,CAAY,EAAG,KAAK,EAC5KkC,EAAM,QAAQ,UAAY,MAAM,MAAMA,EAAM,OAAO,SAAS,OAAQI,GAAQ,UAAY,IAAA,GAAW,UAAU,EACjH,IAAK,IAAMC,KAAQL,EAAM,QAAQ,eAAiB,CAAC,EAAG,MAAMK,EAAK,OAAQD,GAAQ,cAAc,KAAK,GAAeR,EAAY,OAASS,EAAK,QAAQ,CAAC,EAAE,KAAMA,EAAK,QAAQ,CAC/K,CACA,IAAK,IAAMN,IAAY,CAAC,GAAGrB,EAAc,gBAAiB,GAAGA,EAAc,cAAc,EAAG,CACxF,IAAM4B,EAAQrC,EAAS,UAAU8B,EAAUJ,CAAK,EAChD,YAAYW,EAAM,WAAYxC,EAAa,QAAQwC,EAAM,KAAM3B,EAAO,GAASA,EAAM,UAAU,CAAC,EAAE,KAAK,YAAc,IAAI,CAC7H,CACA,GAAID,EAAc,aAAe,KAAM,CACnC,IAAM6B,GAAWvC,EAAY,kBAAoB,CAAC,EAAA,CAAG,KAAK,GAAWuC,EAAQ,OAAS7B,EAAc,YAAa,OAAO,EACxH,IAAK,IAAMQ,KAASR,EAAc,YAAY,OAAQ,MAAMQ,EAAM,OAAQqB,GAAS,KAAK,KAAK,GAAYjC,EAAS,OAASY,EAAM,QAAQ,CAAC,EAAE,KAAMA,EAAM,QAAQ,CACpK,CACA,IAAK,IAAMsB,KAAS9B,EAAc,WAAY,MAAM8B,EAAM,WAAa,KAAM,CAAE,KAAM,gBAAiB,KAAM,SAAU,WAAY,GAAO,aAAc,GAAO,SAAUA,EAAM,QAAS,EAAG,SAAS,EACnM,IAAK,IAAMC,KAAU/B,EAAc,sBAAwB,CAAC,EAAG,CAC3D,IAAM4B,EAAQxC,EAAa,QAAQ2C,EAAO,KAAM9B,EAAO,GAASA,EAAM,UAAU,CAAC,EAAE,KAC7E+B,EAAQ5C,EAAa,OAAO,SAAS,CAAE,MAAO6C,KAAYA,EAAM,QAAQ,OAAO,GAASC,EAAM,KAAO,MAAQ9C,EAAa,QAAQ8C,EAAM,WAAW,KAAMD,EAAO,GAAShC,EAAM,UAAU,CAAC,EAAE,OAAS2B,CAAK,CAAC,EACjN,MAAMG,EAAO,IAAKH,IAAU,IAAA,IAAaI,EAAM,SAAW,EAAIA,EAAM,EAAE,CAAC,GAAI,KAAO,IAAA,GAAW,KAAK,CACtG,CACA,IAAK,IAAME,IAAS,CAAC,GAAIlC,EAAc,aAAe,CAAC,EAAI,GAAIA,EAAc,YAAc,KAAO,CAAC,EAAI,CAACA,EAAc,SAAS,CAAE,EAAG,CAChI,IAAMkB,EAAc9B,EAAa,QAAQ8C,EAAM,MAAOjC,EAAO,GAASA,EAAM,OAAO,EAC7EkC,EAAajB,IAAgB,KAAO,CAAC,EAAI,CAAC,GAAIA,EAAY,KAAK,KAAO,KAAO,CAAC,EAAI,CAACA,EAAY,KAAK,EAAE,EAAI,GAAGA,EAAY,KAAK,OAAO,CAAC,CAAC,IAAI,IAAc,CAAE,GAAGZ,EAAW,KAAM,iBAA2B,aAAc,EAAM,EAAE,EACtO,YAAY4B,EAAM,UAAWC,CAAU,EACvC,IAAMpB,EAAaG,IAAgB,KAAO,KAAO9B,EAAa,QAAQ8B,EAAY,KAAK,WAAW,KAAMA,EAAY,MAAO,GAASjB,EAAM,UAAU,CAAC,EAAE,KAAK,YAAc,KACpKmC,EAAUF,EAAM,OAAS,2BAA6BA,EAAM,QAAUlC,EAAc,YAC1F,IAAK,IAAMqC,KAAUD,EAAS,YAAYC,EAAO,WAAYtB,CAAU,CAC3E,CACJ,CACJ,CACJ,CAEA,SAAS,sBAAsB,EAA4D,CACvF,IAAMuB,EAAW,IAAI,IAAIC,EAAM,IAAI,GAAQ,CAAC,KAAK,UAAU,CAAC5C,EAAK,KAAMA,EAAK,WAAYA,EAAK,YAAY,CAAC,EAAGA,CAAI,CAAC,CAAC,EACnH,OAAO2C,EAAS,OAAS,EAAI,CAAC,GAAGA,EAAS,OAAO,CAAC,CAAC,CAAC,GAAK,IAAA,EAC7D,CAEA,SAAS,qBAAqB,EAAmB,EAAoB,EAAgC,EAA8D,CAC/J,IAAME,EAAW,IAAIC,EAA4BnD,CAAW,EACtDgC,EAAQlC,EAAa,MAAMsD,EAAWC,CAAK,EACjD,GAAIrB,IAAU,KAAM,OACpB,IAAM,cAAgB,EAAoB,EAASlC,EAAa,SAA4BS,EAAO,SAAS,CAAE,WAAYI,EAAM,SAAS,QAAQ,GAAWe,EAAQ,SAC/J,OAAO,GAAYwB,EAAS,kBAAkBI,EAAU3C,CAAK,GAAKb,EAAa,MAAMwD,EAAS,MAAO3C,CAAK,IAAMqB,CAAK,CAAC,CACtH,IAAI,GAAYuB,EAAuB7B,EAAS4B,EAAUtD,EAAa,CAAE,WAAU,OAAM,CAAC,CAAC,CAAC,CAAC,OAAQ,GAAgCK,IAAS,IAAI,CAAC,CAAC,EACnJ,eAAiB,EAAoB,IAA+C,CACtF,GAAImD,EAAQ,IAAIxB,CAAK,EAAG,MAAO,CAAC,EAChCwB,EAAQ,IAAIxB,CAAK,EACjB,IAAMiB,EAAQ,aAAajB,CAAK,EAChC,IAAK,GAAM,CAAE,WAAWlC,EAAa,OAAQ,CACzC,IAAK,IAAMyC,KAAW5B,EAAM,UAAU,QAAQ,GAAY8C,EAAS,QAAQ,EAAG,CAC1E,IAAMC,EAAanB,EAAQ,OAAO,OAAS,2BAA6BA,EAAQ,OAAO,KAAO,IAAA,GACxFJ,EAASuB,IAAe,IAAA,GAAY,KAAO5D,EAAa,MAAM4D,EAAY/C,CAAK,EACrF,IAAK,IAAM2C,KAAYf,EAAQ,SAAS,OAAO,GAAYzC,EAAa,MAAMwD,EAAS,MAAO3C,CAAK,IAAMqB,CAAK,EAC1G,GAAIsB,EAAS,KAAK,OAAS,uBAAwB,CAC/C,IAAMK,EAAOL,EAAS,IAAI,KACpBjD,EAAOP,EAAa,SAASqC,GAAQ,YAAc,KAAMwB,CAAI,CAAC,EAAE,OAASD,IAAe,IAAA,GAAY,IAAA,IACnG1D,EAAY,kBAAoB,CAAC,EAAA,CAAG,KAAK,GAAY4D,EAAS,OAASF,CAAU,CAAC,EAAE,KAAK,KAAK,GAAYpD,EAAS,OAASqD,CAAI,CAAC,EAAE,MACtItD,IAAS,IAAA,IAAW4C,EAAM,KAAK5C,CAAI,CAC3C,MAAWiD,EAAS,KAAK,OAAS,0BAA2BL,EAAM,KAAK,CAAE,KAAM,gBAAiB,KAAM,SAAU,WAAY,GAAO,aAAc,GAAO,SAAUK,EAAS,QAAS,CAAC,EAC7KA,EAAS,MAAQ,MAAQnB,IAAW,MAAMc,EAAM,KAAK,GAAG,cAAcd,EAAQqB,CAAO,CAAC,CAEvG,CACI7C,EAAM,SAAS,QAAQ,GAAW,CAAC,GAAGkD,EAAQ,QAAS,GAAGA,EAAQ,SAAS,QAAQ,GAASC,EAAM,OAAO,EAAG,GAAGD,EAAQ,OAAO,QAAQ,GAAUE,EAAO,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,GAAUjE,EAAa,MAAMkE,EAAO,MAAOrD,CAAK,IAAMqB,CAAK,GAClOiB,EAAM,KAAK,sBAAsB,aAAajB,CAAK,CAAC,GAAK,CAAE,KAAM,gBAAiB,KAAM,SAAU,WAAY,GAAO,aAAc,GAAO,SAAUA,EAAM,QAAS,CAAC,CAC5K,CACA,OAAOiB,CACX,EACA,OAAO,sBAAsB,aAAajB,EAAOlC,EAAa,OAAO,OAAO,GAAS6C,EAAM,QAAUU,CAAK,CAAC,CAAC,GAAK,sBAAsB,aAAarB,CAAK,CAAC,GAAK,sBAAsB,cAAcA,kBAAO,IAAI,GAAK,CAAC,CACxN"}