@cratis/screenplay-language 5.3.0 → 5.3.2

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

@@ -1 +1 @@
-{"version":3,"file":"OperationValidator.js","names":["resolver","AuthoringProductionResolver","application","effectiveCommand","specificationCommandExamples","concepts","uniqueByName","composites","name","type","known","imported","entry","imports","byName","cache","entries","named","key","reference","from","segments","qualifiers","index","value","depth","visible","matches","result","view","slice","node","resolveCommand","command","systems","system","context","DiagnosticCodes","nested","path","properties","property","next","resolved","inheritOptionality","mappings","supplied","seen","item","member","names","allNames","mapping","suppliedPaths","target","operation","targetSegments","reads","commandReadSources","read","resolvedView","scope","source","compatibleValue","required","input","operations","operationDeclarations","eventDeclarations","event","production","resolution","reaction","trigger","specification","steps","duplicates","step","kinds","produced"],"sources":["../../../../../../Compiler/Parsing/OperationValidator.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 { AuthoringProductionKind, AuthoringProductionResolver } from '../Syntax/AuthoringProductionResolver';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { PropertySyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { eventDeclarations } from '../Syntax/EventDeclarations';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { operationDeclarations, OperationSyntax } from '../Syntax/Operations';\nimport { SyntaxNode } from '../Syntax/SyntaxNode';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { ParserContext } from './ParserContext';\nimport { commandReadSources } from './CommandReadSources';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\nimport { specificationCommandExamples } from './SpecificationCommandExamples';\n\nexport function validateOperations(application: ApplicationSyntax, context: ParserContext): void {\n    const resolver = new AuthoringProductionResolver(application);\n    const effectiveCommand = specificationCommandExamples(application);\n    const concepts = uniqueByName(application.concepts);\n    const composites = new Map([...uniqueByName(application.types)].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    const known = new Set(['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime', ...concepts.keys(), ...composites.keys()]);\n    const imported = new Set(application.imports.map(entry => entry.qualifiedName.split('.').at(-1)!));\n    const imports = new Map<string, string[]>();\n    for (const entry of application.imports) {\n        const name = entry.qualifiedName.split('.').at(-1)!;\n        imports.set(name, [...imports.get(name) ?? [], entry.qualifiedName]);\n    }\n    const scoped = <T>(entries: readonly { name: string; scope: readonly string[]; node: T }[]) => {\n        const byName = new Map<string, typeof entries[number][]>();\n        const cache = new Map<string, T | null>();\n        for (const entry of entries) {\n            const named = byName.get(entry.name) ?? [];\n            named.push(entry);\n            byName.set(entry.name, named);\n        }\n        return (reference: string, from: readonly string[]): T | null => {\n            const key = JSON.stringify([reference, from]);\n            if (cache.has(key)) return cache.get(key)!;\n            const candidates = (name: string) => {\n                const segments = name.split('.');\n                const named = byName.get(segments.at(-1)!) ?? [];\n                const qualifiers = segments.slice(0, -1);\n                if (qualifiers.length > 0) return named.filter(entry => qualifiers.length <= entry.scope.length && qualifiers.every((value, index) => entry.scope[entry.scope.length - qualifiers.length + index] === value));\n                for (let depth = from.length; depth >= 0; depth--) {\n                    const visible = named.filter(entry => depth <= entry.scope.length && from.slice(0, depth).every((value, index) => entry.scope[index] === value));\n                    if (visible.length > 0) return visible;\n                }\n                return [];\n            };\n            let matches = candidates(reference);\n            const imported = imports.get(reference) ?? [];\n            if (matches.length === 0 && imported.length === 1) matches = candidates(imported[0]);\n            const result = matches.length === 1 ? matches[0].node : null;\n            cache.set(key, result);\n            return result;\n        };\n    };\n    const view = scoped(resolver.slices.flatMap(({ slice, scope }) => slice.readModels.map(node => ({ name: node.name, scope, node }))));\n    const resolveCommand = scoped(resolver.slices.flatMap(({ slice, scope }) => slice.commands.map(command => ({ name: command.name, scope, node: { command, slice } }))));\n    const systems = new Map<string, number>();\n    for (const system of application.systems ?? []) {\n        if (systems.has(system.name)) context.error(DiagnosticCodes.InvalidSystemDeclaration, `System '${system.name}' is declared more than once.`, system.location);\n        systems.set(system.name, (systems.get(system.name) ?? 0) + 1);\n    }\n    const pathType = (properties: readonly PropertySyntax[], path: string, inheritOptionality = true): { type: TypeRefSyntax | null; missing: boolean } => {\n        const [name, ...nested] = path.split('.');\n        const matches = properties.filter(property => property.name === name);\n        if (matches.length !== 1) return { type: null, missing: matches.length === 0 };\n        const type = matches[0].type;\n        if (nested.length === 0) return { type, missing: false };\n        const next = composites.get(type.name);\n        if (next === undefined) return { type: null, missing: known.has(type.name) };\n        const resolved = pathType([...next.values()], nested.join('.'), inheritOptionality);\n        return resolved.type === null ? resolved : { type: { ...resolved.type, isOptional: inheritOptionality && type.isOptional || resolved.type.isOptional, isCollection: type.isCollection || resolved.type.isCollection }, missing: false };\n    };\n    const covered = (type: TypeRefSyntax, path: string, mappings: ReadonlySet<string>, supplied: ReadonlySet<string>, seen = new Set<string>()): boolean => {\n        if (mappings.has(path) || type.isOptional && !supplied.has(path)) return true;\n        if (type.isCollection || seen.has(type.name)) return false;\n        const properties = composites.get(type.name);\n        if (properties === undefined) return supplied.has(path) && !known.has(type.name);\n        return [...properties.values()].every(property => covered(property.type, `${path}.${property.name}`, mappings, supplied, new Set([...seen, type.name])));\n    };\n    const completeValue = (value: PropertyMappingSyntax['source'], type: TypeRefSyntax): boolean => {\n        if (value.kind === 'ListExpressionSyntax' && type.isCollection) return value.items.every(item => completeValue(item, { ...type, isCollection: false, isOptional: false }));\n        const properties = composites.get(type.name);\n        if (value.kind !== 'ObjectExpressionSyntax' || properties === undefined) return true;\n        return [...properties.values()].every(property => (property.type.isOptional || value.members.some(member => member.name === property.name)) && value.members.filter(member => member.name === property.name).every(member => completeValue(member.value, property.type)));\n    };\n    const concrete = (value: PropertyMappingSyntax['source']): boolean => {\n        if (value.kind === 'LiteralExpressionSyntax') return typeof value.value !== 'number' || Number.isFinite(value.value);\n        if (value.kind === 'ObjectExpressionSyntax') return value.members.every(member => concrete(member.value));\n        return value.kind === 'ListExpressionSyntax' && value.items.every(concrete);\n    };\n    const validateMappings = (mappings: readonly PropertyMappingSyntax[], operation: OperationSyntax, command: CommandSyntax | null, required: boolean, scope: readonly string[]): void => {\n        const names = new Set<string>();\n        const allNames = new Set(mappings.map(mapping => mapping.property));\n        const suppliedPaths = new Set<string>();\n        for (const mapping of mappings) {\n            const segments = mapping.property.split('.');\n            for (let depth = 1; depth <= segments.length; depth++) suppliedPaths.add(segments.slice(0, depth).join('.'));\n        }\n        for (const mapping of mappings) {\n            if (names.has(mapping.property)) context.error(DiagnosticCodes.InvalidOperationMapping, `Duplicate operation input mapping '${mapping.property}'.`, mapping.location);\n            names.add(mapping.property);\n            const target = pathType(operation.inputs, mapping.property, false);\n            if (target.missing) context.error(DiagnosticCodes.InvalidOperationMapping, `Operation '${operation.name}' declares no input '${mapping.property}'.`, mapping.location);\n            if (target.type === null) continue;\n            const targetSegments = mapping.property.split('.');\n            for (let depth = 1; depth < targetSegments.length; depth++) if (allNames.has(targetSegments.slice(0, depth).join('.')))\n                context.error(DiagnosticCodes.InvalidOperationMapping, `Operation input mapping '${mapping.property}' overlaps a whole input mapping.`, mapping.location);\n            if (command !== null && mapping.source.kind === 'PathExpressionSyntax') {\n                let supplied = pathType(command.properties, mapping.source.path);\n                const segments = mapping.source.path.split('.');\n                const reads = (commandReadSources.get(command) ?? []).filter(read => (read.alias ?? read.readModel) === segments[0]);\n                if (supplied.missing && reads.length > 0) {\n                    supplied = { type: null, missing: false };\n                    const resolvedView = reads.length === 1 ? view(reads[0].readModel, scope) : null;\n                    if (segments.length > 1 && resolvedView !== null) supplied = pathType(resolvedView.properties, segments.slice(1).join('.'));\n                }\n                if (supplied.missing) context.error(DiagnosticCodes.InvalidOperationMapping, `Command '${command.name}' declares no source '${mapping.source.path}'.`, mapping.source.location);\n                const source = supplied.type;\n                const type = target.type;\n                if (source !== null && known.has(source.name) && known.has(type.name) && (source.name !== type.name || source.isCollection !== type.isCollection || source.isOptional && !type.isOptional))\n                    context.error(DiagnosticCodes.InvalidOperationMapping, `Source '${mapping.source.path}' is incompatible with input '${mapping.property}' of operation '${operation.name}'.`, mapping.source.location);\n            } else if (['LiteralExpressionSyntax', 'ObjectExpressionSyntax', 'ListExpressionSyntax'].includes(mapping.source.kind)) {\n                if (!compatibleValue(mapping.source, target.type, concepts, composites) || required && !completeValue(mapping.source, target.type)) context.error(DiagnosticCodes.InvalidOperationMapping, `Value is incompatible with input '${mapping.property}' of operation '${operation.name}'.`, mapping.source.location);\n            }\n        }\n        if (required) for (const input of operation.inputs) {\n            if (!covered(input.type, input.name, names, suppliedPaths)) context.error(DiagnosticCodes.InvalidOperationMapping, `Production of operation '${operation.name}' supplies no value for required input '${input.name}'.`, operation.location);\n        }\n    };\n    for (const { slice, scope } of resolver.slices) {\n        const operations = operationDeclarations(slice);\n        const names = new Set(eventDeclarations(slice).map(event => event.name));\n        for (const operation of operations) {\n            if (names.has(operation.name)) context.error(DiagnosticCodes.ProductionDeclarationCollision, `Operation '${operation.name}' collides with another event or operation in slice '${slice.name}'.`, operation.location);\n            names.add(operation.name);\n            if (operation.uses.length > 0 && systems.get(operation.uses) !== 1) context.error(DiagnosticCodes.InvalidSystemReference, `Operation '${operation.name}' must use one declared system; '${operation.uses}' does not resolve uniquely.`, operation.usesLocation ?? operation.location);\n            for (const input of operation.inputs) {\n                if (!known.has(input.type.name) && !imported.has(input.type.name)) context.warning(DiagnosticCodes.UnknownType, `Unknown type '${input.type.name}' on input '${input.name}' of operation '${operation.name}'.`, input.type.location);\n            }\n        }\n        for (const command of slice.commands) for (const production of command.produces) {\n            const resolution = resolver.resolve(production.event, slice);\n            if (resolution.kind === AuthoringProductionKind.Ambiguous && resolution.candidates.some(node => node.kind === AuthoringProductionKind.Operation)) context.error(DiagnosticCodes.InvalidProductionReference, `Production '${production.event}' is ambiguous.`, production.location);\n            if (production.event.includes('.') && resolution.kind !== AuthoringProductionKind.Operation) context.error(DiagnosticCodes.InvalidProductionReference, 'Qualified productions are supported only for explicitly declared operations.', production.location);\n            if (resolution.declaration?.node.kind !== 'OperationSyntax') continue;\n            if (production.for !== null || production.tags.length > 0) context.error(DiagnosticCodes.InvalidOperationDeclaration, 'Operation productions cannot declare event destinations or tags.', production.location);\n            validateMappings(production.mappings, resolution.declaration.node, command, true, scope);\n        }\n        for (const production of slice.reactions.flatMap(reaction => reaction.triggers).flatMap(trigger => trigger.produces)) {\n            const resolution = resolver.resolve(production.event, slice);\n            if (resolution.kind === AuthoringProductionKind.Ambiguous && resolution.candidates.some(node => node.kind === AuthoringProductionKind.Operation)) context.error(DiagnosticCodes.InvalidProductionReference, `Production '${production.event}' is ambiguous.`, production.location);\n            if (production.event.includes('.') && resolver.resolve(production.event, slice).kind !== AuthoringProductionKind.Operation) context.error(DiagnosticCodes.InvalidProductionReference, 'Qualified productions are supported only for explicitly declared operations.', production.location);\n            if (resolver.isOperation(production, slice)) context.error(DiagnosticCodes.OperationOutsideCommand, 'Operations can only be produced by commands.', production.location);\n        }\n        for (const specification of slice.specifications) {\n            const steps = [...specification.givenOperationFailures ?? [], ...specification.thenOperations ?? [], ...specification.thenCompensated ?? []];\n            if (steps.length === 0) continue;\n            const command = resolveCommand(effectiveCommand(specification.when, scope)?.commandType ?? '', scope);\n            if (command === null || specification.whenAppended !== null || specification.whenQuery !== null || specification.whenTrigger !== null || specification.whenClock !== null || specification.whenCapture !== null)\n                context.error(DiagnosticCodes.InvalidOperationSpecification, 'Operation fixtures and assertions require a declared command action.', specification.location);\n            const duplicates = new Map<SyntaxNode, Set<string>>();\n            for (const step of steps) {\n                if (step.kind === 'SpecificationOperationSyntax') for (const mapping of step.values) {\n                    if (!concrete(mapping.source)) context.error(DiagnosticCodes.InvalidOperationSpecification, 'Operation assertions require concrete input values.', mapping.source.location);\n                }\n                const node = resolver.resolve(step.operation, slice).declaration?.node;\n                if (node?.kind !== 'OperationSyntax') {\n                    context.error(DiagnosticCodes.InvalidOperationSpecification, `'${step.operation}' does not resolve uniquely to a declared operation.`, step.location);\n                    continue;\n                }\n                const kinds = duplicates.get(node) ?? new Set<string>();\n                if (kinds.has(step.kind)) context.error(DiagnosticCodes.InvalidOperationSpecification, `Duplicate operation step '${step.operation}'.`, step.location);\n                kinds.add(step.kind);\n                duplicates.set(node, kinds);\n                if (step.kind === 'SpecificationCompensatedSyntax' && node.compensate === null) context.error(DiagnosticCodes.InvalidOperationSpecification, `Operation '${step.operation}' declares no compensation.`, step.location);\n                if (command !== null && command.command.handler == null) {\n                    const produced = command.command.produces.map(production => resolver.resolve(production.event, command.slice));\n                    if (produced.every(result => result.kind === AuthoringProductionKind.Event || result.kind === AuthoringProductionKind.Operation) && !produced.some(result => result.declaration?.node === node))\n                        context.error(DiagnosticCodes.InvalidOperationSpecification, `Command '${command.command.name}' does not produce operation '${step.operation}'.`, step.location);\n                }\n                if (step.kind === 'SpecificationOperationSyntax') validateMappings(step.values, node, null, false, scope);\n            }\n        }\n    }\n}\n"],"mappings":"4iBAiBA,SAAgB,mBAAmB,EAAgC,EAA8B,CAC7F,IAAMA,EAAW,IAAIC,EAA4BC,CAAW,EACtDC,EAAmBC,EAA6BF,CAAW,EAC3DG,EAAWC,EAAaJ,EAAY,QAAQ,EAC5CK,EAAa,IAAI,IAAI,CAAC,GAAGD,EAAaJ,EAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAACM,EAAMC,KAAU,CAACD,EAAMF,EAAaG,EAAK,UAAU,CAAC,CAAC,CAAC,EACtHC,kBAAQ,IAAI,IAAI,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,WAAY,GAAGL,EAAS,KAAK,EAAG,GAAGE,EAAW,KAAK,CAAC,CAAC,EAC1HI,EAAW,IAAI,IAAIT,EAAY,QAAQ,IAAI,GAASU,EAAM,cAAc,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAE,CAAC,EAC3FC,kBAAU,IAAI,IACpB,IAAK,IAAMD,KAASV,EAAY,QAAS,CACrC,IAAMM,EAAOI,EAAM,cAAc,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACjDC,EAAQ,IAAIL,EAAM,CAAC,GAAGK,EAAQ,IAAIL,CAAI,GAAK,CAAC,EAAGI,EAAM,aAAa,CAAC,CACvE,CACA,IAAM,OAAa,GAA4E,CAC3F,IAAME,kBAAS,IAAI,IACbC,kBAAQ,IAAI,IAClB,IAAK,IAAMH,KAASI,EAAS,CACzB,IAAMC,EAAQH,EAAO,IAAIF,EAAM,IAAI,GAAK,CAAC,EACzCK,EAAM,KAAKL,CAAK,EAChBE,EAAO,IAAIF,EAAM,KAAMK,CAAK,CAChC,CACA,OAAQ,EAAmB,IAAsC,CAC7D,IAAMC,EAAM,KAAK,UAAU,CAACC,EAAWC,CAAI,CAAC,EAC5C,GAAIL,EAAM,IAAIG,CAAG,EAAG,OAAOH,EAAM,IAAIG,CAAG,EACxC,IAAM,WAAc,GAAiB,CACjC,IAAMG,EAAWb,EAAK,MAAM,GAAG,EACzBS,EAAQH,EAAO,IAAIO,EAAS,GAAG,EAAE,CAAE,GAAK,CAAC,EACzCC,EAAaD,EAAS,MAAM,EAAG,EAAE,EACvC,GAAIC,EAAW,OAAS,EAAG,OAAOL,EAAM,OAAO,GAASK,EAAW,QAAUV,EAAM,MAAM,QAAUU,EAAW,OAAO,EAAO,IAAUV,EAAM,MAAMA,EAAM,MAAM,OAASU,EAAW,OAASC,KAAWC,CAAK,CAAC,EAC5M,IAAK,IAAIC,EAAQL,EAAK,OAAQK,GAAS,EAAG,IAAS,CAC/C,IAAMC,EAAUT,EAAM,OAAO,GAASQ,GAASb,EAAM,MAAM,QAAUQ,EAAK,MAAM,EAAGK,CAAK,CAAC,CAAC,OAAO,EAAO,IAAUb,EAAM,MAAMW,KAAWC,CAAK,CAAC,EAC/I,GAAIE,EAAQ,OAAS,EAAG,OAAOA,CACnC,CACA,MAAO,CAAC,CACZ,EACIC,EAAU,WAAWR,CAAS,EAC5BR,EAAWE,EAAQ,IAAIM,CAAS,GAAK,CAAC,EACxCQ,EAAQ,SAAW,GAAKhB,EAAS,SAAW,IAAG,EAAU,WAAWA,EAAS,EAAE,GACnF,IAAMiB,EAASD,EAAQ,SAAW,EAAIA,EAAQ,EAAE,CAAC,KAAO,KAExD,OADAZ,EAAM,IAAIG,EAAKU,CAAM,EACdA,CACX,CACJ,EACMC,EAAO,OAAO7B,EAAS,OAAO,SAAS,CAAE,QAAO,WAAY8B,EAAM,WAAW,IAAI,IAAS,CAAE,KAAMC,EAAK,KAAM,QAAO,MAAK,EAAE,CAAC,CAAC,EAC7HC,EAAiB,OAAOhC,EAAS,OAAO,SAAS,CAAE,QAAO,WAAY8B,EAAM,SAAS,IAAI,IAAY,CAAE,KAAMG,EAAQ,KAAM,QAAO,KAAM,CAAE,UAAS,OAAM,CAAE,EAAE,CAAC,CAAC,EAC/JC,kBAAU,IAAI,IACpB,IAAK,IAAMC,KAAUjC,EAAY,SAAW,CAAC,EACrCgC,EAAQ,IAAIC,EAAO,IAAI,GAAGC,EAAQ,MAAMC,EAAgB,yBAA0B,WAAWF,EAAO,KAAK,+BAAgCA,EAAO,QAAQ,EAC5JD,EAAQ,IAAIC,EAAO,MAAOD,EAAQ,IAAIC,EAAO,IAAI,GAAK,GAAK,CAAC,EAEhE,IAAM,UAAY,EAAuC,EAAc,EAAqB,KAA2D,CACnJ,GAAM,CAAC3B,EAAM,GAAG8B,GAAUC,EAAK,MAAM,GAAG,EAClCZ,EAAUa,EAAW,OAAO,GAAYC,EAAS,OAASjC,CAAI,EACpE,GAAImB,EAAQ,SAAW,EAAG,MAAO,CAAE,KAAM,KAAM,QAASA,EAAQ,SAAW,CAAE,EAC7E,IAAMlB,EAAOkB,EAAQ,EAAE,CAAC,KACxB,GAAIW,EAAO,SAAW,EAAG,MAAO,CAAE,OAAM,QAAS,EAAM,EACvD,IAAMI,EAAOnC,EAAW,IAAIE,EAAK,IAAI,EACrC,GAAIiC,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,QAAShC,EAAM,IAAID,EAAK,IAAI,CAAE,EAC3E,IAAMkC,EAAW,SAAS,CAAC,GAAGD,EAAK,OAAO,CAAC,EAAGJ,EAAO,KAAK,GAAG,EAAGM,CAAkB,EAClF,OAAOD,EAAS,OAAS,KAAOA,EAAW,CAAE,KAAM,CAAE,GAAGA,EAAS,KAAM,WAAYC,GAAsBnC,EAAK,YAAckC,EAAS,KAAK,WAAY,aAAclC,EAAK,cAAgBkC,EAAS,KAAK,YAAa,EAAG,QAAS,EAAM,CAC1O,EACM,SAAW,EAAqB,EAAc,EAA+B,EAA+B,kBAAO,IAAI,MAA2B,CACpJ,GAAIE,EAAS,IAAIN,CAAI,GAAK9B,EAAK,YAAc,CAACqC,EAAS,IAAIP,CAAI,EAAG,MAAO,GACzE,GAAI9B,EAAK,cAAgBsC,EAAK,IAAItC,EAAK,IAAI,EAAG,MAAO,GACrD,IAAM+B,EAAajC,EAAW,IAAIE,EAAK,IAAI,EAE3C,OADI+B,IAAe,IAAA,GAAkBM,EAAS,IAAIP,CAAI,GAAK,CAAC7B,EAAM,IAAID,EAAK,IAAI,EACxE,CAAC,GAAG+B,EAAW,OAAO,CAAC,CAAC,CAAC,MAAM,GAAY,QAAQC,EAAS,KAAM,GAAGF,EAAK,GAAGE,EAAS,OAAQI,EAAUC,kBAAU,IAAI,IAAI,CAAC,GAAGC,EAAMtC,EAAK,IAAI,CAAC,CAAC,CAAC,CAC3J,EACM,eAAiB,EAAwC,IAAiC,CAC5F,GAAIe,EAAM,OAAS,wBAA0Bf,EAAK,aAAc,OAAOe,EAAM,MAAM,MAAM,GAAQ,cAAcwB,EAAM,CAAE,GAAGvC,EAAM,aAAc,GAAO,WAAY,EAAM,CAAC,CAAC,EACzK,IAAM+B,EAAajC,EAAW,IAAIE,EAAK,IAAI,EAE3C,OADIe,EAAM,OAAS,0BAA4BgB,IAAe,IAAA,IACvD,CAAC,GAAGA,EAAW,OAAO,CAAC,CAAC,CAAC,MAAM,IAAaC,EAAS,KAAK,YAAcjB,EAAM,QAAQ,KAAK,GAAUyB,EAAO,OAASR,EAAS,IAAI,IAAMjB,EAAM,QAAQ,OAAO,GAAUyB,EAAO,OAASR,EAAS,IAAI,CAAC,CAAC,MAAM,GAAU,cAAcQ,EAAO,MAAOR,EAAS,IAAI,CAAC,CAAC,CAC5Q,EACM,SAAY,GACVjB,EAAM,OAAS,0BAAkC,OAAOA,EAAM,OAAU,UAAY,OAAO,SAASA,EAAM,KAAK,EAC/GA,EAAM,OAAS,yBAAiCA,EAAM,QAAQ,MAAM,GAAU,SAASyB,EAAO,KAAK,CAAC,EACjGzB,EAAM,OAAS,wBAA0BA,EAAM,MAAM,MAAM,QAAQ,EAExE,kBAAoB,EAA4C,EAA4B,EAA+B,EAAmB,IAAmC,CACnL,IAAM0B,kBAAQ,IAAI,IACZC,EAAW,IAAI,IAAIN,EAAS,IAAI,GAAWO,EAAQ,QAAQ,CAAC,EAC5DC,kBAAgB,IAAI,IAC1B,IAAK,IAAMD,KAAWP,EAAU,CAC5B,IAAMxB,EAAW+B,EAAQ,SAAS,MAAM,GAAG,EAC3C,IAAK,IAAI3B,EAAQ,EAAGA,GAASJ,EAAS,OAAQ,IAASgC,EAAc,IAAIhC,EAAS,MAAM,EAAGI,CAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAC/G,CACA,IAAK,IAAM2B,KAAWP,EAAU,CACxBK,EAAM,IAAIE,EAAQ,QAAQ,GAAGhB,EAAQ,MAAMC,EAAgB,wBAAyB,sCAAsCe,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACpKF,EAAM,IAAIE,EAAQ,QAAQ,EAC1B,IAAME,EAAS,SAASC,EAAU,OAAQH,EAAQ,SAAU,EAAK,EAEjE,GADIE,EAAO,SAASlB,EAAQ,MAAMC,EAAgB,wBAAyB,cAAckB,EAAU,KAAK,uBAAuBH,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACjKE,EAAO,OAAS,KAAM,SAC1B,IAAME,EAAiBJ,EAAQ,SAAS,MAAM,GAAG,EACjD,IAAK,IAAI3B,EAAQ,EAAGA,EAAQ+B,EAAe,OAAQ,IAAaL,EAAS,IAAIK,EAAe,MAAM,EAAG/B,CAAK,CAAC,CAAC,KAAK,GAAG,CAAC,GACjHW,EAAQ,MAAMC,EAAgB,wBAAyB,4BAA4Be,EAAQ,SAAS,mCAAoCA,EAAQ,QAAQ,EAC5J,GAAInB,IAAY,MAAQmB,EAAQ,OAAO,OAAS,uBAAwB,CACpE,IAAIN,EAAW,SAASb,EAAQ,WAAYmB,EAAQ,OAAO,IAAI,EACzD/B,EAAW+B,EAAQ,OAAO,KAAK,MAAM,GAAG,EACxCK,GAASC,EAAmB,IAAIzB,CAAO,GAAK,CAAC,EAAA,CAAG,OAAO,IAAS0B,EAAK,OAASA,EAAK,aAAetC,EAAS,EAAE,EACnH,GAAIyB,EAAS,SAAWW,EAAM,OAAS,EAAG,CACtC,EAAW,CAAE,KAAM,KAAM,QAAS,EAAM,EACxC,IAAMG,EAAeH,EAAM,SAAW,EAAI5B,EAAK4B,EAAM,EAAE,CAAC,UAAWI,CAAK,EAAI,KACxExC,EAAS,OAAS,GAAKuC,IAAiB,OAAM,EAAW,SAASA,EAAa,WAAYvC,EAAS,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAC9H,CACIyB,EAAS,SAASV,EAAQ,MAAMC,EAAgB,wBAAyB,YAAYJ,EAAQ,KAAK,wBAAwBmB,EAAQ,OAAO,KAAK,IAAKA,EAAQ,OAAO,QAAQ,EAC9K,IAAMU,EAAShB,EAAS,KAClBrC,EAAO6C,EAAO,KAChBQ,IAAW,MAAQpD,EAAM,IAAIoD,EAAO,IAAI,GAAKpD,EAAM,IAAID,EAAK,IAAI,IAAMqD,EAAO,OAASrD,EAAK,MAAQqD,EAAO,eAAiBrD,EAAK,cAAgBqD,EAAO,YAAc,CAACrD,EAAK,aAC3K2B,EAAQ,MAAMC,EAAgB,wBAAyB,WAAWe,EAAQ,OAAO,KAAK,gCAAgCA,EAAQ,SAAS,kBAAkBG,EAAU,KAAK,IAAKH,EAAQ,OAAO,QAAQ,CAC5M,KAAW,CAAC,0BAA2B,yBAA0B,sBAAsB,CAAC,CAAC,SAASA,EAAQ,OAAO,IAAI,IAC7G,CAACW,EAAgBX,EAAQ,OAAQE,EAAO,KAAMjD,EAAUE,CAAU,GAAKyD,GAAY,CAAC,cAAcZ,EAAQ,OAAQE,EAAO,IAAI,IAAGlB,EAAQ,MAAMC,EAAgB,wBAAyB,qCAAqCe,EAAQ,SAAS,kBAAkBG,EAAU,KAAK,IAAKH,EAAQ,OAAO,QAAQ,CAEtT,CACA,GAAIY,EAAe,IAAA,IAAMC,KAASV,EAAU,OACnC,QAAQU,EAAM,KAAMA,EAAM,KAAMf,EAAOG,CAAa,GAAGjB,EAAQ,MAAMC,EAAgB,wBAAyB,4BAA4BkB,EAAU,KAAK,0CAA0CU,EAAM,KAAK,IAAKV,EAAU,QAAQ,CAElP,EACA,IAAK,GAAM,CAAE,QAAO,WAAWvD,EAAS,OAAQ,CAC5C,IAAMkE,EAAaC,EAAsBrC,CAAK,EACxCoB,EAAQ,IAAI,IAAIkB,EAAkBtC,CAAK,CAAC,CAAC,IAAI,GAASuC,EAAM,IAAI,CAAC,EACvE,IAAK,IAAMd,KAAaW,EAAY,CAC5BhB,EAAM,IAAIK,EAAU,IAAI,GAAGnB,EAAQ,MAAMC,EAAgB,+BAAgC,cAAckB,EAAU,KAAK,uDAAuDzB,EAAM,KAAK,IAAKyB,EAAU,QAAQ,EACnNL,EAAM,IAAIK,EAAU,IAAI,EACpBA,EAAU,KAAK,OAAS,GAAKrB,EAAQ,IAAIqB,EAAU,IAAI,IAAM,GAAGnB,EAAQ,MAAMC,EAAgB,uBAAwB,cAAckB,EAAU,KAAK,mCAAmCA,EAAU,KAAK,8BAA+BA,EAAU,cAAgBA,EAAU,QAAQ,EACpR,IAAK,IAAMU,KAASV,EAAU,OACtB,CAAC7C,EAAM,IAAIuD,EAAM,KAAK,IAAI,GAAK,CAACtD,EAAS,IAAIsD,EAAM,KAAK,IAAI,GAAG7B,EAAQ,QAAQC,EAAgB,YAAa,iBAAiB4B,EAAM,KAAK,KAAK,cAAcA,EAAM,KAAK,kBAAkBV,EAAU,KAAK,IAAKU,EAAM,KAAK,QAAQ,CAE3O,CACA,IAAK,IAAMhC,KAAWH,EAAM,SAAU,IAAK,IAAMwC,KAAcrC,EAAQ,SAAU,CAC7E,IAAMsC,EAAavE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,EACvDyC,EAAW,OAAA,aAA8CA,EAAW,WAAW,KAAK,GAAQxC,EAAK,OAAA,WAA0C,GAAGK,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeiC,EAAW,MAAM,iBAAkBA,EAAW,QAAQ,EAC7QA,EAAW,MAAM,SAAS,GAAG,GAAKC,EAAW,OAAA,aAA4CnC,EAAQ,MAAMC,EAAgB,2BAA4B,+EAAgFiC,EAAW,QAAQ,EACtPC,EAAW,aAAa,KAAK,OAAS,qBACtCD,EAAW,MAAQ,MAAQA,EAAW,KAAK,OAAS,IAAGlC,EAAQ,MAAMC,EAAgB,4BAA6B,mEAAoEiC,EAAW,QAAQ,EAC7M,iBAAiBA,EAAW,SAAUC,EAAW,YAAY,KAAMtC,EAAS,GAAM4B,CAAK,EAC3F,CACA,IAAK,IAAMS,KAAcxC,EAAM,UAAU,QAAQ,GAAY0C,EAAS,QAAQ,CAAC,CAAC,QAAQ,GAAWC,EAAQ,QAAQ,EAAG,CAClH,IAAMF,EAAavE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,EACvDyC,EAAW,OAAA,aAA8CA,EAAW,WAAW,KAAK,GAAQxC,EAAK,OAAA,WAA0C,GAAGK,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeiC,EAAW,MAAM,iBAAkBA,EAAW,QAAQ,EAC7QA,EAAW,MAAM,SAAS,GAAG,GAAKtE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,CAAC,CAAC,OAAA,aAA4CM,EAAQ,MAAMC,EAAgB,2BAA4B,+EAAgFiC,EAAW,QAAQ,EACrRtE,EAAS,YAAYsE,EAAYxC,CAAK,GAAGM,EAAQ,MAAMC,EAAgB,wBAAyB,+CAAgDiC,EAAW,QAAQ,CAC3K,CACA,IAAK,IAAMI,KAAiB5C,EAAM,eAAgB,CAC9C,IAAM6C,EAAQ,CAAC,GAAGD,EAAc,wBAA0B,CAAC,EAAG,GAAGA,EAAc,gBAAkB,CAAC,EAAG,GAAGA,EAAc,iBAAmB,CAAC,CAAC,EAC3I,GAAIC,EAAM,SAAW,EAAG,SACxB,IAAM1C,EAAUD,EAAe7B,EAAiBuE,EAAc,KAAMb,CAAK,CAAC,EAAE,aAAe,GAAIA,CAAK,GAChG5B,IAAY,MAAQyC,EAAc,eAAiB,MAAQA,EAAc,YAAc,MAAQA,EAAc,cAAgB,MAAQA,EAAc,YAAc,MAAQA,EAAc,cAAgB,OACvMtC,EAAQ,MAAMC,EAAgB,8BAA+B,uEAAwEqC,EAAc,QAAQ,EAC/J,IAAME,kBAAa,IAAI,IACvB,IAAK,IAAMC,KAAQF,EAAO,CACtB,GAAIE,EAAK,OAAS,+BAAqC,IAAA,IAAMzB,KAAWyB,EAAK,OACpE,SAASzB,EAAQ,MAAM,GAAGhB,EAAQ,MAAMC,EAAgB,8BAA+B,sDAAuDe,EAAQ,OAAO,QAAQ,EAE9K,IAAMrB,EAAO/B,EAAS,QAAQ6E,EAAK,UAAW/C,CAAK,CAAC,CAAC,aAAa,KAClE,GAAIC,GAAM,OAAS,kBAAmB,CAClCK,EAAQ,MAAMC,EAAgB,8BAA+B,IAAIwC,EAAK,UAAU,sDAAuDA,EAAK,QAAQ,EACpJ,QACJ,CACA,IAAMC,EAAQF,EAAW,IAAI7C,CAAI,mBAAK,IAAI,IAK1C,GAJI+C,EAAM,IAAID,EAAK,IAAI,GAAGzC,EAAQ,MAAMC,EAAgB,8BAA+B,6BAA6BwC,EAAK,UAAU,IAAKA,EAAK,QAAQ,EACrJC,EAAM,IAAID,EAAK,IAAI,EACnBD,EAAW,IAAI7C,EAAM+C,CAAK,EACtBD,EAAK,OAAS,kCAAoC9C,EAAK,aAAe,MAAMK,EAAQ,MAAMC,EAAgB,8BAA+B,cAAcwC,EAAK,UAAU,6BAA8BA,EAAK,QAAQ,EACjN5C,IAAY,MAAQA,EAAQ,QAAQ,SAAW,KAAM,CACrD,IAAM8C,EAAW9C,EAAQ,QAAQ,SAAS,IAAI,GAAcjC,EAAS,QAAQsE,EAAW,MAAOrC,EAAQ,KAAK,CAAC,EACzG8C,EAAS,MAAM,GAAUnD,EAAO,OAAA,SAA0CA,EAAO,OAAA,WAA0C,GAAK,CAACmD,EAAS,KAAK,GAAUnD,EAAO,aAAa,OAASG,CAAI,GAC1LK,EAAQ,MAAMC,EAAgB,8BAA+B,YAAYJ,EAAQ,QAAQ,KAAK,gCAAgC4C,EAAK,UAAU,IAAKA,EAAK,QAAQ,CACvK,CACIA,EAAK,OAAS,gCAAgC,iBAAiBA,EAAK,OAAQ9C,EAAM,KAAM,GAAO8B,CAAK,CAC5G,CACJ,CACJ,CACJ"}
+{"version":3,"file":"OperationValidator.js","names":["resolver","AuthoringProductionResolver","application","effectiveCommand","specificationCommandExamples","concepts","uniqueByName","composites","name","type","known","imported","entry","imports","byName","cache","entries","named","key","reference","from","segments","qualifiers","index","value","depth","visible","matches","result","view","slice","node","resolveCommand","command","systems","system","context","DiagnosticCodes","nested","path","properties","property","next","resolved","inheritOptionality","mappings","supplied","seen","item","member","names","allNames","mapping","suppliedPaths","target","operation","targetSegments","reads","commandReadSources","read","resolvedView","scope","source","compatibleValue","required","input","operations","operationDeclarations","eventDeclarations","event","production","resolution","reaction","trigger","specification","steps","duplicates","step","kinds","produced"],"sources":["../../../../../../Compiler/Parsing/OperationValidator.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 { AuthoringProductionKind, AuthoringProductionResolver } from '../Syntax/AuthoringProductionResolver';\nimport { CommandSyntax } from '../Syntax/Commands';\nimport { PropertySyntax, TypeRefSyntax } from '../Syntax/Declarations';\nimport { eventDeclarations } from '../Syntax/EventDeclarations';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { operationDeclarations, OperationSyntax } from '../Syntax/Operations';\nimport { SyntaxNode } from '../Syntax/SyntaxNode';\nimport { ApplicationSyntax } from '../Syntax/Structure';\nimport { ParserContext } from './ParserContext';\nimport { commandReadSources } from './CommandReadSources';\nimport { compatibleValue, uniqueByName } from './ResponseValidator';\nimport { specificationCommandExamples } from './SpecificationCommandExamples';\n\nexport function validateOperations(application: ApplicationSyntax, context: ParserContext): void {\n    const resolver = new AuthoringProductionResolver(application);\n    const effectiveCommand = specificationCommandExamples(application);\n    const concepts = uniqueByName(application.concepts);\n    const composites = new Map([...uniqueByName(application.types)].map(([name, type]) => [name, uniqueByName(type.properties)]));\n    const known = new Set(['Uuid', 'String', 'Int', 'Decimal', 'Bool', 'Date', 'DateTime', ...concepts.keys(), ...composites.keys()]);\n    const imported = new Set(application.imports.map(entry => entry.qualifiedName.split('.').at(-1)!));\n    const imports = new Map<string, string[]>();\n    for (const entry of application.imports) {\n        const name = entry.qualifiedName.split('.').at(-1)!;\n        imports.set(name, [...imports.get(name) ?? [], entry.qualifiedName]);\n    }\n    const scoped = <T>(entries: readonly { name: string; scope: readonly string[]; node: T }[]) => {\n        const byName = new Map<string, typeof entries[number][]>();\n        const cache = new Map<string, T | null>();\n        for (const entry of entries) {\n            const named = byName.get(entry.name) ?? [];\n            named.push(entry);\n            byName.set(entry.name, named);\n        }\n        return (reference: string, from: readonly string[]): T | null => {\n            const key = JSON.stringify([reference, from]);\n            if (cache.has(key)) return cache.get(key)!;\n            const candidates = (name: string) => {\n                const segments = name.split('.');\n                const named = byName.get(segments.at(-1)!) ?? [];\n                const qualifiers = segments.slice(0, -1);\n                if (qualifiers.length > 0) return named.filter(entry => qualifiers.length <= entry.scope.length && qualifiers.every((value, index) => entry.scope[entry.scope.length - qualifiers.length + index] === value));\n                for (let depth = from.length; depth >= 0; depth--) {\n                    const visible = named.filter(entry => depth <= entry.scope.length && from.slice(0, depth).every((value, index) => entry.scope[index] === value));\n                    if (visible.length > 0) return visible;\n                }\n                return [];\n            };\n            let matches = candidates(reference);\n            const imported = imports.get(reference) ?? [];\n            if (matches.length === 0 && imported.length === 1) matches = candidates(imported[0]);\n            const result = matches.length === 1 ? matches[0].node : null;\n            cache.set(key, result);\n            return result;\n        };\n    };\n    const view = scoped(resolver.slices.flatMap(({ slice, scope }) => slice.readModels.map(node => ({ name: node.name, scope, node }))));\n    const resolveCommand = scoped(resolver.slices.flatMap(({ slice, scope }) => slice.commands.map(command => ({ name: command.name, scope, node: { command, slice } }))));\n    const systems = new Map<string, number>();\n    for (const system of application.systems ?? []) {\n        if (systems.has(system.name)) context.error(DiagnosticCodes.InvalidSystemDeclaration, `System '${system.name}' is declared more than once.`, system.location);\n        systems.set(system.name, (systems.get(system.name) ?? 0) + 1);\n    }\n    const pathType = (properties: readonly PropertySyntax[], path: string, inheritOptionality = true): { type: TypeRefSyntax | null; missing: boolean } => {\n        const [name, ...nested] = path.split('.');\n        const matches = properties.filter(property => property.name === name);\n        if (matches.length !== 1) return { type: null, missing: matches.length === 0 };\n        const type = matches[0].type;\n        if (nested.length === 0) return { type, missing: false };\n        const next = composites.get(type.name);\n        if (next === undefined) return { type: null, missing: known.has(type.name) };\n        const resolved = pathType([...next.values()], nested.join('.'), inheritOptionality);\n        return resolved.type === null ? resolved : { type: { ...resolved.type, isOptional: inheritOptionality && type.isOptional || resolved.type.isOptional, isCollection: type.isCollection || resolved.type.isCollection }, missing: false };\n    };\n    const covered = (type: TypeRefSyntax, path: string, mappings: ReadonlySet<string>, supplied: ReadonlySet<string>, seen = new Set<string>()): boolean => {\n        if (mappings.has(path) || type.isOptional && !supplied.has(path)) return true;\n        if (type.isCollection || seen.has(type.name)) return false;\n        const properties = composites.get(type.name);\n        if (properties === undefined) return supplied.has(path) && !known.has(type.name);\n        return [...properties.values()].every(property => covered(property.type, `${path}.${property.name}`, mappings, supplied, new Set([...seen, type.name])));\n    };\n    const completeValue = (value: PropertyMappingSyntax['source'], type: TypeRefSyntax): boolean => {\n        if (value.kind === 'ListExpressionSyntax' && type.isCollection) return value.items.every(item => completeValue(item, { ...type, isCollection: false, isOptional: false }));\n        const properties = composites.get(type.name);\n        if (value.kind !== 'ObjectExpressionSyntax' || properties === undefined) return true;\n        return [...properties.values()].every(property => (property.type.isOptional || value.members.some(member => member.name === property.name)) && value.members.filter(member => member.name === property.name).every(member => completeValue(member.value, property.type)));\n    };\n    const concrete = (value: PropertyMappingSyntax['source']): boolean => {\n        if (value.kind === 'LiteralExpressionSyntax') return typeof value.value !== 'number' || Number.isFinite(value.value);\n        if (value.kind === 'ObjectExpressionSyntax') return value.members.every(member => concrete(member.value));\n        return value.kind === 'ListExpressionSyntax' && value.items.every(concrete);\n    };\n    const validateMappings = (mappings: readonly PropertyMappingSyntax[], operation: OperationSyntax, command: CommandSyntax | null, required: boolean, scope: readonly string[]): void => {\n        const names = new Set<string>();\n        const allNames = new Set(mappings.map(mapping => mapping.property));\n        const suppliedPaths = new Set<string>();\n        for (const mapping of mappings) {\n            const segments = mapping.property.split('.');\n            for (let depth = 1; depth <= segments.length; depth++) suppliedPaths.add(segments.slice(0, depth).join('.'));\n        }\n        for (const mapping of mappings) {\n            if (names.has(mapping.property)) context.error(DiagnosticCodes.InvalidOperationMapping, `Duplicate operation input mapping '${mapping.property}'.`, mapping.location);\n            names.add(mapping.property);\n            const target = pathType(operation.inputs, mapping.property, false);\n            if (target.missing) context.error(DiagnosticCodes.InvalidOperationMapping, `Operation '${operation.name}' declares no input '${mapping.property}'.`, mapping.location);\n            if (target.type === null) continue;\n            const targetSegments = mapping.property.split('.');\n            for (let depth = 1; depth < targetSegments.length; depth++) if (allNames.has(targetSegments.slice(0, depth).join('.')))\n                context.error(DiagnosticCodes.InvalidOperationMapping, `Operation input mapping '${mapping.property}' overlaps a whole input mapping.`, mapping.location);\n            if (command !== null && mapping.source.kind === 'PathExpressionSyntax') {\n                let supplied = pathType(command.properties, mapping.source.path);\n                const segments = mapping.source.path.split('.');\n                const reads = (commandReadSources.get(command) ?? []).filter(read => (read.alias ?? read.readModel) === segments[0]);\n                if (supplied.missing && reads.length > 0) {\n                    supplied = { type: null, missing: false };\n                    const resolvedView = reads.length === 1 ? view(reads[0].readModel, scope) : null;\n                    if (segments.length > 1 && resolvedView !== null) supplied = pathType(resolvedView.properties, segments.slice(1).join('.'));\n                }\n                if (supplied.missing) context.error(DiagnosticCodes.InvalidOperationMapping, `Command '${command.name}' declares no source '${mapping.source.path}'.`, mapping.source.location);\n                const source = supplied.type;\n                const type = target.type;\n                if (source !== null && known.has(source.name) && known.has(type.name) && (source.name !== type.name || source.isCollection !== type.isCollection || source.isOptional && !type.isOptional))\n                    context.error(DiagnosticCodes.InvalidOperationMapping, `Source '${mapping.source.path}' is incompatible with input '${mapping.property}' of operation '${operation.name}'.`, mapping.source.location);\n            } else if (['LiteralExpressionSyntax', 'ObjectExpressionSyntax', 'ListExpressionSyntax'].includes(mapping.source.kind)) {\n                if (!compatibleValue(mapping.source, target.type, concepts, composites) || required && !completeValue(mapping.source, target.type)) context.error(DiagnosticCodes.InvalidOperationMapping, `Value is incompatible with input '${mapping.property}' of operation '${operation.name}'.`, mapping.source.location);\n            }\n        }\n        if (required) for (const input of operation.inputs) {\n            if (!covered(input.type, input.name, names, suppliedPaths)) context.error(DiagnosticCodes.InvalidOperationMapping, `Production of operation '${operation.name}' supplies no value for required input '${input.name}'.`, operation.location);\n        }\n    };\n    for (const { slice, scope } of resolver.slices) {\n        const operations = operationDeclarations(slice);\n        const names = new Set(eventDeclarations(slice).map(event => event.name));\n        for (const operation of operations) {\n            if (names.has(operation.name)) context.error(DiagnosticCodes.ProductionDeclarationCollision, `Operation '${operation.name}' collides with another event or operation in slice '${slice.name}'.`, operation.location);\n            names.add(operation.name);\n            if (operation.uses.length > 0 && systems.get(operation.uses) !== 1) context.error(DiagnosticCodes.InvalidSystemReference, `Operation '${operation.name}' must use one declared system; '${operation.uses}' does not resolve uniquely.`, operation.usesLocation ?? operation.location);\n            for (const input of operation.inputs) {\n                if (!known.has(input.type.name) && !imported.has(input.type.name)) context.warning(DiagnosticCodes.UnknownType, `Unknown type '${input.type.name}' on input '${input.name}' of operation '${operation.name}'.`, input.type.location);\n            }\n        }\n        for (const command of slice.commands) for (const production of command.produces) {\n            const resolution = resolver.resolve(production.event, slice);\n            if (resolution.kind === AuthoringProductionKind.Ambiguous && resolution.candidates.some(node => node.kind === AuthoringProductionKind.Operation)) context.error(DiagnosticCodes.InvalidProductionReference, `Production '${production.event}' is ambiguous.`, production.location);\n            if (production.event.includes('.') && resolution.kind !== AuthoringProductionKind.Operation) context.error(DiagnosticCodes.InvalidProductionReference, 'Qualified productions are supported only for explicitly declared operations.', production.location);\n            if (resolution.declaration?.node.kind !== 'OperationSyntax') continue;\n            if (production.for !== null || production.tags.length > 0) context.error(DiagnosticCodes.InvalidOperationDeclaration, 'Operation productions cannot declare event destinations or tags.', production.location);\n            validateMappings(production.mappings, resolution.declaration.node, command, true, scope);\n        }\n        for (const production of slice.reactions.flatMap(reaction => reaction.triggers).flatMap(trigger => trigger.produces)) {\n            const resolution = resolver.resolve(production.event, slice);\n            if (resolution.kind === AuthoringProductionKind.Ambiguous && resolution.candidates.some(node => node.kind === AuthoringProductionKind.Operation)) context.error(DiagnosticCodes.InvalidProductionReference, `Production '${production.event}' is ambiguous.`, production.location);\n            if (production.event.includes('.') && resolver.resolve(production.event, slice).kind !== AuthoringProductionKind.Operation) context.error(DiagnosticCodes.InvalidProductionReference, 'Qualified productions are supported only for explicitly declared operations.', production.location);\n            if (resolver.isOperation(production, slice)) context.error(DiagnosticCodes.OperationOutsideCommand, 'Operations can only be produced by commands.', production.location);\n        }\n        for (const specification of slice.specifications) {\n            const steps = [...specification.givenOperationFailures ?? [], ...specification.thenOperations ?? [], ...specification.thenCompensated ?? []];\n            if (steps.length === 0) continue;\n            const command = resolveCommand(effectiveCommand(specification.when, scope)?.commandType ?? '', scope);\n            if (command === null || specification.whenAppended !== null || specification.whenQuery !== null || specification.whenTrigger !== null || specification.whenClock !== null || specification.whenCapture !== null)\n                context.error(DiagnosticCodes.InvalidOperationSpecification, 'Operation fixtures and assertions require a declared command action.', specification.location);\n            const duplicates = new Map<SyntaxNode, Set<string>>();\n            for (const step of steps) {\n                if (step.kind === 'SpecificationOperationSyntax') for (const mapping of step.values) {\n                    if (!concrete(mapping.source)) context.error(DiagnosticCodes.InvalidOperationSpecification, 'Operation assertions require concrete input values.', mapping.source.location);\n                }\n                const node = resolver.resolve(step.operation, slice).declaration?.node;\n                if (node?.kind !== 'OperationSyntax') {\n                    context.error(DiagnosticCodes.InvalidOperationSpecification, `'${step.operation}' does not resolve uniquely to a declared operation.`, step.location);\n                    continue;\n                }\n                const kinds = duplicates.get(node) ?? new Set<string>();\n                if (kinds.has(step.kind)) context.error(DiagnosticCodes.InvalidOperationSpecification, `Duplicate operation step '${step.operation}'.`, step.location);\n                kinds.add(step.kind);\n                duplicates.set(node, kinds);\n                if (step.kind === 'SpecificationCompensatedSyntax' && node.compensate === null) context.error(DiagnosticCodes.InvalidOperationSpecification, `Operation '${step.operation}' declares no compensation.`, step.location);\n                if (command !== null && command.command.handler == null) {\n                    const produced = command.command.produces.map(production => resolver.resolve(production.event, command.slice));\n                    if (produced.every(result => result.kind === AuthoringProductionKind.Event || result.kind === AuthoringProductionKind.Operation) && !produced.some(result => result.declaration?.node === node))\n                        context.error(DiagnosticCodes.InvalidOperationSpecification, `Command '${command.command.name}' does not produce operation '${step.operation}'.`, step.location);\n                }\n                if (step.kind === 'SpecificationOperationSyntax') validateMappings(step.values, node, null, false, scope);\n            }\n        }\n    }\n}\n"],"mappings":"A,4iBAiBA,SAAgB,mBAAmB,EAAgC,EAA8B,CAC7F,IAAMA,EAAW,IAAIC,EAA4BC,CAAW,EACtDC,EAAmBC,EAA6BF,CAAW,EAC3DG,EAAWC,EAAaJ,EAAY,QAAQ,EAC5CK,EAAa,IAAI,IAAI,CAAC,GAAGD,EAAaJ,EAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAACM,EAAMC,KAAU,CAACD,EAAMF,EAAaG,EAAK,UAAU,CAAC,CAAC,CAAC,EACtHC,kBAAQ,IAAI,IAAI,CAAC,OAAQ,SAAU,MAAO,UAAW,OAAQ,OAAQ,WAAY,GAAGL,EAAS,KAAK,EAAG,GAAGE,EAAW,KAAK,CAAC,CAAC,EAC1HI,EAAW,IAAI,IAAIT,EAAY,QAAQ,IAAI,GAASU,EAAM,cAAc,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAE,CAAC,EAC3FC,kBAAU,IAAI,IACpB,IAAK,IAAMD,KAASV,EAAY,QAAS,CACrC,IAAMM,EAAOI,EAAM,cAAc,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACjDC,EAAQ,IAAIL,EAAM,CAAC,GAAGK,EAAQ,IAAIL,CAAI,GAAK,CAAC,EAAGI,EAAM,aAAa,CAAC,CACvE,CACA,IAAM,OAAa,GAA4E,CAC3F,IAAME,kBAAS,IAAI,IACbC,kBAAQ,IAAI,IAClB,IAAK,IAAMH,KAASI,EAAS,CACzB,IAAMC,EAAQH,EAAO,IAAIF,EAAM,IAAI,GAAK,CAAC,EACzCK,EAAM,KAAKL,CAAK,EAChBE,EAAO,IAAIF,EAAM,KAAMK,CAAK,CAChC,CACA,OAAQ,EAAmB,IAAsC,CAC7D,IAAMC,EAAM,KAAK,UAAU,CAACC,EAAWC,CAAI,CAAC,EAC5C,GAAIL,EAAM,IAAIG,CAAG,EAAG,OAAOH,EAAM,IAAIG,CAAG,EACxC,IAAM,WAAc,GAAiB,CACjC,IAAMG,EAAWb,EAAK,MAAM,GAAG,EACzBS,EAAQH,EAAO,IAAIO,EAAS,GAAG,EAAE,CAAE,GAAK,CAAC,EACzCC,EAAaD,EAAS,MAAM,EAAG,EAAE,EACvC,GAAIC,EAAW,OAAS,EAAG,OAAOL,EAAM,OAAO,GAASK,EAAW,QAAUV,EAAM,MAAM,QAAUU,EAAW,OAAO,EAAO,IAAUV,EAAM,MAAMA,EAAM,MAAM,OAASU,EAAW,OAASC,KAAWC,CAAK,CAAC,EAC5M,IAAK,IAAIC,EAAQL,EAAK,OAAQK,GAAS,EAAG,IAAS,CAC/C,IAAMC,EAAUT,EAAM,OAAO,GAASQ,GAASb,EAAM,MAAM,QAAUQ,EAAK,MAAM,EAAGK,CAAK,CAAC,CAAC,OAAO,EAAO,IAAUb,EAAM,MAAMW,KAAWC,CAAK,CAAC,EAC/I,GAAIE,EAAQ,OAAS,EAAG,OAAOA,CACnC,CACA,MAAO,CAAC,CACZ,EACIC,EAAU,WAAWR,CAAS,EAC5BR,EAAWE,EAAQ,IAAIM,CAAS,GAAK,CAAC,EACxCQ,EAAQ,SAAW,GAAKhB,EAAS,SAAW,IAAG,EAAU,WAAWA,EAAS,EAAE,GACnF,IAAMiB,EAASD,EAAQ,SAAW,EAAIA,EAAQ,EAAE,CAAC,KAAO,KAExD,OADAZ,EAAM,IAAIG,EAAKU,CAAM,EACdA,CACX,CACJ,EACMC,EAAO,OAAO7B,EAAS,OAAO,SAAS,CAAE,QAAO,WAAY8B,EAAM,WAAW,IAAI,IAAS,CAAE,KAAMC,EAAK,KAAM,QAAO,MAAK,EAAE,CAAC,CAAC,EAC7HC,EAAiB,OAAOhC,EAAS,OAAO,SAAS,CAAE,QAAO,WAAY8B,EAAM,SAAS,IAAI,IAAY,CAAE,KAAMG,EAAQ,KAAM,QAAO,KAAM,CAAE,UAAS,OAAM,CAAE,EAAE,CAAC,CAAC,EAC/JC,kBAAU,IAAI,IACpB,IAAK,IAAMC,KAAUjC,EAAY,SAAW,CAAC,EACrCgC,EAAQ,IAAIC,EAAO,IAAI,GAAGC,EAAQ,MAAMC,EAAgB,yBAA0B,WAAWF,EAAO,KAAK,+BAAgCA,EAAO,QAAQ,EAC5JD,EAAQ,IAAIC,EAAO,MAAOD,EAAQ,IAAIC,EAAO,IAAI,GAAK,GAAK,CAAC,EAEhE,IAAM,UAAY,EAAuC,EAAc,EAAqB,KAA2D,CACnJ,GAAM,CAAC3B,EAAM,GAAG8B,GAAUC,EAAK,MAAM,GAAG,EAClCZ,EAAUa,EAAW,OAAO,GAAYC,EAAS,OAASjC,CAAI,EACpE,GAAImB,EAAQ,SAAW,EAAG,MAAO,CAAE,KAAM,KAAM,QAASA,EAAQ,SAAW,CAAE,EAC7E,IAAMlB,EAAOkB,EAAQ,EAAE,CAAC,KACxB,GAAIW,EAAO,SAAW,EAAG,MAAO,CAAE,OAAM,QAAS,EAAM,EACvD,IAAMI,EAAOnC,EAAW,IAAIE,EAAK,IAAI,EACrC,GAAIiC,IAAS,IAAA,GAAW,MAAO,CAAE,KAAM,KAAM,QAAShC,EAAM,IAAID,EAAK,IAAI,CAAE,EAC3E,IAAMkC,EAAW,SAAS,CAAC,GAAGD,EAAK,OAAO,CAAC,EAAGJ,EAAO,KAAK,GAAG,EAAGM,CAAkB,EAClF,OAAOD,EAAS,OAAS,KAAOA,EAAW,CAAE,KAAM,CAAE,GAAGA,EAAS,KAAM,WAAYC,GAAsBnC,EAAK,YAAckC,EAAS,KAAK,WAAY,aAAclC,EAAK,cAAgBkC,EAAS,KAAK,YAAa,EAAG,QAAS,EAAM,CAC1O,EACM,SAAW,EAAqB,EAAc,EAA+B,EAA+B,kBAAO,IAAI,MAA2B,CACpJ,GAAIE,EAAS,IAAIN,CAAI,GAAK9B,EAAK,YAAc,CAACqC,EAAS,IAAIP,CAAI,EAAG,MAAO,GACzE,GAAI9B,EAAK,cAAgBsC,EAAK,IAAItC,EAAK,IAAI,EAAG,MAAO,GACrD,IAAM+B,EAAajC,EAAW,IAAIE,EAAK,IAAI,EAE3C,OADI+B,IAAe,IAAA,GAAkBM,EAAS,IAAIP,CAAI,GAAK,CAAC7B,EAAM,IAAID,EAAK,IAAI,EACxE,CAAC,GAAG+B,EAAW,OAAO,CAAC,CAAC,CAAC,MAAM,GAAY,QAAQC,EAAS,KAAM,GAAGF,EAAK,GAAGE,EAAS,OAAQI,EAAUC,kBAAU,IAAI,IAAI,CAAC,GAAGC,EAAMtC,EAAK,IAAI,CAAC,CAAC,CAAC,CAC3J,EACM,eAAiB,EAAwC,IAAiC,CAC5F,GAAIe,EAAM,OAAS,wBAA0Bf,EAAK,aAAc,OAAOe,EAAM,MAAM,MAAM,GAAQ,cAAcwB,EAAM,CAAE,GAAGvC,EAAM,aAAc,GAAO,WAAY,EAAM,CAAC,CAAC,EACzK,IAAM+B,EAAajC,EAAW,IAAIE,EAAK,IAAI,EAE3C,OADIe,EAAM,OAAS,0BAA4BgB,IAAe,IAAA,IACvD,CAAC,GAAGA,EAAW,OAAO,CAAC,CAAC,CAAC,MAAM,IAAaC,EAAS,KAAK,YAAcjB,EAAM,QAAQ,KAAK,GAAUyB,EAAO,OAASR,EAAS,IAAI,IAAMjB,EAAM,QAAQ,OAAO,GAAUyB,EAAO,OAASR,EAAS,IAAI,CAAC,CAAC,MAAM,GAAU,cAAcQ,EAAO,MAAOR,EAAS,IAAI,CAAC,CAAC,CAC5Q,EACM,SAAY,GACVjB,EAAM,OAAS,0BAAkC,OAAOA,EAAM,OAAU,UAAY,OAAO,SAASA,EAAM,KAAK,EAC/GA,EAAM,OAAS,yBAAiCA,EAAM,QAAQ,MAAM,GAAU,SAASyB,EAAO,KAAK,CAAC,EACjGzB,EAAM,OAAS,wBAA0BA,EAAM,MAAM,MAAM,QAAQ,EAExE,kBAAoB,EAA4C,EAA4B,EAA+B,EAAmB,IAAmC,CACnL,IAAM0B,kBAAQ,IAAI,IACZC,EAAW,IAAI,IAAIN,EAAS,IAAI,GAAWO,EAAQ,QAAQ,CAAC,EAC5DC,kBAAgB,IAAI,IAC1B,IAAK,IAAMD,KAAWP,EAAU,CAC5B,IAAMxB,EAAW+B,EAAQ,SAAS,MAAM,GAAG,EAC3C,IAAK,IAAI3B,EAAQ,EAAGA,GAASJ,EAAS,OAAQ,IAASgC,EAAc,IAAIhC,EAAS,MAAM,EAAGI,CAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAC/G,CACA,IAAK,IAAM2B,KAAWP,EAAU,CACxBK,EAAM,IAAIE,EAAQ,QAAQ,GAAGhB,EAAQ,MAAMC,EAAgB,wBAAyB,sCAAsCe,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACpKF,EAAM,IAAIE,EAAQ,QAAQ,EAC1B,IAAME,EAAS,SAASC,EAAU,OAAQH,EAAQ,SAAU,EAAK,EAEjE,GADIE,EAAO,SAASlB,EAAQ,MAAMC,EAAgB,wBAAyB,cAAckB,EAAU,KAAK,uBAAuBH,EAAQ,SAAS,IAAKA,EAAQ,QAAQ,EACjKE,EAAO,OAAS,KAAM,SAC1B,IAAME,EAAiBJ,EAAQ,SAAS,MAAM,GAAG,EACjD,IAAK,IAAI3B,EAAQ,EAAGA,EAAQ+B,EAAe,OAAQ,IAAaL,EAAS,IAAIK,EAAe,MAAM,EAAG/B,CAAK,CAAC,CAAC,KAAK,GAAG,CAAC,GACjHW,EAAQ,MAAMC,EAAgB,wBAAyB,4BAA4Be,EAAQ,SAAS,mCAAoCA,EAAQ,QAAQ,EAC5J,GAAInB,IAAY,MAAQmB,EAAQ,OAAO,OAAS,uBAAwB,CACpE,IAAIN,EAAW,SAASb,EAAQ,WAAYmB,EAAQ,OAAO,IAAI,EACzD/B,EAAW+B,EAAQ,OAAO,KAAK,MAAM,GAAG,EACxCK,GAASC,EAAmB,IAAIzB,CAAO,GAAK,CAAC,EAAA,CAAG,OAAO,IAAS0B,EAAK,OAASA,EAAK,aAAetC,EAAS,EAAE,EACnH,GAAIyB,EAAS,SAAWW,EAAM,OAAS,EAAG,CACtC,EAAW,CAAE,KAAM,KAAM,QAAS,EAAM,EACxC,IAAMG,EAAeH,EAAM,SAAW,EAAI5B,EAAK4B,EAAM,EAAE,CAAC,UAAWI,CAAK,EAAI,KACxExC,EAAS,OAAS,GAAKuC,IAAiB,OAAM,EAAW,SAASA,EAAa,WAAYvC,EAAS,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAC9H,CACIyB,EAAS,SAASV,EAAQ,MAAMC,EAAgB,wBAAyB,YAAYJ,EAAQ,KAAK,wBAAwBmB,EAAQ,OAAO,KAAK,IAAKA,EAAQ,OAAO,QAAQ,EAC9K,IAAMU,EAAShB,EAAS,KAClBrC,EAAO6C,EAAO,KAChBQ,IAAW,MAAQpD,EAAM,IAAIoD,EAAO,IAAI,GAAKpD,EAAM,IAAID,EAAK,IAAI,IAAMqD,EAAO,OAASrD,EAAK,MAAQqD,EAAO,eAAiBrD,EAAK,cAAgBqD,EAAO,YAAc,CAACrD,EAAK,aAC3K2B,EAAQ,MAAMC,EAAgB,wBAAyB,WAAWe,EAAQ,OAAO,KAAK,gCAAgCA,EAAQ,SAAS,kBAAkBG,EAAU,KAAK,IAAKH,EAAQ,OAAO,QAAQ,CAC5M,KAAW,CAAC,0BAA2B,yBAA0B,sBAAsB,CAAC,CAAC,SAASA,EAAQ,OAAO,IAAI,IAC7G,CAACW,EAAgBX,EAAQ,OAAQE,EAAO,KAAMjD,EAAUE,CAAU,GAAKyD,GAAY,CAAC,cAAcZ,EAAQ,OAAQE,EAAO,IAAI,IAAGlB,EAAQ,MAAMC,EAAgB,wBAAyB,qCAAqCe,EAAQ,SAAS,kBAAkBG,EAAU,KAAK,IAAKH,EAAQ,OAAO,QAAQ,CAEtT,CACA,GAAIY,EAAe,IAAA,IAAMC,KAASV,EAAU,OACnC,QAAQU,EAAM,KAAMA,EAAM,KAAMf,EAAOG,CAAa,GAAGjB,EAAQ,MAAMC,EAAgB,wBAAyB,4BAA4BkB,EAAU,KAAK,0CAA0CU,EAAM,KAAK,IAAKV,EAAU,QAAQ,CAElP,EACA,IAAK,GAAM,CAAE,QAAO,WAAWvD,EAAS,OAAQ,CAC5C,IAAMkE,EAAaC,EAAsBrC,CAAK,EACxCoB,EAAQ,IAAI,IAAIkB,EAAkBtC,CAAK,CAAC,CAAC,IAAI,GAASuC,EAAM,IAAI,CAAC,EACvE,IAAK,IAAMd,KAAaW,EAAY,CAC5BhB,EAAM,IAAIK,EAAU,IAAI,GAAGnB,EAAQ,MAAMC,EAAgB,+BAAgC,cAAckB,EAAU,KAAK,uDAAuDzB,EAAM,KAAK,IAAKyB,EAAU,QAAQ,EACnNL,EAAM,IAAIK,EAAU,IAAI,EACpBA,EAAU,KAAK,OAAS,GAAKrB,EAAQ,IAAIqB,EAAU,IAAI,IAAM,GAAGnB,EAAQ,MAAMC,EAAgB,uBAAwB,cAAckB,EAAU,KAAK,mCAAmCA,EAAU,KAAK,8BAA+BA,EAAU,cAAgBA,EAAU,QAAQ,EACpR,IAAK,IAAMU,KAASV,EAAU,OACtB,CAAC7C,EAAM,IAAIuD,EAAM,KAAK,IAAI,GAAK,CAACtD,EAAS,IAAIsD,EAAM,KAAK,IAAI,GAAG7B,EAAQ,QAAQC,EAAgB,YAAa,iBAAiB4B,EAAM,KAAK,KAAK,cAAcA,EAAM,KAAK,kBAAkBV,EAAU,KAAK,IAAKU,EAAM,KAAK,QAAQ,CAE3O,CACA,IAAK,IAAMhC,KAAWH,EAAM,SAAU,IAAK,IAAMwC,KAAcrC,EAAQ,SAAU,CAC7E,IAAMsC,EAAavE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,EACvDyC,EAAW,OAAA,aAA8CA,EAAW,WAAW,KAAK,GAAQxC,EAAK,OAAA,WAA0C,GAAGK,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeiC,EAAW,MAAM,iBAAkBA,EAAW,QAAQ,EAC7QA,EAAW,MAAM,SAAS,GAAG,GAAKC,EAAW,OAAA,aAA4CnC,EAAQ,MAAMC,EAAgB,2BAA4B,+EAAgFiC,EAAW,QAAQ,EACtPC,EAAW,aAAa,KAAK,OAAS,qBACtCD,EAAW,MAAQ,MAAQA,EAAW,KAAK,OAAS,IAAGlC,EAAQ,MAAMC,EAAgB,4BAA6B,mEAAoEiC,EAAW,QAAQ,EAC7M,iBAAiBA,EAAW,SAAUC,EAAW,YAAY,KAAMtC,EAAS,GAAM4B,CAAK,EAC3F,CACA,IAAK,IAAMS,KAAcxC,EAAM,UAAU,QAAQ,GAAY0C,EAAS,QAAQ,CAAC,CAAC,QAAQ,GAAWC,EAAQ,QAAQ,EAAG,CAClH,IAAMF,EAAavE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,EACvDyC,EAAW,OAAA,aAA8CA,EAAW,WAAW,KAAK,GAAQxC,EAAK,OAAA,WAA0C,GAAGK,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeiC,EAAW,MAAM,iBAAkBA,EAAW,QAAQ,EAC7QA,EAAW,MAAM,SAAS,GAAG,GAAKtE,EAAS,QAAQsE,EAAW,MAAOxC,CAAK,CAAC,CAAC,OAAA,aAA4CM,EAAQ,MAAMC,EAAgB,2BAA4B,+EAAgFiC,EAAW,QAAQ,EACrRtE,EAAS,YAAYsE,EAAYxC,CAAK,GAAGM,EAAQ,MAAMC,EAAgB,wBAAyB,+CAAgDiC,EAAW,QAAQ,CAC3K,CACA,IAAK,IAAMI,KAAiB5C,EAAM,eAAgB,CAC9C,IAAM6C,EAAQ,CAAC,GAAGD,EAAc,wBAA0B,CAAC,EAAG,GAAGA,EAAc,gBAAkB,CAAC,EAAG,GAAGA,EAAc,iBAAmB,CAAC,CAAC,EAC3I,GAAIC,EAAM,SAAW,EAAG,SACxB,IAAM1C,EAAUD,EAAe7B,EAAiBuE,EAAc,KAAMb,CAAK,CAAC,EAAE,aAAe,GAAIA,CAAK,GAChG5B,IAAY,MAAQyC,EAAc,eAAiB,MAAQA,EAAc,YAAc,MAAQA,EAAc,cAAgB,MAAQA,EAAc,YAAc,MAAQA,EAAc,cAAgB,OACvMtC,EAAQ,MAAMC,EAAgB,8BAA+B,uEAAwEqC,EAAc,QAAQ,EAC/J,IAAME,kBAAa,IAAI,IACvB,IAAK,IAAMC,KAAQF,EAAO,CACtB,GAAIE,EAAK,OAAS,+BAAqC,IAAA,IAAMzB,KAAWyB,EAAK,OACpE,SAASzB,EAAQ,MAAM,GAAGhB,EAAQ,MAAMC,EAAgB,8BAA+B,sDAAuDe,EAAQ,OAAO,QAAQ,EAE9K,IAAMrB,EAAO/B,EAAS,QAAQ6E,EAAK,UAAW/C,CAAK,CAAC,CAAC,aAAa,KAClE,GAAIC,GAAM,OAAS,kBAAmB,CAClCK,EAAQ,MAAMC,EAAgB,8BAA+B,IAAIwC,EAAK,UAAU,sDAAuDA,EAAK,QAAQ,EACpJ,QACJ,CACA,IAAMC,EAAQF,EAAW,IAAI7C,CAAI,mBAAK,IAAI,IAK1C,GAJI+C,EAAM,IAAID,EAAK,IAAI,GAAGzC,EAAQ,MAAMC,EAAgB,8BAA+B,6BAA6BwC,EAAK,UAAU,IAAKA,EAAK,QAAQ,EACrJC,EAAM,IAAID,EAAK,IAAI,EACnBD,EAAW,IAAI7C,EAAM+C,CAAK,EACtBD,EAAK,OAAS,kCAAoC9C,EAAK,aAAe,MAAMK,EAAQ,MAAMC,EAAgB,8BAA+B,cAAcwC,EAAK,UAAU,6BAA8BA,EAAK,QAAQ,EACjN5C,IAAY,MAAQA,EAAQ,QAAQ,SAAW,KAAM,CACrD,IAAM8C,EAAW9C,EAAQ,QAAQ,SAAS,IAAI,GAAcjC,EAAS,QAAQsE,EAAW,MAAOrC,EAAQ,KAAK,CAAC,EACzG8C,EAAS,MAAM,GAAUnD,EAAO,OAAA,SAA0CA,EAAO,OAAA,WAA0C,GAAK,CAACmD,EAAS,KAAK,GAAUnD,EAAO,aAAa,OAASG,CAAI,GAC1LK,EAAQ,MAAMC,EAAgB,8BAA+B,YAAYJ,EAAQ,QAAQ,KAAK,gCAAgC4C,EAAK,UAAU,IAAKA,EAAK,QAAQ,CACvK,CACIA,EAAK,OAAS,gCAAgC,iBAAiBA,EAAK,OAAQ9C,EAAM,KAAM,GAAO8B,CAAK,CAC5G,CACJ,CACJ,CACJ,C"}

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

@@ -1 +1 @@
-{"version":3,"file":"ParserContext.js","names":["ParserContext","legacySourceOptions","context","reader","path","languages","sourceLocation","#diagnostics","first","second","entry","line","arguments_","parentIndent","child"],"sources":["../../../../../../Compiler/Parsing/ParserContext.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 { DiagnosticArgument } from '../Diagnostics/DiagnosticArgument';\nimport { Diagnostic } from '../Diagnostics/Diagnostic';\nimport { CommandStreamCandidates } from './CommandStreamCandidates';\nimport { SourceLocation, sourceLocation } from '../Diagnostics/SourceLocation';\nimport { PropertySyntax } from '../Syntax/Declarations';\nimport { legacySourceOptions, SourceOptions } from '../Syntax/SourceOptions';\nimport { InputUse } from './InputUses';\nimport { ContinuationValueUse } from './ContinuationValueUse';\nimport { GuardedInteractionBinding, InteractionAncestor } from './InteractionAlternatives';\nimport { InteractionBehavior } from './InteractionBehavior';\nimport { InteractionUse } from './InteractionUse';\nimport { LineReader } from './LineReader';\nimport { SourceLine } from './SourceLine';\n\n// What every parser shares while it reads one document: the line reader, the diagnostics found so far and\n// the file the document came from.\nexport class ParserContext {\n    readonly #diagnostics: Diagnostic[] = [];\n    // Authoring verification needs these committed values even though SyntaxJson omits them.\n    readonly triggerData: PropertySyntax[] = [];\n    readonly inputUses: InputUse[] = [];\n    readonly continuationValues: ContinuationValueUse[] = [];\n    readonly guardedInteractions: GuardedInteractionBinding[] = [];\n    readonly interactionBehaviors: InteractionBehavior[] = [];\n    readonly interactionUses: InteractionUse[] = [];\n    interactionAncestors: ReadonlyMap<number, readonly InteractionAncestor[]> = new Map();\n    scope: readonly string[] = [];\n    readonly languages: ReadonlySet<string>;\n    sourceOptions: SourceOptions = legacySourceOptions;\n    authoredDeclarations = false;\n    deferIdentityValidation = false;\n    streamCandidates?: CommandStreamCandidates;\n\n    // Structural enrichment of formerly opaque Legacy fields must not add diagnostics. Exact operands\n    // use the owning context so representability failures cannot turn into successful opaque syntax.\n    get valueContext(): ParserContext {\n        if (this.sourceOptions.numericMode === 'exact') return this;\n        const context = new ParserContext(this.reader, this.path, this.languages);\n        context.sourceOptions = this.sourceOptions;\n        return context;\n    }\n\n    constructor(readonly reader: LineReader, readonly path?: string, languages: ReadonlySet<string> = new Set(['csharp', 'java', 'typescript', 'react', 'html', 'sql'])) {\n        this.languages = languages;\n    }\n\n    get start(): SourceLocation {\n        return sourceLocation(1, 1, this.path);\n    }\n\n    get diagnostics(): readonly Diagnostic[] {\n        // Directive-shaped lines nobody claimed as a field are errors, wherever they sit.\n        if (this.nestedNumericDirectives.size > 0 && this.sourceOptions.numericMode !== 'legacy' && this.reader.atEnd) {\n            this.#diagnostics.push(...[...this.nestedNumericDirectives].sort((first, second) => first[0] - second[0]).map(entry => entry[1]));\n            this.nestedNumericDirectives.clear();\n        }\n        return this.#diagnostics;\n    }\n\n    // Directive-shaped lines below the top level, keyed by line number, still unclaimed as a field.\n    nestedNumericDirectives = new Map<number, Diagnostic>();\n\n    claimField(line: SourceLine): void {\n        this.nestedNumericDirectives.delete(line.number);\n    }\n\n    information(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'information', code, message, location, arguments: arguments_ });\n    }\n\n    error(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'error', code, message, location, arguments: arguments_ });\n    }\n\n    warning(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'warning', code, message, location, arguments: arguments_ });\n    }\n\n    // The next significant line when it is indented deeper than its parent - that is, when it belongs to\n    // the parent's body under the offside rule.\n    peekChild(parentIndent: number): SourceLine | undefined {\n        const line = this.reader.peekSignificant();\n        return line !== undefined && line.indent > parentIndent ? line : undefined;\n    }\n\n    // Skips the body of a construct, the way the C# parser does after reporting it.\n    skipBlock(parentIndent: number): void {\n        while (this.peekChild(parentIndent) !== undefined) {\n            this.reader.takeSignificant();\n        }\n    }\n\n    // Skips the body of a construct this compiler deliberately does not model. Unlike skipBlock it steps\n    // over fenced code blocks whole, because a fenced line may be indented less than the block it is in -\n    // reading it as significant would end the skip early and misread the code as Screenplay.\n    skipOpaqueBlock(parentIndent: number): void {\n        let child = this.peekChild(parentIndent);\n        while (child !== undefined) {\n            this.reader.takeSignificant();\n            if (child.content.startsWith('```')) {\n                this.skipFencedBody();\n            }\n            child = this.peekChild(parentIndent);\n        }\n    }\n\n    // Takes the raw lines of a fenced block up to and including its closing fence.\n    skipFencedBody(): void {\n        for (let line = this.reader.takeRaw(); line !== undefined; line = this.reader.takeRaw()) {\n            if (line.raw.trim() === '```') {\n                return;\n            }\n        }\n    }\n}\n"],"mappings":"wLAmBA,IAAaA,EAAb,MAAa,aAAc,CA0BF,OAA6B,KAzBlD,GAAsC,CAAC,EAEvC,YAAyC,CAAC,EAC1C,UAAiC,CAAC,EAClC,mBAAsD,CAAC,EACvD,oBAA4D,CAAC,EAC7D,qBAAuD,CAAC,EACxD,gBAA6C,CAAC,EAC9C,qCAA4E,IAAI,IAChF,MAA2B,CAAC,EAC5B,UACA,cAA+BC,EAC/B,qBAAuB,GACvB,wBAA0B,GAC1B,iBAIA,IAAI,cAA8B,CAC9B,GAAI,KAAK,cAAc,cAAgB,QAAS,OAAO,KACvD,IAAMC,EAAU,IAAI,cAAc,KAAK,OAAQ,KAAK,KAAM,KAAK,SAAS,EAExE,MADA,GAAQ,cAAgB,KAAK,cACtBA,CACX,CAEA,YAAY,EAA6B,EAAwB,kBAAiC,IAAI,IAAI,CAAC,SAAU,OAAQ,aAAc,QAAS,OAAQ,KAAK,CAAC,EAAG,CAAhJ,KAAA,OAAAC,EAA6B,KAAA,KAAAC,EAC9C,KAAK,UAAYC,CACrB,CAEA,IAAI,OAAwB,CACxB,OAAOC,EAAe,EAAG,EAAG,KAAK,IAAI,CACzC,CAEA,IAAI,aAAqC,CAMrC,OAJI,KAAK,wBAAwB,KAAO,GAAK,KAAK,cAAc,cAAgB,UAAY,KAAK,OAAO,QACpG,KAAKC,GAAa,KAAK,GAAG,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC,MAAM,EAAO,IAAWC,EAAM,GAAKC,EAAO,EAAE,CAAC,CAAC,IAAI,GAASC,EAAM,EAAE,CAAC,EAChI,KAAK,wBAAwB,MAAM,GAEhC,KAAKH,EAChB,CAGA,wCAA0B,IAAI,IAE9B,WAAW,EAAwB,CAC/B,KAAK,wBAAwB,OAAOI,EAAK,MAAM,CACnD,CAEA,YAAY,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CACtI,KAAKJ,GAAa,KAAK,CAAE,SAAU,cAAe,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CACtG,CAEA,MAAM,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CAChI,KAAKL,GAAa,KAAK,CAAE,SAAU,QAAS,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CAChG,CAEA,QAAQ,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CAClI,KAAKL,GAAa,KAAK,CAAE,SAAU,UAAW,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CAClG,CAIA,UAAU,EAA8C,CACpD,IAAMD,EAAO,KAAK,OAAO,gBAAgB,EACzC,OAAOA,IAAS,IAAA,IAAaA,EAAK,OAASE,EAAeF,EAAO,IAAA,EACrE,CAGA,UAAU,EAA4B,CAClC,KAAO,KAAK,UAAUE,CAAY,IAAM,IAAA,IACpC,KAAK,OAAO,gBAAgB,CAEpC,CAKA,gBAAgB,EAA4B,CACxC,IAAIC,EAAQ,KAAK,UAAUD,CAAY,EACvC,KAAOC,IAAU,IAAA,IACb,KAAK,OAAO,gBAAgB,EACxBA,EAAM,QAAQ,WAAW,KAAK,GAC9B,KAAK,eAAe,EAExB,EAAQ,KAAK,UAAUD,CAAY,CAE3C,CAGA,gBAAuB,CACnB,IAAK,IAAIF,EAAO,KAAK,OAAO,QAAQ,EAAGA,IAAS,IAAA,GAAW,EAAO,KAAK,OAAO,QAAQ,EAClF,GAAIA,EAAK,IAAI,KAAK,IAAM,MACpB,MAGZ,CACJ"}
+{"version":3,"file":"ParserContext.js","names":["ParserContext","legacySourceOptions","context","reader","path","languages","sourceLocation","#diagnostics","first","second","entry","line","arguments_","parentIndent","child"],"sources":["../../../../../../Compiler/Parsing/ParserContext.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 { DiagnosticArgument } from '../Diagnostics/DiagnosticArgument';\nimport { Diagnostic } from '../Diagnostics/Diagnostic';\nimport { CommandStreamCandidates } from './CommandStreamCandidates';\nimport { SourceLocation, sourceLocation } from '../Diagnostics/SourceLocation';\nimport { PropertySyntax } from '../Syntax/Declarations';\nimport { legacySourceOptions, SourceOptions } from '../Syntax/SourceOptions';\nimport { InputUse } from './InputUses';\nimport { ContinuationValueUse } from './ContinuationValueUse';\nimport { GuardedInteractionBinding, InteractionAncestor } from './InteractionAlternatives';\nimport { InteractionBehavior } from './InteractionBehavior';\nimport { InteractionUse } from './InteractionUse';\nimport { LineReader } from './LineReader';\nimport { SourceLine } from './SourceLine';\n\n// What every parser shares while it reads one document: the line reader, the diagnostics found so far and\n// the file the document came from.\nexport class ParserContext {\n    readonly #diagnostics: Diagnostic[] = [];\n    // Authoring verification needs these committed values even though SyntaxJson omits them.\n    readonly triggerData: PropertySyntax[] = [];\n    readonly inputUses: InputUse[] = [];\n    readonly continuationValues: ContinuationValueUse[] = [];\n    readonly guardedInteractions: GuardedInteractionBinding[] = [];\n    readonly interactionBehaviors: InteractionBehavior[] = [];\n    readonly interactionUses: InteractionUse[] = [];\n    interactionAncestors: ReadonlyMap<number, readonly InteractionAncestor[]> = new Map();\n    scope: readonly string[] = [];\n    readonly languages: ReadonlySet<string>;\n    sourceOptions: SourceOptions = legacySourceOptions;\n    authoredDeclarations = false;\n    deferIdentityValidation = false;\n    streamCandidates?: CommandStreamCandidates;\n\n    // Structural enrichment of formerly opaque Legacy fields must not add diagnostics. Exact operands\n    // use the owning context so representability failures cannot turn into successful opaque syntax.\n    get valueContext(): ParserContext {\n        if (this.sourceOptions.numericMode === 'exact') return this;\n        const context = new ParserContext(this.reader, this.path, this.languages);\n        context.sourceOptions = this.sourceOptions;\n        return context;\n    }\n\n    constructor(readonly reader: LineReader, readonly path?: string, languages: ReadonlySet<string> = new Set(['csharp', 'java', 'typescript', 'react', 'html', 'sql'])) {\n        this.languages = languages;\n    }\n\n    get start(): SourceLocation {\n        return sourceLocation(1, 1, this.path);\n    }\n\n    get diagnostics(): readonly Diagnostic[] {\n        // Directive-shaped lines nobody claimed as a field are errors, wherever they sit.\n        if (this.nestedNumericDirectives.size > 0 && this.sourceOptions.numericMode !== 'legacy' && this.reader.atEnd) {\n            this.#diagnostics.push(...[...this.nestedNumericDirectives].sort((first, second) => first[0] - second[0]).map(entry => entry[1]));\n            this.nestedNumericDirectives.clear();\n        }\n        return this.#diagnostics;\n    }\n\n    // Directive-shaped lines below the top level, keyed by line number, still unclaimed as a field.\n    nestedNumericDirectives = new Map<number, Diagnostic>();\n\n    claimField(line: SourceLine): void {\n        this.nestedNumericDirectives.delete(line.number);\n    }\n\n    information(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'information', code, message, location, arguments: arguments_ });\n    }\n\n    error(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'error', code, message, location, arguments: arguments_ });\n    }\n\n    warning(code: string, message: string, location: SourceLocation, arguments_: Readonly<Record<string, DiagnosticArgument>> = {}): void {\n        this.#diagnostics.push({ severity: 'warning', code, message, location, arguments: arguments_ });\n    }\n\n    // The next significant line when it is indented deeper than its parent - that is, when it belongs to\n    // the parent's body under the offside rule.\n    peekChild(parentIndent: number): SourceLine | undefined {\n        const line = this.reader.peekSignificant();\n        return line !== undefined && line.indent > parentIndent ? line : undefined;\n    }\n\n    // Skips the body of a construct, the way the C# parser does after reporting it.\n    skipBlock(parentIndent: number): void {\n        while (this.peekChild(parentIndent) !== undefined) {\n            this.reader.takeSignificant();\n        }\n    }\n\n    // Skips the body of a construct this compiler deliberately does not model. Unlike skipBlock it steps\n    // over fenced code blocks whole, because a fenced line may be indented less than the block it is in -\n    // reading it as significant would end the skip early and misread the code as Screenplay.\n    skipOpaqueBlock(parentIndent: number): void {\n        let child = this.peekChild(parentIndent);\n        while (child !== undefined) {\n            this.reader.takeSignificant();\n            if (child.content.startsWith('```')) {\n                this.skipFencedBody();\n            }\n            child = this.peekChild(parentIndent);\n        }\n    }\n\n    // Takes the raw lines of a fenced block up to and including its closing fence.\n    skipFencedBody(): void {\n        for (let line = this.reader.takeRaw(); line !== undefined; line = this.reader.takeRaw()) {\n            if (line.raw.trim() === '```') {\n                return;\n            }\n        }\n    }\n}\n"],"mappings":"A,wLAmBA,IAAaA,EAAb,MAAa,aAAc,CA0BF,OAA6B,KAzBlD,GAAsC,CAAC,EAEvC,YAAyC,CAAC,EAC1C,UAAiC,CAAC,EAClC,mBAAsD,CAAC,EACvD,oBAA4D,CAAC,EAC7D,qBAAuD,CAAC,EACxD,gBAA6C,CAAC,EAC9C,qCAA4E,IAAI,IAChF,MAA2B,CAAC,EAC5B,UACA,cAA+BC,EAC/B,qBAAuB,GACvB,wBAA0B,GAC1B,iBAIA,IAAI,cAA8B,CAC9B,GAAI,KAAK,cAAc,cAAgB,QAAS,OAAO,KACvD,IAAMC,EAAU,IAAI,cAAc,KAAK,OAAQ,KAAK,KAAM,KAAK,SAAS,EAExE,MADA,GAAQ,cAAgB,KAAK,cACtBA,CACX,CAEA,YAAY,EAA6B,EAAwB,kBAAiC,IAAI,IAAI,CAAC,SAAU,OAAQ,aAAc,QAAS,OAAQ,KAAK,CAAC,EAAG,CAAhJ,KAAA,OAAAC,EAA6B,KAAA,KAAAC,EAC9C,KAAK,UAAYC,CACrB,CAEA,IAAI,OAAwB,CACxB,OAAOC,EAAe,EAAG,EAAG,KAAK,IAAI,CACzC,CAEA,IAAI,aAAqC,CAMrC,OAJI,KAAK,wBAAwB,KAAO,GAAK,KAAK,cAAc,cAAgB,UAAY,KAAK,OAAO,QACpG,KAAKC,GAAa,KAAK,GAAG,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC,MAAM,EAAO,IAAWC,EAAM,GAAKC,EAAO,EAAE,CAAC,CAAC,IAAI,GAASC,EAAM,EAAE,CAAC,EAChI,KAAK,wBAAwB,MAAM,GAEhC,KAAKH,EAChB,CAGA,wCAA0B,IAAI,IAE9B,WAAW,EAAwB,CAC/B,KAAK,wBAAwB,OAAOI,EAAK,MAAM,CACnD,CAEA,YAAY,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CACtI,KAAKJ,GAAa,KAAK,CAAE,SAAU,cAAe,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CACtG,CAEA,MAAM,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CAChI,KAAKL,GAAa,KAAK,CAAE,SAAU,QAAS,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CAChG,CAEA,QAAQ,EAAc,EAAiB,EAA0B,EAA2D,CAAC,EAAS,CAClI,KAAKL,GAAa,KAAK,CAAE,SAAU,UAAW,OAAM,UAAS,WAAU,UAAWK,CAAW,CAAC,CAClG,CAIA,UAAU,EAA8C,CACpD,IAAMD,EAAO,KAAK,OAAO,gBAAgB,EACzC,OAAOA,IAAS,IAAA,IAAaA,EAAK,OAASE,EAAeF,EAAO,IAAA,EACrE,CAGA,UAAU,EAA4B,CAClC,KAAO,KAAK,UAAUE,CAAY,IAAM,IAAA,IACpC,KAAK,OAAO,gBAAgB,CAEpC,CAKA,gBAAgB,EAA4B,CACxC,IAAIC,EAAQ,KAAK,UAAUD,CAAY,EACvC,KAAOC,IAAU,IAAA,IACb,KAAK,OAAO,gBAAgB,EACxBA,EAAM,QAAQ,WAAW,KAAK,GAC9B,KAAK,eAAe,EAExB,EAAQ,KAAK,UAAUD,CAAY,CAE3C,CAGA,gBAAuB,CACnB,IAAK,IAAIF,EAAO,KAAK,OAAO,QAAQ,EAAGA,IAAS,IAAA,GAAW,EAAO,KAAK,OAAO,QAAQ,EAClF,GAAIA,EAAK,IAAI,KAAK,IAAM,MACpB,MAGZ,CACJ,E"}

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

@@ -1 +1 @@
-{"version":3,"file":"PersonaCallerValidator.js","names":["personas","application","persona","feature","features","slice","specification","reference","count","name","context","DiagnosticCodes","module"],"sources":["../../../../../../Compiler/Parsing/PersonaCallerValidator.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 { ApplicationSyntax, FeatureSyntax } from '../Syntax/Structure';\nimport { ParserContext } from './ParserContext';\n\nexport function validatePersonaCallers(application: ApplicationSyntax, context: ParserContext): void {\n    const personas = application.personas.map(persona => persona.name);\n    const visit = (features: readonly FeatureSyntax[]): void => {\n        for (const feature of features) {\n            visit(feature.features);\n            for (const slice of feature.slices) {\n                for (const specification of slice.specifications) {\n                    const reference = specification.givenCallerPersona;\n                    if (reference != null) {\n                        const count = personas.filter(name => name === reference.name).length;\n                        if (count !== 1) context.error(DiagnosticCodes.InvalidSpecificationCallerPersona, `${count === 0 ? 'Unknown' : 'Ambiguous'} persona '${reference.name}' - declared personas: ${personas.join(', ')}.`, reference.location);\n                    }\n                }\n            }\n        }\n    };\n    for (const module of application.modules) visit(module.features);\n}\n"],"mappings":"yHAOA,SAAgB,uBAAuB,EAAgC,EAA8B,CACjG,IAAMA,EAAWC,EAAY,SAAS,IAAI,GAAWC,EAAQ,IAAI,EAC3D,MAAS,GAA6C,CACxD,IAAK,IAAMC,KAAWC,EAAU,CAC5B,MAAMD,EAAQ,QAAQ,EACtB,IAAK,IAAME,KAASF,EAAQ,OACxB,IAAK,IAAMG,KAAiBD,EAAM,eAAgB,CAC9C,IAAME,EAAYD,EAAc,mBAChC,GAAIC,GAAa,KAAM,CACnB,IAAMC,EAAQR,EAAS,OAAO,GAAQS,IAASF,EAAU,IAAI,CAAC,CAAC,OAC3DC,IAAU,GAAGE,EAAQ,MAAMC,EAAgB,kCAAmC,GAAGH,IAAU,EAAI,UAAY,YAAY,YAAYD,EAAU,KAAK,yBAAyBP,EAAS,KAAK,IAAI,EAAE,GAAIO,EAAU,QAAQ,CAC7N,CACJ,CAER,CACJ,EACA,IAAK,IAAMK,KAAUX,EAAY,QAAS,MAAMW,EAAO,QAAQ,CACnE"}
+{"version":3,"file":"PersonaCallerValidator.js","names":["personas","application","persona","feature","features","slice","specification","reference","count","name","context","DiagnosticCodes","module"],"sources":["../../../../../../Compiler/Parsing/PersonaCallerValidator.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 { ApplicationSyntax, FeatureSyntax } from '../Syntax/Structure';\nimport { ParserContext } from './ParserContext';\n\nexport function validatePersonaCallers(application: ApplicationSyntax, context: ParserContext): void {\n    const personas = application.personas.map(persona => persona.name);\n    const visit = (features: readonly FeatureSyntax[]): void => {\n        for (const feature of features) {\n            visit(feature.features);\n            for (const slice of feature.slices) {\n                for (const specification of slice.specifications) {\n                    const reference = specification.givenCallerPersona;\n                    if (reference != null) {\n                        const count = personas.filter(name => name === reference.name).length;\n                        if (count !== 1) context.error(DiagnosticCodes.InvalidSpecificationCallerPersona, `${count === 0 ? 'Unknown' : 'Ambiguous'} persona '${reference.name}' - declared personas: ${personas.join(', ')}.`, reference.location);\n                    }\n                }\n            }\n        }\n    };\n    for (const module of application.modules) visit(module.features);\n}\n"],"mappings":"A,yHAOA,SAAgB,uBAAuB,EAAgC,EAA8B,CACjG,IAAMA,EAAWC,EAAY,SAAS,IAAI,GAAWC,EAAQ,IAAI,EAC3D,MAAS,GAA6C,CACxD,IAAK,IAAMC,KAAWC,EAAU,CAC5B,MAAMD,EAAQ,QAAQ,EACtB,IAAK,IAAME,KAASF,EAAQ,OACxB,IAAK,IAAMG,KAAiBD,EAAM,eAAgB,CAC9C,IAAME,EAAYD,EAAc,mBAChC,GAAIC,GAAa,KAAM,CACnB,IAAMC,EAAQR,EAAS,OAAO,GAAQS,IAASF,EAAU,IAAI,CAAC,CAAC,OAC3DC,IAAU,GAAGE,EAAQ,MAAMC,EAAgB,kCAAmC,GAAGH,IAAU,EAAI,UAAY,YAAY,YAAYD,EAAU,KAAK,yBAAyBP,EAAS,KAAK,IAAI,EAAE,GAAIO,EAAU,QAAQ,CAC7N,CACJ,CAER,CACJ,EACA,IAAK,IAAMK,KAAUX,EAAY,QAAS,MAAMW,EAAO,QAAQ,CACnE,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{unescapeString as t}from"../Text/StringLiteral.js";import{nativePattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{parseModeledMappingSource as i}from"./ExpressionParser.js";import{firstWord as a}from"./LineText.js";import{parseDescription as o}from"./DescriptionParser.js";import{parseCode as s,parseFile as c}from"./ImplementationParser.js";const l=n(`^policy\\s+([A-Za-z_]\\w*)$`);function parsePolicy(t,n){let i=t;t=t.valueContext;let u=l.exec(n.content)?.[1]??``;u===``&&t.error(e.InvalidPolicyDeclaration,`Invalid policy declaration '${n.content}' - expected 'policy <Name>'`,r(n));let d=null,f=null,p=null,m=!1,h=null;for(let l=t.peekChild(n.indent);l!==void 0;l=t.peekChild(n.indent))if(t.reader.takeSignificant(),a(l.content)===`description`)h=o(i,l,h,`Policy '${u}'`);else if(a(l.content)===`require`){let n=l.content.substring(7).trim();for(let e=t.peekChild(l.indent);e!==void 0;e=t.peekChild(l.indent))t.reader.takeSignificant(),n+=` ${e.content}`;let a=tokenizePolicyCondition(t,n);a.includes(`not`)&&(t=i);let o=parsePolicyCondition(t,a,r(l),i);validateAnonymous(i,o,u,r(l)),m?t.error(e.RepeatedPolicyRequirement,`Policy '${u}' has more than one require line; combine the conditions with and/or in one require`,r(l)):d=o,m=!0}else if(a(l.content)===`file`){let n=c(t,l);f===null&&p===null?p=n:t.error(e.UnknownPolicyDirective,`Policy '${u}' must have only one implementation - a file reference or an inline code block, not both`,r(l))}else if(l.content.startsWith("```")||t.languages.has(l.content)){let n=s(t,l);f===null&&p===null?f=n:t.error(e.UnknownPolicyDirective,`Policy '${u}' must have only one implementation - a file reference or an inline code block, not both`,r(l))}else t.error(e.UnknownPolicyDirective,`Unexpected '${l.content}' in policy body - expected 'require ...', 'file <path>' or an inline code block`,r(l)),t.skipOpaqueBlock(l.indent);return d!==null&&(f!==null||p!==null)&&t.error(e.MixedPolicyImplementation,`Policy '${u}' cannot combine 'require' with a file or inline code block`,r(n)),d===null&&f===null&&p===null&&t.error(e.PolicyWithoutRequirement,`Policy '${u}' must declare a 'require' condition, a file reference or an inline code block`,r(n)),{kind:`PolicySyntax`,name:u,condition:d,code:f,file:p,description:h,location:r(n)}}function tokenizePolicyCondition(e,t){let r=e.sourceOptions.numericMode===`exact`?`-?[0-9]+(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?(?=$|[\\s()])|[\\w.$-]+|[^\\s]`:`[\\w.$]+`;return[...t.match(new RegExp(n(`"(?:[^"\\\\]|\\\\.)*"|\\(|\\)|${r}`).source,`gu`))??[]]}function parsePolicyCondition(n,r,a,o){let s=n.sourceOptions.numericMode===`exact`||r.includes(`not`),c=0,quoted=e=>e!==void 0&&e.startsWith(`"`)&&e.endsWith(`"`),unquote=e=>t(e.substring(1,e.length-1)),group=()=>{if(r[c]===`not`){c++;let e=group();return e===null?null:{kind:`NotPolicyConditionSyntax`,operand:e,location:a}}if(r[c]===`(`){c++;let t=or();return r[c]===`)`?c++:s&&n.error(e.UnclosedPolicyConditionGroup,`Expected ')' in policy condition`,a),t}let t=r[c++];if(t===`authenticated`)return{kind:`AuthenticatedConditionSyntax`,location:a};if(t===`anonymous`)return{kind:`AnonymousConditionSyntax`,location:a};if(t!==`role`&&t!==`claim`)return n.error(t===void 0?e.ExpectedPolicyCondition:e.UnexpectedTokenInPolicyCondition,t===void 0?`Expected a policy condition`:`Unexpected '${t}' in policy condition`,a),null;let l=r[c++];if(!quoted(l))return n.error(t===`role`?e.ExpectedRoleName:e.ExpectedClaimName,`Expected a quoted ${t} name after '${t}'`,a),null;if(t===`role`)return{kind:`RoleConditionSyntax`,role:unquote(l),location:a};if(r[c++]!==`matches`)return n.error(e.ExpectedClaimMatches,`Expected 'matches' after the claim name`,a),null;let u=r[c++];return u===void 0?(n.error(e.ExpectedClaimMatchTarget,`Expected 'subject' or a value after 'matches'`,a),null):{kind:`ClaimConditionSyntax`,claim:unquote(l),matchesSubject:u===`subject`,matches:u===`subject`?null:i(u,a,o),location:a}},and=()=>{let e=group();for(;e!==null&&r[c]===`and`;){c++;let t=group();if(t===null)return null;e={kind:`LogicalPolicyConditionSyntax`,left:e,operator:`And`,right:t,location:a}}return e},or=()=>{let e=and();for(;e!==null&&r[c]===`or`;){c++;let t=and();if(t===null)return null;e={kind:`LogicalPolicyConditionSyntax`,left:e,operator:`Or`,right:t,location:a}}return e},l=or();return s&&l!==null&&c<r.length&&n.error(e.UnexpectedTokenInPolicyCondition,`Unexpected '${r[c]}' in policy condition`,a),l}function validateAnonymous(t,n,r,i){n!==null&&n.kind!==`AnonymousConditionSyntax`&&containsAnonymous(n)&&(negatesAnonymous(n)?t.error(e.NegatedAnonymousPolicy,`Policy '${r}' negates 'anonymous'; a policy that refuses callers without an identity says 'require authenticated'`,i):t.error(e.AnonymousPolicyCombined,`Policy '${r}' combines 'anonymous' with another condition; 'anonymous' admits callers without an identity and must be the whole 'require' condition`,i))}function containsAnonymous(e){switch(e.kind){case`AnonymousConditionSyntax`:return!0;case`NotPolicyConditionSyntax`:return containsAnonymous(e.operand);case`LogicalPolicyConditionSyntax`:return containsAnonymous(e.left)||containsAnonymous(e.right);default:return!1}}function negatesAnonymous(e){switch(e.kind){case`NotPolicyConditionSyntax`:return containsAnonymous(e.operand);case`LogicalPolicyConditionSyntax`:return negatesAnonymous(e.left)||negatesAnonymous(e.right);default:return!1}}export{parsePolicy};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{unescapeString as t}from"../Text/StringLiteral.js";import{nativePattern as n}from"../Text/patterns.js";import{parseModeledMappingSource as r}from"./ExpressionParser.js";import{parseCode as i,parseFile as a}from"./ImplementationParser.js";import{firstWord as o}from"./LineText.js";import{parseDescription as s}from"./DescriptionParser.js";import{ConditionDepthBudget as c}from"./ConditionDepthBudget.js";import{locationOf as l}from"./SourceLine.js";const u=n(`^policy\\s+([A-Za-z_]\\w*)$`);function parsePolicy(t,n){let r=t;t=t.valueContext;let d=u.exec(n.content)?.[1]??``;d===``&&t.error(e.InvalidPolicyDeclaration,`Invalid policy declaration '${n.content}' - expected 'policy <Name>'`,l(n));let f=null,p=null,m=null,h=!1,g=!1,_=null;for(let u=t.peekChild(n.indent);u!==void 0;u=t.peekChild(n.indent))if(t.reader.takeSignificant(),o(u.content)===`description`)_=s(r,u,_,`Policy '${d}'`);else if(o(u.content)===`require`){let n=u.content.substring(7).trim();for(let e=t.peekChild(u.indent);e!==void 0;e=t.peekChild(u.indent))t.reader.takeSignificant(),n+=` ${e.content}`;let i=tokenizePolicyCondition(t,n);i.includes(`not`)&&(t=r);let a=new c(r,l(u)),o=parsePolicyCondition(t,i,l(u),r,a);g||=a.exceeded,validateAnonymous(r,o,d,l(u)),h?t.error(e.RepeatedPolicyRequirement,`Policy '${d}' has more than one require line; combine the conditions with and/or in one require`,l(u)):f=o,h=!0}else if(o(u.content)===`file`){let n=a(t,u);p===null&&m===null?m=n:t.error(e.UnknownPolicyDirective,`Policy '${d}' must have only one implementation - a file reference or an inline code block, not both`,l(u))}else if(u.content.startsWith("```")||t.languages.has(u.content)){let n=i(t,u);p===null&&m===null?p=n:t.error(e.UnknownPolicyDirective,`Policy '${d}' must have only one implementation - a file reference or an inline code block, not both`,l(u))}else t.error(e.UnknownPolicyDirective,`Unexpected '${u.content}' in policy body - expected 'require ...', 'file <path>' or an inline code block`,l(u)),t.skipOpaqueBlock(u.indent);return f!==null&&(p!==null||m!==null)&&t.error(e.MixedPolicyImplementation,`Policy '${d}' cannot combine 'require' with a file or inline code block`,l(n)),f===null&&p===null&&m===null&&!g&&t.error(e.PolicyWithoutRequirement,`Policy '${d}' must declare a 'require' condition, a file reference or an inline code block`,l(n)),{kind:`PolicySyntax`,name:d,condition:f,code:p,file:m,description:_,location:l(n)}}function tokenizePolicyCondition(e,t){let r=e.sourceOptions.numericMode===`exact`?`-?[0-9]+(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?(?=$|[\\s()])|[\\w.$-]+|[^\\s]`:`[\\w.$]+`;return[...t.match(new RegExp(n(`"(?:[^"\\\\]|\\\\.)*"|\\(|\\)|${r}`).source,`gu`))??[]]}function parsePolicyCondition(n,i,a,o,s){let c=n.sourceOptions.numericMode===`exact`||i.includes(`not`),l=0,quoted=e=>e!==void 0&&e.startsWith(`"`)&&e.endsWith(`"`),unquote=e=>t(e.substring(1,e.length-1)),group=()=>{if(i[l]===`not`||i[l]===`(`){if(!s.enter())return null;let t=i[l++]===`not`;try{if(t){let e=group();return e===null?null:s.build([e],()=>({kind:`NotPolicyConditionSyntax`,operand:e,location:a}))}let r=or();return s.exceeded?null:(i[l]===`)`?l++:c&&n.error(e.UnclosedPolicyConditionGroup,`Expected ')' in policy condition`,a),r)}finally{s.leave()}}let t=i[l++];if(t===`authenticated`)return{kind:`AuthenticatedConditionSyntax`,location:a};if(t===`anonymous`)return{kind:`AnonymousConditionSyntax`,location:a};if(t!==`role`&&t!==`claim`)return n.error(t===void 0?e.ExpectedPolicyCondition:e.UnexpectedTokenInPolicyCondition,t===void 0?`Expected a policy condition`:`Unexpected '${t}' in policy condition`,a),null;let u=i[l++];if(!quoted(u))return n.error(t===`role`?e.ExpectedRoleName:e.ExpectedClaimName,`Expected a quoted ${t} name after '${t}'`,a),null;if(t===`role`)return{kind:`RoleConditionSyntax`,role:unquote(u),location:a};if(i[l++]!==`matches`)return n.error(e.ExpectedClaimMatches,`Expected 'matches' after the claim name`,a),null;let d=i[l++];return d===void 0?(n.error(e.ExpectedClaimMatchTarget,`Expected 'subject' or a value after 'matches'`,a),null):{kind:`ClaimConditionSyntax`,claim:unquote(u),matchesSubject:d===`subject`,matches:d===`subject`?null:r(d,a,o),location:a}},and=()=>{let e=group();for(;e!==null&&i[l]===`and`;){l++;let t=group();if(t===null)return null;let n=e;e=s.build([n,t],()=>({kind:`LogicalPolicyConditionSyntax`,left:n,operator:`And`,right:t,location:a}))}return e},or=()=>{let e=and();for(;e!==null&&i[l]===`or`;){l++;let t=and();if(t===null)return null;let n=e;e=s.build([n,t],()=>({kind:`LogicalPolicyConditionSyntax`,left:n,operator:`Or`,right:t,location:a}))}return e},u=or();return c&&u!==null&&l<i.length&&n.error(e.UnexpectedTokenInPolicyCondition,`Unexpected '${i[l]}' in policy condition`,a),u}function validateAnonymous(t,n,r,i){n!==null&&n.kind!==`AnonymousConditionSyntax`&&containsAnonymous(n)&&(negatesAnonymous(n)?t.error(e.NegatedAnonymousPolicy,`Policy '${r}' negates 'anonymous'; a policy that refuses callers without an identity says 'require authenticated'`,i):t.error(e.AnonymousPolicyCombined,`Policy '${r}' combines 'anonymous' with another condition; 'anonymous' admits callers without an identity and must be the whole 'require' condition`,i))}function containsAnonymous(e){switch(e.kind){case`AnonymousConditionSyntax`:return!0;case`NotPolicyConditionSyntax`:return containsAnonymous(e.operand);case`LogicalPolicyConditionSyntax`:return containsAnonymous(e.left)||containsAnonymous(e.right);default:return!1}}function negatesAnonymous(e){switch(e.kind){case`NotPolicyConditionSyntax`:return containsAnonymous(e.operand);case`LogicalPolicyConditionSyntax`:return negatesAnonymous(e.left)||negatesAnonymous(e.right);default:return!1}}export{parsePolicy};
 //# sourceMappingURL=PolicyParser.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"PolicyParser.js","names":["pattern","parseMappingSource","headerPattern","nativePattern","diagnosticContext","context","name","header","DiagnosticCodes","locationOf","condition","code","file","hasRequire","description","line","firstWord","parseDescription","text","continuation","tokens","parsed","parseFile","parseCode","numeric","reportDiagnostics","position","token","unescapeString","operand","result","location","target","parseModeledMappingSource","expressionContext","left","right","policy"],"sources":["../../../../../../Compiler/Parsing/PolicyParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CodeBlockSyntax, FileReferenceSyntax } from '../Syntax/Implementations';\nimport { PolicyConditionSyntax, PolicySyntax } from '../Syntax/Policies';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { nativePattern as pattern } from '../Text/patterns';\nimport { parseModeledMappingSource as parseMappingSource } from './ExpressionParser';\nimport { parseCode, parseFile } from './ImplementationParser';\nimport { firstWord } from './LineText';\nimport { parseDescription } from './DescriptionParser';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst headerPattern = pattern('^policy\\\\s+([A-Za-z_]\\\\w*)$');\n\nexport function parsePolicy(context: ParserContext, header: SourceLine): PolicySyntax {\n    const diagnosticContext = context;\n    context = context.valueContext;\n    const name = headerPattern.exec(header.content)?.[1] ?? '';\n    if (name === '') context.error(DiagnosticCodes.InvalidPolicyDeclaration, `Invalid policy declaration '${header.content}' - expected 'policy <Name>'`, locationOf(header));\n    let condition: PolicyConditionSyntax | null = null;\n    let code: CodeBlockSyntax | null = null;\n    let file: FileReferenceSyntax | null = null;\n    let hasRequire = false;\n    let description: string | null = null;\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        if (firstWord(line.content) === 'description') {\n            description = parseDescription(diagnosticContext, line, description, `Policy '${name}'`);\n        } else if (firstWord(line.content) === 'require') {\n            let text = line.content.substring('require'.length).trim();\n            for (let continuation = context.peekChild(line.indent); continuation !== undefined; continuation = context.peekChild(line.indent)) {\n                context.reader.takeSignificant();\n                text += ` ${continuation.content}`;\n            }\n            const tokens = tokenizePolicyCondition(context, text);\n            // Negation is newly admitted syntax, not diagnostic-free enrichment of legacy fields.\n            if (tokens.includes('not')) context = diagnosticContext;\n            const parsed = parsePolicyCondition(context, tokens, locationOf(line), diagnosticContext);\n            validateAnonymous(diagnosticContext, parsed, name, locationOf(line));\n            if (hasRequire) context.error(DiagnosticCodes.RepeatedPolicyRequirement, `Policy '${name}' has more than one require line; combine the conditions with and/or in one require`, locationOf(line));\n            else condition = parsed;\n            hasRequire = true;\n        } else if (firstWord(line.content) === 'file') {\n            const parsed = parseFile(context, line);\n            if (code === null && file === null) file = parsed;\n            else context.error(DiagnosticCodes.UnknownPolicyDirective, `Policy '${name}' must have only one implementation - a file reference or an inline code block, not both`, locationOf(line));\n        } else if (line.content.startsWith('```') || context.languages.has(line.content)) {\n            const parsed = parseCode(context, line);\n            if (code === null && file === null) code = parsed;\n            else context.error(DiagnosticCodes.UnknownPolicyDirective, `Policy '${name}' must have only one implementation - a file reference or an inline code block, not both`, locationOf(line));\n        } else {\n            context.error(DiagnosticCodes.UnknownPolicyDirective, `Unexpected '${line.content}' in policy body - expected 'require ...', 'file <path>' or an inline code block`, locationOf(line));\n            context.skipOpaqueBlock(line.indent);\n        }\n    }\n    if (condition !== null && (code !== null || file !== null)) context.error(DiagnosticCodes.MixedPolicyImplementation, `Policy '${name}' cannot combine 'require' with a file or inline code block`, locationOf(header));\n    if (condition === null && code === null && file === null) context.error(DiagnosticCodes.PolicyWithoutRequirement, `Policy '${name}' must declare a 'require' condition, a file reference or an inline code block`, locationOf(header));\n    return { kind: 'PolicySyntax', name, condition, code, file, description, location: locationOf(header) };\n}\n\nfunction tokenizePolicyCondition(context: ParserContext, text: string): string[] {\n    const numeric = context.sourceOptions.numericMode === 'exact' ? '-?[0-9]+(?:\\\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?(?=$|[\\\\s()])|[\\\\w.$-]+|[^\\\\s]' : '[\\\\w.$]+';\n    return [...(text.match(new RegExp(pattern(`\"${stringBodyPattern}\"|\\\\(|\\\\)|${numeric}`).source, 'gu')) ?? [])];\n}\n\nfunction parsePolicyCondition(context: ParserContext, tokens: string[], location: SourceLocation, expressionContext: ParserContext): PolicyConditionSyntax | null {\n    const reportDiagnostics = context.sourceOptions.numericMode === 'exact' || tokens.includes('not');\n    let position = 0;\n    const quoted = (token: string | undefined): token is string => token !== undefined && token.startsWith('\"') && token.endsWith('\"');\n    const unquote = (token: string): string => unescapeString(token.substring(1, token.length - 1));\n    const group = (): PolicyConditionSyntax | null => {\n        if (tokens[position] === 'not') {\n            position++;\n            const operand = group();\n            return operand === null ? null : { kind: 'NotPolicyConditionSyntax', operand, location };\n        }\n        if (tokens[position] === '(') {\n            position++;\n            const result = or();\n            if (tokens[position] === ')') position++;\n            else if (reportDiagnostics) context.error(DiagnosticCodes.UnclosedPolicyConditionGroup, \"Expected ')' in policy condition\", location);\n            return result;\n        }\n        const token = tokens[position++];\n        if (token === 'authenticated') return { kind: 'AuthenticatedConditionSyntax', location };\n        if (token === 'anonymous') return { kind: 'AnonymousConditionSyntax', location };\n        if (token !== 'role' && token !== 'claim') {\n            context.error(token === undefined ? DiagnosticCodes.ExpectedPolicyCondition : DiagnosticCodes.UnexpectedTokenInPolicyCondition, token === undefined ? 'Expected a policy condition' : `Unexpected '${token}' in policy condition`, location);\n            return null;\n        }\n        const name = tokens[position++];\n        if (!quoted(name)) {\n            context.error(token === 'role' ? DiagnosticCodes.ExpectedRoleName : DiagnosticCodes.ExpectedClaimName, `Expected a quoted ${token} name after '${token}'`, location);\n            return null;\n        }\n        if (token === 'role') return { kind: 'RoleConditionSyntax', role: unquote(name), location };\n        if (tokens[position++] !== 'matches') {\n            context.error(DiagnosticCodes.ExpectedClaimMatches, \"Expected 'matches' after the claim name\", location);\n            return null;\n        }\n        const target = tokens[position++];\n        if (target === undefined) {\n            context.error(DiagnosticCodes.ExpectedClaimMatchTarget, \"Expected 'subject' or a value after 'matches'\", location);\n            return null;\n        }\n        return { kind: 'ClaimConditionSyntax', claim: unquote(name), matchesSubject: target === 'subject', matches: target === 'subject' ? null : parseMappingSource(target, location, expressionContext), location };\n    };\n    const and = (): PolicyConditionSyntax | null => {\n        let left = group();\n        while (left !== null && tokens[position] === 'and') { position++; const right = group(); if (right === null) return null; left = { kind: 'LogicalPolicyConditionSyntax', left, operator: 'And', right, location }; }\n        return left;\n    };\n    const or = (): PolicyConditionSyntax | null => {\n        let left = and();\n        while (left !== null && tokens[position] === 'or') { position++; const right = and(); if (right === null) return null; left = { kind: 'LogicalPolicyConditionSyntax', left, operator: 'Or', right, location }; }\n        return left;\n    };\n    const condition = or();\n    if (reportDiagnostics) {\n        if (condition !== null && position < tokens.length) context.error(DiagnosticCodes.UnexpectedTokenInPolicyCondition, `Unexpected '${tokens[position]}' in policy condition`, location);\n    }\n    return condition;\n}\n\nfunction validateAnonymous(context: ParserContext, condition: PolicyConditionSyntax | null, policy: string, location: SourceLocation): void {\n    if (condition === null || condition.kind === 'AnonymousConditionSyntax' || !containsAnonymous(condition)) return;\n    if (negatesAnonymous(condition)) {\n        context.error(DiagnosticCodes.NegatedAnonymousPolicy, `Policy '${policy}' negates 'anonymous'; a policy that refuses callers without an identity says 'require authenticated'`, location);\n        return;\n    }\n    context.error(DiagnosticCodes.AnonymousPolicyCombined, `Policy '${policy}' combines 'anonymous' with another condition; 'anonymous' admits callers without an identity and must be the whole 'require' condition`, location);\n}\n\nfunction containsAnonymous(condition: PolicyConditionSyntax): boolean {\n    switch (condition.kind) {\n        case 'AnonymousConditionSyntax': return true;\n        case 'NotPolicyConditionSyntax': return containsAnonymous(condition.operand);\n        case 'LogicalPolicyConditionSyntax': return containsAnonymous(condition.left) || containsAnonymous(condition.right);\n        default: return false;\n    }\n}\n\nfunction negatesAnonymous(condition: PolicyConditionSyntax): boolean {\n    switch (condition.kind) {\n        case 'NotPolicyConditionSyntax': return containsAnonymous(condition.operand);\n        case 'LogicalPolicyConditionSyntax': return negatesAnonymous(condition.left) || negatesAnonymous(condition.right);\n        default: return false;\n    }\n}\n"],"mappings":"+fAgBA,MAAME,EAAgBF,EAAQ,6BAA6B,EAE3D,SAAgB,YAAY,EAAwB,EAAkC,CAClF,IAAMI,EAAoBC,EAC1B,EAAUA,EAAQ,aAClB,IAAMC,EAAOJ,EAAc,KAAKK,EAAO,OAAO,CAAC,GAAG,IAAM,GACpDD,IAAS,IAAID,EAAQ,MAAMG,EAAgB,yBAA0B,+BAA+BD,EAAO,QAAQ,8BAA+BE,EAAWF,CAAM,CAAC,EACxK,IAAIG,EAA0C,KAC1CC,EAA+B,KAC/BC,EAAmC,KACnCC,EAAa,GACbC,EAA6B,KACjC,IAAK,IAAIC,EAAOV,EAAQ,UAAUE,EAAO,MAAM,EAAGQ,IAAS,IAAA,GAAW,EAAOV,EAAQ,UAAUE,EAAO,MAAM,EAExG,GADAF,EAAQ,OAAO,gBAAgB,EAC3BW,EAAUD,EAAK,OAAO,IAAM,cAC5B,EAAcE,EAAiBb,EAAmBW,EAAMD,EAAa,WAAWR,EAAK,EAAE,OACpF,GAAIU,EAAUD,EAAK,OAAO,IAAM,UAAW,CAC9C,IAAIG,EAAOH,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EACzD,IAAK,IAAII,EAAed,EAAQ,UAAUU,EAAK,MAAM,EAAGI,IAAiB,IAAA,GAAW,EAAed,EAAQ,UAAUU,EAAK,MAAM,EAC5HV,EAAQ,OAAO,gBAAgB,EAC/B,GAAQ,IAAIc,EAAa,UAE7B,IAAMC,EAAS,wBAAwBf,EAASa,CAAI,EAEhDE,EAAO,SAAS,KAAK,IAAG,EAAUhB,GACtC,IAAMiB,EAAS,qBAAqBhB,EAASe,EAAQX,EAAWM,CAAI,EAAGX,CAAiB,EACxF,kBAAkBA,EAAmBiB,EAAQf,EAAMG,EAAWM,CAAI,CAAC,EAC/DF,EAAYR,EAAQ,MAAMG,EAAgB,0BAA2B,WAAWF,EAAK,qFAAsFG,EAAWM,CAAI,CAAC,EAC1L,EAAYM,EACjB,EAAa,EACjB,MAAO,GAAIL,EAAUD,EAAK,OAAO,IAAM,OAAQ,CAC3C,IAAMM,EAASC,EAAUjB,EAASU,CAAI,EAClCJ,IAAS,MAAQC,IAAS,KAAM,EAAOS,EACtChB,EAAQ,MAAMG,EAAgB,uBAAwB,WAAWF,EAAK,0FAA2FG,EAAWM,CAAI,CAAC,CAC1L,MAAO,GAAIA,EAAK,QAAQ,WAAW,KAAK,GAAKV,EAAQ,UAAU,IAAIU,EAAK,OAAO,EAAG,CAC9E,IAAMM,EAASE,EAAUlB,EAASU,CAAI,EAClCJ,IAAS,MAAQC,IAAS,KAAM,EAAOS,EACtChB,EAAQ,MAAMG,EAAgB,uBAAwB,WAAWF,EAAK,0FAA2FG,EAAWM,CAAI,CAAC,CAC1L,MACIV,EAAQ,MAAMG,EAAgB,uBAAwB,eAAeO,EAAK,QAAQ,kFAAmFN,EAAWM,CAAI,CAAC,EACrLV,EAAQ,gBAAgBU,EAAK,MAAM,EAK3C,OAFIL,IAAc,OAASC,IAAS,MAAQC,IAAS,OAAOP,EAAQ,MAAMG,EAAgB,0BAA2B,WAAWF,EAAK,6DAA8DG,EAAWF,CAAM,CAAC,EACjNG,IAAc,MAAQC,IAAS,MAAQC,IAAS,MAAMP,EAAQ,MAAMG,EAAgB,yBAA0B,WAAWF,EAAK,gFAAiFG,EAAWF,CAAM,CAAC,EAC9N,CAAE,KAAM,eAAgB,OAAM,YAAW,OAAM,OAAM,cAAa,SAAUE,EAAWF,CAAM,CAAE,CAC1G,CAEA,SAAS,wBAAwB,EAAwB,EAAwB,CAC7E,IAAMiB,EAAUnB,EAAQ,cAAc,cAAgB,QAAU,2EAA6E,WAC7I,MAAO,CAAC,GAAIa,EAAK,MAAM,IAAI,OAAOlB,EAAQ,iCAAkCwB,GAAS,CAAC,CAAC,OAAQ,IAAI,CAAC,GAAK,CAAC,CAAE,CAChH,CAEA,SAAS,qBAAqB,EAAwB,EAAkB,EAA0B,EAAgE,CAC9J,IAAMC,EAAoBpB,EAAQ,cAAc,cAAgB,SAAWe,EAAO,SAAS,KAAK,EAC5FM,EAAW,EACT,OAAU,GAA+CC,IAAU,IAAA,IAAaA,EAAM,WAAW,GAAG,GAAKA,EAAM,SAAS,GAAG,EAC3H,QAAW,GAA0BC,EAAeD,EAAM,UAAU,EAAGA,EAAM,OAAS,CAAC,CAAC,EACxF,UAA4C,CAC9C,GAAIP,EAAOM,KAAc,MAAO,CAC5B,IACA,IAAMG,EAAU,MAAM,EACtB,OAAOA,IAAY,KAAO,KAAO,CAAE,KAAM,2BAA4B,UAAS,UAAS,CAC3F,CACA,GAAIT,EAAOM,KAAc,IAAK,CAC1B,IACA,IAAMI,EAAS,GAAG,EAGlB,OAFIV,EAAOM,KAAc,IAAK,IACrBD,GAAmBpB,EAAQ,MAAMG,EAAgB,6BAA8B,mCAAoCuB,CAAQ,EAC7HD,CACX,CACA,IAAMH,EAAQP,EAAO,KACrB,GAAIO,IAAU,gBAAiB,MAAO,CAAE,KAAM,+BAAgC,UAAS,EACvF,GAAIA,IAAU,YAAa,MAAO,CAAE,KAAM,2BAA4B,UAAS,EAC/E,GAAIA,IAAU,QAAUA,IAAU,QAE9B,OADAtB,EAAQ,MAAMsB,IAAU,IAAA,GAAYnB,EAAgB,wBAA0BA,EAAgB,iCAAkCmB,IAAU,IAAA,GAAY,8BAAgC,eAAeA,EAAM,uBAAwBI,CAAQ,EACpO,KAEX,IAAMzB,EAAOc,EAAO,KACpB,GAAI,CAAC,OAAOd,CAAI,EAEZ,OADAD,EAAQ,MAAMsB,IAAU,OAASnB,EAAgB,iBAAmBA,EAAgB,kBAAmB,qBAAqBmB,EAAM,eAAeA,EAAM,GAAII,CAAQ,EAC5J,KAEX,GAAIJ,IAAU,OAAQ,MAAO,CAAE,KAAM,sBAAuB,KAAM,QAAQrB,CAAI,EAAG,UAAS,EAC1F,GAAIc,EAAO,OAAgB,UAEvB,OADAf,EAAQ,MAAMG,EAAgB,qBAAsB,0CAA2CuB,CAAQ,EAChG,KAEX,IAAMC,EAASZ,EAAO,KAKtB,OAJIY,IAAW,IAAA,IACX3B,EAAQ,MAAMG,EAAgB,yBAA0B,gDAAiDuB,CAAQ,EAC1G,MAEJ,CAAE,KAAM,uBAAwB,MAAO,QAAQzB,CAAI,EAAG,eAAgB0B,IAAW,UAAW,QAASA,IAAW,UAAY,KAAO/B,EAAmB+B,EAAQD,EAAUG,CAAiB,EAAG,UAAS,CAChN,EACM,QAA0C,CAC5C,IAAIC,EAAO,MAAM,EACjB,KAAOA,IAAS,MAAQf,EAAOM,KAAc,OAAO,CAAE,IAAY,IAAMU,EAAQ,MAAM,EAAG,GAAIA,IAAU,KAAM,OAAO,KAAM,EAAO,CAAE,KAAM,+BAAgC,OAAM,SAAU,MAAO,QAAO,UAAS,CAAG,CACnN,OAAOD,CACX,EACM,OAAyC,CAC3C,IAAIA,EAAO,IAAI,EACf,KAAOA,IAAS,MAAQf,EAAOM,KAAc,MAAM,CAAE,IAAY,IAAMU,EAAQ,IAAI,EAAG,GAAIA,IAAU,KAAM,OAAO,KAAM,EAAO,CAAE,KAAM,+BAAgC,OAAM,SAAU,KAAM,QAAO,UAAS,CAAG,CAC/M,OAAOD,CACX,EACMzB,EAAY,GAAG,EAIrB,OAHIe,GACIf,IAAc,MAAQgB,EAAWN,EAAO,QAAQf,EAAQ,MAAMG,EAAgB,iCAAkC,eAAeY,EAAOM,GAAU,uBAAwBK,CAAQ,EAEjLrB,CACX,CAEA,SAAS,kBAAkB,EAAwB,EAAyC,EAAgB,EAAgC,CACpIA,IAAc,MAAQA,EAAU,OAAS,4BAA+B,kBAAkBA,CAAS,IACnG,iBAAiBA,CAAS,EAC1BL,EAAQ,MAAMG,EAAgB,uBAAwB,WAAW6B,EAAO,uGAAwGN,CAAQ,EAG5L1B,EAAQ,MAAMG,EAAgB,wBAAyB,WAAW6B,EAAO,yIAA0IN,CAAQ,EAC/N,CAEA,SAAS,kBAAkB,EAA2C,CAClE,OAAQrB,EAAU,KAAlB,CACI,IAAK,2BAA4B,MAAO,GACxC,IAAK,2BAA4B,OAAO,kBAAkBA,EAAU,OAAO,EAC3E,IAAK,+BAAgC,OAAO,kBAAkBA,EAAU,IAAI,GAAK,kBAAkBA,EAAU,KAAK,EAClH,QAAS,MAAO,EACpB,CACJ,CAEA,SAAS,iBAAiB,EAA2C,CACjE,OAAQA,EAAU,KAAlB,CACI,IAAK,2BAA4B,OAAO,kBAAkBA,EAAU,OAAO,EAC3E,IAAK,+BAAgC,OAAO,iBAAiBA,EAAU,IAAI,GAAK,iBAAiBA,EAAU,KAAK,EAChH,QAAS,MAAO,EACpB,CACJ"}
+{"version":3,"file":"PolicyParser.js","names":["pattern","parseMappingSource","headerPattern","nativePattern","diagnosticContext","context","name","header","DiagnosticCodes","locationOf","condition","code","file","hasRequire","depthExceeded","description","line","firstWord","parseDescription","text","continuation","tokens","budget","ConditionDepthBudget","parsed","parseFile","parseCode","numeric","reportDiagnostics","position","token","unescapeString","negated","operand","result","location","target","parseModeledMappingSource","expressionContext","left","right","previous","policy"],"sources":["../../../../../../Compiler/Parsing/PolicyParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { SourceLocation } from '../Diagnostics/SourceLocation';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CodeBlockSyntax, FileReferenceSyntax } from '../Syntax/Implementations';\nimport { PolicyConditionSyntax, PolicySyntax } from '../Syntax/Policies';\nimport { stringBodyPattern, unescapeString } from '../Text/StringLiteral';\nimport { nativePattern as pattern } from '../Text/patterns';\nimport { parseModeledMappingSource as parseMappingSource } from './ExpressionParser';\nimport { parseCode, parseFile } from './ImplementationParser';\nimport { firstWord } from './LineText';\nimport { parseDescription } from './DescriptionParser';\nimport { ParserContext } from './ParserContext';\nimport { ConditionDepthBudget } from './ConditionDepthBudget';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst headerPattern = pattern('^policy\\\\s+([A-Za-z_]\\\\w*)$');\n\nexport function parsePolicy(context: ParserContext, header: SourceLine): PolicySyntax {\n    const diagnosticContext = context;\n    context = context.valueContext;\n    const name = headerPattern.exec(header.content)?.[1] ?? '';\n    if (name === '') context.error(DiagnosticCodes.InvalidPolicyDeclaration, `Invalid policy declaration '${header.content}' - expected 'policy <Name>'`, locationOf(header));\n    let condition: PolicyConditionSyntax | null = null;\n    let code: CodeBlockSyntax | null = null;\n    let file: FileReferenceSyntax | null = null;\n    let hasRequire = false;\n    let depthExceeded = false;\n    let description: string | null = null;\n    for (let line = context.peekChild(header.indent); line !== undefined; line = context.peekChild(header.indent)) {\n        context.reader.takeSignificant();\n        if (firstWord(line.content) === 'description') {\n            description = parseDescription(diagnosticContext, line, description, `Policy '${name}'`);\n        } else if (firstWord(line.content) === 'require') {\n            let text = line.content.substring('require'.length).trim();\n            for (let continuation = context.peekChild(line.indent); continuation !== undefined; continuation = context.peekChild(line.indent)) {\n                context.reader.takeSignificant();\n                text += ` ${continuation.content}`;\n            }\n            const tokens = tokenizePolicyCondition(context, text);\n            // Negation is newly admitted syntax, not diagnostic-free enrichment of legacy fields.\n            if (tokens.includes('not')) context = diagnosticContext;\n            const budget = new ConditionDepthBudget(diagnosticContext, locationOf(line));\n            const parsed = parsePolicyCondition(context, tokens, locationOf(line), diagnosticContext, budget);\n            depthExceeded ||= budget.exceeded;\n            validateAnonymous(diagnosticContext, parsed, name, locationOf(line));\n            if (hasRequire) context.error(DiagnosticCodes.RepeatedPolicyRequirement, `Policy '${name}' has more than one require line; combine the conditions with and/or in one require`, locationOf(line));\n            else condition = parsed;\n            hasRequire = true;\n        } else if (firstWord(line.content) === 'file') {\n            const parsed = parseFile(context, line);\n            if (code === null && file === null) file = parsed;\n            else context.error(DiagnosticCodes.UnknownPolicyDirective, `Policy '${name}' must have only one implementation - a file reference or an inline code block, not both`, locationOf(line));\n        } else if (line.content.startsWith('```') || context.languages.has(line.content)) {\n            const parsed = parseCode(context, line);\n            if (code === null && file === null) code = parsed;\n            else context.error(DiagnosticCodes.UnknownPolicyDirective, `Policy '${name}' must have only one implementation - a file reference or an inline code block, not both`, locationOf(line));\n        } else {\n            context.error(DiagnosticCodes.UnknownPolicyDirective, `Unexpected '${line.content}' in policy body - expected 'require ...', 'file <path>' or an inline code block`, locationOf(line));\n            context.skipOpaqueBlock(line.indent);\n        }\n    }\n    if (condition !== null && (code !== null || file !== null)) context.error(DiagnosticCodes.MixedPolicyImplementation, `Policy '${name}' cannot combine 'require' with a file or inline code block`, locationOf(header));\n    if (condition === null && code === null && file === null && !depthExceeded) context.error(DiagnosticCodes.PolicyWithoutRequirement, `Policy '${name}' must declare a 'require' condition, a file reference or an inline code block`, locationOf(header));\n    return { kind: 'PolicySyntax', name, condition, code, file, description, location: locationOf(header) };\n}\n\nfunction tokenizePolicyCondition(context: ParserContext, text: string): string[] {\n    const numeric = context.sourceOptions.numericMode === 'exact' ? '-?[0-9]+(?:\\\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?(?=$|[\\\\s()])|[\\\\w.$-]+|[^\\\\s]' : '[\\\\w.$]+';\n    return [...(text.match(new RegExp(pattern(`\"${stringBodyPattern}\"|\\\\(|\\\\)|${numeric}`).source, 'gu')) ?? [])];\n}\n\nfunction parsePolicyCondition(context: ParserContext, tokens: string[], location: SourceLocation, expressionContext: ParserContext, budget: ConditionDepthBudget): PolicyConditionSyntax | null {\n    const reportDiagnostics = context.sourceOptions.numericMode === 'exact' || tokens.includes('not');\n    let position = 0;\n    const quoted = (token: string | undefined): token is string => token !== undefined && token.startsWith('\"') && token.endsWith('\"');\n    const unquote = (token: string): string => unescapeString(token.substring(1, token.length - 1));\n    const group = (): PolicyConditionSyntax | null => {\n        if (tokens[position] === 'not' || tokens[position] === '(') {\n            if (!budget.enter()) return null;\n            const negated = tokens[position++] === 'not';\n            try {\n                if (negated) {\n                    const operand = group();\n                    return operand === null ? null : budget.build<PolicyConditionSyntax>([operand], () => ({ kind: 'NotPolicyConditionSyntax', operand, location }));\n                }\n                const result = or();\n                if (budget.exceeded) return null;\n                if (tokens[position] === ')') position++;\n                else if (reportDiagnostics) context.error(DiagnosticCodes.UnclosedPolicyConditionGroup, \"Expected ')' in policy condition\", location);\n                return result;\n            } finally { budget.leave(); }\n        }\n        const token = tokens[position++];\n        if (token === 'authenticated') return { kind: 'AuthenticatedConditionSyntax', location };\n        if (token === 'anonymous') return { kind: 'AnonymousConditionSyntax', location };\n        if (token !== 'role' && token !== 'claim') {\n            context.error(token === undefined ? DiagnosticCodes.ExpectedPolicyCondition : DiagnosticCodes.UnexpectedTokenInPolicyCondition, token === undefined ? 'Expected a policy condition' : `Unexpected '${token}' in policy condition`, location);\n            return null;\n        }\n        const name = tokens[position++];\n        if (!quoted(name)) {\n            context.error(token === 'role' ? DiagnosticCodes.ExpectedRoleName : DiagnosticCodes.ExpectedClaimName, `Expected a quoted ${token} name after '${token}'`, location);\n            return null;\n        }\n        if (token === 'role') return { kind: 'RoleConditionSyntax', role: unquote(name), location };\n        if (tokens[position++] !== 'matches') {\n            context.error(DiagnosticCodes.ExpectedClaimMatches, \"Expected 'matches' after the claim name\", location);\n            return null;\n        }\n        const target = tokens[position++];\n        if (target === undefined) {\n            context.error(DiagnosticCodes.ExpectedClaimMatchTarget, \"Expected 'subject' or a value after 'matches'\", location);\n            return null;\n        }\n        return { kind: 'ClaimConditionSyntax', claim: unquote(name), matchesSubject: target === 'subject', matches: target === 'subject' ? null : parseMappingSource(target, location, expressionContext), location };\n    };\n    const and = (): PolicyConditionSyntax | null => {\n        let left = group();\n        while (left !== null && tokens[position] === 'and') {\n            position++; const right = group(); if (right === null) return null;\n            const previous: PolicyConditionSyntax = left;\n            left = budget.build<PolicyConditionSyntax>([previous, right], () => ({ kind: 'LogicalPolicyConditionSyntax', left: previous, operator: 'And', right, location }));\n        }\n        return left;\n    };\n    const or = (): PolicyConditionSyntax | null => {\n        let left = and();\n        while (left !== null && tokens[position] === 'or') {\n            position++; const right = and(); if (right === null) return null;\n            const previous: PolicyConditionSyntax = left;\n            left = budget.build<PolicyConditionSyntax>([previous, right], () => ({ kind: 'LogicalPolicyConditionSyntax', left: previous, operator: 'Or', right, location }));\n        }\n        return left;\n    };\n    const condition = or();\n    if (reportDiagnostics) {\n        if (condition !== null && position < tokens.length) context.error(DiagnosticCodes.UnexpectedTokenInPolicyCondition, `Unexpected '${tokens[position]}' in policy condition`, location);\n    }\n    return condition;\n}\n\nfunction validateAnonymous(context: ParserContext, condition: PolicyConditionSyntax | null, policy: string, location: SourceLocation): void {\n    if (condition === null || condition.kind === 'AnonymousConditionSyntax' || !containsAnonymous(condition)) return;\n    if (negatesAnonymous(condition)) {\n        context.error(DiagnosticCodes.NegatedAnonymousPolicy, `Policy '${policy}' negates 'anonymous'; a policy that refuses callers without an identity says 'require authenticated'`, location);\n        return;\n    }\n    context.error(DiagnosticCodes.AnonymousPolicyCombined, `Policy '${policy}' combines 'anonymous' with another condition; 'anonymous' admits callers without an identity and must be the whole 'require' condition`, location);\n}\n\nfunction containsAnonymous(condition: PolicyConditionSyntax): boolean {\n    switch (condition.kind) {\n        case 'AnonymousConditionSyntax': return true;\n        case 'NotPolicyConditionSyntax': return containsAnonymous(condition.operand);\n        case 'LogicalPolicyConditionSyntax': return containsAnonymous(condition.left) || containsAnonymous(condition.right);\n        default: return false;\n    }\n}\n\nfunction negatesAnonymous(condition: PolicyConditionSyntax): boolean {\n    switch (condition.kind) {\n        case 'NotPolicyConditionSyntax': return containsAnonymous(condition.operand);\n        case 'LogicalPolicyConditionSyntax': return negatesAnonymous(condition.left) || negatesAnonymous(condition.right);\n        default: return false;\n    }\n}\n"],"mappings":"A,gkBAiBA,MAAME,EAAgBF,EAAQ,6BAA6B,EAE3D,SAAgB,YAAY,EAAwB,EAAkC,CAClF,IAAMI,EAAoBC,EAC1B,EAAUA,EAAQ,aAClB,IAAMC,EAAOJ,EAAc,KAAKK,EAAO,OAAO,CAAC,GAAG,IAAM,GACpDD,IAAS,IAAID,EAAQ,MAAMG,EAAgB,yBAA0B,+BAA+BD,EAAO,QAAQ,8BAA+BE,EAAWF,CAAM,CAAC,EACxK,IAAIG,EAA0C,KAC1CC,EAA+B,KAC/BC,EAAmC,KACnCC,EAAa,GACbC,EAAgB,GAChBC,EAA6B,KACjC,IAAK,IAAIC,EAAOX,EAAQ,UAAUE,EAAO,MAAM,EAAGS,IAAS,IAAA,GAAW,EAAOX,EAAQ,UAAUE,EAAO,MAAM,EAExG,GADAF,EAAQ,OAAO,gBAAgB,EAC3BY,EAAUD,EAAK,OAAO,IAAM,cAC5B,EAAcE,EAAiBd,EAAmBY,EAAMD,EAAa,WAAWT,EAAK,EAAE,OACpF,GAAIW,EAAUD,EAAK,OAAO,IAAM,UAAW,CAC9C,IAAIG,EAAOH,EAAK,QAAQ,UAAU,CAAgB,CAAC,CAAC,KAAK,EACzD,IAAK,IAAII,EAAef,EAAQ,UAAUW,EAAK,MAAM,EAAGI,IAAiB,IAAA,GAAW,EAAef,EAAQ,UAAUW,EAAK,MAAM,EAC5HX,EAAQ,OAAO,gBAAgB,EAC/B,GAAQ,IAAIe,EAAa,UAE7B,IAAMC,EAAS,wBAAwBhB,EAASc,CAAI,EAEhDE,EAAO,SAAS,KAAK,IAAG,EAAUjB,GACtC,IAAMkB,EAAS,IAAIC,EAAqBnB,EAAmBK,EAAWO,CAAI,CAAC,EACrEQ,EAAS,qBAAqBnB,EAASgB,EAAQZ,EAAWO,CAAI,EAAGZ,EAAmBkB,CAAM,EAChG,IAAkBA,EAAO,SACzB,kBAAkBlB,EAAmBoB,EAAQlB,EAAMG,EAAWO,CAAI,CAAC,EAC/DH,EAAYR,EAAQ,MAAMG,EAAgB,0BAA2B,WAAWF,EAAK,qFAAsFG,EAAWO,CAAI,CAAC,EAC1L,EAAYQ,EACjB,EAAa,EACjB,MAAO,GAAIP,EAAUD,EAAK,OAAO,IAAM,OAAQ,CAC3C,IAAMQ,EAASC,EAAUpB,EAASW,CAAI,EAClCL,IAAS,MAAQC,IAAS,KAAM,EAAOY,EACtCnB,EAAQ,MAAMG,EAAgB,uBAAwB,WAAWF,EAAK,0FAA2FG,EAAWO,CAAI,CAAC,CAC1L,MAAO,GAAIA,EAAK,QAAQ,WAAW,KAAK,GAAKX,EAAQ,UAAU,IAAIW,EAAK,OAAO,EAAG,CAC9E,IAAMQ,EAASE,EAAUrB,EAASW,CAAI,EAClCL,IAAS,MAAQC,IAAS,KAAM,EAAOY,EACtCnB,EAAQ,MAAMG,EAAgB,uBAAwB,WAAWF,EAAK,0FAA2FG,EAAWO,CAAI,CAAC,CAC1L,MACIX,EAAQ,MAAMG,EAAgB,uBAAwB,eAAeQ,EAAK,QAAQ,kFAAmFP,EAAWO,CAAI,CAAC,EACrLX,EAAQ,gBAAgBW,EAAK,MAAM,EAK3C,OAFIN,IAAc,OAASC,IAAS,MAAQC,IAAS,OAAOP,EAAQ,MAAMG,EAAgB,0BAA2B,WAAWF,EAAK,6DAA8DG,EAAWF,CAAM,CAAC,EACjNG,IAAc,MAAQC,IAAS,MAAQC,IAAS,MAAQ,CAACE,GAAeT,EAAQ,MAAMG,EAAgB,yBAA0B,WAAWF,EAAK,gFAAiFG,EAAWF,CAAM,CAAC,EAChP,CAAE,KAAM,eAAgB,OAAM,YAAW,OAAM,OAAM,cAAa,SAAUE,EAAWF,CAAM,CAAE,CAC1G,CAEA,SAAS,wBAAwB,EAAwB,EAAwB,CAC7E,IAAMoB,EAAUtB,EAAQ,cAAc,cAAgB,QAAU,2EAA6E,WAC7I,MAAO,CAAC,GAAIc,EAAK,MAAM,IAAI,OAAOnB,EAAQ,iCAAkC2B,GAAS,CAAC,CAAC,OAAQ,IAAI,CAAC,GAAK,CAAC,CAAE,CAChH,CAEA,SAAS,qBAAqB,EAAwB,EAAkB,EAA0B,EAAkC,EAA4D,CAC5L,IAAMC,EAAoBvB,EAAQ,cAAc,cAAgB,SAAWgB,EAAO,SAAS,KAAK,EAC5FQ,EAAW,EACT,OAAU,GAA+CC,IAAU,IAAA,IAAaA,EAAM,WAAW,GAAG,GAAKA,EAAM,SAAS,GAAG,EAC3H,QAAW,GAA0BC,EAAeD,EAAM,UAAU,EAAGA,EAAM,OAAS,CAAC,CAAC,EACxF,UAA4C,CAC9C,GAAIT,EAAOQ,KAAc,OAASR,EAAOQ,KAAc,IAAK,CACxD,GAAI,CAACP,EAAO,MAAM,EAAG,OAAO,KAC5B,IAAMU,EAAUX,EAAO,OAAgB,MACvC,GAAI,CACA,GAAIW,EAAS,CACT,IAAMC,EAAU,MAAM,EACtB,OAAOA,IAAY,KAAO,KAAOX,EAAO,MAA6B,CAACW,CAAO,OAAU,CAAE,KAAM,2BAA4B,UAAS,UAAS,EAAE,CACnJ,CACA,IAAMC,EAAS,GAAG,EAIlB,OAHIZ,EAAO,SAAiB,MACxBD,EAAOQ,KAAc,IAAK,IACrBD,GAAmBvB,EAAQ,MAAMG,EAAgB,6BAA8B,mCAAoC2B,CAAQ,EAC7HD,EACX,QAAU,CAAEZ,EAAO,MAAM,CAAG,CAChC,CACA,IAAMQ,EAAQT,EAAO,KACrB,GAAIS,IAAU,gBAAiB,MAAO,CAAE,KAAM,+BAAgC,UAAS,EACvF,GAAIA,IAAU,YAAa,MAAO,CAAE,KAAM,2BAA4B,UAAS,EAC/E,GAAIA,IAAU,QAAUA,IAAU,QAE9B,OADAzB,EAAQ,MAAMyB,IAAU,IAAA,GAAYtB,EAAgB,wBAA0BA,EAAgB,iCAAkCsB,IAAU,IAAA,GAAY,8BAAgC,eAAeA,EAAM,uBAAwBK,CAAQ,EACpO,KAEX,IAAM7B,EAAOe,EAAO,KACpB,GAAI,CAAC,OAAOf,CAAI,EAEZ,OADAD,EAAQ,MAAMyB,IAAU,OAAStB,EAAgB,iBAAmBA,EAAgB,kBAAmB,qBAAqBsB,EAAM,eAAeA,EAAM,GAAIK,CAAQ,EAC5J,KAEX,GAAIL,IAAU,OAAQ,MAAO,CAAE,KAAM,sBAAuB,KAAM,QAAQxB,CAAI,EAAG,UAAS,EAC1F,GAAIe,EAAO,OAAgB,UAEvB,OADAhB,EAAQ,MAAMG,EAAgB,qBAAsB,0CAA2C2B,CAAQ,EAChG,KAEX,IAAMC,EAASf,EAAO,KAKtB,OAJIe,IAAW,IAAA,IACX/B,EAAQ,MAAMG,EAAgB,yBAA0B,gDAAiD2B,CAAQ,EAC1G,MAEJ,CAAE,KAAM,uBAAwB,MAAO,QAAQ7B,CAAI,EAAG,eAAgB8B,IAAW,UAAW,QAASA,IAAW,UAAY,KAAOnC,EAAmBmC,EAAQD,EAAUG,CAAiB,EAAG,UAAS,CAChN,EACM,QAA0C,CAC5C,IAAIC,EAAO,MAAM,EACjB,KAAOA,IAAS,MAAQlB,EAAOQ,KAAc,OAAO,CAChD,IAAY,IAAMW,EAAQ,MAAM,EAAG,GAAIA,IAAU,KAAM,OAAO,KAC9D,IAAMC,EAAkCF,EACxC,EAAOjB,EAAO,MAA6B,CAACmB,EAAUD,CAAK,OAAU,CAAE,KAAM,+BAAgC,KAAMC,EAAU,SAAU,MAAO,QAAO,UAAS,EAAE,CACpK,CACA,OAAOF,CACX,EACM,OAAyC,CAC3C,IAAIA,EAAO,IAAI,EACf,KAAOA,IAAS,MAAQlB,EAAOQ,KAAc,MAAM,CAC/C,IAAY,IAAMW,EAAQ,IAAI,EAAG,GAAIA,IAAU,KAAM,OAAO,KAC5D,IAAMC,EAAkCF,EACxC,EAAOjB,EAAO,MAA6B,CAACmB,EAAUD,CAAK,OAAU,CAAE,KAAM,+BAAgC,KAAMC,EAAU,SAAU,KAAM,QAAO,UAAS,EAAE,CACnK,CACA,OAAOF,CACX,EACM7B,EAAY,GAAG,EAIrB,OAHIkB,GACIlB,IAAc,MAAQmB,EAAWR,EAAO,QAAQhB,EAAQ,MAAMG,EAAgB,iCAAkC,eAAea,EAAOQ,GAAU,uBAAwBM,CAAQ,EAEjLzB,CACX,CAEA,SAAS,kBAAkB,EAAwB,EAAyC,EAAgB,EAAgC,CACpIA,IAAc,MAAQA,EAAU,OAAS,4BAA+B,kBAAkBA,CAAS,IACnG,iBAAiBA,CAAS,EAC1BL,EAAQ,MAAMG,EAAgB,uBAAwB,WAAWkC,EAAO,uGAAwGP,CAAQ,EAG5L9B,EAAQ,MAAMG,EAAgB,wBAAyB,WAAWkC,EAAO,yIAA0IP,CAAQ,EAC/N,CAEA,SAAS,kBAAkB,EAA2C,CAClE,OAAQzB,EAAU,KAAlB,CACI,IAAK,2BAA4B,MAAO,GACxC,IAAK,2BAA4B,OAAO,kBAAkBA,EAAU,OAAO,EAC3E,IAAK,+BAAgC,OAAO,kBAAkBA,EAAU,IAAI,GAAK,kBAAkBA,EAAU,KAAK,EAClH,QAAS,MAAO,EACpB,CACJ,CAEA,SAAS,iBAAiB,EAA2C,CACjE,OAAQA,EAAU,KAAlB,CACI,IAAK,2BAA4B,OAAO,kBAAkBA,EAAU,OAAO,EAC3E,IAAK,+BAAgC,OAAO,iBAAiBA,EAAU,IAAI,GAAK,iBAAiBA,EAAU,KAAK,EAChH,QAAS,MAAO,EACpB,CACJ,C"}

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

@@ -1 +1 @@
-{"version":3,"file":"PortableMatchGroupName.js","names":["decoded","name","value","braced","fixed"],"sources":["../../../../../../Compiler/Parsing/PortableMatchGroupName.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\n/** RegExpIdentifierName uses Unicode identifiers, even in flagless JavaScript. */\nexport function isJavaScriptGroupName(name: string): boolean {\n    const decoded = name.replace(/\\\\u(?:\\{([0-9a-fA-F]+)\\}|([0-9a-fA-F]{4}))/g, (_, braced: string | undefined, fixed: string | undefined) => {\n        const value = parseInt(braced ?? fixed!, 16);\n        return value <= 0x10ffff ? String.fromCodePoint(value) : '\\\\';\n    });\n    return /^[$_\\p{ID_Start}][$\\u200c\\u200d\\p{ID_Continue}]*$/u.test(decoded);\n}\n"],"mappings":"qDAIA,SAAgB,sBAAsB,EAAuB,CACzD,IAAMA,EAAUC,EAAK,QAAQ,+CAAgD,EAAG,EAA4B,IAA8B,CACtI,IAAMC,EAAQ,SAASC,GAAUC,EAAQ,EAAE,EAC3C,OAAOF,GAAS,QAAW,OAAO,cAAcA,CAAK,EAAI,IAC7D,CAAC,EACD,MAAO,qDAAqD,KAAKF,CAAO,CAC5E"}
+{"version":3,"file":"PortableMatchGroupName.js","names":["decoded","name","value","braced","fixed"],"sources":["../../../../../../Compiler/Parsing/PortableMatchGroupName.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\n/** RegExpIdentifierName uses Unicode identifiers, even in flagless JavaScript. */\nexport function isJavaScriptGroupName(name: string): boolean {\n    const decoded = name.replace(/\\\\u(?:\\{([0-9a-fA-F]+)\\}|([0-9a-fA-F]{4}))/g, (_, braced: string | undefined, fixed: string | undefined) => {\n        const value = parseInt(braced ?? fixed!, 16);\n        return value <= 0x10ffff ? String.fromCodePoint(value) : '\\\\';\n    });\n    return /^[$_\\p{ID_Start}][$\\u200c\\u200d\\p{ID_Continue}]*$/u.test(decoded);\n}\n"],"mappings":"A,qDAIA,SAAgB,sBAAsB,EAAuB,CACzD,IAAMA,EAAUC,EAAK,QAAQ,+CAAgD,EAAG,EAA4B,IAA8B,CACtI,IAAMC,EAAQ,SAASC,GAAUC,EAAQ,EAAE,EAC3C,OAAOF,GAAS,QAAW,OAAO,cAAcA,CAAK,EAAI,IAC7D,CAAC,EACD,MAAO,qDAAqD,KAAKF,CAAO,CAC5E,C"}

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

@@ -1 +1 @@
-{"version":3,"file":"PortableMatchPattern.js","names":["emailMatchPattern","sizeLimit","pattern","expression","size","budgetOffset","branch","start","atom","character","nameStart","name","isJavaScriptGroupName","body","negated","left","rangeOffset","right","escape","width","hex","inClass","count","choices","minimum","maximum","expanded","value","occurrences","previous","current","invalid","portableMatchSuggestions","construct"],"sources":["../../../../../../Compiler/Parsing/PortableMatchPattern.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 { isJavaScriptGroupName } from './PortableMatchGroupName';\nimport { portableMatchSuggestions } from './PortableMatchSuggestions';\n\nexport const emailMatchPattern = '^[^\\\\s@]+@[^\\\\s@.]+(?:\\\\.[^\\\\s@.]+)+$';\nexport interface MatchPatternIssue { construct: string; offset: number; invalid: boolean; suggestion?: string }\ninterface Fragment { size: number; quantifiable: boolean; budgetOffset?: number }\ninterface Branch { scope: number; alternative: number }\nconst sizeLimit = 3000;\n\n/** Decision 0084. This validates syntax without invoking a browser's backtracking engine. */\nexport function validateMatchPattern(pattern: string): MatchPatternIssue | undefined {\n    return new PortableMatchParser(pattern).parse();\n}\n\nclass PortableMatchParser {\n    private offset = 0;\n    private issue: MatchPatternIssue | undefined;\n    private readonly names = new Map<string, Branch[][]>();\n    private readonly branches: Branch[] = [];\n    private scope = 0;\n    constructor(private readonly pattern: string) { }\n\n    parse(): MatchPatternIssue | undefined {\n        if (this.pattern.length > 1000) this.fail('pattern length', 1000);\n        const expression = this.expression();\n        if (this.issue === undefined && this.offset !== this.pattern.length) this.fail('unmatched closing group', this.offset, true);\n        if (expression.size > sizeLimit) this.fail('expanded pattern size', expression.budgetOffset ?? this.offset);\n        return this.issue;\n    }\n\n    private expression(): Fragment {\n        let size = 0;\n        let budgetOffset: number | undefined;\n        const branch: Branch = { scope: this.scope++, alternative: 0 };\n        this.branches.push(branch);\n        while (this.issue === undefined && this.offset < this.pattern.length && !this.at(')')) {\n            if (this.at('|')) {\n                size = Math.min(sizeLimit + 1, size + 1);\n                if (size > sizeLimit) budgetOffset ??= this.offset;\n                this.offset++;\n                branch.alternative++;\n                continue;\n            }\n            const start = this.offset;\n            const atom = this.quantify(this.atom());\n            size = Math.min(sizeLimit + 1, size + atom.size);\n            if (size > sizeLimit) budgetOffset ??= atom.budgetOffset ?? start;\n        }\n        this.branches.pop();\n        return { size, quantifiable: true, budgetOffset };\n    }\n\n    private atom(): Fragment {\n        const start = this.offset;\n        const character = this.pattern[this.offset++];\n        if (character === '(') return this.group(start);\n        if (character === '[') this.characterClass(start);\n        else if (character === '\\\\') this.escape(start, false);\n        else if (character === ']') this.fail('unescaped closing bracket', start);\n        else if (character === '{' && /^\\{[0-9]+(?:,[0-9]*)?\\}/.test(this.pattern.slice(start))) this.fail('quantifier without an atom', start, true);\n        else if (character === '{' || character === '}') this.fail('unescaped brace', start);\n        else if ('*+?'.includes(character)) this.fail('quantifier without an atom', start, true);\n        return { size: 1, quantifiable: character !== '^' && character !== '$' };\n    }\n\n    private group(start: number): Fragment {\n        if (this.take('?')) {\n            if (this.take(':')) { /* Non-capturing group. */ }\n            else if (this.at('=') || this.at('!') || (this.at('<') && '=!'.includes(this.pattern[this.offset + 1] ?? ' '))) this.fail('lookaround', start);\n            else if (this.take('<')) {\n                const nameStart = this.offset;\n                while (this.offset < this.pattern.length && !this.at('>')) this.offset++;\n                const name = this.pattern.slice(nameStart, this.offset);\n                if (!this.take('>')) this.fail('unterminated group name', nameStart, true);\n                else if (!isJavaScriptGroupName(name)) this.fail('group name', nameStart, true);\n                else if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) this.fail('group name', nameStart);\n                else this.registerName(name, nameStart);\n            } else this.fail('ims-'.includes(this.pattern[this.offset] ?? ' ') ? 'inline options' : 'group extension', start);\n        }\n        const body = this.expression();\n        if (!this.take(')')) this.fail('unterminated group', start, true);\n        return body;\n    }\n\n    private characterClass(start: number): void {\n        const negated = this.take('^');\n        if (this.at(']')) this.fail(negated ? 'negated empty character class' : 'empty character class', start);\n        while (this.issue === undefined && this.offset < this.pattern.length && !this.at(']')) {\n            if (this.at('-') && this.offset + 1 < this.pattern.length && this.pattern[this.offset + 1] === '[') this.fail('class subtraction', this.offset);\n            const left = this.classItem();\n            if (this.at('-') && this.offset + 1 < this.pattern.length && this.pattern[this.offset + 1] !== ']') {\n                const rangeOffset = this.offset++;\n                if (this.at('[')) this.fail('class subtraction', rangeOffset);\n                const right = this.classItem();\n                if (left === undefined || right === undefined) this.fail('class escape range endpoint', rangeOffset);\n                else if (left > right) this.fail('reversed character range', rangeOffset, true);\n            }\n        }\n        if (!this.take(']')) this.fail('unterminated character class', start, true);\n    }\n\n    private classItem(): number | undefined {\n        if (this.offset >= this.pattern.length) { this.fail('unterminated character class', this.offset, true); return undefined; }\n        const start = this.offset;\n        const character = this.pattern[this.offset++];\n        return character === '\\\\' ? this.escape(start, true) : character.charCodeAt(0);\n    }\n\n    private escape(start: number, inClass: boolean): number | undefined {\n        if (this.offset === this.pattern.length) { this.fail('trailing backslash', start, true); return undefined; }\n        const escape = this.pattern[this.offset++];\n        if ('dDwWsS'.includes(escape)) return undefined;\n        if (escape === '0' && /[0-9]/.test(this.pattern[this.offset] ?? ' ')) this.fail('octal escape', start);\n        else if ('tnrfv0'.includes(escape)) return ({ t: 9, n: 10, r: 13, f: 12, v: 11, '0': 0 } as Record<string, number>)[escape];\n        else if (escape === 'x' || (escape === 'u' && !this.at('{'))) {\n            const width = escape === 'x' ? 2 : 4;\n            const hex = this.pattern.slice(this.offset, this.offset + width);\n            if (hex.length !== width || !/^[0-9a-fA-F]+$/.test(hex)) this.fail('invalid hexadecimal escape', start, true);\n            else { this.offset += width; return parseInt(hex, 16); }\n        } else if ('^$\\\\.*+?()[]{}|/'.includes(escape) || (inClass && escape === '-')) return escape.charCodeAt(0);\n        else this.fail(escapeConstruct(escape, inClass), start);\n        return undefined;\n    }\n\n    private quantify(atom: Fragment): Fragment {\n        if (this.issue !== undefined || this.offset >= this.pattern.length) return atom;\n        const start = this.offset;\n        let count = 1n;\n        let choices = 1n;\n        if (this.at('*') || this.at('+') || this.at('?')) this.offset++;\n        else if (this.take('{')) {\n            const minimum = this.digits();\n            if (minimum === undefined) { this.fail('unescaped brace', start); return atom; }\n            count = minimum;\n            choices = 0n;\n            if (this.take(',')) {\n                if (this.at('}')) { count = minimum + 1n; choices = 1n; }\n                else {\n                    const maximum = this.digits();\n                    if (maximum === undefined) { this.fail('unescaped brace', start); return atom; }\n                    count = maximum;\n                    choices = maximum - minimum;\n                    if (count < minimum) this.fail('reversed counted repeat', start, true);\n                }\n            }\n            if (!this.take('}')) this.fail('unescaped brace', start);\n        } else return atom;\n        if (!atom.quantifiable) this.fail('quantified assertion', start, true);\n        this.take('?');\n        const expanded = BigInt(atom.size) * count + choices;\n        const size = Number(expanded > BigInt(sizeLimit + 1) ? BigInt(sizeLimit + 1) : expanded);\n        return { size, quantifiable: false, budgetOffset: size > sizeLimit ? atom.budgetOffset ?? start : undefined };\n    }\n\n    private digits(): bigint | undefined {\n        const start = this.offset;\n        let value = 0n;\n        while (this.offset < this.pattern.length && /[0-9]/.test(this.pattern[this.offset])) value = value * 10n + BigInt(this.pattern[this.offset++]);\n        return this.offset === start ? undefined : value;\n    }\n\n    private registerName(name: string, start: number): void {\n        const occurrences = this.names.get(name) ?? [];\n        const disjoint = (previous: Branch[]) => previous.some(branch => this.branches.some(current => current.scope === branch.scope && current.alternative !== branch.alternative));\n        if (occurrences.some(previous => !disjoint(previous))) this.fail('duplicate group name', start, true);\n        occurrences.push(this.branches.map(branch => ({ ...branch })));\n        this.names.set(name, occurrences);\n    }\n\n    private at(character: string): boolean { return this.offset < this.pattern.length && this.pattern[this.offset] === character; }\n    private take(character: string): boolean { if (!this.at(character)) return false; this.offset++; return true; }\n    private fail(construct: string, offset: number, invalid = false): void {\n        this.issue ??= { construct, offset, invalid, suggestion: invalid ? undefined : portableMatchSuggestions[construct] };\n    }\n}\n\nfunction escapeConstruct(escape: string, inClass: boolean): string {\n    if ('123456789k'.includes(escape)) return 'backreference';\n    if (escape === 'b' && inClass) return 'class backspace escape';\n    if ('bB'.includes(escape)) return 'word boundary';\n    if ('pP'.includes(escape)) return 'Unicode property escape';\n    if (escape === 'u') return 'Unicode code point escape';\n    if (escape === 'c') return 'control escape';\n    if (escape === 'A') return 'start of input escape';\n    if ('zZ'.includes(escape)) return 'end of input escape';\n    return 'identity escape';\n}\n"],"mappings":"kMAMA,MAAaA,EAAoB,wCAI3BC,EAAY,IAGlB,SAAgB,qBAAqB,EAAgD,CACjF,OAAO,IAAI,oBAAoBC,CAAO,CAAC,CAAC,MAAM,CAClD,CAEA,IAAM,oBAAN,KAA0B,CAMO,QAL7B,OAAiB,EACjB,MACA,sBAAyB,IAAI,IAC7B,SAAsC,CAAC,EACvC,MAAgB,EAChB,YAAY,EAAkC,CAAjB,KAAA,QAAAA,CAAmB,CAEhD,OAAuC,CAC/B,KAAK,QAAQ,OAAS,KAAM,KAAK,KAAK,iBAAkB,GAAI,EAChE,IAAMC,EAAa,KAAK,WAAW,EAGnC,OAFI,KAAK,QAAU,IAAA,IAAa,KAAK,SAAW,KAAK,QAAQ,QAAQ,KAAK,KAAK,0BAA2B,KAAK,OAAQ,EAAI,EACvHA,EAAW,KAAOF,GAAW,KAAK,KAAK,wBAAyBE,EAAW,cAAgB,KAAK,MAAM,EACnG,KAAK,KAChB,CAEA,YAA+B,CAC3B,IAAIC,EAAO,EACPC,EACEC,EAAiB,CAAE,MAAO,KAAK,QAAS,YAAa,CAAE,EAE7D,IADA,KAAK,SAAS,KAAKA,CAAM,EAClB,KAAK,QAAU,IAAA,IAAa,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,CACnF,GAAI,KAAK,GAAG,GAAG,EAAG,CACd,EAAO,KAAK,IAAI,KAAeF,EAAO,CAAC,EACnCA,EAAOH,IAAW,IAAiB,KAAK,QAC5C,KAAK,SACL,EAAO,cACP,QACJ,CACA,IAAMM,EAAQ,KAAK,OACbC,EAAO,KAAK,SAAS,KAAK,KAAK,CAAC,EACtC,EAAO,KAAK,IAAI,KAAeJ,EAAOI,EAAK,IAAI,EAC3CJ,EAAOH,IAAW,IAAiBO,EAAK,cAAgBD,EAChE,CAEA,OADA,KAAK,SAAS,IAAI,EACX,CAAE,OAAM,aAAc,GAAM,cAAa,CACpD,CAEA,MAAyB,CACrB,IAAMA,EAAQ,KAAK,OACbE,EAAY,KAAK,QAAQ,KAAK,UAQpC,OAPIA,IAAc,IAAY,KAAK,MAAMF,CAAK,GAC1CE,IAAc,IAAK,KAAK,eAAeF,CAAK,EACvCE,IAAc,KAAM,KAAK,OAAOF,EAAO,EAAK,EAC5CE,IAAc,IAAK,KAAK,KAAK,4BAA6BF,CAAK,EAC/DE,IAAc,KAAO,0BAA0B,KAAK,KAAK,QAAQ,MAAMF,CAAK,CAAC,EAAG,KAAK,KAAK,6BAA8BA,EAAO,EAAI,EACnIE,IAAc,KAAOA,IAAc,IAAK,KAAK,KAAK,kBAAmBF,CAAK,EAC1E,MAAM,SAASE,CAAS,GAAG,KAAK,KAAK,6BAA8BF,EAAO,EAAI,EAChF,CAAE,KAAM,EAAG,aAAcE,IAAc,KAAOA,IAAc,GAAI,EAC3E,CAEA,MAAc,EAAyB,CACnC,GAAI,KAAK,KAAK,GAAG,GACT,MAAK,KAAK,GAAG,EACZ,IAAI,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,GAAM,KAAK,GAAG,GAAG,GAAK,KAAK,SAAS,KAAK,QAAQ,KAAK,OAAS,IAAM,GAAG,EAAI,KAAK,KAAK,aAAcF,CAAK,OACxI,GAAI,KAAK,KAAK,GAAG,EAAG,CACrB,IAAMG,EAAY,KAAK,OACvB,KAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,KAAK,SAChE,IAAMC,EAAO,KAAK,QAAQ,MAAMD,EAAW,KAAK,MAAM,EACjD,KAAK,KAAK,GAAG,EACRE,EAAsBD,CAAI,EAC1B,2BAA2B,KAAKA,CAAI,EACzC,KAAK,aAAaA,EAAMD,CAAS,EADW,KAAK,KAAK,aAAcA,CAAS,EAD3C,KAAK,KAAK,aAAcA,EAAW,EAAI,EADzD,KAAK,KAAK,0BAA2BA,EAAW,EAAI,CAI7E,MAAO,KAAK,KAAK,OAAO,SAAS,KAAK,QAAQ,KAAK,SAAW,GAAG,EAAI,iBAAmB,kBAAmBH,CAAK,CAAA,CAEpH,IAAMM,EAAO,KAAK,WAAW,EAE7B,OADK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,qBAAsBN,EAAO,EAAI,EACzDM,CACX,CAEA,eAAuB,EAAqB,CACxC,IAAMC,EAAU,KAAK,KAAK,GAAG,EAE7B,IADI,KAAK,GAAG,GAAG,GAAG,KAAK,KAAKA,EAAU,gCAAkC,wBAAyBP,CAAK,EAC/F,KAAK,QAAU,IAAA,IAAa,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,CAC/E,KAAK,GAAG,GAAG,GAAK,KAAK,OAAS,EAAI,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,OAAS,KAAO,KAAK,KAAK,KAAK,oBAAqB,KAAK,MAAM,EAC9I,IAAMQ,EAAO,KAAK,UAAU,EAC5B,GAAI,KAAK,GAAG,GAAG,GAAK,KAAK,OAAS,EAAI,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,OAAS,KAAO,IAAK,CAChG,IAAMC,EAAc,KAAK,SACrB,KAAK,GAAG,GAAG,GAAG,KAAK,KAAK,oBAAqBA,CAAW,EAC5D,IAAMC,EAAQ,KAAK,UAAU,EACzBF,IAAS,IAAA,IAAaE,IAAU,IAAA,GAAW,KAAK,KAAK,8BAA+BD,CAAW,EAC1FD,EAAOE,GAAO,KAAK,KAAK,2BAA4BD,EAAa,EAAI,CAClF,CACJ,CACK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,+BAAgCT,EAAO,EAAI,CAC9E,CAEA,WAAwC,CACpC,GAAI,KAAK,QAAU,KAAK,QAAQ,OAAQ,CAAE,KAAK,KAAK,+BAAgC,KAAK,OAAQ,EAAI,EAAG,MAAkB,CAC1H,IAAMA,EAAQ,KAAK,OACbE,EAAY,KAAK,QAAQ,KAAK,UACpC,OAAOA,IAAc,KAAO,KAAK,OAAOF,EAAO,EAAI,EAAIE,EAAU,WAAW,CAAC,CACjF,CAEA,OAAe,EAAe,EAAsC,CAChE,GAAI,KAAK,SAAW,KAAK,QAAQ,OAAQ,CAAE,KAAK,KAAK,qBAAsBF,EAAO,EAAI,EAAG,MAAkB,CAC3G,IAAMW,EAAS,KAAK,QAAQ,KAAK,UACjC,GAAI,UAAS,SAASA,CAAM,EAC5B,IAAIA,IAAW,KAAO,QAAQ,KAAK,KAAK,QAAQ,KAAK,SAAW,GAAG,EAAG,KAAK,KAAK,eAAgBX,CAAK,OAChG,GAAI,SAAS,SAASW,CAAM,EAAG,MAAQ,CAAE,EAAG,EAAG,EAAG,GAAI,EAAG,GAAI,EAAG,GAAI,EAAG,GAAI,EAAK,CAAE,EAA6BA,QAC/G,GAAIA,IAAW,KAAQA,IAAW,KAAO,CAAC,KAAK,GAAG,GAAG,EAAI,CAC1D,IAAMC,EAAQD,IAAW,IAAM,EAAI,EAC7BE,EAAM,KAAK,QAAQ,MAAM,KAAK,OAAQ,KAAK,OAASD,CAAK,EAC/D,GAAIC,EAAI,SAAWD,GAAS,CAAC,iBAAiB,KAAKC,CAAG,EAAG,KAAK,KAAK,6BAA8Bb,EAAO,EAAI,OAC/E,MAAtB,MAAK,QAAUY,EAAc,SAASC,EAAK,EAAE,CACxD,MAAO,GAAI,mBAAmB,SAASF,CAAM,GAAMG,GAAWH,IAAW,IAAM,OAAOA,EAAO,WAAW,CAAC,OACpG,KAAK,KAAK,gBAAgBA,EAAQG,CAAO,EAAGd,CAAK,CAAA,CAE1D,CAEA,SAAiB,EAA0B,CACvC,GAAI,KAAK,QAAU,IAAA,IAAa,KAAK,QAAU,KAAK,QAAQ,OAAQ,OAAOC,EAC3E,IAAMD,EAAQ,KAAK,OACfe,EAAQ,GACRC,EAAU,GACd,GAAI,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,EAAG,KAAK,cAClD,GAAI,KAAK,KAAK,GAAG,EAAG,CACrB,IAAMC,EAAU,KAAK,OAAO,EAC5B,GAAIA,IAAY,IAAA,GAAkD,OAArC,KAAK,KAAK,kBAAmBjB,CAAK,EAAUC,EAGzE,GAFA,EAAQgB,EACR,EAAU,GACN,KAAK,KAAK,GAAG,EAAG,CAChB,GAAI,KAAK,GAAG,GAAG,EAAK,EAAQA,EAAU,GAAI,EAAU,OAC/C,CACD,IAAMC,EAAU,KAAK,OAAO,EAC5B,GAAIA,IAAY,IAAA,GAAkD,OAArC,KAAK,KAAK,kBAAmBlB,CAAK,EAAUC,EACzE,EAAQiB,EACR,EAAUA,EAAUD,EAChBF,EAAQE,GAAS,KAAK,KAAK,0BAA2BjB,EAAO,EAAI,CACzE,CACJ,CACK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,kBAAmBA,CAAK,CAC3D,MAAO,OAAOC,EACTA,EAAK,cAAc,KAAK,KAAK,uBAAwBD,EAAO,EAAI,EACrE,KAAK,KAAK,GAAG,EACb,IAAMmB,EAAW,OAAOlB,EAAK,IAAI,EAAIc,EAAQC,EACvCnB,EAAO,OAAOsB,EAAW,OAAO,IAAa,EAAI,OAAO,IAAa,EAAIA,CAAQ,EACvF,MAAO,CAAE,OAAM,aAAc,GAAO,aAActB,EAAOH,EAAYO,EAAK,cAAgBD,EAAQ,IAAA,EAAU,CAChH,CAEA,QAAqC,CACjC,IAAMA,EAAQ,KAAK,OACfoB,EAAQ,GACZ,KAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,QAAQ,KAAK,KAAK,QAAQ,KAAK,OAAO,GAAG,EAAQA,EAAQ,IAAM,OAAO,KAAK,QAAQ,KAAK,SAAS,EAC7I,OAAO,KAAK,SAAWpB,EAAQ,IAAA,GAAYoB,CAC/C,CAEA,aAAqB,EAAc,EAAqB,CACpD,IAAMC,EAAc,KAAK,MAAM,IAAIjB,CAAI,GAAK,CAAC,EACvC,SAAY,GAAuBkB,EAAS,KAAK,GAAU,KAAK,SAAS,KAAK,GAAWC,EAAQ,QAAUxB,EAAO,OAASwB,EAAQ,cAAgBxB,EAAO,WAAW,CAAC,EACxKsB,EAAY,KAAK,GAAY,CAAC,SAASC,CAAQ,CAAC,GAAG,KAAK,KAAK,uBAAwBtB,EAAO,EAAI,EACpGqB,EAAY,KAAK,KAAK,SAAS,IAAI,IAAW,CAAE,GAAGtB,CAAO,EAAE,CAAC,EAC7D,KAAK,MAAM,IAAIK,EAAMiB,CAAW,CACpC,CAEA,GAAW,EAA4B,CAAE,OAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,UAAYnB,CAAW,CAC9H,KAAa,EAA4B,CAAwD,OAAjD,KAAK,GAAGA,CAAS,GAAiB,KAAK,SAAiB,IAA7B,EAAmC,CAC9G,KAAa,EAAmB,EAAgB,EAAU,GAAa,CACnE,KAAK,QAAU,CAAE,YAAW,SAAQ,UAAS,WAAYsB,EAAU,IAAA,GAAYC,EAAyBC,EAAW,CACvH,CACJ,EAEA,SAAS,gBAAgB,EAAgB,EAA0B,CAS/D,MARI,aAAa,SAASf,CAAM,EAAU,gBACtCA,IAAW,KAAOG,EAAgB,yBAClC,KAAK,SAASH,CAAM,EAAU,gBAC9B,KAAK,SAASA,CAAM,EAAU,0BAC9BA,IAAW,IAAY,4BACvBA,IAAW,IAAY,iBACvBA,IAAW,IAAY,wBACvB,KAAK,SAASA,CAAM,EAAU,sBAC3B,iBACX"}
+{"version":3,"file":"PortableMatchPattern.js","names":["emailMatchPattern","sizeLimit","pattern","expression","size","budgetOffset","branch","start","atom","character","nameStart","name","isJavaScriptGroupName","body","negated","left","rangeOffset","right","escape","width","hex","inClass","count","choices","minimum","maximum","expanded","value","occurrences","previous","current","invalid","portableMatchSuggestions","construct"],"sources":["../../../../../../Compiler/Parsing/PortableMatchPattern.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 { isJavaScriptGroupName } from './PortableMatchGroupName';\nimport { portableMatchSuggestions } from './PortableMatchSuggestions';\n\nexport const emailMatchPattern = '^[^\\\\s@]+@[^\\\\s@.]+(?:\\\\.[^\\\\s@.]+)+$';\nexport interface MatchPatternIssue { construct: string; offset: number; invalid: boolean; suggestion?: string }\ninterface Fragment { size: number; quantifiable: boolean; budgetOffset?: number }\ninterface Branch { scope: number; alternative: number }\nconst sizeLimit = 3000;\n\n/** Decision 0084. This validates syntax without invoking a browser's backtracking engine. */\nexport function validateMatchPattern(pattern: string): MatchPatternIssue | undefined {\n    return new PortableMatchParser(pattern).parse();\n}\n\nclass PortableMatchParser {\n    private offset = 0;\n    private issue: MatchPatternIssue | undefined;\n    private readonly names = new Map<string, Branch[][]>();\n    private readonly branches: Branch[] = [];\n    private scope = 0;\n    constructor(private readonly pattern: string) { }\n\n    parse(): MatchPatternIssue | undefined {\n        if (this.pattern.length > 1000) this.fail('pattern length', 1000);\n        const expression = this.expression();\n        if (this.issue === undefined && this.offset !== this.pattern.length) this.fail('unmatched closing group', this.offset, true);\n        if (expression.size > sizeLimit) this.fail('expanded pattern size', expression.budgetOffset ?? this.offset);\n        return this.issue;\n    }\n\n    private expression(): Fragment {\n        let size = 0;\n        let budgetOffset: number | undefined;\n        const branch: Branch = { scope: this.scope++, alternative: 0 };\n        this.branches.push(branch);\n        while (this.issue === undefined && this.offset < this.pattern.length && !this.at(')')) {\n            if (this.at('|')) {\n                size = Math.min(sizeLimit + 1, size + 1);\n                if (size > sizeLimit) budgetOffset ??= this.offset;\n                this.offset++;\n                branch.alternative++;\n                continue;\n            }\n            const start = this.offset;\n            const atom = this.quantify(this.atom());\n            size = Math.min(sizeLimit + 1, size + atom.size);\n            if (size > sizeLimit) budgetOffset ??= atom.budgetOffset ?? start;\n        }\n        this.branches.pop();\n        return { size, quantifiable: true, budgetOffset };\n    }\n\n    private atom(): Fragment {\n        const start = this.offset;\n        const character = this.pattern[this.offset++];\n        if (character === '(') return this.group(start);\n        if (character === '[') this.characterClass(start);\n        else if (character === '\\\\') this.escape(start, false);\n        else if (character === ']') this.fail('unescaped closing bracket', start);\n        else if (character === '{' && /^\\{[0-9]+(?:,[0-9]*)?\\}/.test(this.pattern.slice(start))) this.fail('quantifier without an atom', start, true);\n        else if (character === '{' || character === '}') this.fail('unescaped brace', start);\n        else if ('*+?'.includes(character)) this.fail('quantifier without an atom', start, true);\n        return { size: 1, quantifiable: character !== '^' && character !== '$' };\n    }\n\n    private group(start: number): Fragment {\n        if (this.take('?')) {\n            if (this.take(':')) { /* Non-capturing group. */ }\n            else if (this.at('=') || this.at('!') || (this.at('<') && '=!'.includes(this.pattern[this.offset + 1] ?? ' '))) this.fail('lookaround', start);\n            else if (this.take('<')) {\n                const nameStart = this.offset;\n                while (this.offset < this.pattern.length && !this.at('>')) this.offset++;\n                const name = this.pattern.slice(nameStart, this.offset);\n                if (!this.take('>')) this.fail('unterminated group name', nameStart, true);\n                else if (!isJavaScriptGroupName(name)) this.fail('group name', nameStart, true);\n                else if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(name)) this.fail('group name', nameStart);\n                else this.registerName(name, nameStart);\n            } else this.fail('ims-'.includes(this.pattern[this.offset] ?? ' ') ? 'inline options' : 'group extension', start);\n        }\n        const body = this.expression();\n        if (!this.take(')')) this.fail('unterminated group', start, true);\n        return body;\n    }\n\n    private characterClass(start: number): void {\n        const negated = this.take('^');\n        if (this.at(']')) this.fail(negated ? 'negated empty character class' : 'empty character class', start);\n        while (this.issue === undefined && this.offset < this.pattern.length && !this.at(']')) {\n            if (this.at('-') && this.offset + 1 < this.pattern.length && this.pattern[this.offset + 1] === '[') this.fail('class subtraction', this.offset);\n            const left = this.classItem();\n            if (this.at('-') && this.offset + 1 < this.pattern.length && this.pattern[this.offset + 1] !== ']') {\n                const rangeOffset = this.offset++;\n                if (this.at('[')) this.fail('class subtraction', rangeOffset);\n                const right = this.classItem();\n                if (left === undefined || right === undefined) this.fail('class escape range endpoint', rangeOffset);\n                else if (left > right) this.fail('reversed character range', rangeOffset, true);\n            }\n        }\n        if (!this.take(']')) this.fail('unterminated character class', start, true);\n    }\n\n    private classItem(): number | undefined {\n        if (this.offset >= this.pattern.length) { this.fail('unterminated character class', this.offset, true); return undefined; }\n        const start = this.offset;\n        const character = this.pattern[this.offset++];\n        return character === '\\\\' ? this.escape(start, true) : character.charCodeAt(0);\n    }\n\n    private escape(start: number, inClass: boolean): number | undefined {\n        if (this.offset === this.pattern.length) { this.fail('trailing backslash', start, true); return undefined; }\n        const escape = this.pattern[this.offset++];\n        if ('dDwWsS'.includes(escape)) return undefined;\n        if (escape === '0' && /[0-9]/.test(this.pattern[this.offset] ?? ' ')) this.fail('octal escape', start);\n        else if ('tnrfv0'.includes(escape)) return ({ t: 9, n: 10, r: 13, f: 12, v: 11, '0': 0 } as Record<string, number>)[escape];\n        else if (escape === 'x' || (escape === 'u' && !this.at('{'))) {\n            const width = escape === 'x' ? 2 : 4;\n            const hex = this.pattern.slice(this.offset, this.offset + width);\n            if (hex.length !== width || !/^[0-9a-fA-F]+$/.test(hex)) this.fail('invalid hexadecimal escape', start, true);\n            else { this.offset += width; return parseInt(hex, 16); }\n        } else if ('^$\\\\.*+?()[]{}|/'.includes(escape) || (inClass && escape === '-')) return escape.charCodeAt(0);\n        else this.fail(escapeConstruct(escape, inClass), start);\n        return undefined;\n    }\n\n    private quantify(atom: Fragment): Fragment {\n        if (this.issue !== undefined || this.offset >= this.pattern.length) return atom;\n        const start = this.offset;\n        let count = 1n;\n        let choices = 1n;\n        if (this.at('*') || this.at('+') || this.at('?')) this.offset++;\n        else if (this.take('{')) {\n            const minimum = this.digits();\n            if (minimum === undefined) { this.fail('unescaped brace', start); return atom; }\n            count = minimum;\n            choices = 0n;\n            if (this.take(',')) {\n                if (this.at('}')) { count = minimum + 1n; choices = 1n; }\n                else {\n                    const maximum = this.digits();\n                    if (maximum === undefined) { this.fail('unescaped brace', start); return atom; }\n                    count = maximum;\n                    choices = maximum - minimum;\n                    if (count < minimum) this.fail('reversed counted repeat', start, true);\n                }\n            }\n            if (!this.take('}')) this.fail('unescaped brace', start);\n        } else return atom;\n        if (!atom.quantifiable) this.fail('quantified assertion', start, true);\n        this.take('?');\n        const expanded = BigInt(atom.size) * count + choices;\n        const size = Number(expanded > BigInt(sizeLimit + 1) ? BigInt(sizeLimit + 1) : expanded);\n        return { size, quantifiable: false, budgetOffset: size > sizeLimit ? atom.budgetOffset ?? start : undefined };\n    }\n\n    private digits(): bigint | undefined {\n        const start = this.offset;\n        let value = 0n;\n        while (this.offset < this.pattern.length && /[0-9]/.test(this.pattern[this.offset])) value = value * 10n + BigInt(this.pattern[this.offset++]);\n        return this.offset === start ? undefined : value;\n    }\n\n    private registerName(name: string, start: number): void {\n        const occurrences = this.names.get(name) ?? [];\n        const disjoint = (previous: Branch[]) => previous.some(branch => this.branches.some(current => current.scope === branch.scope && current.alternative !== branch.alternative));\n        if (occurrences.some(previous => !disjoint(previous))) this.fail('duplicate group name', start, true);\n        occurrences.push(this.branches.map(branch => ({ ...branch })));\n        this.names.set(name, occurrences);\n    }\n\n    private at(character: string): boolean { return this.offset < this.pattern.length && this.pattern[this.offset] === character; }\n    private take(character: string): boolean { if (!this.at(character)) return false; this.offset++; return true; }\n    private fail(construct: string, offset: number, invalid = false): void {\n        this.issue ??= { construct, offset, invalid, suggestion: invalid ? undefined : portableMatchSuggestions[construct] };\n    }\n}\n\nfunction escapeConstruct(escape: string, inClass: boolean): string {\n    if ('123456789k'.includes(escape)) return 'backreference';\n    if (escape === 'b' && inClass) return 'class backspace escape';\n    if ('bB'.includes(escape)) return 'word boundary';\n    if ('pP'.includes(escape)) return 'Unicode property escape';\n    if (escape === 'u') return 'Unicode code point escape';\n    if (escape === 'c') return 'control escape';\n    if (escape === 'A') return 'start of input escape';\n    if ('zZ'.includes(escape)) return 'end of input escape';\n    return 'identity escape';\n}\n"],"mappings":"A,kMAMA,MAAaA,EAAoB,wCAI3BC,EAAY,IAGlB,SAAgB,qBAAqB,EAAgD,CACjF,OAAO,IAAI,oBAAoBC,CAAO,CAAC,CAAC,MAAM,CAClD,CAEA,IAAM,oBAAN,KAA0B,CAMO,QAL7B,OAAiB,EACjB,MACA,sBAAyB,IAAI,IAC7B,SAAsC,CAAC,EACvC,MAAgB,EAChB,YAAY,EAAkC,CAAjB,KAAA,QAAAA,CAAmB,CAEhD,OAAuC,CAC/B,KAAK,QAAQ,OAAS,KAAM,KAAK,KAAK,iBAAkB,GAAI,EAChE,IAAMC,EAAa,KAAK,WAAW,EAGnC,OAFI,KAAK,QAAU,IAAA,IAAa,KAAK,SAAW,KAAK,QAAQ,QAAQ,KAAK,KAAK,0BAA2B,KAAK,OAAQ,EAAI,EACvHA,EAAW,KAAOF,GAAW,KAAK,KAAK,wBAAyBE,EAAW,cAAgB,KAAK,MAAM,EACnG,KAAK,KAChB,CAEA,YAA+B,CAC3B,IAAIC,EAAO,EACPC,EACEC,EAAiB,CAAE,MAAO,KAAK,QAAS,YAAa,CAAE,EAE7D,IADA,KAAK,SAAS,KAAKA,CAAM,EAClB,KAAK,QAAU,IAAA,IAAa,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,CACnF,GAAI,KAAK,GAAG,GAAG,EAAG,CACd,EAAO,KAAK,IAAI,KAAeF,EAAO,CAAC,EACnCA,EAAOH,IAAW,IAAiB,KAAK,QAC5C,KAAK,SACL,EAAO,cACP,QACJ,CACA,IAAMM,EAAQ,KAAK,OACbC,EAAO,KAAK,SAAS,KAAK,KAAK,CAAC,EACtC,EAAO,KAAK,IAAI,KAAeJ,EAAOI,EAAK,IAAI,EAC3CJ,EAAOH,IAAW,IAAiBO,EAAK,cAAgBD,EAChE,CAEA,OADA,KAAK,SAAS,IAAI,EACX,CAAE,OAAM,aAAc,GAAM,cAAa,CACpD,CAEA,MAAyB,CACrB,IAAMA,EAAQ,KAAK,OACbE,EAAY,KAAK,QAAQ,KAAK,UAQpC,OAPIA,IAAc,IAAY,KAAK,MAAMF,CAAK,GAC1CE,IAAc,IAAK,KAAK,eAAeF,CAAK,EACvCE,IAAc,KAAM,KAAK,OAAOF,EAAO,EAAK,EAC5CE,IAAc,IAAK,KAAK,KAAK,4BAA6BF,CAAK,EAC/DE,IAAc,KAAO,0BAA0B,KAAK,KAAK,QAAQ,MAAMF,CAAK,CAAC,EAAG,KAAK,KAAK,6BAA8BA,EAAO,EAAI,EACnIE,IAAc,KAAOA,IAAc,IAAK,KAAK,KAAK,kBAAmBF,CAAK,EAC1E,MAAM,SAASE,CAAS,GAAG,KAAK,KAAK,6BAA8BF,EAAO,EAAI,EAChF,CAAE,KAAM,EAAG,aAAcE,IAAc,KAAOA,IAAc,GAAI,EAC3E,CAEA,MAAc,EAAyB,CACnC,GAAI,KAAK,KAAK,GAAG,GACT,MAAK,KAAK,GAAG,EACZ,IAAI,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,GAAM,KAAK,GAAG,GAAG,GAAK,KAAK,SAAS,KAAK,QAAQ,KAAK,OAAS,IAAM,GAAG,EAAI,KAAK,KAAK,aAAcF,CAAK,OACxI,GAAI,KAAK,KAAK,GAAG,EAAG,CACrB,IAAMG,EAAY,KAAK,OACvB,KAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,KAAK,SAChE,IAAMC,EAAO,KAAK,QAAQ,MAAMD,EAAW,KAAK,MAAM,EACjD,KAAK,KAAK,GAAG,EACRE,EAAsBD,CAAI,EAC1B,2BAA2B,KAAKA,CAAI,EACzC,KAAK,aAAaA,EAAMD,CAAS,EADW,KAAK,KAAK,aAAcA,CAAS,EAD3C,KAAK,KAAK,aAAcA,EAAW,EAAI,EADzD,KAAK,KAAK,0BAA2BA,EAAW,EAAI,CAI7E,MAAO,KAAK,KAAK,OAAO,SAAS,KAAK,QAAQ,KAAK,SAAW,GAAG,EAAI,iBAAmB,kBAAmBH,CAAK,CAAA,CAEpH,IAAMM,EAAO,KAAK,WAAW,EAE7B,OADK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,qBAAsBN,EAAO,EAAI,EACzDM,CACX,CAEA,eAAuB,EAAqB,CACxC,IAAMC,EAAU,KAAK,KAAK,GAAG,EAE7B,IADI,KAAK,GAAG,GAAG,GAAG,KAAK,KAAKA,EAAU,gCAAkC,wBAAyBP,CAAK,EAC/F,KAAK,QAAU,IAAA,IAAa,KAAK,OAAS,KAAK,QAAQ,QAAU,CAAC,KAAK,GAAG,GAAG,GAAG,CAC/E,KAAK,GAAG,GAAG,GAAK,KAAK,OAAS,EAAI,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,OAAS,KAAO,KAAK,KAAK,KAAK,oBAAqB,KAAK,MAAM,EAC9I,IAAMQ,EAAO,KAAK,UAAU,EAC5B,GAAI,KAAK,GAAG,GAAG,GAAK,KAAK,OAAS,EAAI,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,OAAS,KAAO,IAAK,CAChG,IAAMC,EAAc,KAAK,SACrB,KAAK,GAAG,GAAG,GAAG,KAAK,KAAK,oBAAqBA,CAAW,EAC5D,IAAMC,EAAQ,KAAK,UAAU,EACzBF,IAAS,IAAA,IAAaE,IAAU,IAAA,GAAW,KAAK,KAAK,8BAA+BD,CAAW,EAC1FD,EAAOE,GAAO,KAAK,KAAK,2BAA4BD,EAAa,EAAI,CAClF,CACJ,CACK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,+BAAgCT,EAAO,EAAI,CAC9E,CAEA,WAAwC,CACpC,GAAI,KAAK,QAAU,KAAK,QAAQ,OAAQ,CAAE,KAAK,KAAK,+BAAgC,KAAK,OAAQ,EAAI,EAAG,MAAkB,CAC1H,IAAMA,EAAQ,KAAK,OACbE,EAAY,KAAK,QAAQ,KAAK,UACpC,OAAOA,IAAc,KAAO,KAAK,OAAOF,EAAO,EAAI,EAAIE,EAAU,WAAW,CAAC,CACjF,CAEA,OAAe,EAAe,EAAsC,CAChE,GAAI,KAAK,SAAW,KAAK,QAAQ,OAAQ,CAAE,KAAK,KAAK,qBAAsBF,EAAO,EAAI,EAAG,MAAkB,CAC3G,IAAMW,EAAS,KAAK,QAAQ,KAAK,UACjC,GAAI,UAAS,SAASA,CAAM,EAC5B,IAAIA,IAAW,KAAO,QAAQ,KAAK,KAAK,QAAQ,KAAK,SAAW,GAAG,EAAG,KAAK,KAAK,eAAgBX,CAAK,OAChG,GAAI,SAAS,SAASW,CAAM,EAAG,MAAQ,CAAE,EAAG,EAAG,EAAG,GAAI,EAAG,GAAI,EAAG,GAAI,EAAG,GAAI,EAAK,CAAE,EAA6BA,QAC/G,GAAIA,IAAW,KAAQA,IAAW,KAAO,CAAC,KAAK,GAAG,GAAG,EAAI,CAC1D,IAAMC,EAAQD,IAAW,IAAM,EAAI,EAC7BE,EAAM,KAAK,QAAQ,MAAM,KAAK,OAAQ,KAAK,OAASD,CAAK,EAC/D,GAAIC,EAAI,SAAWD,GAAS,CAAC,iBAAiB,KAAKC,CAAG,EAAG,KAAK,KAAK,6BAA8Bb,EAAO,EAAI,OAC/E,MAAtB,MAAK,QAAUY,EAAc,SAASC,EAAK,EAAE,CACxD,MAAO,GAAI,mBAAmB,SAASF,CAAM,GAAMG,GAAWH,IAAW,IAAM,OAAOA,EAAO,WAAW,CAAC,OACpG,KAAK,KAAK,gBAAgBA,EAAQG,CAAO,EAAGd,CAAK,CAAA,CAE1D,CAEA,SAAiB,EAA0B,CACvC,GAAI,KAAK,QAAU,IAAA,IAAa,KAAK,QAAU,KAAK,QAAQ,OAAQ,OAAOC,EAC3E,IAAMD,EAAQ,KAAK,OACfe,EAAQ,GACRC,EAAU,GACd,GAAI,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,GAAK,KAAK,GAAG,GAAG,EAAG,KAAK,cAClD,GAAI,KAAK,KAAK,GAAG,EAAG,CACrB,IAAMC,EAAU,KAAK,OAAO,EAC5B,GAAIA,IAAY,IAAA,GAAkD,OAArC,KAAK,KAAK,kBAAmBjB,CAAK,EAAUC,EAGzE,GAFA,EAAQgB,EACR,EAAU,GACN,KAAK,KAAK,GAAG,EAAG,CAChB,GAAI,KAAK,GAAG,GAAG,EAAK,EAAQA,EAAU,GAAI,EAAU,OAC/C,CACD,IAAMC,EAAU,KAAK,OAAO,EAC5B,GAAIA,IAAY,IAAA,GAAkD,OAArC,KAAK,KAAK,kBAAmBlB,CAAK,EAAUC,EACzE,EAAQiB,EACR,EAAUA,EAAUD,EAChBF,EAAQE,GAAS,KAAK,KAAK,0BAA2BjB,EAAO,EAAI,CACzE,CACJ,CACK,KAAK,KAAK,GAAG,GAAG,KAAK,KAAK,kBAAmBA,CAAK,CAC3D,MAAO,OAAOC,EACTA,EAAK,cAAc,KAAK,KAAK,uBAAwBD,EAAO,EAAI,EACrE,KAAK,KAAK,GAAG,EACb,IAAMmB,EAAW,OAAOlB,EAAK,IAAI,EAAIc,EAAQC,EACvCnB,EAAO,OAAOsB,EAAW,OAAO,IAAa,EAAI,OAAO,IAAa,EAAIA,CAAQ,EACvF,MAAO,CAAE,OAAM,aAAc,GAAO,aAActB,EAAOH,EAAYO,EAAK,cAAgBD,EAAQ,IAAA,EAAU,CAChH,CAEA,QAAqC,CACjC,IAAMA,EAAQ,KAAK,OACfoB,EAAQ,GACZ,KAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,QAAQ,KAAK,KAAK,QAAQ,KAAK,OAAO,GAAG,EAAQA,EAAQ,IAAM,OAAO,KAAK,QAAQ,KAAK,SAAS,EAC7I,OAAO,KAAK,SAAWpB,EAAQ,IAAA,GAAYoB,CAC/C,CAEA,aAAqB,EAAc,EAAqB,CACpD,IAAMC,EAAc,KAAK,MAAM,IAAIjB,CAAI,GAAK,CAAC,EACvC,SAAY,GAAuBkB,EAAS,KAAK,GAAU,KAAK,SAAS,KAAK,GAAWC,EAAQ,QAAUxB,EAAO,OAASwB,EAAQ,cAAgBxB,EAAO,WAAW,CAAC,EACxKsB,EAAY,KAAK,GAAY,CAAC,SAASC,CAAQ,CAAC,GAAG,KAAK,KAAK,uBAAwBtB,EAAO,EAAI,EACpGqB,EAAY,KAAK,KAAK,SAAS,IAAI,IAAW,CAAE,GAAGtB,CAAO,EAAE,CAAC,EAC7D,KAAK,MAAM,IAAIK,EAAMiB,CAAW,CACpC,CAEA,GAAW,EAA4B,CAAE,OAAO,KAAK,OAAS,KAAK,QAAQ,QAAU,KAAK,QAAQ,KAAK,UAAYnB,CAAW,CAC9H,KAAa,EAA4B,CAAwD,OAAjD,KAAK,GAAGA,CAAS,GAAiB,KAAK,SAAiB,IAA7B,EAAmC,CAC9G,KAAa,EAAmB,EAAgB,EAAU,GAAa,CACnE,KAAK,QAAU,CAAE,YAAW,SAAQ,UAAS,WAAYsB,EAAU,IAAA,GAAYC,EAAyBC,EAAW,CACvH,CACJ,EAEA,SAAS,gBAAgB,EAAgB,EAA0B,CAS/D,MARI,aAAa,SAASf,CAAM,EAAU,gBACtCA,IAAW,KAAOG,EAAgB,yBAClC,KAAK,SAASH,CAAM,EAAU,gBAC9B,KAAK,SAASA,CAAM,EAAU,0BAC9BA,IAAW,IAAY,4BACvBA,IAAW,IAAY,iBACvBA,IAAW,IAAY,wBACvB,KAAK,SAASA,CAAM,EAAU,sBAC3B,iBACX,C"}

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

@@ -1 +1 @@
-{"version":3,"file":"PortableMatchSuggestions.js","names":["portableMatchSuggestions","\"lookaround\"","\"backreference\""],"sources":["../../../../../../Compiler/Parsing/PortableMatchSuggestions.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\n// Held equal to the C# table by the shared portable-match conformance vectors.\nexport const portableMatchSuggestions: Readonly<Record<string, string>> = {\n    'lookaround': 'There is no general equivalent; a length-only lookahead can be replaced with a {n} counted repeat.',\n    'backreference': 'There is no equivalent in the portable match dialect.',\n    'word boundary': 'There is no equivalent word-boundary assertion in the portable match dialect.',\n    'Unicode property escape': 'Use an explicit character class where the required set is known; there is no general equivalent.',\n    'Unicode code point escape': 'Use \\\\uHHHH escapes for UTF-16 code units.',\n    'control escape': 'Use an explicit hexadecimal escape such as \\\\x01.',\n    'class backspace escape': 'Use \\\\x08.',\n    'start of input escape': 'Use ^.',\n    'end of input escape': 'Use $.',\n    'inline options': 'Use explicit case classes such as [aA] for case-insensitive matching; there is no general equivalent for other options.',\n    'empty character class': 'Use [^\\\\s\\\\S] to match no UTF-16 code unit.',\n    'negated empty character class': 'Use [\\\\s\\\\S].',\n    'class subtraction': 'Use an explicit character class containing the resulting ranges.',\n    'class escape range endpoint': 'Write single-character range endpoints or a union of classes.',\n    'unescaped closing bracket': 'Escape a literal closing bracket as \\\\].',\n    'unescaped brace': 'Escape a literal brace as \\\\{ or \\\\}.',\n    'identity escape': 'Write the literal character without a backslash, or use \\\\xHH or \\\\uHHHH.',\n    'octal escape': 'Use \\\\xHH or \\\\uHHHH.',\n    'group name': 'Use a name matching [A-Za-z_][A-Za-z0-9_]*.',\n    'group extension': 'Use an ordinary group or a (?:...) non-capturing group.',\n    'pattern length': 'Shorten the pattern to at most 1000 UTF-16 code units.',\n    'expanded pattern size': 'Reduce repeats and alternatives to at most 3000 expanded nodes, including choice points.',\n};\n"],"mappings":"AAIA,MAAaA,EAA6D,CACtEC,WAAc,qGACdC,cAAiB,wDACjB,gBAAiB,gFACjB,0BAA2B,mGAC3B,4BAA6B,6CAC7B,iBAAkB,oDAClB,yBAA0B,aAC1B,wBAAyB,SACzB,sBAAuB,SACvB,iBAAkB,0HAClB,wBAAyB,8CACzB,gCAAiC,gBACjC,oBAAqB,mEACrB,8BAA+B,gEAC/B,4BAA6B,2CAC7B,kBAAmB,wCACnB,kBAAmB,4EACnB,eAAgB,wBAChB,aAAc,8CACd,kBAAmB,0DACnB,iBAAkB,yDAClB,wBAAyB,0FAC7B"}
+{"version":3,"file":"PortableMatchSuggestions.js","names":["portableMatchSuggestions","\"lookaround\"","\"backreference\""],"sources":["../../../../../../Compiler/Parsing/PortableMatchSuggestions.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\n// Held equal to the C# table by the shared portable-match conformance vectors.\nexport const portableMatchSuggestions: Readonly<Record<string, string>> = {\n    'lookaround': 'There is no general equivalent; a length-only lookahead can be replaced with a {n} counted repeat.',\n    'backreference': 'There is no equivalent in the portable match dialect.',\n    'word boundary': 'There is no equivalent word-boundary assertion in the portable match dialect.',\n    'Unicode property escape': 'Use an explicit character class where the required set is known; there is no general equivalent.',\n    'Unicode code point escape': 'Use \\\\uHHHH escapes for UTF-16 code units.',\n    'control escape': 'Use an explicit hexadecimal escape such as \\\\x01.',\n    'class backspace escape': 'Use \\\\x08.',\n    'start of input escape': 'Use ^.',\n    'end of input escape': 'Use $.',\n    'inline options': 'Use explicit case classes such as [aA] for case-insensitive matching; there is no general equivalent for other options.',\n    'empty character class': 'Use [^\\\\s\\\\S] to match no UTF-16 code unit.',\n    'negated empty character class': 'Use [\\\\s\\\\S].',\n    'class subtraction': 'Use an explicit character class containing the resulting ranges.',\n    'class escape range endpoint': 'Write single-character range endpoints or a union of classes.',\n    'unescaped closing bracket': 'Escape a literal closing bracket as \\\\].',\n    'unescaped brace': 'Escape a literal brace as \\\\{ or \\\\}.',\n    'identity escape': 'Write the literal character without a backslash, or use \\\\xHH or \\\\uHHHH.',\n    'octal escape': 'Use \\\\xHH or \\\\uHHHH.',\n    'group name': 'Use a name matching [A-Za-z_][A-Za-z0-9_]*.',\n    'group extension': 'Use an ordinary group or a (?:...) non-capturing group.',\n    'pattern length': 'Shorten the pattern to at most 1000 UTF-16 code units.',\n    'expanded pattern size': 'Reduce repeats and alternatives to at most 3000 expanded nodes, including choice points.',\n};\n"],"mappings":"AAIA,MAAaA,EAA6D,CACtEC,WAAc,qGACdC,cAAiB,wDACjB,gBAAiB,gFACjB,0BAA2B,mGAC3B,4BAA6B,6CAC7B,iBAAkB,oDAClB,yBAA0B,aAC1B,wBAAyB,SACzB,sBAAuB,SACvB,iBAAkB,0HAClB,wBAAyB,8CACzB,gCAAiC,gBACjC,oBAAqB,mEACrB,8BAA+B,gEAC/B,4BAA6B,2CAC7B,kBAAmB,wCACnB,kBAAmB,4EACnB,eAAgB,wBAChB,aAAc,8CACd,kBAAmB,0DACnB,iBAAkB,yDAClB,wBAAyB,0FAC7B,E"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{locationOf as t}from"./SourceLine.js";import{firstWord as n}from"./LineText.js";import{parseCommandStream as r}from"./EventSourceParser.js";import{parseTag as i}from"./DeclarationParsers.js";function parsePossibleEvents(n,r){let i=[],a=/* @__PURE__ */ new Set;for(;n.peekChild(r.indent)!==void 0;){let r=n.reader.takeSignificant(),o=/^([A-Z]\w*(?:\.[A-Za-z_]\w*)*)(?:\s+for\s+(?:(one\s+of)\s+)?([A-Za-z_]\w*))?$/.exec(r.content);if(o===null){invalid(n,r);continue}if(a.has(o[1])){n.error(e.InvalidPossibleEventsDeclaration,`Possible event '${o[1]}' is declared more than once; one destination rule is allowed per event type.`,t(r)),n.skipBlock(r.indent);continue}a.add(o[1]);let[s,c]=parseMetadata(n,r);i.push({kind:`PossibleEventSyntax`,event:o[1],property:o[3]??null,oneOf:o[2]!==void 0,stream:s,tags:c,location:t(r)})}return{kind:`PossibleEventsSyntax`,events:i,location:t(r)}}function parseMetadata(e,t){let r=null,i=[];for(;e.peekChild(t.indent)!==void 0;){let t=e.reader.takeSignificant();n(t.content)===`stream`?r=parseRoute(e,t,r):n(t.content)===`tag`?collectTag(e,t,i):invalid(e,t)}return[r,i]}function collectTag(e,t,n){let r=i(e,t,!1);r!==void 0&&n.push(r)}function parseRoute(n,i,a){let o=/^stream\s+([A-Za-z_]\w*\.[A-Za-z_]\w*)$/.exec(i.content);if(a!==null||o===null)return n.error(e.InvalidCommandStream,a===null?`Expected 'stream <Source>.<Stream>'.`:`A production can declare at most one stream route.`,t(i)),n.skipBlock(i.indent),a;let s=t(i),c={kind:`PropertySyntax`,name:`stream`,type:{kind:`TypeRefSyntax`,name:o[1],isCollection:!1,isOptional:!1,location:{...s,column:i.indent+i.content.indexOf(o[1])+1}},isIdentifier:!1,location:s};return r(n,i,c,!1)}function invalid(n,r){n.error(e.InvalidPossibleEventsDeclaration,`Expected an event name, optionally followed by 'for <property>' or 'for one of <collection property>'; entries accept only stream and tag children.`,t(r)),n.skipBlock(r.indent)}export{parsePossibleEvents};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{parseCommandStream as t}from"./EventSourceParser.js";import{firstWord as n}from"./LineText.js";import{locationOf as r}from"./SourceLine.js";import{parseTag as i}from"./DeclarationParsers.js";function parsePossibleEvents(t,n){let i=[],a=/* @__PURE__ */ new Set;for(;t.peekChild(n.indent)!==void 0;){let n=t.reader.takeSignificant(),o=/^([A-Z]\w*(?:\.[A-Za-z_]\w*)*)(?:\s+for\s+(?:(one\s+of)\s+)?([A-Za-z_]\w*))?$/.exec(n.content);if(o===null){invalid(t,n);continue}if(a.has(o[1])){t.error(e.InvalidPossibleEventsDeclaration,`Possible event '${o[1]}' is declared more than once; one destination rule is allowed per event type.`,r(n)),t.skipBlock(n.indent);continue}a.add(o[1]);let[s,c]=parseMetadata(t,n);i.push({kind:`PossibleEventSyntax`,event:o[1],property:o[3]??null,oneOf:o[2]!==void 0,stream:s,tags:c,location:r(n)})}return{kind:`PossibleEventsSyntax`,events:i,location:r(n)}}function parseMetadata(e,t){let r=null,i=[];for(;e.peekChild(t.indent)!==void 0;){let t=e.reader.takeSignificant();n(t.content)===`stream`?r=parseRoute(e,t,r):n(t.content)===`tag`?collectTag(e,t,i):invalid(e,t)}return[r,i]}function collectTag(e,t,n){let r=i(e,t,!1);r!==void 0&&n.push(r)}function parseRoute(n,i,a){let o=/^stream\s+([A-Za-z_]\w*\.[A-Za-z_]\w*)$/.exec(i.content);if(a!==null||o===null)return n.error(e.InvalidCommandStream,a===null?`Expected 'stream <Source>.<Stream>'.`:`A production can declare at most one stream route.`,r(i)),n.skipBlock(i.indent),a;let s=r(i),c={kind:`PropertySyntax`,name:`stream`,type:{kind:`TypeRefSyntax`,name:o[1],isCollection:!1,isOptional:!1,location:{...s,column:i.indent+i.content.indexOf(o[1])+1}},isIdentifier:!1,location:s};return t(n,i,c,!1)}function invalid(t,n){t.error(e.InvalidPossibleEventsDeclaration,`Expected an event name, optionally followed by 'for <property>' or 'for one of <collection property>'; entries accept only stream and tag children.`,r(n)),t.skipBlock(n.indent)}export{parsePossibleEvents};
 //# sourceMappingURL=PossibleEventsParser.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"PossibleEventsParser.js","names":["events","names","context","header","line","match","DiagnosticCodes","locationOf","stream","tags","child","firstWord","tag","parseTag","previous","location","candidate","parseCommandStream"],"sources":["../../../../../../Compiler/Parsing/PossibleEventsParser.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 { CommandStreamSyntax } from '../Syntax/CommandStreamSyntax';\nimport { PropertySyntax, TagSyntax } from '../Syntax/Declarations';\nimport { PossibleEventSyntax } from '../Syntax/PossibleEventSyntax';\nimport { PossibleEventsSyntax } from '../Syntax/PossibleEventsSyntax';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ParserContext } from './ParserContext';\nimport { firstWord } from './LineText';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseTag } from './DeclarationParsers';\n\nexport function parsePossibleEvents(context: ParserContext, header: SourceLine): PossibleEventsSyntax {\n    const events: PossibleEventSyntax[] = [];\n    const names = new Set<string>();\n    while (context.peekChild(header.indent) !== undefined) {\n        const line = context.reader.takeSignificant()!;\n        const match = /^([A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*)(?:\\s+for\\s+(?:(one\\s+of)\\s+)?([A-Za-z_]\\w*))?$/.exec(line.content);\n        if (match === null) {\n            invalid(context, line);\n            continue;\n        }\n        if (names.has(match[1])) {\n            context.error(DiagnosticCodes.InvalidPossibleEventsDeclaration, `Possible event '${match[1]}' is declared more than once; one destination rule is allowed per event type.`, locationOf(line));\n            context.skipBlock(line.indent);\n            continue;\n        }\n        names.add(match[1]);\n        const [stream, tags] = parseMetadata(context, line);\n        events.push({ kind: 'PossibleEventSyntax', event: match[1], property: match[3] ?? null, oneOf: match[2] !== undefined, stream, tags, location: locationOf(line) });\n    }\n    return { kind: 'PossibleEventsSyntax', events, location: locationOf(header) };\n}\n\nfunction parseMetadata(context: ParserContext, line: SourceLine): [CommandStreamSyntax | null, TagSyntax[]] {\n    let stream: CommandStreamSyntax | null = null;\n    const tags: TagSyntax[] = [];\n    while (context.peekChild(line.indent) !== undefined) {\n        const child = context.reader.takeSignificant()!;\n        if (firstWord(child.content) === 'stream') {\n            stream = parseRoute(context, child, stream);\n        } else if (firstWord(child.content) === 'tag') {\n            collectTag(context, child, tags);\n        } else {\n            invalid(context, child);\n        }\n    }\n    return [stream, tags];\n}\n\nfunction collectTag(context: ParserContext, line: SourceLine, tags: TagSyntax[]): void {\n    const tag = parseTag(context, line, false);\n    if (tag !== undefined) tags.push(tag);\n}\n\nfunction parseRoute(context: ParserContext, line: SourceLine, previous: CommandStreamSyntax | null): CommandStreamSyntax | null {\n    const match = /^stream\\s+([A-Za-z_]\\w*\\.[A-Za-z_]\\w*)$/.exec(line.content);\n    if (previous !== null || match === null) {\n        context.error(DiagnosticCodes.InvalidCommandStream, previous !== null ? 'A production can declare at most one stream route.' : \"Expected 'stream <Source>.<Stream>'.\", locationOf(line));\n        context.skipBlock(line.indent);\n        return previous;\n    }\n    const location = locationOf(line);\n    const candidate: PropertySyntax = { kind: 'PropertySyntax', name: 'stream', type: { kind: 'TypeRefSyntax', name: match[1], isCollection: false, isOptional: false, location: { ...location, column: line.indent + line.content.indexOf(match[1]) + 1 } }, isIdentifier: false, location };\n    return parseCommandStream(context, line, candidate, false);\n}\n\nfunction invalid(context: ParserContext, line: SourceLine): void {\n    context.error(DiagnosticCodes.InvalidPossibleEventsDeclaration, \"Expected an event name, optionally followed by 'for <property>' or 'for one of <collection property>'; entries accept only stream and tag children.\", locationOf(line));\n    context.skipBlock(line.indent);\n}\n"],"mappings":"+TAcA,SAAgB,oBAAoB,EAAwB,EAA0C,CAClG,IAAMA,EAAgC,CAAC,EACjCC,kBAAQ,IAAI,IAClB,KAAOC,EAAQ,UAAUC,EAAO,MAAM,IAAM,IAAA,IAAW,CACnD,IAAMC,EAAOF,EAAQ,OAAO,gBAAgB,EACtCG,EAAQ,gFAAgF,KAAKD,EAAK,OAAO,EAC/G,GAAIC,IAAU,KAAM,CAChB,QAAQH,EAASE,CAAI,EACrB,QACJ,CACA,GAAIH,EAAM,IAAII,EAAM,EAAE,EAAG,CACrBH,EAAQ,MAAMI,EAAgB,iCAAkC,mBAAmBD,EAAM,GAAG,+EAAgFE,EAAWH,CAAI,CAAC,EAC5LF,EAAQ,UAAUE,EAAK,MAAM,EAC7B,QACJ,CACAH,EAAM,IAAII,EAAM,EAAE,EAClB,GAAM,CAACG,EAAQC,GAAQ,cAAcP,EAASE,CAAI,EAClDJ,EAAO,KAAK,CAAE,KAAM,sBAAuB,MAAOK,EAAM,GAAI,SAAUA,EAAM,IAAM,KAAM,MAAOA,EAAM,KAAO,IAAA,GAAW,SAAQ,OAAM,SAAUE,EAAWH,CAAI,CAAE,CAAC,CACrK,CACA,MAAO,CAAE,KAAM,uBAAwB,SAAQ,SAAUG,EAAWJ,CAAM,CAAE,CAChF,CAEA,SAAS,cAAc,EAAwB,EAA6D,CACxG,IAAIK,EAAqC,KACnCC,EAAoB,CAAC,EAC3B,KAAOP,EAAQ,UAAUE,EAAK,MAAM,IAAM,IAAA,IAAW,CACjD,IAAMM,EAAQR,EAAQ,OAAO,gBAAgB,EACzCS,EAAUD,EAAM,OAAO,IAAM,SAC7B,EAAS,WAAWR,EAASQ,EAAOF,CAAM,EACnCG,EAAUD,EAAM,OAAO,IAAM,MACpC,WAAWR,EAASQ,EAAOD,CAAI,EAE/B,QAAQP,EAASQ,CAAK,CAE9B,CACA,MAAO,CAACF,EAAQC,CAAI,CACxB,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAyB,CACnF,IAAMG,EAAMC,EAASX,EAASE,EAAM,EAAK,EACrCQ,IAAQ,IAAA,IAAWH,EAAK,KAAKG,CAAG,CACxC,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAkE,CAC5H,IAAMP,EAAQ,0CAA0C,KAAKD,EAAK,OAAO,EACzE,GAAIU,IAAa,MAAQT,IAAU,KAG/B,OAFAH,EAAQ,MAAMI,EAAgB,qBAAsBQ,IAAa,KAA8D,uCAAvD,qDAA+FP,EAAWH,CAAI,CAAC,EACvLF,EAAQ,UAAUE,EAAK,MAAM,EACtBU,EAEX,IAAMC,EAAWR,EAAWH,CAAI,EAC1BY,EAA4B,CAAE,KAAM,iBAAkB,KAAM,SAAU,KAAM,CAAE,KAAM,gBAAiB,KAAMX,EAAM,GAAI,aAAc,GAAO,WAAY,GAAO,SAAU,CAAE,GAAGU,EAAU,OAAQX,EAAK,OAASA,EAAK,QAAQ,QAAQC,EAAM,EAAE,EAAI,CAAE,CAAE,EAAG,aAAc,GAAO,UAAS,EACxR,OAAOY,EAAmBf,EAASE,EAAMY,EAAW,EAAK,CAC7D,CAEA,SAAS,QAAQ,EAAwB,EAAwB,CAC7Dd,EAAQ,MAAMI,EAAgB,iCAAkC,sJAAuJC,EAAWH,CAAI,CAAC,EACvOF,EAAQ,UAAUE,EAAK,MAAM,CACjC"}
+{"version":3,"file":"PossibleEventsParser.js","names":["events","names","context","header","line","match","DiagnosticCodes","locationOf","stream","tags","child","firstWord","tag","parseTag","previous","location","candidate","parseCommandStream"],"sources":["../../../../../../Compiler/Parsing/PossibleEventsParser.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 { CommandStreamSyntax } from '../Syntax/CommandStreamSyntax';\nimport { PropertySyntax, TagSyntax } from '../Syntax/Declarations';\nimport { PossibleEventSyntax } from '../Syntax/PossibleEventSyntax';\nimport { PossibleEventsSyntax } from '../Syntax/PossibleEventsSyntax';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ParserContext } from './ParserContext';\nimport { firstWord } from './LineText';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseTag } from './DeclarationParsers';\n\nexport function parsePossibleEvents(context: ParserContext, header: SourceLine): PossibleEventsSyntax {\n    const events: PossibleEventSyntax[] = [];\n    const names = new Set<string>();\n    while (context.peekChild(header.indent) !== undefined) {\n        const line = context.reader.takeSignificant()!;\n        const match = /^([A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*)(?:\\s+for\\s+(?:(one\\s+of)\\s+)?([A-Za-z_]\\w*))?$/.exec(line.content);\n        if (match === null) {\n            invalid(context, line);\n            continue;\n        }\n        if (names.has(match[1])) {\n            context.error(DiagnosticCodes.InvalidPossibleEventsDeclaration, `Possible event '${match[1]}' is declared more than once; one destination rule is allowed per event type.`, locationOf(line));\n            context.skipBlock(line.indent);\n            continue;\n        }\n        names.add(match[1]);\n        const [stream, tags] = parseMetadata(context, line);\n        events.push({ kind: 'PossibleEventSyntax', event: match[1], property: match[3] ?? null, oneOf: match[2] !== undefined, stream, tags, location: locationOf(line) });\n    }\n    return { kind: 'PossibleEventsSyntax', events, location: locationOf(header) };\n}\n\nfunction parseMetadata(context: ParserContext, line: SourceLine): [CommandStreamSyntax | null, TagSyntax[]] {\n    let stream: CommandStreamSyntax | null = null;\n    const tags: TagSyntax[] = [];\n    while (context.peekChild(line.indent) !== undefined) {\n        const child = context.reader.takeSignificant()!;\n        if (firstWord(child.content) === 'stream') {\n            stream = parseRoute(context, child, stream);\n        } else if (firstWord(child.content) === 'tag') {\n            collectTag(context, child, tags);\n        } else {\n            invalid(context, child);\n        }\n    }\n    return [stream, tags];\n}\n\nfunction collectTag(context: ParserContext, line: SourceLine, tags: TagSyntax[]): void {\n    const tag = parseTag(context, line, false);\n    if (tag !== undefined) tags.push(tag);\n}\n\nfunction parseRoute(context: ParserContext, line: SourceLine, previous: CommandStreamSyntax | null): CommandStreamSyntax | null {\n    const match = /^stream\\s+([A-Za-z_]\\w*\\.[A-Za-z_]\\w*)$/.exec(line.content);\n    if (previous !== null || match === null) {\n        context.error(DiagnosticCodes.InvalidCommandStream, previous !== null ? 'A production can declare at most one stream route.' : \"Expected 'stream <Source>.<Stream>'.\", locationOf(line));\n        context.skipBlock(line.indent);\n        return previous;\n    }\n    const location = locationOf(line);\n    const candidate: PropertySyntax = { kind: 'PropertySyntax', name: 'stream', type: { kind: 'TypeRefSyntax', name: match[1], isCollection: false, isOptional: false, location: { ...location, column: line.indent + line.content.indexOf(match[1]) + 1 } }, isIdentifier: false, location };\n    return parseCommandStream(context, line, candidate, false);\n}\n\nfunction invalid(context: ParserContext, line: SourceLine): void {\n    context.error(DiagnosticCodes.InvalidPossibleEventsDeclaration, \"Expected an event name, optionally followed by 'for <property>' or 'for one of <collection property>'; entries accept only stream and tag children.\", locationOf(line));\n    context.skipBlock(line.indent);\n}\n"],"mappings":"A,+TAcA,SAAgB,oBAAoB,EAAwB,EAA0C,CAClG,IAAMA,EAAgC,CAAC,EACjCC,kBAAQ,IAAI,IAClB,KAAOC,EAAQ,UAAUC,EAAO,MAAM,IAAM,IAAA,IAAW,CACnD,IAAMC,EAAOF,EAAQ,OAAO,gBAAgB,EACtCG,EAAQ,gFAAgF,KAAKD,EAAK,OAAO,EAC/G,GAAIC,IAAU,KAAM,CAChB,QAAQH,EAASE,CAAI,EACrB,QACJ,CACA,GAAIH,EAAM,IAAII,EAAM,EAAE,EAAG,CACrBH,EAAQ,MAAMI,EAAgB,iCAAkC,mBAAmBD,EAAM,GAAG,+EAAgFE,EAAWH,CAAI,CAAC,EAC5LF,EAAQ,UAAUE,EAAK,MAAM,EAC7B,QACJ,CACAH,EAAM,IAAII,EAAM,EAAE,EAClB,GAAM,CAACG,EAAQC,GAAQ,cAAcP,EAASE,CAAI,EAClDJ,EAAO,KAAK,CAAE,KAAM,sBAAuB,MAAOK,EAAM,GAAI,SAAUA,EAAM,IAAM,KAAM,MAAOA,EAAM,KAAO,IAAA,GAAW,SAAQ,OAAM,SAAUE,EAAWH,CAAI,CAAE,CAAC,CACrK,CACA,MAAO,CAAE,KAAM,uBAAwB,SAAQ,SAAUG,EAAWJ,CAAM,CAAE,CAChF,CAEA,SAAS,cAAc,EAAwB,EAA6D,CACxG,IAAIK,EAAqC,KACnCC,EAAoB,CAAC,EAC3B,KAAOP,EAAQ,UAAUE,EAAK,MAAM,IAAM,IAAA,IAAW,CACjD,IAAMM,EAAQR,EAAQ,OAAO,gBAAgB,EACzCS,EAAUD,EAAM,OAAO,IAAM,SAC7B,EAAS,WAAWR,EAASQ,EAAOF,CAAM,EACnCG,EAAUD,EAAM,OAAO,IAAM,MACpC,WAAWR,EAASQ,EAAOD,CAAI,EAE/B,QAAQP,EAASQ,CAAK,CAE9B,CACA,MAAO,CAACF,EAAQC,CAAI,CACxB,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAyB,CACnF,IAAMG,EAAMC,EAASX,EAASE,EAAM,EAAK,EACrCQ,IAAQ,IAAA,IAAWH,EAAK,KAAKG,CAAG,CACxC,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAkE,CAC5H,IAAMP,EAAQ,0CAA0C,KAAKD,EAAK,OAAO,EACzE,GAAIU,IAAa,MAAQT,IAAU,KAG/B,OAFAH,EAAQ,MAAMI,EAAgB,qBAAsBQ,IAAa,KAA8D,uCAAvD,qDAA+FP,EAAWH,CAAI,CAAC,EACvLF,EAAQ,UAAUE,EAAK,MAAM,EACtBU,EAEX,IAAMC,EAAWR,EAAWH,CAAI,EAC1BY,EAA4B,CAAE,KAAM,iBAAkB,KAAM,SAAU,KAAM,CAAE,KAAM,gBAAiB,KAAMX,EAAM,GAAI,aAAc,GAAO,WAAY,GAAO,SAAU,CAAE,GAAGU,EAAU,OAAQX,EAAK,OAASA,EAAK,QAAQ,QAAQC,EAAM,EAAE,EAAI,CAAE,CAAE,EAAG,aAAc,GAAO,UAAS,EACxR,OAAOY,EAAmBf,EAASE,EAAMY,EAAW,EAAK,CAC7D,CAEA,SAAS,QAAQ,EAAwB,EAAwB,CAC7Dd,EAAQ,MAAMI,EAAgB,iCAAkC,sJAAuJC,EAAWH,CAAI,CAAC,EACvOF,EAAQ,UAAUE,EAAK,MAAM,CACjC,C"}

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

@@ -1,2 +1,2 @@
-import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{pattern as t}from"../Text/patterns.js";import{locationOf as n}from"./SourceLine.js";import{parseMappingSource as r}from"./ExpressionParser.js";import{diagnosticText as i}from"../Diagnostics/DiagnosticArgument.js";import{firstWord as a,unescapeIdentifier as o}from"./LineText.js";import{parseProperty as s}from"./PropertyLineParser.js";import{parseStructuredValue as c,trailingMarker as l,tryParseStructuredMapping as u}from"./StructuredBlockParser.js";import{parseCondition as d}from"./ConditionParser.js";import{sourceStreamPattern as f}from"../Text/SourceStreamNames.js";import{parseCommandStream as p}from"./EventSourceParser.js";import{EventMetadataParser as m}from"./EventMetadataParser.js";import{parseTag as h}from"./DeclarationParsers.js";import{parseOperation as g}from"./OperationParser.js";const _=t(`^produces\\s+operation(?:\\s|$)`),v=t(`^produces\\s+event\\s+([A-Za-z_]\\w*)(?:\\s+(generation)(?:\\s+.*)?)?$`),y=t(`^produces\\s+([A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),b=t(`^produces\\s+when\\s+(.+)$`),x=t(`^[A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*$`),S=t(`^for\\s+(\\S.*)$`),C=t(`^(@?[\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),w=t(`^(.+?)\\s*=(?!=|>)\\s*(.+)$`),T=/* @__PURE__ */ new Set([`namespace`,`sequence`,`correlation`,`causation`,`causedBy`,`occurred`]);function parseProduces(t,E,D=!1){if(_.test(E.content)){if(!D){t.error(e.OperationOutsideCommand,`Operations can only be produced by commands.`,n(E)),t.skipOpaqueBlock(E.indent);return}let r=g(t,E,!0);return{kind:`ProducesSyntax`,when:null,event:r.operation.name,targetLocation:{...n(E),column:E.indent+E.content.match(/^produces\s+operation(?:\s+|$)/)[0].length+1},inlineEvent:null,inlineOperation:r.operation,mappings:r.mappings,for:null,tags:[],location:n(E)}}let O=v.exec(E.content),k=E,A=null,j,M;if(O!==null){if(!D){t.error(e.InlineEventOutsideCommand,`Inline events can only be declared inside commands`,n(E)),t.skipOpaqueBlock(E.indent);return}O[2]!==void 0&&t.error(e.InlineEventGeneration,`Inline events are generation 1 - extract the event before declaring generations`,n(E)),j=O[1],M=E.indent+E.content.match(/^produces\s+event\s+/)[0].length+1}else if(b.test(E.content)){A=d(t,b.exec(E.content)[1],n(E));let r=t.peekChild(E.indent);if(r===void 0||!x.test(r.content)){t.error(e.ProducesWhenWithoutEvent,`Expected an event name on the line after 'produces when'`,n(E)),t.skipOpaqueBlock(E.indent);return}t.reader.takeSignificant(),k=r,j=r.content,M=r.indent+1}else{let r=y.exec(E.content);if(r===null){t.error(e.InvalidProducesDeclaration,`Invalid produces declaration '${E.content}' - expected 'produces <EventType>' or 'produces when <condition>'`,n(E)),t.skipOpaqueBlock(E.indent);return}j=r[1],M=E.indent+E.content.match(/^produces\s+/)[0].length+1}let N=[],P=/* @__PURE__ */ new Set,F=[],I=[],L=new m(j),R=null,z=null;for(let d=t.peekChild(k.indent);d!==void 0;d=t.peekChild(k.indent)){t.reader.takeSignificant();let m=a(d.content),g=n(d);if(T.has(m)){t.error(e.ReservedProductionMetadata,`'${m}' is system-assigned production metadata and cannot be supplied here`,g),t.skipOpaqueBlock(d.indent);continue}if(O!==null&&(m===`generation`||m===`origin`)){t.error(m===`generation`?e.InlineEventGeneration:e.ReservedProductionMetadata,m===`generation`?`Inline events are generation 1 - extract the event before declaring generations`:`An inline event is local to its command and cannot declare origin`,g),t.skipOpaqueBlock(d.indent);continue}if(m===`stream`&&!d.content.includes(`=`)){let n=f(`^stream\\s+([A-Za-z_]\\w*\\.[A-Za-z_]\\w*)$`).exec(d.content);if(!D)t.error(e.ProductionRouteOutsideCommand,`Only command event productions can declare a stream route.`,g),t.skipBlock(d.indent);else if(z!==null)t.error(e.InvalidCommandStream,`A production can declare at most one stream route.`,g),t.skipBlock(d.indent);else if(n===null)t.error(e.InvalidCommandStream,`Expected 'stream <Source>.<Stream>'.`,g),t.skipBlock(d.indent);else{let e={...g,column:d.indent+d.content.indexOf(n[1])+1},r={kind:`PropertySyntax`,name:`stream`,type:{kind:`TypeRefSyntax`,name:n[1],isCollection:!1,isOptional:!1,location:e},isIdentifier:!1,location:g};z=p(t,d,r,!1)}continue}if(m===`tag`){let e=h(t,d,!1);e!==void 0&&I.push(e);continue}let _=S.exec(d.content);if(_!==null){R===null?R=r(_[1],g,t):t.error(e.DuplicateProducesTarget,`'${k.content}' already declares where it lands - an event is appended to one event source`,g);continue}let v=(O===null?C:w).exec(d.content);if(v===null&&O===null){let e=u(t,d);if(e!==void 0){F.push(e);continue}}let y=l(d.content),b=v===null&&O!==null&&!d.content.includes(`=`)&&![`id`,`description`,`documentation`].includes(m)&&d.content.includes(` `)&&(y!==void 0||t.peekChild(d.indent)!==void 0),x=b?y===void 0?d.content:d.content.substring(0,d.content.length-y.length-1):v?.[1].trimEnd(),E=x===void 0||O===null?void 0:s(t,{...d,content:x});if((v!==null||b)&&(O===null||E!==void 0)){if(E!==void 0){E.isIdentifier&&(t.error(e.IdentifierOnEventProperty,`Property '${E.name}' of event '${j}' cannot be marked identifier - an event never carries its event source id`,g),E={...E,isIdentifier:!1});let n=E.name;P.has(n)&&t.error(e.DuplicateDeclaration,`Event '${j}' already declares property '${E.name}'`,g),P.add(n),N.push(E)}F.push(v===null?{kind:`PropertyMappingSyntax`,property:E.name,source:c(t,d,y),location:g}:{kind:`PropertyMappingSyntax`,property:E?.name??o(v[1]),source:r(v[2],{...g,column:d.indent+d.content.length-v[2].length+1},t),location:g})}else(O===null||!L.tryParse(t,d))&&t.error(e.InvalidPropertyMapping,`Invalid ${O===null?``:`inline `}property mapping '${d.content}' - expected '<property>${O===null?``:` <Type>`} = <source>'`,g,i(`text`,d.content))}return k!==E&&t.skipBlock(E.indent),{kind:`ProducesSyntax`,when:A,event:j,stream:z,targetLocation:{...n(k),column:M},inlineOperation:null,mappings:F,for:R,tags:O===null?I:[],location:n(E),inlineEvent:O===null?null:{kind:`EventSyntax`,name:j,properties:N,tags:I,generation:1,hasGenerationMarker:!1,...L.value,location:n(E)}}}export{parseProduces};
+import"../../_virtual/_virtual/_rolldown/runtime.js";import{diagnosticText as e}from"../Diagnostics/DiagnosticArgument.js";import{DiagnosticCodes as t}from"../Diagnostics/DiagnosticCodes.js";import{sourceStreamPattern as n}from"../Text/SourceStreamNames.js";import{parseCommandStream as r}from"./EventSourceParser.js";import{parseCondition as i}from"./ConditionParser.js";import{pattern as a}from"../Text/patterns.js";import{parseTag as o}from"./DeclarationParsers.js";import{EventMetadataParser as s}from"./EventMetadataParser.js";import{parseMappingSource as c}from"./ExpressionParser.js";import{firstWord as l,unescapeIdentifier as u}from"./LineText.js";import{parseOperation as d}from"./OperationParser.js";import{parseProperty as f}from"./PropertyLineParser.js";import{locationOf as p}from"./SourceLine.js";import{parseStructuredValue as m,trailingMarker as h,tryParseStructuredMapping as g}from"./StructuredBlockParser.js";const _=a(`^produces\\s+operation(?:\\s|$)`),v=a(`^produces\\s+event\\s+([A-Za-z_]\\w*)(?:\\s+(generation)(?:\\s+.*)?)?$`),y=a(`^produces\\s+([A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*)$`),b=a(`^produces\\s+when\\s+(.+)$`),x=a(`^[A-Z]\\w*(?:\\.[A-Za-z_]\\w*)*$`),S=a(`^for\\s+(\\S.*)$`),C=a(`^(@?[\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),w=a(`^(.+?)\\s*=(?!=|>)\\s*(.+)$`),T=/* @__PURE__ */ new Set([`namespace`,`sequence`,`correlation`,`causation`,`causedBy`,`occurred`]);function parseProduces(a,E,D=!1){if(_.test(E.content)){if(!D){a.error(t.OperationOutsideCommand,`Operations can only be produced by commands.`,p(E)),a.skipOpaqueBlock(E.indent);return}let e=d(a,E,!0);return{kind:`ProducesSyntax`,when:null,event:e.operation.name,targetLocation:{...p(E),column:E.indent+E.content.match(/^produces\s+operation(?:\s+|$)/)[0].length+1},inlineEvent:null,inlineOperation:e.operation,mappings:e.mappings,for:null,tags:[],location:p(E)}}let O=v.exec(E.content),k=E,A=null,j,M;if(O!==null){if(!D){a.error(t.InlineEventOutsideCommand,`Inline events can only be declared inside commands`,p(E)),a.skipOpaqueBlock(E.indent);return}O[2]!==void 0&&a.error(t.InlineEventGeneration,`Inline events are generation 1 - extract the event before declaring generations`,p(E)),j=O[1],M=E.indent+E.content.match(/^produces\s+event\s+/)[0].length+1}else if(b.test(E.content)){A=i(a,b.exec(E.content)[1],p(E));let e=a.peekChild(E.indent);if(e===void 0||!x.test(e.content)){a.error(t.ProducesWhenWithoutEvent,`Expected an event name on the line after 'produces when'`,p(E)),a.skipOpaqueBlock(E.indent);return}a.reader.takeSignificant(),k=e,j=e.content,M=e.indent+1}else{let e=y.exec(E.content);if(e===null){a.error(t.InvalidProducesDeclaration,`Invalid produces declaration '${E.content}' - expected 'produces <EventType>' or 'produces when <condition>'`,p(E)),a.skipOpaqueBlock(E.indent);return}j=e[1],M=E.indent+E.content.match(/^produces\s+/)[0].length+1}let N=[],P=/* @__PURE__ */ new Set,F=[],I=[],L=new s(j),R=null,z=null;for(let i=a.peekChild(k.indent);i!==void 0;i=a.peekChild(k.indent)){a.reader.takeSignificant();let s=l(i.content),d=p(i);if(T.has(s)){a.error(t.ReservedProductionMetadata,`'${s}' is system-assigned production metadata and cannot be supplied here`,d),a.skipOpaqueBlock(i.indent);continue}if(O!==null&&(s===`generation`||s===`origin`)){a.error(s===`generation`?t.InlineEventGeneration:t.ReservedProductionMetadata,s===`generation`?`Inline events are generation 1 - extract the event before declaring generations`:`An inline event is local to its command and cannot declare origin`,d),a.skipOpaqueBlock(i.indent);continue}if(s===`stream`&&!i.content.includes(`=`)){let e=n(`^stream\\s+([A-Za-z_]\\w*\\.[A-Za-z_]\\w*)$`).exec(i.content);if(!D)a.error(t.ProductionRouteOutsideCommand,`Only command event productions can declare a stream route.`,d),a.skipBlock(i.indent);else if(z!==null)a.error(t.InvalidCommandStream,`A production can declare at most one stream route.`,d),a.skipBlock(i.indent);else if(e===null)a.error(t.InvalidCommandStream,`Expected 'stream <Source>.<Stream>'.`,d),a.skipBlock(i.indent);else{let t={...d,column:i.indent+i.content.indexOf(e[1])+1},n={kind:`PropertySyntax`,name:`stream`,type:{kind:`TypeRefSyntax`,name:e[1],isCollection:!1,isOptional:!1,location:t},isIdentifier:!1,location:d};z=r(a,i,n,!1)}continue}if(s===`tag`){let e=o(a,i,!1);e!==void 0&&I.push(e);continue}let _=S.exec(i.content);if(_!==null){R===null?R=c(_[1],d,a):a.error(t.DuplicateProducesTarget,`'${k.content}' already declares where it lands - an event is appended to one event source`,d);continue}let v=(O===null?C:w).exec(i.content);if(v===null&&O===null){let e=g(a,i);if(e!==void 0){F.push(e);continue}}let y=h(i.content),b=v===null&&O!==null&&!i.content.includes(`=`)&&![`id`,`description`,`documentation`].includes(s)&&i.content.includes(` `)&&(y!==void 0||a.peekChild(i.indent)!==void 0),x=b?y===void 0?i.content:i.content.substring(0,i.content.length-y.length-1):v?.[1].trimEnd(),E=x===void 0||O===null?void 0:f(a,{...i,content:x});if((v!==null||b)&&(O===null||E!==void 0)){if(E!==void 0){E.isIdentifier&&(a.error(t.IdentifierOnEventProperty,`Property '${E.name}' of event '${j}' cannot be marked identifier - an event never carries its event source id`,d),E={...E,isIdentifier:!1});let e=E.name;P.has(e)&&a.error(t.DuplicateDeclaration,`Event '${j}' already declares property '${E.name}'`,d),P.add(e),N.push(E)}F.push(v===null?{kind:`PropertyMappingSyntax`,property:E.name,source:m(a,i,y),location:d}:{kind:`PropertyMappingSyntax`,property:E?.name??u(v[1]),source:c(v[2],{...d,column:i.indent+i.content.length-v[2].length+1},a),location:d})}else O!==null&&L.tryParse(a,i)||a.error(t.InvalidPropertyMapping,`Invalid ${O===null?``:`inline `}property mapping '${i.content}' - expected '<property>${O===null?``:` <Type>`} = <source>'`,d,e(`text`,i.content))}return k!==E&&a.skipBlock(E.indent),{kind:`ProducesSyntax`,when:A,event:j,stream:z,targetLocation:{...p(k),column:M},inlineOperation:null,mappings:F,for:R,tags:O===null?I:[],location:p(E),inlineEvent:O===null?null:{kind:`EventSyntax`,name:j,properties:N,tags:I,generation:1,hasGenerationMarker:!1,...L.value,location:p(E)}}}export{parseProduces};
 //# sourceMappingURL=ProducesParser.js.map