@cratis/screenplay-language 4.259.0 → 5.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/bundles/compiler/Authoring/QuickFixes.js +6 -2
- package/dist/bundles/compiler/Authoring/QuickFixes.js.map +1 -1
- package/dist/bundles/compiler/Authoring/StructuredValueQuickFix.js +3 -0
- package/dist/bundles/compiler/Authoring/StructuredValueQuickFix.js.map +1 -0
- package/dist/bundles/compiler/Diagnostics/DiagnosticCodes.js +1 -1
- package/dist/bundles/compiler/Diagnostics/DiagnosticCodes.js.map +1 -1
- package/dist/bundles/compiler/Parsing/CaptureParser.js +1 -1
- package/dist/bundles/compiler/Parsing/CaptureParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/CompositionParser.js +1 -1
- package/dist/bundles/compiler/Parsing/CompositionParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/ExpressionParser.js +1 -1
- package/dist/bundles/compiler/Parsing/ExpressionParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/OperationParser.js +1 -1
- package/dist/bundles/compiler/Parsing/OperationParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/ProducesParser.js +1 -1
- package/dist/bundles/compiler/Parsing/ProducesParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/ProjectionParser.js +1 -1
- package/dist/bundles/compiler/Parsing/ProjectionParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/ReactionParser.js +1 -1
- package/dist/bundles/compiler/Parsing/ReactionParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/ScreenParser.js +1 -1
- package/dist/bundles/compiler/Parsing/ScreenParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/SeedParser.js +1 -1
- package/dist/bundles/compiler/Parsing/SeedParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationCaseParser.js +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationCaseParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationExampleParser.js +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationExampleParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationParser.js +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationResponseParser.js +1 -1
- package/dist/bundles/compiler/Parsing/SpecificationResponseParser.js.map +1 -1
- package/dist/bundles/compiler/Parsing/StructuredBlockParser.js +2 -0
- package/dist/bundles/compiler/Parsing/StructuredBlockParser.js.map +1 -0
- package/dist/bundles/compiler/Parsing/UiBindingParser.js +1 -1
- package/dist/bundles/compiler/Parsing/UiBindingParser.js.map +1 -1
- package/dist/bundles/example-analysis.js +1 -1
- package/dist/bundles/example-analysis.js.map +1 -1
- package/dist/bundles/keyword-docs.js +1 -1
- package/dist/bundles/keyword-docs.js.map +1 -1
- package/dist/keyword-docs.d.ts.map +1 -1
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ProducesParser.js","names":["inlineOperationPrefix","pattern","inlineHeader","plainHeader","conditional","eventName","targetPattern","mappingPattern","typedMappingPattern","reserved","header","inCommand","context","DiagnosticCodes","locationOf","parsed","parseOperation","inline","parent","when","name","targetColumn","parseCondition","child","plain","properties","propertyNames","mappings","tags","metadata","EventMetadataParser","target","stream","line","keyword","firstWord","location","route","sourceStreamPattern","typeLocation","candidate","parseCommandStream","tag","parseTag","forMatch","parseMappingSource","match","property","parseProperty","propertyName","unescapeIdentifier","diagnosticText"],"sources":["../../../../../../Compiler/Parsing/ProducesParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CommandStreamSyntax } from '../Syntax/CommandStreamSyntax';\nimport { sourceStreamPattern } from '../Text/SourceStreamNames';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { parseCondition } from './ConditionParser';\nimport { PropertySyntax, TagSyntax } from '../Syntax/Declarations';\nimport { ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { ProducesSyntax } from '../Syntax/Reactions';\nimport { pattern } from '../Text/patterns';\nimport { parseTag } from './DeclarationParsers';\nimport { EventMetadataParser } from './EventMetadataParser';\nimport { parseMappingSource } from './ExpressionParser';\nimport { firstWord, unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseOperation } from './OperationParser';\nimport { parseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst inlineOperationPrefix = pattern('^produces\\\\s+operation(?:\\\\s|$)');\nconst inlineHeader = pattern('^produces\\\\s+event\\\\s+([A-Za-z_]\\\\w*)(?:\\\\s+(generation)(?:\\\\s+.*)?)?$');\nconst plainHeader = pattern('^produces\\\\s+([A-Z]\\\\w*(?:\\\\.[A-Za-z_]\\\\w*)*)$');\nconst conditional = pattern('^produces\\\\s+when\\\\s+(.+)$');\nconst eventName = pattern('^[A-Z]\\\\w*(?:\\\\.[A-Za-z_]\\\\w*)*$');\nconst targetPattern = pattern('^for\\\\s+(\\\\S.*)$');\nconst mappingPattern = pattern('^(@?[\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst typedMappingPattern = pattern('^(.+?)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst reserved = new Set(['namespace', 'sequence', 'correlation', 'causation', 'causedBy', 'occurred']);\n\nexport function parseProduces(context: ParserContext, header: SourceLine, inCommand = false): ProducesSyntax | undefined {\n if (inlineOperationPrefix.test(header.content)) {\n if (!inCommand) {\n context.error(DiagnosticCodes.OperationOutsideCommand, 'Operations can only be produced by commands.', locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n const parsed = parseOperation(context, header, true);\n return { kind: 'ProducesSyntax', when: null, event: parsed.operation.name, targetLocation: { ...locationOf(header), column: header.indent + header.content.match(/^produces\\s+operation(?:\\s+|$)/)![0].length + 1 }, inlineEvent: null, inlineOperation: parsed.operation, mappings: parsed.mappings, for: null, tags: [], location: locationOf(header) };\n }\n const inline = inlineHeader.exec(header.content);\n let parent = header;\n let when: ConditionSyntax | null = null;\n let name: string;\n let targetColumn: number;\n if (inline !== null) {\n if (!inCommand) {\n context.error(DiagnosticCodes.InlineEventOutsideCommand, 'Inline events can only be declared inside commands', locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n if (inline[2] !== undefined) {\n context.error(DiagnosticCodes.InlineEventGeneration, 'Inline events are generation 1 - extract the event before declaring generations', locationOf(header));\n }\n name = inline[1];\n targetColumn = header.indent + header.content.match(/^produces\\s+event\\s+/)![0].length + 1;\n } else if (conditional.test(header.content)) {\n when = parseCondition(context, conditional.exec(header.content)![1], locationOf(header));\n const child = context.peekChild(header.indent);\n if (child === undefined || !eventName.test(child.content)) {\n context.error(DiagnosticCodes.ProducesWhenWithoutEvent, \"Expected an event name on the line after 'produces when'\", locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n context.reader.takeSignificant();\n parent = child;\n name = child.content;\n targetColumn = child.indent + 1;\n } else {\n const plain = plainHeader.exec(header.content);\n if (plain === null) {\n context.error(DiagnosticCodes.InvalidProducesDeclaration, `Invalid produces declaration '${header.content}' - expected 'produces <EventType>' or 'produces when <condition>'`, locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n name = plain[1];\n targetColumn = header.indent + header.content.match(/^produces\\s+/)![0].length + 1;\n }\n const properties: PropertySyntax[] = [];\n const propertyNames = new Set<string>();\n const mappings: PropertyMappingSyntax[] = [];\n const tags: TagSyntax[] = [];\n const metadata = new EventMetadataParser(name);\n let target: ExpressionSyntax | null = null;\n let stream: CommandStreamSyntax | null = null;\n for (let line = context.peekChild(parent.indent); line !== undefined; line = context.peekChild(parent.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(line.content);\n const location = locationOf(line);\n if (reserved.has(keyword)) {\n context.error(DiagnosticCodes.ReservedProductionMetadata, `'${keyword}' is system-assigned production metadata and cannot be supplied here`, location);\n context.skipOpaqueBlock(line.indent);\n continue;\n }\n if (inline !== null && (keyword === 'generation' || keyword === 'origin')) {\n context.error(keyword === 'generation' ? DiagnosticCodes.InlineEventGeneration : DiagnosticCodes.ReservedProductionMetadata,\n keyword === 'generation' ? 'Inline events are generation 1 - extract the event before declaring generations' : 'An inline event is local to its command and cannot declare origin', location);\n context.skipOpaqueBlock(line.indent);\n continue;\n }\n if (keyword === 'stream' && !line.content.includes('=')) {\n const route = sourceStreamPattern('^stream\\\\s+([A-Za-z_]\\\\w*\\\\.[A-Za-z_]\\\\w*)$').exec(line.content);\n if (!inCommand) {\n context.error(DiagnosticCodes.ProductionRouteOutsideCommand, 'Only command event productions can declare a stream route.', location);\n context.skipBlock(line.indent);\n } else if (stream !== null) {\n context.error(DiagnosticCodes.InvalidCommandStream, 'A production can declare at most one stream route.', location);\n context.skipBlock(line.indent);\n } else if (route === null) {\n context.error(DiagnosticCodes.InvalidCommandStream, \"Expected 'stream <Source>.<Stream>'.\", location);\n context.skipBlock(line.indent);\n } else {\n const typeLocation = { ...location, column: line.indent + line.content.indexOf(route[1]) + 1 };\n const candidate: PropertySyntax = { kind: 'PropertySyntax', name: 'stream', type: { kind: 'TypeRefSyntax', name: route[1], isCollection: false, isOptional: false, location: typeLocation }, isIdentifier: false, location };\n stream = parseCommandStream(context, line, candidate, false);\n }\n continue;\n }\n if (keyword === 'tag') {\n const tag = parseTag(context, line, false);\n if (tag !== undefined) tags.push(tag);\n continue;\n }\n const forMatch = targetPattern.exec(line.content);\n if (forMatch !== null) {\n if (target !== null) {\n context.error(DiagnosticCodes.DuplicateProducesTarget, `'${parent.content}' already declares where it lands - an event is appended to one event source`, location);\n } else {\n target = parseMappingSource(forMatch[1], location, context);\n }\n continue;\n }\n const match = (inline === null ? mappingPattern : typedMappingPattern).exec(line.content);\n let property = match === null || inline === null ? undefined : parseProperty(context, { ...line, content: match[1].trimEnd() });\n if (match !== null && (inline === null || property !== undefined)) {\n if (property !== undefined) {\n if (property.isIdentifier) {\n context.error(DiagnosticCodes.IdentifierOnEventProperty, `Property '${property.name}' of event '${name}' cannot be marked identifier - an event never carries its event source id`, location);\n property = { ...property, isIdentifier: false };\n }\n const propertyName = property.name;\n if (propertyNames.has(propertyName)) {\n context.error(DiagnosticCodes.DuplicateDeclaration, `Event '${name}' already declares property '${property.name}'`, location);\n }\n propertyNames.add(propertyName);\n properties.push(property);\n }\n mappings.push({ kind: 'PropertyMappingSyntax', property: property?.name ?? unescapeIdentifier(match[1]), source: parseMappingSource(match[2], { ...location, column: line.indent + line.content.length - match[2].length + 1 }, context), location });\n } else if (inline === null || !metadata.tryParse(context, line)) {\n context.error(DiagnosticCodes.InvalidPropertyMapping, `Invalid ${inline === null ? '' : 'inline '}property mapping '${line.content}' - expected '<property>${inline === null ? '' : ' <Type>'} = <source>'`, location, diagnosticText('text', line.content));\n }\n }\n if (parent !== header) context.skipBlock(header.indent);\n return {\n kind: 'ProducesSyntax', when, event: name, stream, targetLocation: { ...locationOf(parent), column: targetColumn }, inlineOperation: null, mappings, for: target, tags: inline === null ? tags : [], location: locationOf(header),\n inlineEvent: inline === null ? null : { kind: 'EventSyntax', name, properties, tags, generation: 1, hasGenerationMarker: false, ...metadata.value, location: locationOf(header) },\n };\n}\n"],"mappings":"4yBAuBA,MAAMA,EAAwBC,EAAQ,iCAAiC,EACjEC,EAAeD,EAAQ,wEAAwE,EAC/FE,EAAcF,EAAQ,gDAAgD,EACtEG,EAAcH,EAAQ,4BAA4B,EAClDI,EAAYJ,EAAQ,kCAAkC,EACtDK,EAAgBL,EAAQ,kBAAkB,EAC1CM,EAAiBN,EAAQ,mCAAmC,EAC5DO,EAAsBP,EAAQ,6BAA6B,EAC3DQ,kBAAW,IAAI,IAAI,CAAC,YAAa,WAAY,cAAe,YAAa,WAAY,UAAU,CAAC,EAEtG,SAAgB,cAAc,EAAwB,EAAoB,EAAY,GAAmC,CACrH,GAAIT,EAAsB,KAAKU,EAAO,OAAO,EAAG,CAC5C,GAAI,CAACC,EAAW,CACZC,EAAQ,MAAMC,EAAgB,wBAAyB,+CAAgDC,EAAWJ,CAAM,CAAC,EACzHE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACA,IAAMK,EAASC,EAAeJ,EAASF,EAAQ,EAAI,EACnD,MAAO,CAAE,KAAM,iBAAkB,KAAM,KAAM,MAAOK,EAAO,UAAU,KAAM,eAAgB,CAAE,GAAGD,EAAWJ,CAAM,EAAG,OAAQA,EAAO,OAASA,EAAO,QAAQ,MAAM,gCAAgC,CAAC,CAAE,EAAE,CAAC,OAAS,CAAE,EAAG,YAAa,KAAM,gBAAiBK,EAAO,UAAW,SAAUA,EAAO,SAAU,IAAK,KAAM,KAAM,CAAC,EAAG,SAAUD,EAAWJ,CAAM,CAAE,CAC5V,CACA,IAAMO,EAASf,EAAa,KAAKQ,EAAO,OAAO,EAC3CQ,EAASR,EACTS,EAA+B,KAC/BC,EACAC,EACJ,GAAIJ,IAAW,KAAM,CACjB,GAAI,CAACN,EAAW,CACZC,EAAQ,MAAMC,EAAgB,0BAA2B,qDAAsDC,EAAWJ,CAAM,CAAC,EACjIE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACIO,EAAO,KAAO,IAAA,IACdL,EAAQ,MAAMC,EAAgB,sBAAuB,kFAAmFC,EAAWJ,CAAM,CAAC,EAE9J,EAAOO,EAAO,GACd,EAAeP,EAAO,OAASA,EAAO,QAAQ,MAAM,sBAAsB,CAAC,CAAE,EAAE,CAAC,OAAS,CAC7F,MAAO,GAAIN,EAAY,KAAKM,EAAO,OAAO,EAAG,CACzC,EAAOY,EAAeV,EAASR,EAAY,KAAKM,EAAO,OAAO,CAAC,CAAE,GAAII,EAAWJ,CAAM,CAAC,EACvF,IAAMa,EAAQX,EAAQ,UAAUF,EAAO,MAAM,EAC7C,GAAIa,IAAU,IAAA,IAAa,CAAClB,EAAU,KAAKkB,EAAM,OAAO,EAAG,CACvDX,EAAQ,MAAMC,EAAgB,yBAA0B,2DAA4DC,EAAWJ,CAAM,CAAC,EACtIE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACAE,EAAQ,OAAO,gBAAgB,EAC/B,EAASW,EACT,EAAOA,EAAM,QACb,EAAeA,EAAM,OAAS,CAClC,KAAO,CACH,IAAMC,EAAQrB,EAAY,KAAKO,EAAO,OAAO,EAC7C,GAAIc,IAAU,KAAM,CAChBZ,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCH,EAAO,QAAQ,oEAAqEI,EAAWJ,CAAM,CAAC,EACjME,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACA,EAAOc,EAAM,GACb,EAAed,EAAO,OAASA,EAAO,QAAQ,MAAM,cAAc,CAAC,CAAE,EAAE,CAAC,OAAS,CACrF,CACA,IAAMe,EAA+B,CAAC,EAChCC,kBAAgB,IAAI,IACpBC,EAAoC,CAAC,EACrCC,EAAoB,CAAC,EACrBC,EAAW,IAAIC,EAAoBV,CAAI,EACzCW,EAAkC,KAClCC,EAAqC,KACzC,IAAK,IAAIC,EAAOrB,EAAQ,UAAUM,EAAO,MAAM,EAAGe,IAAS,IAAA,GAAW,EAAOrB,EAAQ,UAAUM,EAAO,MAAM,EAAG,CAC3GN,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAUC,EAAUF,EAAK,OAAO,EAChCG,EAAWtB,EAAWmB,CAAI,EAChC,GAAIxB,EAAS,IAAIyB,CAAO,EAAG,CACvBtB,EAAQ,MAAMC,EAAgB,2BAA4B,IAAIqB,EAAQ,sEAAuEE,CAAQ,EACrJxB,EAAQ,gBAAgBqB,EAAK,MAAM,EACnC,QACJ,CACA,GAAIhB,IAAW,OAASiB,IAAY,cAAgBA,IAAY,UAAW,CACvEtB,EAAQ,MAAMsB,IAAY,aAAerB,EAAgB,sBAAwBA,EAAgB,2BAC7FqB,IAAY,aAAe,kFAAoF,oEAAqEE,CAAQ,EAChMxB,EAAQ,gBAAgBqB,EAAK,MAAM,EACnC,QACJ,CACA,GAAIC,IAAY,UAAY,CAACD,EAAK,QAAQ,SAAS,GAAG,EAAG,CACrD,IAAMI,EAAQC,EAAoB,6CAA6C,CAAC,CAAC,KAAKL,EAAK,OAAO,EAClG,GAAI,CAACtB,EACDC,EAAQ,MAAMC,EAAgB,8BAA+B,6DAA8DuB,CAAQ,EACnIxB,EAAQ,UAAUqB,EAAK,MAAM,OAC1B,GAAID,IAAW,KAClBpB,EAAQ,MAAMC,EAAgB,qBAAsB,qDAAsDuB,CAAQ,EAClHxB,EAAQ,UAAUqB,EAAK,MAAM,OAC1B,GAAII,IAAU,KACjBzB,EAAQ,MAAMC,EAAgB,qBAAsB,uCAAwCuB,CAAQ,EACpGxB,EAAQ,UAAUqB,EAAK,MAAM,MAC1B,CACH,IAAMM,EAAe,CAAE,GAAGH,EAAU,OAAQH,EAAK,OAASA,EAAK,QAAQ,QAAQI,EAAM,EAAE,EAAI,CAAE,EACvFG,EAA4B,CAAE,KAAM,iBAAkB,KAAM,SAAU,KAAM,CAAE,KAAM,gBAAiB,KAAMH,EAAM,GAAI,aAAc,GAAO,WAAY,GAAO,SAAUE,CAAa,EAAG,aAAc,GAAO,UAAS,EAC3N,EAASE,EAAmB7B,EAASqB,EAAMO,EAAW,EAAK,CAC/D,CACA,QACJ,CACA,GAAIN,IAAY,MAAO,CACnB,IAAMQ,EAAMC,EAAS/B,EAASqB,EAAM,EAAK,EACrCS,IAAQ,IAAA,IAAWd,EAAK,KAAKc,CAAG,EACpC,QACJ,CACA,IAAME,EAAWtC,EAAc,KAAK2B,EAAK,OAAO,EAChD,GAAIW,IAAa,KAAM,CACfb,IAAW,KAGX,EAASc,EAAmBD,EAAS,GAAIR,EAAUxB,CAAO,EAF1DA,EAAQ,MAAMC,EAAgB,wBAAyB,IAAIK,EAAO,QAAQ,8EAA+EkB,CAAQ,EAIrK,QACJ,CACA,IAAMU,GAAS7B,IAAW,KAAOV,EAAiBC,EAAA,CAAqB,KAAKyB,EAAK,OAAO,EACpFc,EAAWD,IAAU,MAAQ7B,IAAW,KAAO,IAAA,GAAY+B,EAAcpC,EAAS,CAAE,GAAGqB,EAAM,QAASa,EAAM,EAAE,CAAC,QAAQ,CAAE,CAAC,EAC9H,GAAIA,IAAU,OAAS7B,IAAW,MAAQ8B,IAAa,IAAA,IAAY,CAC/D,GAAIA,IAAa,IAAA,GAAW,CACpBA,EAAS,eACTnC,EAAQ,MAAMC,EAAgB,0BAA2B,aAAakC,EAAS,KAAK,cAAc3B,EAAK,4EAA6EgB,CAAQ,EAC5L,EAAW,CAAE,GAAGW,EAAU,aAAc,EAAM,GAElD,IAAME,EAAeF,EAAS,KAC1BrB,EAAc,IAAIuB,CAAY,GAC9BrC,EAAQ,MAAMC,EAAgB,qBAAsB,UAAUO,EAAK,+BAA+B2B,EAAS,KAAK,GAAIX,CAAQ,EAEhIV,EAAc,IAAIuB,CAAY,EAC9BxB,EAAW,KAAKsB,CAAQ,CAC5B,CACApB,EAAS,KAAK,CAAE,KAAM,wBAAyB,SAAUoB,GAAU,MAAQG,EAAmBJ,EAAM,EAAE,EAAG,OAAQD,EAAmBC,EAAM,GAAI,CAAE,GAAGV,EAAU,OAAQH,EAAK,OAASA,EAAK,QAAQ,OAASa,EAAM,EAAE,CAAC,OAAS,CAAE,EAAGlC,CAAO,EAAG,UAAS,CAAC,CACxP,MAAWK,IAAW,MAAQ,CAACY,EAAS,SAASjB,EAASqB,CAAI,IAC1DrB,EAAQ,MAAMC,EAAgB,uBAAwB,WAAWI,IAAW,KAAO,GAAK,UAAU,oBAAoBgB,EAAK,QAAQ,0BAA0BhB,IAAW,KAAO,GAAK,UAAU,cAAemB,EAAUe,EAAe,OAAQlB,EAAK,OAAO,CAAC,CAEnQ,CAEA,OADIf,IAAWR,GAAQE,EAAQ,UAAUF,EAAO,MAAM,EAC/C,CACH,KAAM,iBAAkB,OAAM,MAAOU,EAAM,SAAQ,eAAgB,CAAE,GAAGN,EAAWI,CAAM,EAAG,OAAQG,CAAa,EAAG,gBAAiB,KAAM,WAAU,IAAKU,EAAQ,KAAMd,IAAW,KAAOW,EAAO,CAAC,EAAG,SAAUd,EAAWJ,CAAM,EAChO,YAAaO,IAAW,KAAO,KAAO,CAAE,KAAM,cAAe,OAAM,aAAY,OAAM,WAAY,EAAG,oBAAqB,GAAO,GAAGY,EAAS,MAAO,SAAUf,EAAWJ,CAAM,CAAE,CACpL,CACJ"}
|
|
1
|
+
{"version":3,"file":"ProducesParser.js","names":["inlineOperationPrefix","pattern","inlineHeader","plainHeader","conditional","eventName","targetPattern","mappingPattern","typedMappingPattern","reserved","header","inCommand","context","DiagnosticCodes","locationOf","parsed","parseOperation","inline","parent","when","name","targetColumn","parseCondition","child","plain","properties","propertyNames","mappings","tags","metadata","EventMetadataParser","target","stream","line","keyword","firstWord","location","route","sourceStreamPattern","typeLocation","candidate","parseCommandStream","tag","parseTag","forMatch","parseMappingSource","match","structured","tryParseStructuredMapping","marker","trailingMarker","declaration","property","parseProperty","propertyName","parseStructuredValue","unescapeIdentifier","diagnosticText"],"sources":["../../../../../../Compiler/Parsing/ProducesParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { CommandStreamSyntax } from '../Syntax/CommandStreamSyntax';\nimport { sourceStreamPattern } from '../Text/SourceStreamNames';\nimport { parseCommandStream } from './EventSourceParser';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { parseCondition } from './ConditionParser';\nimport { PropertySyntax, TagSyntax } from '../Syntax/Declarations';\nimport { ExpressionSyntax, PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { ProducesSyntax } from '../Syntax/Reactions';\nimport { pattern } from '../Text/patterns';\nimport { parseTag } from './DeclarationParsers';\nimport { EventMetadataParser } from './EventMetadataParser';\nimport { parseMappingSource } from './ExpressionParser';\nimport { firstWord, unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseOperation } from './OperationParser';\nimport { parseProperty } from './PropertyLineParser';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { parseStructuredValue, trailingMarker, tryParseStructuredMapping } from './StructuredBlockParser';\n\nconst inlineOperationPrefix = pattern('^produces\\\\s+operation(?:\\\\s|$)');\nconst inlineHeader = pattern('^produces\\\\s+event\\\\s+([A-Za-z_]\\\\w*)(?:\\\\s+(generation)(?:\\\\s+.*)?)?$');\nconst plainHeader = pattern('^produces\\\\s+([A-Z]\\\\w*(?:\\\\.[A-Za-z_]\\\\w*)*)$');\nconst conditional = pattern('^produces\\\\s+when\\\\s+(.+)$');\nconst eventName = pattern('^[A-Z]\\\\w*(?:\\\\.[A-Za-z_]\\\\w*)*$');\nconst targetPattern = pattern('^for\\\\s+(\\\\S.*)$');\nconst mappingPattern = pattern('^(@?[\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst typedMappingPattern = pattern('^(.+?)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst reserved = new Set(['namespace', 'sequence', 'correlation', 'causation', 'causedBy', 'occurred']);\n\nexport function parseProduces(context: ParserContext, header: SourceLine, inCommand = false): ProducesSyntax | undefined {\n if (inlineOperationPrefix.test(header.content)) {\n if (!inCommand) {\n context.error(DiagnosticCodes.OperationOutsideCommand, 'Operations can only be produced by commands.', locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n const parsed = parseOperation(context, header, true);\n return { kind: 'ProducesSyntax', when: null, event: parsed.operation.name, targetLocation: { ...locationOf(header), column: header.indent + header.content.match(/^produces\\s+operation(?:\\s+|$)/)![0].length + 1 }, inlineEvent: null, inlineOperation: parsed.operation, mappings: parsed.mappings, for: null, tags: [], location: locationOf(header) };\n }\n const inline = inlineHeader.exec(header.content);\n let parent = header;\n let when: ConditionSyntax | null = null;\n let name: string;\n let targetColumn: number;\n if (inline !== null) {\n if (!inCommand) {\n context.error(DiagnosticCodes.InlineEventOutsideCommand, 'Inline events can only be declared inside commands', locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n if (inline[2] !== undefined) {\n context.error(DiagnosticCodes.InlineEventGeneration, 'Inline events are generation 1 - extract the event before declaring generations', locationOf(header));\n }\n name = inline[1];\n targetColumn = header.indent + header.content.match(/^produces\\s+event\\s+/)![0].length + 1;\n } else if (conditional.test(header.content)) {\n when = parseCondition(context, conditional.exec(header.content)![1], locationOf(header));\n const child = context.peekChild(header.indent);\n if (child === undefined || !eventName.test(child.content)) {\n context.error(DiagnosticCodes.ProducesWhenWithoutEvent, \"Expected an event name on the line after 'produces when'\", locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n context.reader.takeSignificant();\n parent = child;\n name = child.content;\n targetColumn = child.indent + 1;\n } else {\n const plain = plainHeader.exec(header.content);\n if (plain === null) {\n context.error(DiagnosticCodes.InvalidProducesDeclaration, `Invalid produces declaration '${header.content}' - expected 'produces <EventType>' or 'produces when <condition>'`, locationOf(header));\n context.skipOpaqueBlock(header.indent);\n return undefined;\n }\n name = plain[1];\n targetColumn = header.indent + header.content.match(/^produces\\s+/)![0].length + 1;\n }\n const properties: PropertySyntax[] = [];\n const propertyNames = new Set<string>();\n const mappings: PropertyMappingSyntax[] = [];\n const tags: TagSyntax[] = [];\n const metadata = new EventMetadataParser(name);\n let target: ExpressionSyntax | null = null;\n let stream: CommandStreamSyntax | null = null;\n for (let line = context.peekChild(parent.indent); line !== undefined; line = context.peekChild(parent.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(line.content);\n const location = locationOf(line);\n if (reserved.has(keyword)) {\n context.error(DiagnosticCodes.ReservedProductionMetadata, `'${keyword}' is system-assigned production metadata and cannot be supplied here`, location);\n context.skipOpaqueBlock(line.indent);\n continue;\n }\n if (inline !== null && (keyword === 'generation' || keyword === 'origin')) {\n context.error(keyword === 'generation' ? DiagnosticCodes.InlineEventGeneration : DiagnosticCodes.ReservedProductionMetadata,\n keyword === 'generation' ? 'Inline events are generation 1 - extract the event before declaring generations' : 'An inline event is local to its command and cannot declare origin', location);\n context.skipOpaqueBlock(line.indent);\n continue;\n }\n if (keyword === 'stream' && !line.content.includes('=')) {\n const route = sourceStreamPattern('^stream\\\\s+([A-Za-z_]\\\\w*\\\\.[A-Za-z_]\\\\w*)$').exec(line.content);\n if (!inCommand) {\n context.error(DiagnosticCodes.ProductionRouteOutsideCommand, 'Only command event productions can declare a stream route.', location);\n context.skipBlock(line.indent);\n } else if (stream !== null) {\n context.error(DiagnosticCodes.InvalidCommandStream, 'A production can declare at most one stream route.', location);\n context.skipBlock(line.indent);\n } else if (route === null) {\n context.error(DiagnosticCodes.InvalidCommandStream, \"Expected 'stream <Source>.<Stream>'.\", location);\n context.skipBlock(line.indent);\n } else {\n const typeLocation = { ...location, column: line.indent + line.content.indexOf(route[1]) + 1 };\n const candidate: PropertySyntax = { kind: 'PropertySyntax', name: 'stream', type: { kind: 'TypeRefSyntax', name: route[1], isCollection: false, isOptional: false, location: typeLocation }, isIdentifier: false, location };\n stream = parseCommandStream(context, line, candidate, false);\n }\n continue;\n }\n if (keyword === 'tag') {\n const tag = parseTag(context, line, false);\n if (tag !== undefined) tags.push(tag);\n continue;\n }\n const forMatch = targetPattern.exec(line.content);\n if (forMatch !== null) {\n if (target !== null) {\n context.error(DiagnosticCodes.DuplicateProducesTarget, `'${parent.content}' already declares where it lands - an event is appended to one event source`, location);\n } else {\n target = parseMappingSource(forMatch[1], location, context);\n }\n continue;\n }\n const match = (inline === null ? mappingPattern : typedMappingPattern).exec(line.content);\n if (match === null && inline === null) {\n const structured = tryParseStructuredMapping(context, line);\n if (structured !== undefined) {\n mappings.push(structured);\n continue;\n }\n }\n const marker = trailingMarker(line.content);\n const structured = match === null && inline !== null && !line.content.includes('=') && !['id', 'description', 'documentation'].includes(keyword) && line.content.includes(' ') && (marker !== undefined || context.peekChild(line.indent) !== undefined);\n const declaration = structured ? (marker === undefined ? line.content : line.content.substring(0, line.content.length - marker.length - 1)) : match?.[1].trimEnd();\n let property = declaration === undefined || inline === null ? undefined : parseProperty(context, { ...line, content: declaration });\n if ((match !== null || structured) && (inline === null || property !== undefined)) {\n if (property !== undefined) {\n if (property.isIdentifier) {\n context.error(DiagnosticCodes.IdentifierOnEventProperty, `Property '${property.name}' of event '${name}' cannot be marked identifier - an event never carries its event source id`, location);\n property = { ...property, isIdentifier: false };\n }\n const propertyName = property.name;\n if (propertyNames.has(propertyName)) {\n context.error(DiagnosticCodes.DuplicateDeclaration, `Event '${name}' already declares property '${property.name}'`, location);\n }\n propertyNames.add(propertyName);\n properties.push(property);\n }\n mappings.push(match === null\n ? { kind: 'PropertyMappingSyntax', property: property!.name, source: parseStructuredValue(context, line, marker), location }\n : { kind: 'PropertyMappingSyntax', property: property?.name ?? unescapeIdentifier(match[1]), source: parseMappingSource(match[2], { ...location, column: line.indent + line.content.length - match[2].length + 1 }, context), location });\n } else if (inline === null || !metadata.tryParse(context, line)) {\n context.error(DiagnosticCodes.InvalidPropertyMapping, `Invalid ${inline === null ? '' : 'inline '}property mapping '${line.content}' - expected '<property>${inline === null ? '' : ' <Type>'} = <source>'`, location, diagnosticText('text', line.content));\n }\n }\n if (parent !== header) context.skipBlock(header.indent);\n return {\n kind: 'ProducesSyntax', when, event: name, stream, targetLocation: { ...locationOf(parent), column: targetColumn }, inlineOperation: null, mappings, for: target, tags: inline === null ? tags : [], location: locationOf(header),\n inlineEvent: inline === null ? null : { kind: 'EventSyntax', name, properties, tags, generation: 1, hasGenerationMarker: false, ...metadata.value, location: locationOf(header) },\n };\n}\n"],"mappings":"i6BAwBA,MAAMA,EAAwBC,EAAQ,iCAAiC,EACjEC,EAAeD,EAAQ,wEAAwE,EAC/FE,EAAcF,EAAQ,gDAAgD,EACtEG,EAAcH,EAAQ,4BAA4B,EAClDI,EAAYJ,EAAQ,kCAAkC,EACtDK,EAAgBL,EAAQ,kBAAkB,EAC1CM,EAAiBN,EAAQ,mCAAmC,EAC5DO,EAAsBP,EAAQ,6BAA6B,EAC3DQ,kBAAW,IAAI,IAAI,CAAC,YAAa,WAAY,cAAe,YAAa,WAAY,UAAU,CAAC,EAEtG,SAAgB,cAAc,EAAwB,EAAoB,EAAY,GAAmC,CACrH,GAAIT,EAAsB,KAAKU,EAAO,OAAO,EAAG,CAC5C,GAAI,CAACC,EAAW,CACZC,EAAQ,MAAMC,EAAgB,wBAAyB,+CAAgDC,EAAWJ,CAAM,CAAC,EACzHE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACA,IAAMK,EAASC,EAAeJ,EAASF,EAAQ,EAAI,EACnD,MAAO,CAAE,KAAM,iBAAkB,KAAM,KAAM,MAAOK,EAAO,UAAU,KAAM,eAAgB,CAAE,GAAGD,EAAWJ,CAAM,EAAG,OAAQA,EAAO,OAASA,EAAO,QAAQ,MAAM,gCAAgC,CAAC,CAAE,EAAE,CAAC,OAAS,CAAE,EAAG,YAAa,KAAM,gBAAiBK,EAAO,UAAW,SAAUA,EAAO,SAAU,IAAK,KAAM,KAAM,CAAC,EAAG,SAAUD,EAAWJ,CAAM,CAAE,CAC5V,CACA,IAAMO,EAASf,EAAa,KAAKQ,EAAO,OAAO,EAC3CQ,EAASR,EACTS,EAA+B,KAC/BC,EACAC,EACJ,GAAIJ,IAAW,KAAM,CACjB,GAAI,CAACN,EAAW,CACZC,EAAQ,MAAMC,EAAgB,0BAA2B,qDAAsDC,EAAWJ,CAAM,CAAC,EACjIE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACIO,EAAO,KAAO,IAAA,IACdL,EAAQ,MAAMC,EAAgB,sBAAuB,kFAAmFC,EAAWJ,CAAM,CAAC,EAE9J,EAAOO,EAAO,GACd,EAAeP,EAAO,OAASA,EAAO,QAAQ,MAAM,sBAAsB,CAAC,CAAE,EAAE,CAAC,OAAS,CAC7F,MAAO,GAAIN,EAAY,KAAKM,EAAO,OAAO,EAAG,CACzC,EAAOY,EAAeV,EAASR,EAAY,KAAKM,EAAO,OAAO,CAAC,CAAE,GAAII,EAAWJ,CAAM,CAAC,EACvF,IAAMa,EAAQX,EAAQ,UAAUF,EAAO,MAAM,EAC7C,GAAIa,IAAU,IAAA,IAAa,CAAClB,EAAU,KAAKkB,EAAM,OAAO,EAAG,CACvDX,EAAQ,MAAMC,EAAgB,yBAA0B,2DAA4DC,EAAWJ,CAAM,CAAC,EACtIE,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACAE,EAAQ,OAAO,gBAAgB,EAC/B,EAASW,EACT,EAAOA,EAAM,QACb,EAAeA,EAAM,OAAS,CAClC,KAAO,CACH,IAAMC,EAAQrB,EAAY,KAAKO,EAAO,OAAO,EAC7C,GAAIc,IAAU,KAAM,CAChBZ,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCH,EAAO,QAAQ,oEAAqEI,EAAWJ,CAAM,CAAC,EACjME,EAAQ,gBAAgBF,EAAO,MAAM,EACrC,MACJ,CACA,EAAOc,EAAM,GACb,EAAed,EAAO,OAASA,EAAO,QAAQ,MAAM,cAAc,CAAC,CAAE,EAAE,CAAC,OAAS,CACrF,CACA,IAAMe,EAA+B,CAAC,EAChCC,kBAAgB,IAAI,IACpBC,EAAoC,CAAC,EACrCC,EAAoB,CAAC,EACrBC,EAAW,IAAIC,EAAoBV,CAAI,EACzCW,EAAkC,KAClCC,EAAqC,KACzC,IAAK,IAAIC,EAAOrB,EAAQ,UAAUM,EAAO,MAAM,EAAGe,IAAS,IAAA,GAAW,EAAOrB,EAAQ,UAAUM,EAAO,MAAM,EAAG,CAC3GN,EAAQ,OAAO,gBAAgB,EAC/B,IAAMsB,EAAUC,EAAUF,EAAK,OAAO,EAChCG,EAAWtB,EAAWmB,CAAI,EAChC,GAAIxB,EAAS,IAAIyB,CAAO,EAAG,CACvBtB,EAAQ,MAAMC,EAAgB,2BAA4B,IAAIqB,EAAQ,sEAAuEE,CAAQ,EACrJxB,EAAQ,gBAAgBqB,EAAK,MAAM,EACnC,QACJ,CACA,GAAIhB,IAAW,OAASiB,IAAY,cAAgBA,IAAY,UAAW,CACvEtB,EAAQ,MAAMsB,IAAY,aAAerB,EAAgB,sBAAwBA,EAAgB,2BAC7FqB,IAAY,aAAe,kFAAoF,oEAAqEE,CAAQ,EAChMxB,EAAQ,gBAAgBqB,EAAK,MAAM,EACnC,QACJ,CACA,GAAIC,IAAY,UAAY,CAACD,EAAK,QAAQ,SAAS,GAAG,EAAG,CACrD,IAAMI,EAAQC,EAAoB,6CAA6C,CAAC,CAAC,KAAKL,EAAK,OAAO,EAClG,GAAI,CAACtB,EACDC,EAAQ,MAAMC,EAAgB,8BAA+B,6DAA8DuB,CAAQ,EACnIxB,EAAQ,UAAUqB,EAAK,MAAM,OAC1B,GAAID,IAAW,KAClBpB,EAAQ,MAAMC,EAAgB,qBAAsB,qDAAsDuB,CAAQ,EAClHxB,EAAQ,UAAUqB,EAAK,MAAM,OAC1B,GAAII,IAAU,KACjBzB,EAAQ,MAAMC,EAAgB,qBAAsB,uCAAwCuB,CAAQ,EACpGxB,EAAQ,UAAUqB,EAAK,MAAM,MAC1B,CACH,IAAMM,EAAe,CAAE,GAAGH,EAAU,OAAQH,EAAK,OAASA,EAAK,QAAQ,QAAQI,EAAM,EAAE,EAAI,CAAE,EACvFG,EAA4B,CAAE,KAAM,iBAAkB,KAAM,SAAU,KAAM,CAAE,KAAM,gBAAiB,KAAMH,EAAM,GAAI,aAAc,GAAO,WAAY,GAAO,SAAUE,CAAa,EAAG,aAAc,GAAO,UAAS,EAC3N,EAASE,EAAmB7B,EAASqB,EAAMO,EAAW,EAAK,CAC/D,CACA,QACJ,CACA,GAAIN,IAAY,MAAO,CACnB,IAAMQ,EAAMC,EAAS/B,EAASqB,EAAM,EAAK,EACrCS,IAAQ,IAAA,IAAWd,EAAK,KAAKc,CAAG,EACpC,QACJ,CACA,IAAME,EAAWtC,EAAc,KAAK2B,EAAK,OAAO,EAChD,GAAIW,IAAa,KAAM,CACfb,IAAW,KAGX,EAASc,EAAmBD,EAAS,GAAIR,EAAUxB,CAAO,EAF1DA,EAAQ,MAAMC,EAAgB,wBAAyB,IAAIK,EAAO,QAAQ,8EAA+EkB,CAAQ,EAIrK,QACJ,CACA,IAAMU,GAAS7B,IAAW,KAAOV,EAAiBC,EAAA,CAAqB,KAAKyB,EAAK,OAAO,EACxF,GAAIa,IAAU,MAAQ7B,IAAW,KAAM,CACnC,IAAM8B,EAAaC,EAA0BpC,EAASqB,CAAI,EAC1D,GAAIc,IAAe,IAAA,GAAW,CAC1BpB,EAAS,KAAKoB,CAAU,EACxB,QACJ,CACJ,CACA,IAAME,EAASC,EAAejB,EAAK,OAAO,EACpCc,EAAaD,IAAU,MAAQ7B,IAAW,MAAQ,CAACgB,EAAK,QAAQ,SAAS,GAAG,GAAK,CAAC,CAAC,KAAM,cAAe,eAAe,CAAC,CAAC,SAASC,CAAO,GAAKD,EAAK,QAAQ,SAAS,GAAG,IAAMgB,IAAW,IAAA,IAAarC,EAAQ,UAAUqB,EAAK,MAAM,IAAM,IAAA,IACxOkB,EAAcJ,EAAcE,IAAW,IAAA,GAAYhB,EAAK,QAAUA,EAAK,QAAQ,UAAU,EAAGA,EAAK,QAAQ,OAASgB,EAAO,OAAS,CAAC,EAAKH,IAAQ,EAAE,CAAC,QAAQ,EAC7JM,EAAWD,IAAgB,IAAA,IAAalC,IAAW,KAAO,IAAA,GAAYoC,EAAczC,EAAS,CAAE,GAAGqB,EAAM,QAASkB,CAAY,CAAC,EAClI,IAAKL,IAAU,MAAQC,KAAgB9B,IAAW,MAAQmC,IAAa,IAAA,IAAY,CAC/E,GAAIA,IAAa,IAAA,GAAW,CACpBA,EAAS,eACTxC,EAAQ,MAAMC,EAAgB,0BAA2B,aAAauC,EAAS,KAAK,cAAchC,EAAK,4EAA6EgB,CAAQ,EAC5L,EAAW,CAAE,GAAGgB,EAAU,aAAc,EAAM,GAElD,IAAME,EAAeF,EAAS,KAC1B1B,EAAc,IAAI4B,CAAY,GAC9B1C,EAAQ,MAAMC,EAAgB,qBAAsB,UAAUO,EAAK,+BAA+BgC,EAAS,KAAK,GAAIhB,CAAQ,EAEhIV,EAAc,IAAI4B,CAAY,EAC9B7B,EAAW,KAAK2B,CAAQ,CAC5B,CACAzB,EAAS,KAAKmB,IAAU,KAClB,CAAE,KAAM,wBAAyB,SAAUM,EAAU,KAAM,OAAQG,EAAqB3C,EAASqB,EAAMgB,CAAM,EAAG,UAAS,EACzH,CAAE,KAAM,wBAAyB,SAAUG,GAAU,MAAQI,EAAmBV,EAAM,EAAE,EAAG,OAAQD,EAAmBC,EAAM,GAAI,CAAE,GAAGV,EAAU,OAAQH,EAAK,OAASA,EAAK,QAAQ,OAASa,EAAM,EAAE,CAAC,OAAS,CAAE,EAAGlC,CAAO,EAAG,UAAS,CAAC,CAChP,MAAWK,IAAW,MAAQ,CAACY,EAAS,SAASjB,EAASqB,CAAI,IAC1DrB,EAAQ,MAAMC,EAAgB,uBAAwB,WAAWI,IAAW,KAAO,GAAK,UAAU,oBAAoBgB,EAAK,QAAQ,0BAA0BhB,IAAW,KAAO,GAAK,UAAU,cAAemB,EAAUqB,EAAe,OAAQxB,EAAK,OAAO,CAAC,CAEnQ,CAEA,OADIf,IAAWR,GAAQE,EAAQ,UAAUF,EAAO,MAAM,EAC/C,CACH,KAAM,iBAAkB,OAAM,MAAOU,EAAM,SAAQ,eAAgB,CAAE,GAAGN,EAAWI,CAAM,EAAG,OAAQG,CAAa,EAAG,gBAAiB,KAAM,WAAU,IAAKU,EAAQ,KAAMd,IAAW,KAAOW,EAAO,CAAC,EAAG,SAAUd,EAAWJ,CAAM,EAChO,YAAaO,IAAW,KAAO,KAAO,CAAE,KAAM,cAAe,OAAM,aAAY,OAAM,WAAY,EAAG,oBAAqB,GAAO,GAAGY,EAAS,MAAO,SAAUf,EAAWJ,CAAM,CAAE,CACpL,CACJ"}
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
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{diagnosticText as r}from"../Diagnostics/DiagnosticArgument.js";import{firstWord as i,splitTopLevel as a,unescapeIdentifier as o}from"./LineText.js";import{parseDescription as s}from"./DescriptionParser.js";import{isFileDirective as c}from"./FileReferences.js";import{parseProjectionExpression as l}from"./ProjectionExpressionParser.js";import{validateProjectionEventScopes as u}from"./ProjectionEventScopeValidator.js";const d=t(`^projection\\s+(@?[\\w.]+)\\s*(?:=>\\s*([\\w.]+))?$`),f=t(`^(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),p=t(`^join\\s+(@?[\\w.]+)\\s+on\\s+(@?[\\w.]+)$`),m=t(`^with\\s+(@?[\\w.]+)$`),h=t(`^children\\s+(@?[\\w.]+)\\s+identified\\s+by\\s+(.+)$`),g=t(`^nested\\s+(@?[\\w.]+)$`),_=t(`^remove\\s+with\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),v=t(`^remove\\s+via\\s+join\\s+on\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),y=t(`^clear\\s+with\\s+(@?[\\w.]+)$`),b=t(`^variant\\s+(@?[\\w.]+)\\s*$`),x=t(`^enters\\s+on\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),S=t(`^(increment|decrement|count|clear)\\s+(@?[$\\w.]+)$`),C=t(`^(add|subtract)\\s+(@?[$\\w.]+)\\s+by\\s+(.+?)(?:\\s+\\*\\s+(.+))?$`),w=t(`^set\\s+(@?[$\\w.]+)\\s+(?:=|to)\\s+(.+)$`),T=t(`^(@?[$\\w.@]+)\\s*=(?!=|>)\\s*(.+)$`),E={increment:`IncrementMappingSyntax`,decrement:`DecrementMappingSyntax`,clear:`ClearMappingSyntax`,count:`CountMappingSyntax`};function parseProjection(t,r){let a=d.exec(r.content);if(a===null)return t.error(e.InvalidProjectionDeclaration,`Invalid projection declaration '${r.content}' - expected 'projection <Name> [=> <ReadModel>]'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionSyntax`,sourceOptions:t.sourceOptions,name:i(r.content),readModel:null,sequence:null,autoMap:`Inherit`,blocks:[],location:n(r)};let o=a[1],l=null,f=null,p=`Inherit`,m=null,h=[];for(let e=t.peekChild(r.indent);e!==void 0;e=t.peekChild(r.indent)){if(t.reader.takeSignificant(),c(e))continue;let n=i(e.content);if(n===`description`)f=s(t,e,f,`Projection '${o}'`);else if(n===`sequence`)l=e.content.substring(8).trim();else if(n===`automap`)p=`Enabled`;else if(e.content===`no automap`)p=`Disabled`;else if(n===`key`)m=parseKey(t,e);else if(n===`variant`)h.push(parseVariant(t,e));else{let n=parseBlock(t,e,!1);n!==void 0&&h.push(n)}}return reportVariantConflicts(t,h,o),u(t,o,h),h.length===0&&t.error(e.EmptyProjection,`Projection '${o}' must contain at least one directive`,n(r)),{kind:`ProjectionSyntax`,sourceOptions:t.sourceOptions,name:o,readModel:a[2]??null,sequence:l,autoMap:p,key:m,blocks:h,description:f,location:n(r)}}function reportVariantConflicts(t,n,r){let i=n.filter(e=>e.kind===`ProjectionVariantSyntax`),a=/* @__PURE__ */ new Map;i.forEach(e=>a.set(e.name,[...a.get(e.name)??[],e]));for(let n of[...a.values()].flatMap(e=>e.slice(1)))t.error(e.DuplicateProjectionVariant,`Duplicate variant '${n.name}' - a variant name is declared once`,n.location);let o=/* @__PURE__ */ new Set;for(let i of n.flatMap(e=>e.kind===`ProjectionVariantSyntax`?e.entersOn:[]))i.event.length>0&&o.has(i.event)&&t.error(e.DuplicateVariantEnteringEvent,`Entering event '${i.event}' is claimed more than once in projection '${r}'`,i.location),o.add(i.event)}function parseBlock(t,r,a){let o=n(r);switch(i(r.content)){case`from`:return parseFrom(t,r);case`every`:{let e=!0,{autoMap:n,mappings:i}=parseMappingBlock(t,r,t=>t.content===`exclude children`&&(e=!1,!0));return{kind:`EverySyntax`,includeChildren:e,autoMap:n,mappings:i,location:o}}case`all`:{let{autoMap:e,mappings:n}=parseMappingBlock(t,r);return{kind:`AllSyntax`,autoMap:e,mappings:n,location:o}}case`join`:return parseJoin(t,r);case`children`:return parseChildren(t,r);case`nested`:return parseNested(t,r);case`remove`:return parseRemove(t,r);case`clear`:return a||t.error(e.ClearWithOutsideNestedBlock,`'clear with' is only valid inside a nested block`,o),parseClearWith(t,r);default:t.error(e.UnknownProjectionDirective,`Unexpected '${i(r.content)}' in projection body`,o),t.skipBlock(r.indent);return}}function parseFrom(t,r){let s=[];for(let i of a(r.content.substring(4),`,`)){let a=i.trim();if(a.length===0){t.error(e.FromWithoutEvent,`Expected an event type after 'from'`,n(r));continue}let c=f.exec(a);c===null?t.error(e.InvalidEventReference,`Invalid event reference '${a}'`,n(r)):s.push({kind:`EventSpecSyntax`,event:o(c[1]),key:c[2]===void 0?null:l(c[2],n(r),t),location:n(r)})}let c=[],u=null,d=null;for(let e=t.peekChild(r.indent);e!==void 0;e=t.peekChild(r.indent)){t.reader.takeSignificant();let r=i(e.content);r===`key`?u=parseKey(t,e):r===`parent`?d=l(e.content.substring(6),n(e),t):pushMapping(t,e,c)}return{kind:`FromSyntax`,events:s,key:u,parentKey:d,mappings:c,location:n(r)}}function parseJoin(t,r){let i=p.exec(r.content);if(i===null)return t.error(e.InvalidJoinDeclaration,`Invalid join declaration '${r.content}' - expected 'join <property> on <key>'`,n(r)),t.skipBlock(r.indent),{kind:`JoinSyntax`,property:``,on:``,events:[],location:n(r)};let a=[];for(let i=t.peekChild(r.indent);i!==void 0;i=t.peekChild(r.indent)){t.reader.takeSignificant();let r=m.exec(i.content);if(r===null){t.error(e.JoinWithoutEvent,`Expected 'with <EventType>' in join block, got '${i.content}'`,n(i)),t.skipBlock(i.indent);continue}let{autoMap:s,mappings:c}=parseMappingBlock(t,i);a.push({kind:`JoinEventSyntax`,event:o(r[1]),autoMap:s,mappings:c,location:n(i)})}return{kind:`JoinSyntax`,property:o(i[1]),on:o(i[2]),events:a,location:n(r)}}function parseChildren(t,r){let i=h.exec(r.content);if(i===null)return t.error(e.InvalidChildrenDeclaration,`Invalid children declaration '${r.content}' - expected 'children <collection> identified by <key>'`,n(r)),t.skipBlock(r.indent),{kind:`ChildrenSyntax`,property:``,autoMap:`Inherit`,blocks:[],location:n(r)};let{autoMap:a,blocks:s}=parseChildBlocks(t,r);return{kind:`ChildrenSyntax`,property:o(i[1]),identifiedBy:l(i[2],n(r),t),autoMap:a,blocks:s,location:n(r)}}function parseNested(t,r){let i=g.exec(r.content);if(i===null)return t.error(e.InvalidNestedDeclaration,`Invalid nested declaration '${r.content}' - expected 'nested <property>'`,n(r)),t.skipBlock(r.indent),{kind:`NestedSyntax`,property:``,autoMap:`Inherit`,blocks:[],location:n(r)};let a=o(i[1]),{autoMap:s,blocks:c}=parseChildBlocks(t,r);return c.some(e=>e.kind===`FromSyntax`)||t.error(e.NestedBlockWithoutFrom,`Nested block '${a}' must contain at least one 'from' directive`,n(r)),{kind:`NestedSyntax`,property:a,autoMap:s,blocks:c,location:n(r)}}function parseChildBlocks(e,t){let n=[],r=`Inherit`;for(let i=e.peekChild(t.indent);i!==void 0;i=e.peekChild(t.indent)){if(e.reader.takeSignificant(),i.content===`automap`){r=`Enabled`;continue}if(i.content===`no automap`){r=`Disabled`;continue}let t=parseBlock(e,i,!0);t!==void 0&&n.push(t)}return{autoMap:r,blocks:n}}function parseRemove(t,r){let a=v.exec(r.content);if(a!==null)return{kind:`RemoveViaJoinSyntax`,event:o(a[1]),key:a[2]===void 0?null:l(a[2],n(r),t),location:n(r)};let s=_.exec(r.content);if(s===null){t.error(e.InvalidRemoveDeclaration,`Invalid remove declaration '${r.content}' - expected 'remove with <EventType>' or 'remove via join on <EventType>'`,n(r)),t.skipBlock(r.indent);return}let c=s[2]===void 0?null:l(s[2],n(r),t),u=null,d=null;for(let a=t.peekChild(r.indent);a!==void 0;a=t.peekChild(r.indent))if(t.reader.takeSignificant(),i(a.content)===`parent`)d=l(a.content.substring(6),n(a),t);else if(i(a.content)===`key`){(c!==null||u!==null)&&t.error(e.InvalidReadModelKeyLookup,`A removal can only declare one key.`,n(a));let r=parseKey(t,a);r.kind===`CompositeKeySyntax`?u=r:c=r.expression}else t.error(e.UnknownRemoveDirective,`Unexpected '${a.content}' in remove block - only 'parent' or 'key' is allowed`,n(a));return{kind:`RemoveWithSyntax`,event:o(s[1]),key:c,...u===null?{}:{partsKey:u},parentKey:d,location:n(r)}}function parseClearWith(t,r){let i=y.exec(r.content);return i===null?(t.error(e.InvalidClearDeclaration,`Invalid clear declaration '${r.content}' - expected 'clear with <EventType>'`,n(r)),{kind:`ClearWithSyntax`,event:``,location:n(r)}):{kind:`ClearWithSyntax`,event:o(i[1]),location:n(r)}}function parseVariant(t,r){let a=b.exec(r.content);if(a===null)return t.error(e.InvalidProjectionVariantDeclaration,`Invalid variant declaration '${r.content}' - expected 'variant <Name>'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionVariantSyntax`,name:i(r.content),entersOn:[],blocks:[],location:n(r)};let s=o(a[1]),c=[],l=[];for(let a=t.peekChild(r.indent);a!==void 0;a=t.peekChild(r.indent)){t.reader.takeSignificant();let r=i(a.content);if(r===`enters`)c.push(parseEntersOn(t,a));else if(r===`variant`)t.error(e.NestedProjectionVariantNotAllowed,`A variant cannot be declared inside another variant`,n(a)),t.skipBlock(a.indent);else{let e=parseBlock(t,a,!1);e!==void 0&&l.push(e)}}return c.length===0&&t.error(e.VariantRequiresEnteringEvent,`Variant '${s}' must declare at least one 'enters on' event`,n(r)),{kind:`ProjectionVariantSyntax`,name:s,entersOn:c,blocks:l,location:n(r)}}function parseEntersOn(t,r){let i=x.exec(r.content);return i===null?(t.error(e.InvalidEntersOnDeclaration,`Invalid 'enters on' declaration '${r.content}' - expected 'enters on <EventType> [key <expression>]'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionEntersOnSyntax`,event:``,key:null,location:n(r)}):{kind:`ProjectionEntersOnSyntax`,event:o(i[1]),key:i[2]===void 0?null:l(i[2],n(r),t),location:n(r)}}function parseKey(t,r){let i=r.content.substring(3).trim();if(t.peekChild(r.indent)===void 0)return{kind:`ExpressionKeySyntax`,expression:l(i,n(r),t),location:n(r)};i.endsWith(`{`)&&t.information(e.RedundantCompositeKeyBraces,`Write the composite key without braces; the indented parts already belong to the key.`,n(r));let a=[];for(let s=t.peekChild(r.indent);s!==void 0;s=t.peekChild(r.indent)){if(t.reader.takeSignificant(),s.content===`}`)continue;let r=T.exec(s.content);if(r===null){t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidCompositeKeyPart,`Invalid composite key part '${s.content}' - expected '<property> = <expression>'`,n(s));continue}let c=l(r[2],n(s),t);t.sourceOptions.numericMode===`exact`&&i.replace(/\{$/,``).trim().length>0&&c.kind===`TemplateExpressionSyntax`&&t.error(e.TemplateInCompositeKey,`Template expressions are not allowed in composite keys`,n(s)),a.push({kind:`KeyPartSyntax`,property:o(r[1]),expression:c,location:n(s)})}let s=t.reader.peekSignificant();return s!==void 0&&s.indent===r.indent&&s.content===`}`&&t.reader.takeSignificant(),t.sourceOptions.numericMode===`exact`&&a.length===0&&t.error(e.EmptyCompositeKey,`Composite keys must contain at least one part`,n(r)),{kind:`CompositeKeySyntax`,type:i.replace(/\{$/,``).trim(),parts:a,location:n(r)}}function parseMappingBlock(e,t,n=()=>!1){let r=`Inherit`,i=[];for(let a=e.peekChild(t.indent);a!==void 0;a=e.peekChild(t.indent))e.reader.takeSignificant(),a.content===`automap`?r=`Enabled`:a.content===`no automap`?r=`Disabled`:n(a)||pushMapping(e,a,i);return{autoMap:r,mappings:i}}function pushMapping(t,i,a){let s=n(i),c=S.exec(i.content);if(c!==null){c[1]!==`clear`||c[2]!==`with`?a.push({kind:E[c[1]],property:o(c[2]),location:s}):t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidProjectionMapping,`Invalid mapping '${i.content}' - 'clear with' is a block directive and needs an event type; to clear a property named 'with', write 'clear @with'`,s,r(`text`,i.content));return}let u=C.exec(i.content);if(u!==null){a.push({kind:u[1]===`add`?`AddMappingSyntax`:`SubtractMappingSyntax`,property:o(u[2]),value:l(u[3],s,t),...u[4]===void 0?{}:{factor:l(u[4],s,t)},location:s});return}let d=w.exec(i.content)??T.exec(i.content);d===null?t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidProjectionMapping,`Invalid mapping '${i.content}'`,s,r(`text`,i.content)):a.push({kind:`SetMappingSyntax`,property:o(d[1]),source:l(d[2],s,t),location:s})}export{parseProjection};
|
|
1
|
+
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{diagnosticText as r}from"../Diagnostics/DiagnosticArgument.js";import{firstWord as i,splitTopLevel as a,unescapeIdentifier as o}from"./LineText.js";import{tryParseStructuredMapping as s}from"./StructuredBlockParser.js";import{parseDescription as c}from"./DescriptionParser.js";import{isFileDirective as l}from"./FileReferences.js";import{parseProjectionExpression as u}from"./ProjectionExpressionParser.js";import{validateProjectionEventScopes as d}from"./ProjectionEventScopeValidator.js";const f=t(`^projection\\s+(@?[\\w.]+)\\s*(?:=>\\s*([\\w.]+))?$`),p=t(`^(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),m=t(`^join\\s+(@?[\\w.]+)\\s+on\\s+(@?[\\w.]+)$`),h=t(`^with\\s+(@?[\\w.]+)$`),g=t(`^children\\s+(@?[\\w.]+)\\s+identified\\s+by\\s+(.+)$`),_=t(`^nested\\s+(@?[\\w.]+)$`),v=t(`^remove\\s+with\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),y=t(`^remove\\s+via\\s+join\\s+on\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),b=t(`^clear\\s+with\\s+(@?[\\w.]+)$`),x=t(`^variant\\s+(@?[\\w.]+)\\s*$`),S=t(`^enters\\s+on\\s+(@?[\\w.]+)(?:\\s+key\\s+(.+))?$`),C=t(`^(increment|decrement|count|clear)\\s+(@?[$\\w.]+)$`),w=t(`^(add|subtract)\\s+(@?[$\\w.]+)\\s+by\\s+(.+?)(?:\\s+\\*\\s+(.+))?$`),T=t(`^set\\s+(@?[$\\w.]+)\\s+(?:=|to)\\s+(.+)$`),E=t(`^(@?[$\\w.@]+)\\s*=(?!=|>)\\s*(.+)$`),D={increment:`IncrementMappingSyntax`,decrement:`DecrementMappingSyntax`,clear:`ClearMappingSyntax`,count:`CountMappingSyntax`};function parseProjection(t,r){let a=f.exec(r.content);if(a===null)return t.error(e.InvalidProjectionDeclaration,`Invalid projection declaration '${r.content}' - expected 'projection <Name> [=> <ReadModel>]'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionSyntax`,sourceOptions:t.sourceOptions,name:i(r.content),readModel:null,sequence:null,autoMap:`Inherit`,blocks:[],location:n(r)};let o=a[1],s=null,u=null,p=`Inherit`,m=null,h=[];for(let e=t.peekChild(r.indent);e!==void 0;e=t.peekChild(r.indent)){if(t.reader.takeSignificant(),l(e))continue;let n=i(e.content);if(n===`description`)u=c(t,e,u,`Projection '${o}'`);else if(n===`sequence`)s=e.content.substring(8).trim();else if(n===`automap`)p=`Enabled`;else if(e.content===`no automap`)p=`Disabled`;else if(n===`key`)m=parseKey(t,e);else if(n===`variant`)h.push(parseVariant(t,e));else{let n=parseBlock(t,e,!1);n!==void 0&&h.push(n)}}return reportVariantConflicts(t,h,o),d(t,o,h),h.length===0&&t.error(e.EmptyProjection,`Projection '${o}' must contain at least one directive`,n(r)),{kind:`ProjectionSyntax`,sourceOptions:t.sourceOptions,name:o,readModel:a[2]??null,sequence:s,autoMap:p,key:m,blocks:h,description:u,location:n(r)}}function reportVariantConflicts(t,n,r){let i=n.filter(e=>e.kind===`ProjectionVariantSyntax`),a=/* @__PURE__ */ new Map;i.forEach(e=>a.set(e.name,[...a.get(e.name)??[],e]));for(let n of[...a.values()].flatMap(e=>e.slice(1)))t.error(e.DuplicateProjectionVariant,`Duplicate variant '${n.name}' - a variant name is declared once`,n.location);let o=/* @__PURE__ */ new Set;for(let i of n.flatMap(e=>e.kind===`ProjectionVariantSyntax`?e.entersOn:[]))i.event.length>0&&o.has(i.event)&&t.error(e.DuplicateVariantEnteringEvent,`Entering event '${i.event}' is claimed more than once in projection '${r}'`,i.location),o.add(i.event)}function parseBlock(t,r,a){let o=n(r);switch(i(r.content)){case`from`:return parseFrom(t,r);case`every`:{let e=!0,{autoMap:n,mappings:i}=parseMappingBlock(t,r,t=>t.content===`exclude children`&&(e=!1,!0));return{kind:`EverySyntax`,includeChildren:e,autoMap:n,mappings:i,location:o}}case`all`:{let{autoMap:e,mappings:n}=parseMappingBlock(t,r);return{kind:`AllSyntax`,autoMap:e,mappings:n,location:o}}case`join`:return parseJoin(t,r);case`children`:return parseChildren(t,r);case`nested`:return parseNested(t,r);case`remove`:return parseRemove(t,r);case`clear`:return a||t.error(e.ClearWithOutsideNestedBlock,`'clear with' is only valid inside a nested block`,o),parseClearWith(t,r);default:t.error(e.UnknownProjectionDirective,`Unexpected '${i(r.content)}' in projection body`,o),t.skipBlock(r.indent);return}}function parseFrom(t,r){let s=[];for(let i of a(r.content.substring(4),`,`)){let a=i.trim();if(a.length===0){t.error(e.FromWithoutEvent,`Expected an event type after 'from'`,n(r));continue}let c=p.exec(a);c===null?t.error(e.InvalidEventReference,`Invalid event reference '${a}'`,n(r)):s.push({kind:`EventSpecSyntax`,event:o(c[1]),key:c[2]===void 0?null:u(c[2],n(r),t),location:n(r)})}let c=[],l=null,d=null;for(let e=t.peekChild(r.indent);e!==void 0;e=t.peekChild(r.indent)){t.reader.takeSignificant();let r=i(e.content);r===`key`?l=parseKey(t,e):r===`parent`?d=u(e.content.substring(6),n(e),t):pushMapping(t,e,c)}return{kind:`FromSyntax`,events:s,key:l,parentKey:d,mappings:c,location:n(r)}}function parseJoin(t,r){let i=m.exec(r.content);if(i===null)return t.error(e.InvalidJoinDeclaration,`Invalid join declaration '${r.content}' - expected 'join <property> on <key>'`,n(r)),t.skipBlock(r.indent),{kind:`JoinSyntax`,property:``,on:``,events:[],location:n(r)};let a=[];for(let i=t.peekChild(r.indent);i!==void 0;i=t.peekChild(r.indent)){t.reader.takeSignificant();let r=h.exec(i.content);if(r===null){t.error(e.JoinWithoutEvent,`Expected 'with <EventType>' in join block, got '${i.content}'`,n(i)),t.skipBlock(i.indent);continue}let{autoMap:s,mappings:c}=parseMappingBlock(t,i);a.push({kind:`JoinEventSyntax`,event:o(r[1]),autoMap:s,mappings:c,location:n(i)})}return{kind:`JoinSyntax`,property:o(i[1]),on:o(i[2]),events:a,location:n(r)}}function parseChildren(t,r){let i=g.exec(r.content);if(i===null)return t.error(e.InvalidChildrenDeclaration,`Invalid children declaration '${r.content}' - expected 'children <collection> identified by <key>'`,n(r)),t.skipBlock(r.indent),{kind:`ChildrenSyntax`,property:``,autoMap:`Inherit`,blocks:[],location:n(r)};let{autoMap:a,blocks:s}=parseChildBlocks(t,r);return{kind:`ChildrenSyntax`,property:o(i[1]),identifiedBy:u(i[2],n(r),t),autoMap:a,blocks:s,location:n(r)}}function parseNested(t,r){let i=_.exec(r.content);if(i===null)return t.error(e.InvalidNestedDeclaration,`Invalid nested declaration '${r.content}' - expected 'nested <property>'`,n(r)),t.skipBlock(r.indent),{kind:`NestedSyntax`,property:``,autoMap:`Inherit`,blocks:[],location:n(r)};let a=o(i[1]),{autoMap:s,blocks:c}=parseChildBlocks(t,r);return c.some(e=>e.kind===`FromSyntax`)||t.error(e.NestedBlockWithoutFrom,`Nested block '${a}' must contain at least one 'from' directive`,n(r)),{kind:`NestedSyntax`,property:a,autoMap:s,blocks:c,location:n(r)}}function parseChildBlocks(e,t){let n=[],r=`Inherit`;for(let i=e.peekChild(t.indent);i!==void 0;i=e.peekChild(t.indent)){if(e.reader.takeSignificant(),i.content===`automap`){r=`Enabled`;continue}if(i.content===`no automap`){r=`Disabled`;continue}let t=parseBlock(e,i,!0);t!==void 0&&n.push(t)}return{autoMap:r,blocks:n}}function parseRemove(t,r){let a=y.exec(r.content);if(a!==null)return{kind:`RemoveViaJoinSyntax`,event:o(a[1]),key:a[2]===void 0?null:u(a[2],n(r),t),location:n(r)};let s=v.exec(r.content);if(s===null){t.error(e.InvalidRemoveDeclaration,`Invalid remove declaration '${r.content}' - expected 'remove with <EventType>' or 'remove via join on <EventType>'`,n(r)),t.skipBlock(r.indent);return}let c=s[2]===void 0?null:u(s[2],n(r),t),l=null,d=null;for(let a=t.peekChild(r.indent);a!==void 0;a=t.peekChild(r.indent))if(t.reader.takeSignificant(),i(a.content)===`parent`)d=u(a.content.substring(6),n(a),t);else if(i(a.content)===`key`){(c!==null||l!==null)&&t.error(e.InvalidReadModelKeyLookup,`A removal can only declare one key.`,n(a));let r=parseKey(t,a);r.kind===`CompositeKeySyntax`?l=r:c=r.expression}else t.error(e.UnknownRemoveDirective,`Unexpected '${a.content}' in remove block - only 'parent' or 'key' is allowed`,n(a));return{kind:`RemoveWithSyntax`,event:o(s[1]),key:c,...l===null?{}:{partsKey:l},parentKey:d,location:n(r)}}function parseClearWith(t,r){let i=b.exec(r.content);return i===null?(t.error(e.InvalidClearDeclaration,`Invalid clear declaration '${r.content}' - expected 'clear with <EventType>'`,n(r)),{kind:`ClearWithSyntax`,event:``,location:n(r)}):{kind:`ClearWithSyntax`,event:o(i[1]),location:n(r)}}function parseVariant(t,r){let a=x.exec(r.content);if(a===null)return t.error(e.InvalidProjectionVariantDeclaration,`Invalid variant declaration '${r.content}' - expected 'variant <Name>'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionVariantSyntax`,name:i(r.content),entersOn:[],blocks:[],location:n(r)};let s=o(a[1]),c=[],l=[];for(let a=t.peekChild(r.indent);a!==void 0;a=t.peekChild(r.indent)){t.reader.takeSignificant();let r=i(a.content);if(r===`enters`)c.push(parseEntersOn(t,a));else if(r===`variant`)t.error(e.NestedProjectionVariantNotAllowed,`A variant cannot be declared inside another variant`,n(a)),t.skipBlock(a.indent);else{let e=parseBlock(t,a,!1);e!==void 0&&l.push(e)}}return c.length===0&&t.error(e.VariantRequiresEnteringEvent,`Variant '${s}' must declare at least one 'enters on' event`,n(r)),{kind:`ProjectionVariantSyntax`,name:s,entersOn:c,blocks:l,location:n(r)}}function parseEntersOn(t,r){let i=S.exec(r.content);return i===null?(t.error(e.InvalidEntersOnDeclaration,`Invalid 'enters on' declaration '${r.content}' - expected 'enters on <EventType> [key <expression>]'`,n(r)),t.skipBlock(r.indent),{kind:`ProjectionEntersOnSyntax`,event:``,key:null,location:n(r)}):{kind:`ProjectionEntersOnSyntax`,event:o(i[1]),key:i[2]===void 0?null:u(i[2],n(r),t),location:n(r)}}function parseKey(t,r){let i=r.content.substring(3).trim();if(t.peekChild(r.indent)===void 0)return{kind:`ExpressionKeySyntax`,expression:u(i,n(r),t),location:n(r)};i.endsWith(`{`)&&t.information(e.RedundantCompositeKeyBraces,`Write the composite key without braces; the indented parts already belong to the key.`,n(r));let a=[];for(let s=t.peekChild(r.indent);s!==void 0;s=t.peekChild(r.indent)){if(t.reader.takeSignificant(),s.content===`}`)continue;let r=E.exec(s.content);if(r===null){t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidCompositeKeyPart,`Invalid composite key part '${s.content}' - expected '<property> = <expression>'`,n(s));continue}let c=u(r[2],n(s),t);t.sourceOptions.numericMode===`exact`&&i.replace(/\{$/,``).trim().length>0&&c.kind===`TemplateExpressionSyntax`&&t.error(e.TemplateInCompositeKey,`Template expressions are not allowed in composite keys`,n(s)),a.push({kind:`KeyPartSyntax`,property:o(r[1]),expression:c,location:n(s)})}let s=t.reader.peekSignificant();return s!==void 0&&s.indent===r.indent&&s.content===`}`&&t.reader.takeSignificant(),t.sourceOptions.numericMode===`exact`&&a.length===0&&t.error(e.EmptyCompositeKey,`Composite keys must contain at least one part`,n(r)),{kind:`CompositeKeySyntax`,type:i.replace(/\{$/,``).trim(),parts:a,location:n(r)}}function parseMappingBlock(e,t,n=()=>!1){let r=`Inherit`,i=[];for(let a=e.peekChild(t.indent);a!==void 0;a=e.peekChild(t.indent))e.reader.takeSignificant(),a.content===`automap`?r=`Enabled`:a.content===`no automap`?r=`Disabled`:n(a)||pushMapping(e,a,i);return{autoMap:r,mappings:i}}function pushMapping(t,i,a){let c=n(i),l=C.exec(i.content);if(l!==null){l[1]!==`clear`||l[2]!==`with`?a.push({kind:D[l[1]],property:o(l[2]),location:c}):t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidProjectionMapping,`Invalid mapping '${i.content}' - 'clear with' is a block directive and needs an event type; to clear a property named 'with', write 'clear @with'`,c,r(`text`,i.content));return}let d=w.exec(i.content);if(d!==null){a.push({kind:d[1]===`add`?`AddMappingSyntax`:`SubtractMappingSyntax`,property:o(d[2]),value:u(d[3],c,t),...d[4]===void 0?{}:{factor:u(d[4],c,t)},location:c});return}let f=T.exec(i.content)??E.exec(i.content);if(f!==null){a.push({kind:`SetMappingSyntax`,property:o(f[1]),source:u(f[2],c,t),location:c});return}let p=t.sourceOptions.numericMode===`exact`?s(t,i):void 0;p===void 0?t.sourceOptions.numericMode===`exact`&&t.error(e.InvalidProjectionMapping,`Invalid mapping '${i.content}'`,c,r(`text`,i.content)):a.push({kind:`SetMappingSyntax`,property:p.property,source:p.source,location:c})}export{parseProjection};
|
|
2
2
|
//# sourceMappingURL=ProjectionParser.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ProjectionParser.js","names":["header","pattern","eventSpecPattern","joinPattern","withPattern","childrenPattern","nestedPattern","removeWithPattern","removeViaJoinPattern","clearWithPattern","variantPattern","entersOnPattern","keywordMappingPattern","arithmeticPattern","setPattern","assignmentPattern","keywordMappings","match","line","context","DiagnosticCodes","locationOf","firstWord","name","sequence","description","autoMap","key","blocks","child","isFileDirective","keyword","parseDescription","block","validateProjectionEventScopes","variants","byName","variant","duplicate","group","entering","entry","location","includeChildren","nestedScope","events","spec","splitTopLevel","text","unescapeIdentifier","parseProjectionExpression","mappings","parentKey","withMatch","property","viaJoin","partsKey","parsed","entersOn","parts","expression","closing","extra","diagnosticText","arithmetic","assigned"],"sources":["../../../../../../Compiler/Parsing/ProjectionParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport {\n AutoMapMode, ChildrenSyntax, ClearWithSyntax, CompositeKeySyntax, EventSpecSyntax, FromSyntax, JoinEventSyntax, JoinSyntax, MappingKind, MappingSyntax, NestedSyntax,\n KeyPartSyntax, KeySyntax, ProjectionBlockSyntax, ProjectionEntersOnSyntax, ProjectionSyntax, ProjectionVariantSyntax,\n} from '../Syntax/Projections';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { pattern } from '../Text/patterns';\nimport { parseProjectionExpression } from './ProjectionExpressionParser';\nimport { validateProjectionEventScopes } from './ProjectionEventScopeValidator';\nimport { isFileDirective } from './FileReferences';\nimport { parseDescription } from './DescriptionParser';\nimport { firstWord, splitTopLevel, unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst header = pattern('^projection\\\\s+(@?[\\\\w.]+)\\\\s*(?:=>\\\\s*([\\\\w.]+))?$');\nconst eventSpecPattern = pattern('^(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst joinPattern = pattern('^join\\\\s+(@?[\\\\w.]+)\\\\s+on\\\\s+(@?[\\\\w.]+)$');\nconst withPattern = pattern('^with\\\\s+(@?[\\\\w.]+)$');\nconst childrenPattern = pattern('^children\\\\s+(@?[\\\\w.]+)\\\\s+identified\\\\s+by\\\\s+(.+)$');\nconst nestedPattern = pattern('^nested\\\\s+(@?[\\\\w.]+)$');\nconst removeWithPattern = pattern('^remove\\\\s+with\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst removeViaJoinPattern = pattern('^remove\\\\s+via\\\\s+join\\\\s+on\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst clearWithPattern = pattern('^clear\\\\s+with\\\\s+(@?[\\\\w.]+)$');\nconst variantPattern = pattern('^variant\\\\s+(@?[\\\\w.]+)\\\\s*$');\nconst entersOnPattern = pattern('^enters\\\\s+on\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst keywordMappingPattern = pattern('^(increment|decrement|count|clear)\\\\s+(@?[$\\\\w.]+)$');\nconst arithmeticPattern = pattern('^(add|subtract)\\\\s+(@?[$\\\\w.]+)\\\\s+by\\\\s+(.+?)(?:\\\\s+\\\\*\\\\s+(.+))?$');\nconst setPattern = pattern('^set\\\\s+(@?[$\\\\w.]+)\\\\s+(?:=|to)\\\\s+(.+)$');\nconst assignmentPattern = pattern('^(@?[$\\\\w.@]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst keywordMappings: Record<string, MappingKind> = {\n increment: 'IncrementMappingSyntax',\n decrement: 'DecrementMappingSyntax',\n clear: 'ClearMappingSyntax',\n count: 'CountMappingSyntax',\n};\n\n// Reads a projection's structure: its name, the read model it builds, the events each block consumes, the\n// properties each mapping sets and where automap is turned on or off. Keys, and where a mapping takes its\n// value from, are recognized and skipped.\nexport function parseProjection(context: ParserContext, line: SourceLine): ProjectionSyntax {\n const match = header.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidProjectionDeclaration, `Invalid projection declaration '${line.content}' - expected 'projection <Name> [=> <ReadModel>]'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionSyntax', sourceOptions: context.sourceOptions, name: firstWord(line.content), readModel: null, sequence: null, autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const name = match[1];\n let sequence: string | null = null;\n let description: string | null = null;\n let autoMap: AutoMapMode = 'Inherit';\n let key: KeySyntax | null = null;\n const blocks: ProjectionBlockSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (isFileDirective(child)) {\n continue;\n }\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Projection '${name}'`);\n } else if (keyword === 'sequence') {\n sequence = child.content.substring('sequence'.length).trim();\n } else if (keyword === 'automap') {\n autoMap = 'Enabled';\n } else if (child.content === 'no automap') {\n autoMap = 'Disabled';\n } else if (keyword === 'key') {\n key = parseKey(context, child);\n } else if (keyword === 'variant') {\n blocks.push(parseVariant(context, child));\n } else {\n const block = parseBlock(context, child, false);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n }\n reportVariantConflicts(context, blocks, name);\n validateProjectionEventScopes(context, name, blocks);\n if (blocks.length === 0) {\n context.error(DiagnosticCodes.EmptyProjection, `Projection '${name}' must contain at least one directive`, locationOf(line));\n }\n return { kind: 'ProjectionSyntax', sourceOptions: context.sourceOptions, name, readModel: match[2] ?? null, sequence, autoMap, key, blocks, description, location: locationOf(line) };\n}\n\nfunction reportVariantConflicts(context: ParserContext, blocks: readonly ProjectionBlockSyntax[], name: string): void {\n // Grouped by name in the order each name first appears, as the C# parser reports them.\n const variants = blocks.filter((block): block is ProjectionVariantSyntax => block.kind === 'ProjectionVariantSyntax');\n const byName = new Map<string, ProjectionVariantSyntax[]>();\n variants.forEach(variant => byName.set(variant.name, [...(byName.get(variant.name) ?? []), variant]));\n for (const duplicate of [...byName.values()].flatMap(group => group.slice(1))) {\n context.error(DiagnosticCodes.DuplicateProjectionVariant, `Duplicate variant '${duplicate.name}' - a variant name is declared once`, duplicate.location);\n }\n const entering = new Set<string>();\n for (const entry of blocks.flatMap(block => block.kind === 'ProjectionVariantSyntax' ? block.entersOn : [])) {\n if (entry.event.length > 0 && entering.has(entry.event)) {\n context.error(DiagnosticCodes.DuplicateVariantEnteringEvent, `Entering event '${entry.event}' is claimed more than once in projection '${name}'`, entry.location);\n }\n entering.add(entry.event);\n }\n}\n\nfunction parseBlock(context: ParserContext, line: SourceLine, nestedScope: boolean): ProjectionBlockSyntax | undefined {\n const location = locationOf(line);\n switch (firstWord(line.content)) {\n case 'from':\n return parseFrom(context, line);\n case 'every': {\n let includeChildren = true;\n const { autoMap, mappings } = parseMappingBlock(context, line, child => {\n if (child.content !== 'exclude children') {\n return false;\n }\n includeChildren = false;\n return true;\n });\n return { kind: 'EverySyntax', includeChildren, autoMap, mappings, location };\n }\n case 'all': {\n const { autoMap, mappings } = parseMappingBlock(context, line);\n return { kind: 'AllSyntax', autoMap, mappings, location };\n }\n case 'join':\n return parseJoin(context, line);\n case 'children':\n return parseChildren(context, line);\n case 'nested':\n return parseNested(context, line);\n case 'remove':\n return parseRemove(context, line);\n case 'clear':\n if (!nestedScope) {\n context.error(DiagnosticCodes.ClearWithOutsideNestedBlock, '\\'clear with\\' is only valid inside a nested block', location);\n }\n return parseClearWith(context, line);\n default:\n context.error(DiagnosticCodes.UnknownProjectionDirective, `Unexpected '${firstWord(line.content)}' in projection body`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n}\n\nfunction parseFrom(context: ParserContext, line: SourceLine): FromSyntax {\n const events: EventSpecSyntax[] = [];\n for (const spec of splitTopLevel(line.content.substring('from'.length), ',')) {\n const text = spec.trim();\n if (text.length === 0) {\n context.error(DiagnosticCodes.FromWithoutEvent, 'Expected an event type after \\'from\\'', locationOf(line));\n continue;\n }\n const match = eventSpecPattern.exec(text);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidEventReference, `Invalid event reference '${text}'`, locationOf(line));\n continue;\n }\n events.push({ kind: 'EventSpecSyntax', event: unescapeIdentifier(match[1]), key: match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context), location: locationOf(line) });\n }\n const mappings: MappingSyntax[] = [];\n let key: KeySyntax | null = null;\n let parentKey: ExpressionSyntax | null = null;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'key') key = parseKey(context, child);\n else if (keyword === 'parent') parentKey = parseProjectionExpression(child.content.substring('parent'.length), locationOf(child), context);\n else pushMapping(context, child, mappings);\n }\n return { kind: 'FromSyntax', events, key, parentKey, mappings, location: locationOf(line) };\n}\n\nfunction parseJoin(context: ParserContext, line: SourceLine): JoinSyntax {\n const match = joinPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidJoinDeclaration, `Invalid join declaration '${line.content}' - expected 'join <property> on <key>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'JoinSyntax', property: '', on: '', events: [], location: locationOf(line) };\n }\n const events: JoinEventSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const withMatch = withPattern.exec(child.content);\n if (withMatch === null) {\n context.error(DiagnosticCodes.JoinWithoutEvent, `Expected 'with <EventType>' in join block, got '${child.content}'`, locationOf(child));\n context.skipBlock(child.indent);\n continue;\n }\n const { autoMap, mappings } = parseMappingBlock(context, child);\n events.push({ kind: 'JoinEventSyntax', event: unescapeIdentifier(withMatch[1]), autoMap, mappings, location: locationOf(child) });\n }\n return { kind: 'JoinSyntax', property: unescapeIdentifier(match[1]), on: unescapeIdentifier(match[2]), events, location: locationOf(line) };\n}\n\nfunction parseChildren(context: ParserContext, line: SourceLine): ChildrenSyntax {\n const match = childrenPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidChildrenDeclaration, `Invalid children declaration '${line.content}' - expected 'children <collection> identified by <key>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ChildrenSyntax', property: '', autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const { autoMap, blocks } = parseChildBlocks(context, line);\n return { kind: 'ChildrenSyntax', property: unescapeIdentifier(match[1]), identifiedBy: parseProjectionExpression(match[2], locationOf(line), context), autoMap, blocks, location: locationOf(line) };\n}\n\nfunction parseNested(context: ParserContext, line: SourceLine): NestedSyntax {\n const match = nestedPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidNestedDeclaration, `Invalid nested declaration '${line.content}' - expected 'nested <property>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'NestedSyntax', property: '', autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const property = unescapeIdentifier(match[1]);\n const { autoMap, blocks } = parseChildBlocks(context, line);\n if (!blocks.some(block => block.kind === 'FromSyntax')) {\n context.error(DiagnosticCodes.NestedBlockWithoutFrom, `Nested block '${property}' must contain at least one 'from' directive`, locationOf(line));\n }\n return { kind: 'NestedSyntax', property, autoMap, blocks, location: locationOf(line) };\n}\n\nfunction parseChildBlocks(context: ParserContext, line: SourceLine): { autoMap: AutoMapMode; blocks: ProjectionBlockSyntax[] } {\n const blocks: ProjectionBlockSyntax[] = [];\n let autoMap: AutoMapMode = 'Inherit';\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === 'automap') {\n autoMap = 'Enabled';\n continue;\n }\n if (child.content === 'no automap') {\n autoMap = 'Disabled';\n continue;\n }\n const block = parseBlock(context, child, true);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n return { autoMap, blocks };\n}\n\nfunction parseRemove(context: ParserContext, line: SourceLine): ProjectionBlockSyntax | undefined {\n const viaJoin = removeViaJoinPattern.exec(line.content);\n if (viaJoin !== null) {\n return { kind: 'RemoveViaJoinSyntax', event: unescapeIdentifier(viaJoin[1]), key: viaJoin[2] === undefined ? null : parseProjectionExpression(viaJoin[2], locationOf(line), context), location: locationOf(line) };\n }\n const match = removeWithPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidRemoveDeclaration, `Invalid remove declaration '${line.content}' - expected 'remove with <EventType>' or 'remove via join on <EventType>'`, locationOf(line));\n context.skipBlock(line.indent);\n return undefined;\n }\n let key = match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context);\n let partsKey: CompositeKeySyntax | null = null;\n let parentKey: ExpressionSyntax | null = null;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (firstWord(child.content) === 'parent') {\n parentKey = parseProjectionExpression(child.content.substring('parent'.length), locationOf(child), context);\n } else if (firstWord(child.content) === 'key') {\n if (key !== null || partsKey !== null) context.error(DiagnosticCodes.InvalidReadModelKeyLookup, 'A removal can only declare one key.', locationOf(child));\n const parsed = parseKey(context, child);\n if (parsed.kind === 'CompositeKeySyntax') partsKey = parsed;\n else key = parsed.expression;\n } else {\n context.error(DiagnosticCodes.UnknownRemoveDirective, `Unexpected '${child.content}' in remove block - only 'parent' or 'key' is allowed`, locationOf(child));\n }\n }\n return { kind: 'RemoveWithSyntax', event: unescapeIdentifier(match[1]), key, ...(partsKey === null ? {} : { partsKey }), parentKey, location: locationOf(line) };\n}\n\nfunction parseClearWith(context: ParserContext, line: SourceLine): ClearWithSyntax {\n const match = clearWithPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidClearDeclaration, `Invalid clear declaration '${line.content}' - expected 'clear with <EventType>'`, locationOf(line));\n return { kind: 'ClearWithSyntax', event: '', location: locationOf(line) };\n }\n return { kind: 'ClearWithSyntax', event: unescapeIdentifier(match[1]), location: locationOf(line) };\n}\n\nfunction parseVariant(context: ParserContext, line: SourceLine): ProjectionVariantSyntax {\n const match = variantPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidProjectionVariantDeclaration, `Invalid variant declaration '${line.content}' - expected 'variant <Name>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionVariantSyntax', name: firstWord(line.content), entersOn: [], blocks: [], location: locationOf(line) };\n }\n const name = unescapeIdentifier(match[1]);\n const entersOn: ProjectionEntersOnSyntax[] = [];\n const blocks: ProjectionBlockSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'enters') {\n entersOn.push(parseEntersOn(context, child));\n } else if (keyword === 'variant') {\n context.error(DiagnosticCodes.NestedProjectionVariantNotAllowed, 'A variant cannot be declared inside another variant', locationOf(child));\n context.skipBlock(child.indent);\n } else {\n const block = parseBlock(context, child, false);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n }\n if (entersOn.length === 0) {\n context.error(DiagnosticCodes.VariantRequiresEnteringEvent, `Variant '${name}' must declare at least one 'enters on' event`, locationOf(line));\n }\n return { kind: 'ProjectionVariantSyntax', name, entersOn, blocks, location: locationOf(line) };\n}\n\nfunction parseEntersOn(context: ParserContext, line: SourceLine): ProjectionEntersOnSyntax {\n const match = entersOnPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidEntersOnDeclaration, `Invalid 'enters on' declaration '${line.content}' - expected 'enters on <EventType> [key <expression>]'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionEntersOnSyntax', event: '', key: null, location: locationOf(line) };\n }\n return { kind: 'ProjectionEntersOnSyntax', event: unescapeIdentifier(match[1]), key: match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context), location: locationOf(line) };\n}\n\n// A key with a body is a composite key: its parts, then a closing '}' at the key's own indent.\nfunction parseKey(context: ParserContext, line: SourceLine): KeySyntax {\n const text = line.content.substring('key'.length).trim();\n if (context.peekChild(line.indent) === undefined) return { kind: 'ExpressionKeySyntax', expression: parseProjectionExpression(text, locationOf(line), context), location: locationOf(line) };\n if (text.endsWith('{')) context.information(DiagnosticCodes.RedundantCompositeKeyBraces, 'Write the composite key without braces; the indented parts already belong to the key.', locationOf(line));\n const parts: KeyPartSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === '}') continue;\n const match = assignmentPattern.exec(child.content);\n if (match === null) {\n if (context.sourceOptions.numericMode === 'exact') context.error(DiagnosticCodes.InvalidCompositeKeyPart, `Invalid composite key part '${child.content}' - expected '<property> = <expression>'`, locationOf(child));\n continue;\n }\n const expression = parseProjectionExpression(match[2], locationOf(child), context);\n if (context.sourceOptions.numericMode === 'exact' && text.replace(/\\{$/, '').trim().length > 0 && expression.kind === 'TemplateExpressionSyntax') context.error(DiagnosticCodes.TemplateInCompositeKey, 'Template expressions are not allowed in composite keys', locationOf(child));\n parts.push({ kind: 'KeyPartSyntax', property: unescapeIdentifier(match[1]), expression, location: locationOf(child) });\n }\n const closing = context.reader.peekSignificant();\n if (closing !== undefined && closing.indent === line.indent && closing.content === '}') context.reader.takeSignificant();\n if (context.sourceOptions.numericMode === 'exact' && parts.length === 0) context.error(DiagnosticCodes.EmptyCompositeKey, 'Composite keys must contain at least one part', locationOf(line));\n return { kind: 'CompositeKeySyntax', type: text.replace(/\\{$/, '').trim(), parts, location: locationOf(line) };\n}\n\n// Mapping lines carry no body, so a mapping block is its direct children. The last automap setting wins;\n// a line 'extra' claims is not a mapping.\nfunction parseMappingBlock(context: ParserContext, line: SourceLine, extra: (child: SourceLine) => boolean = () => false): { autoMap: AutoMapMode; mappings: MappingSyntax[] } {\n let autoMap: AutoMapMode = 'Inherit';\n const mappings: MappingSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === 'automap') {\n autoMap = 'Enabled';\n } else if (child.content === 'no automap') {\n autoMap = 'Disabled';\n } else if (!extra(child)) {\n pushMapping(context, child, mappings);\n }\n }\n return { autoMap, mappings };\n}\n\n// The property one mapping line sets, and how - the port of the C# ParseMappingLine. Exact reports\n// malformed mappings; Legacy keeps the existing skip behavior.\nfunction pushMapping(context: ParserContext, line: SourceLine, mappings: MappingSyntax[]): void {\n const location = locationOf(line);\n const keyword = keywordMappingPattern.exec(line.content);\n if (keyword !== null) {\n if (keyword[1] !== 'clear' || keyword[2] !== 'with') {\n mappings.push({ kind: keywordMappings[keyword[1]], property: unescapeIdentifier(keyword[2]), location });\n } else if (context.sourceOptions.numericMode === 'exact') {\n context.error(DiagnosticCodes.InvalidProjectionMapping, `Invalid mapping '${line.content}' - 'clear with' is a block directive and needs an event type; to clear a property named 'with', write 'clear @with'`, location, diagnosticText('text', line.content));\n }\n return;\n }\n const arithmetic = arithmeticPattern.exec(line.content);\n if (arithmetic !== null) {\n mappings.push({ kind: arithmetic[1] === 'add' ? 'AddMappingSyntax' : 'SubtractMappingSyntax', property: unescapeIdentifier(arithmetic[2]), value: parseProjectionExpression(arithmetic[3], location, context), ...(arithmetic[4] === undefined ? {} : { factor: parseProjectionExpression(arithmetic[4], location, context) }), location });\n return;\n }\n const assigned = setPattern.exec(line.content) ?? assignmentPattern.exec(line.content);\n if (assigned !== null) {\n mappings.push({ kind: 'SetMappingSyntax', property: unescapeIdentifier(assigned[1]), source: parseProjectionExpression(assigned[2], location, context), location });\n } else if (context.sourceOptions.numericMode === 'exact') {\n context.error(DiagnosticCodes.InvalidProjectionMapping, `Invalid mapping '${line.content}'`, location, diagnosticText('text', line.content));\n }\n}\n"],"mappings":"8nBAmBA,MAAMA,EAASC,EAAQ,qDAAqD,EACtEC,EAAmBD,EAAQ,mCAAmC,EAC9DE,EAAcF,EAAQ,4CAA4C,EAClEG,EAAcH,EAAQ,uBAAuB,EAC7CI,EAAkBJ,EAAQ,uDAAuD,EACjFK,EAAgBL,EAAQ,yBAAyB,EACjDM,EAAoBN,EAAQ,qDAAqD,EACjFO,EAAuBP,EAAQ,kEAAkE,EACjGQ,EAAmBR,EAAQ,gCAAgC,EAC3DS,EAAiBT,EAAQ,8BAA8B,EACvDU,EAAkBV,EAAQ,mDAAmD,EAC7EW,EAAwBX,EAAQ,qDAAqD,EACrFY,EAAoBZ,EAAQ,qEAAqE,EACjGa,EAAab,EAAQ,2CAA2C,EAChEc,EAAoBd,EAAQ,qCAAqC,EACjEe,EAA+C,CACjD,UAAW,yBACX,UAAW,yBACX,MAAO,qBACP,MAAO,oBACX,EAKA,SAAgB,gBAAgB,EAAwB,EAAoC,CACxF,IAAMC,EAAQjB,EAAO,KAAKkB,EAAK,OAAO,EACtC,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,6BAA8B,mCAAmCF,EAAK,QAAQ,mDAAoDG,EAAWH,CAAI,CAAC,EAChLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,mBAAoB,cAAeC,EAAQ,cAAe,KAAMG,EAAUJ,EAAK,OAAO,EAAG,UAAW,KAAM,SAAU,KAAM,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAExM,IAAMK,EAAON,EAAM,GACfO,EAA0B,KAC1BC,EAA6B,KAC7BC,EAAuB,UACvBC,EAAwB,KACtBC,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BW,EAAgBD,CAAK,EACrB,SAEJ,IAAME,EAAUT,EAAUO,EAAM,OAAO,EACvC,GAAIE,IAAY,cACZ,EAAcC,EAAiBb,EAASU,EAAOJ,EAAa,eAAeF,EAAK,EAAE,OAC/E,GAAIQ,IAAY,WACnB,EAAWF,EAAM,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,OACxD,GAAIE,IAAY,UACnB,EAAU,eACP,GAAIF,EAAM,UAAY,aACzB,EAAU,gBACP,GAAIE,IAAY,MACnB,EAAM,SAASZ,EAASU,CAAK,OAC1B,GAAIE,IAAY,UACnBH,EAAO,KAAK,aAAaT,EAASU,CAAK,CAAC,MACrC,CACH,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAK,EAC1CI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACJ,CAMA,OALA,uBAAuBd,EAASS,EAAQL,CAAI,EAC5CW,EAA8Bf,EAASI,EAAMK,CAAM,EAC/CA,EAAO,SAAW,GAClBT,EAAQ,MAAMC,EAAgB,gBAAiB,eAAeG,EAAK,uCAAwCF,EAAWH,CAAI,CAAC,EAExH,CAAE,KAAM,mBAAoB,cAAeC,EAAQ,cAAe,OAAM,UAAWF,EAAM,IAAM,KAAM,WAAU,UAAS,MAAK,SAAQ,cAAa,SAAUI,EAAWH,CAAI,CAAE,CACxL,CAEA,SAAS,uBAAuB,EAAwB,EAA0C,EAAoB,CAElH,IAAMiB,EAAWP,EAAO,OAAQ,GAA4CK,EAAM,OAAS,yBAAyB,EAC9GG,kBAAS,IAAI,IACnBD,EAAS,QAAQ,GAAWC,EAAO,IAAIC,EAAQ,KAAM,CAAC,GAAID,EAAO,IAAIC,EAAQ,IAAI,GAAK,CAAC,EAAIA,CAAO,CAAC,CAAC,EACpG,IAAK,IAAMC,IAAa,CAAC,GAAGF,EAAO,OAAO,CAAC,CAAC,CAAC,QAAQ,GAASG,EAAM,MAAM,CAAC,CAAC,EACxEpB,EAAQ,MAAMC,EAAgB,2BAA4B,sBAAsBkB,EAAU,KAAK,qCAAsCA,EAAU,QAAQ,EAE3J,IAAME,kBAAW,IAAI,IACrB,IAAK,IAAMC,KAASb,EAAO,QAAQ,GAASK,EAAM,OAAS,0BAA4BA,EAAM,SAAW,CAAC,CAAC,EAClGQ,EAAM,MAAM,OAAS,GAAKD,EAAS,IAAIC,EAAM,KAAK,GAClDtB,EAAQ,MAAMC,EAAgB,8BAA+B,mBAAmBqB,EAAM,MAAM,6CAA6ClB,EAAK,GAAIkB,EAAM,QAAQ,EAEpKD,EAAS,IAAIC,EAAM,KAAK,CAEhC,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAyD,CACnH,IAAMC,EAAWrB,EAAWH,CAAI,EAChC,OAAQI,EAAUJ,EAAK,OAAO,EAA9B,CACI,IAAK,OACD,OAAO,UAAUC,EAASD,CAAI,EAClC,IAAK,QAAS,CACV,IAAIyB,EAAkB,GAChB,CAAE,UAAS,YAAa,kBAAkBxB,EAASD,EAAM,GACvDW,EAAM,UAAY,qBAGtB,EAAkB,GACX,GACV,EACD,MAAO,CAAE,KAAM,cAAe,kBAAiB,UAAS,WAAU,UAAS,CAC/E,CACA,IAAK,MAAO,CACR,GAAM,CAAE,UAAS,YAAa,kBAAkBV,EAASD,CAAI,EAC7D,MAAO,CAAE,KAAM,YAAa,UAAS,WAAU,UAAS,CAC5D,CACA,IAAK,OACD,OAAO,UAAUC,EAASD,CAAI,EAClC,IAAK,WACD,OAAO,cAAcC,EAASD,CAAI,EACtC,IAAK,SACD,OAAO,YAAYC,EAASD,CAAI,EACpC,IAAK,SACD,OAAO,YAAYC,EAASD,CAAI,EACpC,IAAK,QAID,OAHK0B,GACDzB,EAAQ,MAAMC,EAAgB,4BAA6B,mDAAsDsB,CAAQ,EAEtH,eAAevB,EAASD,CAAI,EACvC,QACIC,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeE,EAAUJ,EAAK,OAAO,EAAE,sBAAuBwB,CAAQ,EAChIvB,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACR,CACJ,CAEA,SAAS,UAAU,EAAwB,EAA8B,CACrE,IAAM2B,EAA4B,CAAC,EACnC,IAAK,IAAMC,KAAQC,EAAc7B,EAAK,QAAQ,UAAU,CAAa,EAAG,GAAG,EAAG,CAC1E,IAAM8B,EAAOF,EAAK,KAAK,EACvB,GAAIE,EAAK,SAAW,EAAG,CACnB7B,EAAQ,MAAMC,EAAgB,iBAAkB,sCAAyCC,EAAWH,CAAI,CAAC,EACzG,QACJ,CACA,IAAMD,EAAQf,EAAiB,KAAK8C,CAAI,EACpC/B,IAAU,KACVE,EAAQ,MAAMC,EAAgB,sBAAuB,4BAA4B4B,EAAK,GAAI3B,EAAWH,CAAI,CAAC,EAG9G2B,EAAO,KAAK,CAAE,KAAM,kBAAmB,MAAOI,EAAmBhC,EAAM,EAAE,EAAG,IAAKA,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,CAAC,CACjN,CACA,IAAMiC,EAA4B,CAAC,EAC/BxB,EAAwB,KACxByB,EAAqC,KACzC,IAAK,IAAIvB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMY,EAAUT,EAAUO,EAAM,OAAO,EACnCE,IAAY,MAAO,EAAM,SAASZ,EAASU,CAAK,EAC3CE,IAAY,SAAU,EAAYmB,EAA0BrB,EAAM,QAAQ,UAAU,CAAe,EAAGR,EAAWQ,CAAK,EAAGV,CAAO,EACpI,YAAYA,EAASU,EAAOsB,CAAQ,CAC7C,CACA,MAAO,CAAE,KAAM,aAAc,SAAQ,MAAK,YAAW,WAAU,SAAU9B,EAAWH,CAAI,CAAE,CAC9F,CAEA,SAAS,UAAU,EAAwB,EAA8B,CACrE,IAAMD,EAAQd,EAAY,KAAKe,EAAK,OAAO,EAC3C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,uBAAwB,6BAA6BF,EAAK,QAAQ,yCAA0CG,EAAWH,CAAI,CAAC,EAC1JC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,aAAc,SAAU,GAAI,GAAI,GAAI,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE9F,IAAM2B,EAA4B,CAAC,EACnC,IAAK,IAAIhB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkC,EAAYjD,EAAY,KAAKyB,EAAM,OAAO,EAChD,GAAIwB,IAAc,KAAM,CACpBlC,EAAQ,MAAMC,EAAgB,iBAAkB,mDAAmDS,EAAM,QAAQ,GAAIR,EAAWQ,CAAK,CAAC,EACtIV,EAAQ,UAAUU,EAAM,MAAM,EAC9B,QACJ,CACA,GAAM,CAAE,UAAS,YAAa,kBAAkBV,EAASU,CAAK,EAC9DgB,EAAO,KAAK,CAAE,KAAM,kBAAmB,MAAOI,EAAmBI,EAAU,EAAE,EAAG,UAAS,WAAU,SAAUhC,EAAWQ,CAAK,CAAE,CAAC,CACpI,CACA,MAAO,CAAE,KAAM,aAAc,SAAUoB,EAAmBhC,EAAM,EAAE,EAAG,GAAIgC,EAAmBhC,EAAM,EAAE,EAAG,SAAQ,SAAUI,EAAWH,CAAI,CAAE,CAC9I,CAEA,SAAS,cAAc,EAAwB,EAAkC,CAC7E,IAAMD,EAAQZ,EAAgB,KAAKa,EAAK,OAAO,EAC/C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,0DAA2DG,EAAWH,CAAI,CAAC,EACnLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,iBAAkB,SAAU,GAAI,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE9G,GAAM,CAAE,UAAS,UAAW,iBAAiBC,EAASD,CAAI,EAC1D,MAAO,CAAE,KAAM,iBAAkB,SAAU+B,EAAmBhC,EAAM,EAAE,EAAG,aAAciC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,UAAS,SAAQ,SAAUE,EAAWH,CAAI,CAAE,CACvM,CAEA,SAAS,YAAY,EAAwB,EAAgC,CACzE,IAAMD,EAAQX,EAAc,KAAKY,EAAK,OAAO,EAC7C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,yBAA0B,+BAA+BF,EAAK,QAAQ,kCAAmCG,EAAWH,CAAI,CAAC,EACvJC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,eAAgB,SAAU,GAAI,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE5G,IAAMoC,EAAWL,EAAmBhC,EAAM,EAAE,EACtC,CAAE,UAAS,UAAW,iBAAiBE,EAASD,CAAI,EAI1D,OAHKU,EAAO,KAAK,GAASK,EAAM,OAAS,YAAY,GACjDd,EAAQ,MAAMC,EAAgB,uBAAwB,iBAAiBkC,EAAS,8CAA+CjC,EAAWH,CAAI,CAAC,EAE5I,CAAE,KAAM,eAAgB,WAAU,UAAS,SAAQ,SAAUG,EAAWH,CAAI,CAAE,CACzF,CAEA,SAAS,iBAAiB,EAAwB,EAA6E,CAC3H,IAAMU,EAAkC,CAAC,EACrCF,EAAuB,UAC3B,IAAK,IAAIG,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,UAAW,CAC7B,EAAU,UACV,QACJ,CACA,GAAIA,EAAM,UAAY,aAAc,CAChC,EAAU,WACV,QACJ,CACA,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAI,EACzCI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACA,MAAO,CAAE,UAAS,QAAO,CAC7B,CAEA,SAAS,YAAY,EAAwB,EAAqD,CAC9F,IAAMsB,EAAU/C,EAAqB,KAAKU,EAAK,OAAO,EACtD,GAAIqC,IAAY,KACZ,MAAO,CAAE,KAAM,sBAAuB,MAAON,EAAmBM,EAAQ,EAAE,EAAG,IAAKA,EAAQ,KAAO,IAAA,GAAY,KAAOL,EAA0BK,EAAQ,GAAIlC,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,EAErN,IAAMD,EAAQV,EAAkB,KAAKW,EAAK,OAAO,EACjD,GAAID,IAAU,KAAM,CAChBE,EAAQ,MAAMC,EAAgB,yBAA0B,+BAA+BF,EAAK,QAAQ,4EAA6EG,EAAWH,CAAI,CAAC,EACjMC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAIS,EAAMV,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EACnGqC,EAAsC,KACtCJ,EAAqC,KACzC,IAAK,IAAIvB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAEvG,GADAC,EAAQ,OAAO,gBAAgB,EAC3BG,EAAUO,EAAM,OAAO,IAAM,SAC7B,EAAYqB,EAA0BrB,EAAM,QAAQ,UAAU,CAAe,EAAGR,EAAWQ,CAAK,EAAGV,CAAO,OACvG,GAAIG,EAAUO,EAAM,OAAO,IAAM,MAAO,EACvCF,IAAQ,MAAQ6B,IAAa,OAAMrC,EAAQ,MAAMC,EAAgB,0BAA2B,sCAAuCC,EAAWQ,CAAK,CAAC,EACxJ,IAAM4B,EAAS,SAAStC,EAASU,CAAK,EAClC4B,EAAO,OAAS,qBAAsB,EAAWA,EAChD,EAAMA,EAAO,UACtB,MACItC,EAAQ,MAAMC,EAAgB,uBAAwB,eAAeS,EAAM,QAAQ,uDAAwDR,EAAWQ,CAAK,CAAC,EAGpK,MAAO,CAAE,KAAM,mBAAoB,MAAOoB,EAAmBhC,EAAM,EAAE,EAAG,MAAK,GAAIuC,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,YAAW,SAAUnC,EAAWH,CAAI,CAAE,CACnK,CAEA,SAAS,eAAe,EAAwB,EAAmC,CAC/E,IAAMD,EAAQR,EAAiB,KAAKS,EAAK,OAAO,EAKhD,OAJID,IAAU,MACVE,EAAQ,MAAMC,EAAgB,wBAAyB,8BAA8BF,EAAK,QAAQ,uCAAwCG,EAAWH,CAAI,CAAC,EACnJ,CAAE,KAAM,kBAAmB,MAAO,GAAI,SAAUG,EAAWH,CAAI,CAAE,GAErE,CAAE,KAAM,kBAAmB,MAAO+B,EAAmBhC,EAAM,EAAE,EAAG,SAAUI,EAAWH,CAAI,CAAE,CACtG,CAEA,SAAS,aAAa,EAAwB,EAA2C,CACrF,IAAMD,EAAQP,EAAe,KAAKQ,EAAK,OAAO,EAC9C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,oCAAqC,gCAAgCF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EAChKC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,0BAA2B,KAAMI,EAAUJ,EAAK,OAAO,EAAG,SAAU,CAAC,EAAG,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAElI,IAAMK,EAAO0B,EAAmBhC,EAAM,EAAE,EAClCyC,EAAuC,CAAC,EACxC9B,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMY,EAAUT,EAAUO,EAAM,OAAO,EACvC,GAAIE,IAAY,SACZ2B,EAAS,KAAK,cAAcvC,EAASU,CAAK,CAAC,OACxC,GAAIE,IAAY,UACnBZ,EAAQ,MAAMC,EAAgB,kCAAmC,sDAAuDC,EAAWQ,CAAK,CAAC,EACzIV,EAAQ,UAAUU,EAAM,MAAM,MAC3B,CACH,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAK,EAC1CI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACJ,CAIA,OAHIyB,EAAS,SAAW,GACpBvC,EAAQ,MAAMC,EAAgB,6BAA8B,YAAYG,EAAK,+CAAgDF,EAAWH,CAAI,CAAC,EAE1I,CAAE,KAAM,0BAA2B,OAAM,WAAU,SAAQ,SAAUG,EAAWH,CAAI,CAAE,CACjG,CAEA,SAAS,cAAc,EAAwB,EAA4C,CACvF,IAAMD,EAAQN,EAAgB,KAAKO,EAAK,OAAO,EAM/C,OALID,IAAU,MACVE,EAAQ,MAAMC,EAAgB,2BAA4B,oCAAoCF,EAAK,QAAQ,yDAA0DG,EAAWH,CAAI,CAAC,EACrLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,2BAA4B,MAAO,GAAI,IAAK,KAAM,SAAUG,EAAWH,CAAI,CAAE,GAEzF,CAAE,KAAM,2BAA4B,MAAO+B,EAAmBhC,EAAM,EAAE,EAAG,IAAKA,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,CACpN,CAGA,SAAS,SAAS,EAAwB,EAA6B,CACnE,IAAM8B,EAAO9B,EAAK,QAAQ,UAAU,CAAY,CAAC,CAAC,KAAK,EACvD,GAAIC,EAAQ,UAAUD,EAAK,MAAM,IAAM,IAAA,GAAW,MAAO,CAAE,KAAM,sBAAuB,WAAYgC,EAA0BF,EAAM3B,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,EACvL8B,EAAK,SAAS,GAAG,GAAG7B,EAAQ,YAAYC,EAAgB,4BAA6B,wFAAyFC,EAAWH,CAAI,CAAC,EAClM,IAAMyC,EAAyB,CAAC,EAChC,IAAK,IAAI9B,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,IAAK,SAC3B,IAAMZ,EAAQF,EAAkB,KAAKc,EAAM,OAAO,EAClD,GAAIZ,IAAU,KAAM,CACZE,EAAQ,cAAc,cAAgB,SAASA,EAAQ,MAAMC,EAAgB,wBAAyB,+BAA+BS,EAAM,QAAQ,0CAA2CR,EAAWQ,CAAK,CAAC,EACnN,QACJ,CACA,IAAM+B,EAAaV,EAA0BjC,EAAM,GAAII,EAAWQ,CAAK,EAAGV,CAAO,EAC7EA,EAAQ,cAAc,cAAgB,SAAW6B,EAAK,QAAQ,MAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAS,GAAKY,EAAW,OAAS,4BAA4BzC,EAAQ,MAAMC,EAAgB,uBAAwB,yDAA0DC,EAAWQ,CAAK,CAAC,EACnR8B,EAAM,KAAK,CAAE,KAAM,gBAAiB,SAAUV,EAAmBhC,EAAM,EAAE,EAAG,aAAY,SAAUI,EAAWQ,CAAK,CAAE,CAAC,CACzH,CACA,IAAMgC,EAAU1C,EAAQ,OAAO,gBAAgB,EAG/C,OAFI0C,IAAY,IAAA,IAAaA,EAAQ,SAAW3C,EAAK,QAAU2C,EAAQ,UAAY,KAAK1C,EAAQ,OAAO,gBAAgB,EACnHA,EAAQ,cAAc,cAAgB,SAAWwC,EAAM,SAAW,GAAGxC,EAAQ,MAAMC,EAAgB,kBAAmB,gDAAiDC,EAAWH,CAAI,CAAC,EACpL,CAAE,KAAM,qBAAsB,KAAM8B,EAAK,QAAQ,MAAO,EAAE,CAAC,CAAC,KAAK,EAAG,QAAO,SAAU3B,EAAWH,CAAI,CAAE,CACjH,CAIA,SAAS,kBAAkB,EAAwB,EAAkB,MAA8C,GAA4D,CAC3K,IAAIQ,EAAuB,UACrByB,EAA4B,CAAC,EACnC,IAAK,IAAItB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EACvGC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,UAClB,EAAU,UACHA,EAAM,UAAY,aACzB,EAAU,WACFiC,EAAMjC,CAAK,GACnB,YAAYV,EAASU,EAAOsB,CAAQ,EAG5C,MAAO,CAAE,UAAS,UAAS,CAC/B,CAIA,SAAS,YAAY,EAAwB,EAAkB,EAAiC,CAC5F,IAAMT,EAAWrB,EAAWH,CAAI,EAC1Ba,EAAUnB,EAAsB,KAAKM,EAAK,OAAO,EACvD,GAAIa,IAAY,KAAM,CACdA,EAAQ,KAAO,SAAWA,EAAQ,KAAO,OACzCoB,EAAS,KAAK,CAAE,KAAMnC,EAAgBe,EAAQ,IAAK,SAAUkB,EAAmBlB,EAAQ,EAAE,EAAG,UAAS,CAAC,EAChGZ,EAAQ,cAAc,cAAgB,SAC7CA,EAAQ,MAAMC,EAAgB,yBAA0B,oBAAoBF,EAAK,QAAQ,sHAAuHwB,EAAUqB,EAAe,OAAQ7C,EAAK,OAAO,CAAC,EAElQ,MACJ,CACA,IAAM8C,EAAanD,EAAkB,KAAKK,EAAK,OAAO,EACtD,GAAI8C,IAAe,KAAM,CACrBb,EAAS,KAAK,CAAE,KAAMa,EAAW,KAAO,MAAQ,mBAAqB,wBAAyB,SAAUf,EAAmBe,EAAW,EAAE,EAAG,MAAOd,EAA0Bc,EAAW,GAAItB,EAAUvB,CAAO,EAAG,GAAI6C,EAAW,KAAO,IAAA,GAAY,CAAC,EAAI,CAAE,OAAQd,EAA0Bc,EAAW,GAAItB,EAAUvB,CAAO,CAAE,EAAI,UAAS,CAAC,EAC1U,MACJ,CACA,IAAM8C,EAAWnD,EAAW,KAAKI,EAAK,OAAO,GAAKH,EAAkB,KAAKG,EAAK,OAAO,EACjF+C,IAAa,KAEN9C,EAAQ,cAAc,cAAgB,SAC7CA,EAAQ,MAAMC,EAAgB,yBAA0B,oBAAoBF,EAAK,QAAQ,GAAIwB,EAAUqB,EAAe,OAAQ7C,EAAK,OAAO,CAAC,EAF3IiC,EAAS,KAAK,CAAE,KAAM,mBAAoB,SAAUF,EAAmBgB,EAAS,EAAE,EAAG,OAAQf,EAA0Be,EAAS,GAAIvB,EAAUvB,CAAO,EAAG,UAAS,CAAC,CAI1K"}
|
|
1
|
+
{"version":3,"file":"ProjectionParser.js","names":["header","pattern","eventSpecPattern","joinPattern","withPattern","childrenPattern","nestedPattern","removeWithPattern","removeViaJoinPattern","clearWithPattern","variantPattern","entersOnPattern","keywordMappingPattern","arithmeticPattern","setPattern","assignmentPattern","keywordMappings","match","line","context","DiagnosticCodes","locationOf","firstWord","name","sequence","description","autoMap","key","blocks","child","isFileDirective","keyword","parseDescription","block","validateProjectionEventScopes","variants","byName","variant","duplicate","group","entering","entry","location","includeChildren","nestedScope","events","spec","splitTopLevel","text","unescapeIdentifier","parseProjectionExpression","mappings","parentKey","withMatch","property","viaJoin","partsKey","parsed","entersOn","parts","expression","closing","extra","diagnosticText","arithmetic","assigned","structured","tryParseStructuredMapping"],"sources":["../../../../../../Compiler/Parsing/ProjectionParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport {\n AutoMapMode, ChildrenSyntax, ClearWithSyntax, CompositeKeySyntax, EventSpecSyntax, FromSyntax, JoinEventSyntax, JoinSyntax, MappingKind, MappingSyntax, NestedSyntax,\n KeyPartSyntax, KeySyntax, ProjectionBlockSyntax, ProjectionEntersOnSyntax, ProjectionSyntax, ProjectionVariantSyntax,\n} from '../Syntax/Projections';\nimport { ExpressionSyntax } from '../Syntax/Expressions';\nimport { pattern } from '../Text/patterns';\nimport { parseProjectionExpression } from './ProjectionExpressionParser';\nimport { validateProjectionEventScopes } from './ProjectionEventScopeValidator';\nimport { isFileDirective } from './FileReferences';\nimport { parseDescription } from './DescriptionParser';\nimport { firstWord, splitTopLevel, unescapeIdentifier } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { tryParseStructuredMapping } from './StructuredBlockParser';\n\nconst header = pattern('^projection\\\\s+(@?[\\\\w.]+)\\\\s*(?:=>\\\\s*([\\\\w.]+))?$');\nconst eventSpecPattern = pattern('^(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst joinPattern = pattern('^join\\\\s+(@?[\\\\w.]+)\\\\s+on\\\\s+(@?[\\\\w.]+)$');\nconst withPattern = pattern('^with\\\\s+(@?[\\\\w.]+)$');\nconst childrenPattern = pattern('^children\\\\s+(@?[\\\\w.]+)\\\\s+identified\\\\s+by\\\\s+(.+)$');\nconst nestedPattern = pattern('^nested\\\\s+(@?[\\\\w.]+)$');\nconst removeWithPattern = pattern('^remove\\\\s+with\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst removeViaJoinPattern = pattern('^remove\\\\s+via\\\\s+join\\\\s+on\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst clearWithPattern = pattern('^clear\\\\s+with\\\\s+(@?[\\\\w.]+)$');\nconst variantPattern = pattern('^variant\\\\s+(@?[\\\\w.]+)\\\\s*$');\nconst entersOnPattern = pattern('^enters\\\\s+on\\\\s+(@?[\\\\w.]+)(?:\\\\s+key\\\\s+(.+))?$');\nconst keywordMappingPattern = pattern('^(increment|decrement|count|clear)\\\\s+(@?[$\\\\w.]+)$');\nconst arithmeticPattern = pattern('^(add|subtract)\\\\s+(@?[$\\\\w.]+)\\\\s+by\\\\s+(.+?)(?:\\\\s+\\\\*\\\\s+(.+))?$');\nconst setPattern = pattern('^set\\\\s+(@?[$\\\\w.]+)\\\\s+(?:=|to)\\\\s+(.+)$');\nconst assignmentPattern = pattern('^(@?[$\\\\w.@]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst keywordMappings: Record<string, MappingKind> = {\n increment: 'IncrementMappingSyntax',\n decrement: 'DecrementMappingSyntax',\n clear: 'ClearMappingSyntax',\n count: 'CountMappingSyntax',\n};\n\n// Reads a projection's structure: its name, the read model it builds, the events each block consumes, the\n// properties each mapping sets and where automap is turned on or off. Keys, and where a mapping takes its\n// value from, are recognized and skipped.\nexport function parseProjection(context: ParserContext, line: SourceLine): ProjectionSyntax {\n const match = header.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidProjectionDeclaration, `Invalid projection declaration '${line.content}' - expected 'projection <Name> [=> <ReadModel>]'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionSyntax', sourceOptions: context.sourceOptions, name: firstWord(line.content), readModel: null, sequence: null, autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const name = match[1];\n let sequence: string | null = null;\n let description: string | null = null;\n let autoMap: AutoMapMode = 'Inherit';\n let key: KeySyntax | null = null;\n const blocks: ProjectionBlockSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (isFileDirective(child)) {\n continue;\n }\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Projection '${name}'`);\n } else if (keyword === 'sequence') {\n sequence = child.content.substring('sequence'.length).trim();\n } else if (keyword === 'automap') {\n autoMap = 'Enabled';\n } else if (child.content === 'no automap') {\n autoMap = 'Disabled';\n } else if (keyword === 'key') {\n key = parseKey(context, child);\n } else if (keyword === 'variant') {\n blocks.push(parseVariant(context, child));\n } else {\n const block = parseBlock(context, child, false);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n }\n reportVariantConflicts(context, blocks, name);\n validateProjectionEventScopes(context, name, blocks);\n if (blocks.length === 0) {\n context.error(DiagnosticCodes.EmptyProjection, `Projection '${name}' must contain at least one directive`, locationOf(line));\n }\n return { kind: 'ProjectionSyntax', sourceOptions: context.sourceOptions, name, readModel: match[2] ?? null, sequence, autoMap, key, blocks, description, location: locationOf(line) };\n}\n\nfunction reportVariantConflicts(context: ParserContext, blocks: readonly ProjectionBlockSyntax[], name: string): void {\n // Grouped by name in the order each name first appears, as the C# parser reports them.\n const variants = blocks.filter((block): block is ProjectionVariantSyntax => block.kind === 'ProjectionVariantSyntax');\n const byName = new Map<string, ProjectionVariantSyntax[]>();\n variants.forEach(variant => byName.set(variant.name, [...(byName.get(variant.name) ?? []), variant]));\n for (const duplicate of [...byName.values()].flatMap(group => group.slice(1))) {\n context.error(DiagnosticCodes.DuplicateProjectionVariant, `Duplicate variant '${duplicate.name}' - a variant name is declared once`, duplicate.location);\n }\n const entering = new Set<string>();\n for (const entry of blocks.flatMap(block => block.kind === 'ProjectionVariantSyntax' ? block.entersOn : [])) {\n if (entry.event.length > 0 && entering.has(entry.event)) {\n context.error(DiagnosticCodes.DuplicateVariantEnteringEvent, `Entering event '${entry.event}' is claimed more than once in projection '${name}'`, entry.location);\n }\n entering.add(entry.event);\n }\n}\n\nfunction parseBlock(context: ParserContext, line: SourceLine, nestedScope: boolean): ProjectionBlockSyntax | undefined {\n const location = locationOf(line);\n switch (firstWord(line.content)) {\n case 'from':\n return parseFrom(context, line);\n case 'every': {\n let includeChildren = true;\n const { autoMap, mappings } = parseMappingBlock(context, line, child => {\n if (child.content !== 'exclude children') {\n return false;\n }\n includeChildren = false;\n return true;\n });\n return { kind: 'EverySyntax', includeChildren, autoMap, mappings, location };\n }\n case 'all': {\n const { autoMap, mappings } = parseMappingBlock(context, line);\n return { kind: 'AllSyntax', autoMap, mappings, location };\n }\n case 'join':\n return parseJoin(context, line);\n case 'children':\n return parseChildren(context, line);\n case 'nested':\n return parseNested(context, line);\n case 'remove':\n return parseRemove(context, line);\n case 'clear':\n if (!nestedScope) {\n context.error(DiagnosticCodes.ClearWithOutsideNestedBlock, '\\'clear with\\' is only valid inside a nested block', location);\n }\n return parseClearWith(context, line);\n default:\n context.error(DiagnosticCodes.UnknownProjectionDirective, `Unexpected '${firstWord(line.content)}' in projection body`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n}\n\nfunction parseFrom(context: ParserContext, line: SourceLine): FromSyntax {\n const events: EventSpecSyntax[] = [];\n for (const spec of splitTopLevel(line.content.substring('from'.length), ',')) {\n const text = spec.trim();\n if (text.length === 0) {\n context.error(DiagnosticCodes.FromWithoutEvent, 'Expected an event type after \\'from\\'', locationOf(line));\n continue;\n }\n const match = eventSpecPattern.exec(text);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidEventReference, `Invalid event reference '${text}'`, locationOf(line));\n continue;\n }\n events.push({ kind: 'EventSpecSyntax', event: unescapeIdentifier(match[1]), key: match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context), location: locationOf(line) });\n }\n const mappings: MappingSyntax[] = [];\n let key: KeySyntax | null = null;\n let parentKey: ExpressionSyntax | null = null;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'key') key = parseKey(context, child);\n else if (keyword === 'parent') parentKey = parseProjectionExpression(child.content.substring('parent'.length), locationOf(child), context);\n else pushMapping(context, child, mappings);\n }\n return { kind: 'FromSyntax', events, key, parentKey, mappings, location: locationOf(line) };\n}\n\nfunction parseJoin(context: ParserContext, line: SourceLine): JoinSyntax {\n const match = joinPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidJoinDeclaration, `Invalid join declaration '${line.content}' - expected 'join <property> on <key>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'JoinSyntax', property: '', on: '', events: [], location: locationOf(line) };\n }\n const events: JoinEventSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const withMatch = withPattern.exec(child.content);\n if (withMatch === null) {\n context.error(DiagnosticCodes.JoinWithoutEvent, `Expected 'with <EventType>' in join block, got '${child.content}'`, locationOf(child));\n context.skipBlock(child.indent);\n continue;\n }\n const { autoMap, mappings } = parseMappingBlock(context, child);\n events.push({ kind: 'JoinEventSyntax', event: unescapeIdentifier(withMatch[1]), autoMap, mappings, location: locationOf(child) });\n }\n return { kind: 'JoinSyntax', property: unescapeIdentifier(match[1]), on: unescapeIdentifier(match[2]), events, location: locationOf(line) };\n}\n\nfunction parseChildren(context: ParserContext, line: SourceLine): ChildrenSyntax {\n const match = childrenPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidChildrenDeclaration, `Invalid children declaration '${line.content}' - expected 'children <collection> identified by <key>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ChildrenSyntax', property: '', autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const { autoMap, blocks } = parseChildBlocks(context, line);\n return { kind: 'ChildrenSyntax', property: unescapeIdentifier(match[1]), identifiedBy: parseProjectionExpression(match[2], locationOf(line), context), autoMap, blocks, location: locationOf(line) };\n}\n\nfunction parseNested(context: ParserContext, line: SourceLine): NestedSyntax {\n const match = nestedPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidNestedDeclaration, `Invalid nested declaration '${line.content}' - expected 'nested <property>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'NestedSyntax', property: '', autoMap: 'Inherit', blocks: [], location: locationOf(line) };\n }\n const property = unescapeIdentifier(match[1]);\n const { autoMap, blocks } = parseChildBlocks(context, line);\n if (!blocks.some(block => block.kind === 'FromSyntax')) {\n context.error(DiagnosticCodes.NestedBlockWithoutFrom, `Nested block '${property}' must contain at least one 'from' directive`, locationOf(line));\n }\n return { kind: 'NestedSyntax', property, autoMap, blocks, location: locationOf(line) };\n}\n\nfunction parseChildBlocks(context: ParserContext, line: SourceLine): { autoMap: AutoMapMode; blocks: ProjectionBlockSyntax[] } {\n const blocks: ProjectionBlockSyntax[] = [];\n let autoMap: AutoMapMode = 'Inherit';\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === 'automap') {\n autoMap = 'Enabled';\n continue;\n }\n if (child.content === 'no automap') {\n autoMap = 'Disabled';\n continue;\n }\n const block = parseBlock(context, child, true);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n return { autoMap, blocks };\n}\n\nfunction parseRemove(context: ParserContext, line: SourceLine): ProjectionBlockSyntax | undefined {\n const viaJoin = removeViaJoinPattern.exec(line.content);\n if (viaJoin !== null) {\n return { kind: 'RemoveViaJoinSyntax', event: unescapeIdentifier(viaJoin[1]), key: viaJoin[2] === undefined ? null : parseProjectionExpression(viaJoin[2], locationOf(line), context), location: locationOf(line) };\n }\n const match = removeWithPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidRemoveDeclaration, `Invalid remove declaration '${line.content}' - expected 'remove with <EventType>' or 'remove via join on <EventType>'`, locationOf(line));\n context.skipBlock(line.indent);\n return undefined;\n }\n let key = match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context);\n let partsKey: CompositeKeySyntax | null = null;\n let parentKey: ExpressionSyntax | null = null;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (firstWord(child.content) === 'parent') {\n parentKey = parseProjectionExpression(child.content.substring('parent'.length), locationOf(child), context);\n } else if (firstWord(child.content) === 'key') {\n if (key !== null || partsKey !== null) context.error(DiagnosticCodes.InvalidReadModelKeyLookup, 'A removal can only declare one key.', locationOf(child));\n const parsed = parseKey(context, child);\n if (parsed.kind === 'CompositeKeySyntax') partsKey = parsed;\n else key = parsed.expression;\n } else {\n context.error(DiagnosticCodes.UnknownRemoveDirective, `Unexpected '${child.content}' in remove block - only 'parent' or 'key' is allowed`, locationOf(child));\n }\n }\n return { kind: 'RemoveWithSyntax', event: unescapeIdentifier(match[1]), key, ...(partsKey === null ? {} : { partsKey }), parentKey, location: locationOf(line) };\n}\n\nfunction parseClearWith(context: ParserContext, line: SourceLine): ClearWithSyntax {\n const match = clearWithPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidClearDeclaration, `Invalid clear declaration '${line.content}' - expected 'clear with <EventType>'`, locationOf(line));\n return { kind: 'ClearWithSyntax', event: '', location: locationOf(line) };\n }\n return { kind: 'ClearWithSyntax', event: unescapeIdentifier(match[1]), location: locationOf(line) };\n}\n\nfunction parseVariant(context: ParserContext, line: SourceLine): ProjectionVariantSyntax {\n const match = variantPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidProjectionVariantDeclaration, `Invalid variant declaration '${line.content}' - expected 'variant <Name>'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionVariantSyntax', name: firstWord(line.content), entersOn: [], blocks: [], location: locationOf(line) };\n }\n const name = unescapeIdentifier(match[1]);\n const entersOn: ProjectionEntersOnSyntax[] = [];\n const blocks: ProjectionBlockSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'enters') {\n entersOn.push(parseEntersOn(context, child));\n } else if (keyword === 'variant') {\n context.error(DiagnosticCodes.NestedProjectionVariantNotAllowed, 'A variant cannot be declared inside another variant', locationOf(child));\n context.skipBlock(child.indent);\n } else {\n const block = parseBlock(context, child, false);\n if (block !== undefined) {\n blocks.push(block);\n }\n }\n }\n if (entersOn.length === 0) {\n context.error(DiagnosticCodes.VariantRequiresEnteringEvent, `Variant '${name}' must declare at least one 'enters on' event`, locationOf(line));\n }\n return { kind: 'ProjectionVariantSyntax', name, entersOn, blocks, location: locationOf(line) };\n}\n\nfunction parseEntersOn(context: ParserContext, line: SourceLine): ProjectionEntersOnSyntax {\n const match = entersOnPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidEntersOnDeclaration, `Invalid 'enters on' declaration '${line.content}' - expected 'enters on <EventType> [key <expression>]'`, locationOf(line));\n context.skipBlock(line.indent);\n return { kind: 'ProjectionEntersOnSyntax', event: '', key: null, location: locationOf(line) };\n }\n return { kind: 'ProjectionEntersOnSyntax', event: unescapeIdentifier(match[1]), key: match[2] === undefined ? null : parseProjectionExpression(match[2], locationOf(line), context), location: locationOf(line) };\n}\n\n// A key with a body is a composite key: its parts, then a closing '}' at the key's own indent.\nfunction parseKey(context: ParserContext, line: SourceLine): KeySyntax {\n const text = line.content.substring('key'.length).trim();\n if (context.peekChild(line.indent) === undefined) return { kind: 'ExpressionKeySyntax', expression: parseProjectionExpression(text, locationOf(line), context), location: locationOf(line) };\n if (text.endsWith('{')) context.information(DiagnosticCodes.RedundantCompositeKeyBraces, 'Write the composite key without braces; the indented parts already belong to the key.', locationOf(line));\n const parts: KeyPartSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === '}') continue;\n const match = assignmentPattern.exec(child.content);\n if (match === null) {\n if (context.sourceOptions.numericMode === 'exact') context.error(DiagnosticCodes.InvalidCompositeKeyPart, `Invalid composite key part '${child.content}' - expected '<property> = <expression>'`, locationOf(child));\n continue;\n }\n const expression = parseProjectionExpression(match[2], locationOf(child), context);\n if (context.sourceOptions.numericMode === 'exact' && text.replace(/\\{$/, '').trim().length > 0 && expression.kind === 'TemplateExpressionSyntax') context.error(DiagnosticCodes.TemplateInCompositeKey, 'Template expressions are not allowed in composite keys', locationOf(child));\n parts.push({ kind: 'KeyPartSyntax', property: unescapeIdentifier(match[1]), expression, location: locationOf(child) });\n }\n const closing = context.reader.peekSignificant();\n if (closing !== undefined && closing.indent === line.indent && closing.content === '}') context.reader.takeSignificant();\n if (context.sourceOptions.numericMode === 'exact' && parts.length === 0) context.error(DiagnosticCodes.EmptyCompositeKey, 'Composite keys must contain at least one part', locationOf(line));\n return { kind: 'CompositeKeySyntax', type: text.replace(/\\{$/, '').trim(), parts, location: locationOf(line) };\n}\n\n// Mapping lines carry no body, so a mapping block is its direct children. The last automap setting wins;\n// a line 'extra' claims is not a mapping.\nfunction parseMappingBlock(context: ParserContext, line: SourceLine, extra: (child: SourceLine) => boolean = () => false): { autoMap: AutoMapMode; mappings: MappingSyntax[] } {\n let autoMap: AutoMapMode = 'Inherit';\n const mappings: MappingSyntax[] = [];\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (child.content === 'automap') {\n autoMap = 'Enabled';\n } else if (child.content === 'no automap') {\n autoMap = 'Disabled';\n } else if (!extra(child)) {\n pushMapping(context, child, mappings);\n }\n }\n return { autoMap, mappings };\n}\n\n// The property one mapping line sets, and how - the port of the C# ParseMappingLine. Exact reports\n// malformed mappings; Legacy keeps the existing skip behavior.\nfunction pushMapping(context: ParserContext, line: SourceLine, mappings: MappingSyntax[]): void {\n const location = locationOf(line);\n const keyword = keywordMappingPattern.exec(line.content);\n if (keyword !== null) {\n if (keyword[1] !== 'clear' || keyword[2] !== 'with') {\n mappings.push({ kind: keywordMappings[keyword[1]], property: unescapeIdentifier(keyword[2]), location });\n } else if (context.sourceOptions.numericMode === 'exact') {\n context.error(DiagnosticCodes.InvalidProjectionMapping, `Invalid mapping '${line.content}' - 'clear with' is a block directive and needs an event type; to clear a property named 'with', write 'clear @with'`, location, diagnosticText('text', line.content));\n }\n return;\n }\n const arithmetic = arithmeticPattern.exec(line.content);\n if (arithmetic !== null) {\n mappings.push({ kind: arithmetic[1] === 'add' ? 'AddMappingSyntax' : 'SubtractMappingSyntax', property: unescapeIdentifier(arithmetic[2]), value: parseProjectionExpression(arithmetic[3], location, context), ...(arithmetic[4] === undefined ? {} : { factor: parseProjectionExpression(arithmetic[4], location, context) }), location });\n return;\n }\n const assigned = setPattern.exec(line.content) ?? assignmentPattern.exec(line.content);\n if (assigned !== null) {\n mappings.push({ kind: 'SetMappingSyntax', property: unescapeIdentifier(assigned[1]), source: parseProjectionExpression(assigned[2], location, context), location });\n return;\n }\n // Structured literals exist only in exact numeric mode, written as an indented block under the property.\n const structured = context.sourceOptions.numericMode === 'exact' ? tryParseStructuredMapping(context, line) : undefined;\n if (structured !== undefined) {\n mappings.push({ kind: 'SetMappingSyntax', property: structured.property, source: structured.source, location });\n } else if (context.sourceOptions.numericMode === 'exact') {\n context.error(DiagnosticCodes.InvalidProjectionMapping, `Invalid mapping '${line.content}'`, location, diagnosticText('text', line.content));\n }\n}\n"],"mappings":"qsBAoBA,MAAMA,EAASC,EAAQ,qDAAqD,EACtEC,EAAmBD,EAAQ,mCAAmC,EAC9DE,EAAcF,EAAQ,4CAA4C,EAClEG,EAAcH,EAAQ,uBAAuB,EAC7CI,EAAkBJ,EAAQ,uDAAuD,EACjFK,EAAgBL,EAAQ,yBAAyB,EACjDM,EAAoBN,EAAQ,qDAAqD,EACjFO,EAAuBP,EAAQ,kEAAkE,EACjGQ,EAAmBR,EAAQ,gCAAgC,EAC3DS,EAAiBT,EAAQ,8BAA8B,EACvDU,EAAkBV,EAAQ,mDAAmD,EAC7EW,EAAwBX,EAAQ,qDAAqD,EACrFY,EAAoBZ,EAAQ,qEAAqE,EACjGa,EAAab,EAAQ,2CAA2C,EAChEc,EAAoBd,EAAQ,qCAAqC,EACjEe,EAA+C,CACjD,UAAW,yBACX,UAAW,yBACX,MAAO,qBACP,MAAO,oBACX,EAKA,SAAgB,gBAAgB,EAAwB,EAAoC,CACxF,IAAMC,EAAQjB,EAAO,KAAKkB,EAAK,OAAO,EACtC,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,6BAA8B,mCAAmCF,EAAK,QAAQ,mDAAoDG,EAAWH,CAAI,CAAC,EAChLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,mBAAoB,cAAeC,EAAQ,cAAe,KAAMG,EAAUJ,EAAK,OAAO,EAAG,UAAW,KAAM,SAAU,KAAM,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAExM,IAAMK,EAAON,EAAM,GACfO,EAA0B,KAC1BC,EAA6B,KAC7BC,EAAuB,UACvBC,EAAwB,KACtBC,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BW,EAAgBD,CAAK,EACrB,SAEJ,IAAME,EAAUT,EAAUO,EAAM,OAAO,EACvC,GAAIE,IAAY,cACZ,EAAcC,EAAiBb,EAASU,EAAOJ,EAAa,eAAeF,EAAK,EAAE,OAC/E,GAAIQ,IAAY,WACnB,EAAWF,EAAM,QAAQ,UAAU,CAAiB,CAAC,CAAC,KAAK,OACxD,GAAIE,IAAY,UACnB,EAAU,eACP,GAAIF,EAAM,UAAY,aACzB,EAAU,gBACP,GAAIE,IAAY,MACnB,EAAM,SAASZ,EAASU,CAAK,OAC1B,GAAIE,IAAY,UACnBH,EAAO,KAAK,aAAaT,EAASU,CAAK,CAAC,MACrC,CACH,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAK,EAC1CI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACJ,CAMA,OALA,uBAAuBd,EAASS,EAAQL,CAAI,EAC5CW,EAA8Bf,EAASI,EAAMK,CAAM,EAC/CA,EAAO,SAAW,GAClBT,EAAQ,MAAMC,EAAgB,gBAAiB,eAAeG,EAAK,uCAAwCF,EAAWH,CAAI,CAAC,EAExH,CAAE,KAAM,mBAAoB,cAAeC,EAAQ,cAAe,OAAM,UAAWF,EAAM,IAAM,KAAM,WAAU,UAAS,MAAK,SAAQ,cAAa,SAAUI,EAAWH,CAAI,CAAE,CACxL,CAEA,SAAS,uBAAuB,EAAwB,EAA0C,EAAoB,CAElH,IAAMiB,EAAWP,EAAO,OAAQ,GAA4CK,EAAM,OAAS,yBAAyB,EAC9GG,kBAAS,IAAI,IACnBD,EAAS,QAAQ,GAAWC,EAAO,IAAIC,EAAQ,KAAM,CAAC,GAAID,EAAO,IAAIC,EAAQ,IAAI,GAAK,CAAC,EAAIA,CAAO,CAAC,CAAC,EACpG,IAAK,IAAMC,IAAa,CAAC,GAAGF,EAAO,OAAO,CAAC,CAAC,CAAC,QAAQ,GAASG,EAAM,MAAM,CAAC,CAAC,EACxEpB,EAAQ,MAAMC,EAAgB,2BAA4B,sBAAsBkB,EAAU,KAAK,qCAAsCA,EAAU,QAAQ,EAE3J,IAAME,kBAAW,IAAI,IACrB,IAAK,IAAMC,KAASb,EAAO,QAAQ,GAASK,EAAM,OAAS,0BAA4BA,EAAM,SAAW,CAAC,CAAC,EAClGQ,EAAM,MAAM,OAAS,GAAKD,EAAS,IAAIC,EAAM,KAAK,GAClDtB,EAAQ,MAAMC,EAAgB,8BAA+B,mBAAmBqB,EAAM,MAAM,6CAA6ClB,EAAK,GAAIkB,EAAM,QAAQ,EAEpKD,EAAS,IAAIC,EAAM,KAAK,CAEhC,CAEA,SAAS,WAAW,EAAwB,EAAkB,EAAyD,CACnH,IAAMC,EAAWrB,EAAWH,CAAI,EAChC,OAAQI,EAAUJ,EAAK,OAAO,EAA9B,CACI,IAAK,OACD,OAAO,UAAUC,EAASD,CAAI,EAClC,IAAK,QAAS,CACV,IAAIyB,EAAkB,GAChB,CAAE,UAAS,YAAa,kBAAkBxB,EAASD,EAAM,GACvDW,EAAM,UAAY,qBAGtB,EAAkB,GACX,GACV,EACD,MAAO,CAAE,KAAM,cAAe,kBAAiB,UAAS,WAAU,UAAS,CAC/E,CACA,IAAK,MAAO,CACR,GAAM,CAAE,UAAS,YAAa,kBAAkBV,EAASD,CAAI,EAC7D,MAAO,CAAE,KAAM,YAAa,UAAS,WAAU,UAAS,CAC5D,CACA,IAAK,OACD,OAAO,UAAUC,EAASD,CAAI,EAClC,IAAK,WACD,OAAO,cAAcC,EAASD,CAAI,EACtC,IAAK,SACD,OAAO,YAAYC,EAASD,CAAI,EACpC,IAAK,SACD,OAAO,YAAYC,EAASD,CAAI,EACpC,IAAK,QAID,OAHK0B,GACDzB,EAAQ,MAAMC,EAAgB,4BAA6B,mDAAsDsB,CAAQ,EAEtH,eAAevB,EAASD,CAAI,EACvC,QACIC,EAAQ,MAAMC,EAAgB,2BAA4B,eAAeE,EAAUJ,EAAK,OAAO,EAAE,sBAAuBwB,CAAQ,EAChIvB,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACR,CACJ,CAEA,SAAS,UAAU,EAAwB,EAA8B,CACrE,IAAM2B,EAA4B,CAAC,EACnC,IAAK,IAAMC,KAAQC,EAAc7B,EAAK,QAAQ,UAAU,CAAa,EAAG,GAAG,EAAG,CAC1E,IAAM8B,EAAOF,EAAK,KAAK,EACvB,GAAIE,EAAK,SAAW,EAAG,CACnB7B,EAAQ,MAAMC,EAAgB,iBAAkB,sCAAyCC,EAAWH,CAAI,CAAC,EACzG,QACJ,CACA,IAAMD,EAAQf,EAAiB,KAAK8C,CAAI,EACpC/B,IAAU,KACVE,EAAQ,MAAMC,EAAgB,sBAAuB,4BAA4B4B,EAAK,GAAI3B,EAAWH,CAAI,CAAC,EAG9G2B,EAAO,KAAK,CAAE,KAAM,kBAAmB,MAAOI,EAAmBhC,EAAM,EAAE,EAAG,IAAKA,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,CAAC,CACjN,CACA,IAAMiC,EAA4B,CAAC,EAC/BxB,EAAwB,KACxByB,EAAqC,KACzC,IAAK,IAAIvB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMY,EAAUT,EAAUO,EAAM,OAAO,EACnCE,IAAY,MAAO,EAAM,SAASZ,EAASU,CAAK,EAC3CE,IAAY,SAAU,EAAYmB,EAA0BrB,EAAM,QAAQ,UAAU,CAAe,EAAGR,EAAWQ,CAAK,EAAGV,CAAO,EACpI,YAAYA,EAASU,EAAOsB,CAAQ,CAC7C,CACA,MAAO,CAAE,KAAM,aAAc,SAAQ,MAAK,YAAW,WAAU,SAAU9B,EAAWH,CAAI,CAAE,CAC9F,CAEA,SAAS,UAAU,EAAwB,EAA8B,CACrE,IAAMD,EAAQd,EAAY,KAAKe,EAAK,OAAO,EAC3C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,uBAAwB,6BAA6BF,EAAK,QAAQ,yCAA0CG,EAAWH,CAAI,CAAC,EAC1JC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,aAAc,SAAU,GAAI,GAAI,GAAI,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE9F,IAAM2B,EAA4B,CAAC,EACnC,IAAK,IAAIhB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMkC,EAAYjD,EAAY,KAAKyB,EAAM,OAAO,EAChD,GAAIwB,IAAc,KAAM,CACpBlC,EAAQ,MAAMC,EAAgB,iBAAkB,mDAAmDS,EAAM,QAAQ,GAAIR,EAAWQ,CAAK,CAAC,EACtIV,EAAQ,UAAUU,EAAM,MAAM,EAC9B,QACJ,CACA,GAAM,CAAE,UAAS,YAAa,kBAAkBV,EAASU,CAAK,EAC9DgB,EAAO,KAAK,CAAE,KAAM,kBAAmB,MAAOI,EAAmBI,EAAU,EAAE,EAAG,UAAS,WAAU,SAAUhC,EAAWQ,CAAK,CAAE,CAAC,CACpI,CACA,MAAO,CAAE,KAAM,aAAc,SAAUoB,EAAmBhC,EAAM,EAAE,EAAG,GAAIgC,EAAmBhC,EAAM,EAAE,EAAG,SAAQ,SAAUI,EAAWH,CAAI,CAAE,CAC9I,CAEA,SAAS,cAAc,EAAwB,EAAkC,CAC7E,IAAMD,EAAQZ,EAAgB,KAAKa,EAAK,OAAO,EAC/C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,0DAA2DG,EAAWH,CAAI,CAAC,EACnLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,iBAAkB,SAAU,GAAI,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE9G,GAAM,CAAE,UAAS,UAAW,iBAAiBC,EAASD,CAAI,EAC1D,MAAO,CAAE,KAAM,iBAAkB,SAAU+B,EAAmBhC,EAAM,EAAE,EAAG,aAAciC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,UAAS,SAAQ,SAAUE,EAAWH,CAAI,CAAE,CACvM,CAEA,SAAS,YAAY,EAAwB,EAAgC,CACzE,IAAMD,EAAQX,EAAc,KAAKY,EAAK,OAAO,EAC7C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,yBAA0B,+BAA+BF,EAAK,QAAQ,kCAAmCG,EAAWH,CAAI,CAAC,EACvJC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,eAAgB,SAAU,GAAI,QAAS,UAAW,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAE5G,IAAMoC,EAAWL,EAAmBhC,EAAM,EAAE,EACtC,CAAE,UAAS,UAAW,iBAAiBE,EAASD,CAAI,EAI1D,OAHKU,EAAO,KAAK,GAASK,EAAM,OAAS,YAAY,GACjDd,EAAQ,MAAMC,EAAgB,uBAAwB,iBAAiBkC,EAAS,8CAA+CjC,EAAWH,CAAI,CAAC,EAE5I,CAAE,KAAM,eAAgB,WAAU,UAAS,SAAQ,SAAUG,EAAWH,CAAI,CAAE,CACzF,CAEA,SAAS,iBAAiB,EAAwB,EAA6E,CAC3H,IAAMU,EAAkC,CAAC,EACrCF,EAAuB,UAC3B,IAAK,IAAIG,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,UAAW,CAC7B,EAAU,UACV,QACJ,CACA,GAAIA,EAAM,UAAY,aAAc,CAChC,EAAU,WACV,QACJ,CACA,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAI,EACzCI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACA,MAAO,CAAE,UAAS,QAAO,CAC7B,CAEA,SAAS,YAAY,EAAwB,EAAqD,CAC9F,IAAMsB,EAAU/C,EAAqB,KAAKU,EAAK,OAAO,EACtD,GAAIqC,IAAY,KACZ,MAAO,CAAE,KAAM,sBAAuB,MAAON,EAAmBM,EAAQ,EAAE,EAAG,IAAKA,EAAQ,KAAO,IAAA,GAAY,KAAOL,EAA0BK,EAAQ,GAAIlC,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,EAErN,IAAMD,EAAQV,EAAkB,KAAKW,EAAK,OAAO,EACjD,GAAID,IAAU,KAAM,CAChBE,EAAQ,MAAMC,EAAgB,yBAA0B,+BAA+BF,EAAK,QAAQ,4EAA6EG,EAAWH,CAAI,CAAC,EACjMC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAIS,EAAMV,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EACnGqC,EAAsC,KACtCJ,EAAqC,KACzC,IAAK,IAAIvB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAEvG,GADAC,EAAQ,OAAO,gBAAgB,EAC3BG,EAAUO,EAAM,OAAO,IAAM,SAC7B,EAAYqB,EAA0BrB,EAAM,QAAQ,UAAU,CAAe,EAAGR,EAAWQ,CAAK,EAAGV,CAAO,OACvG,GAAIG,EAAUO,EAAM,OAAO,IAAM,MAAO,EACvCF,IAAQ,MAAQ6B,IAAa,OAAMrC,EAAQ,MAAMC,EAAgB,0BAA2B,sCAAuCC,EAAWQ,CAAK,CAAC,EACxJ,IAAM4B,EAAS,SAAStC,EAASU,CAAK,EAClC4B,EAAO,OAAS,qBAAsB,EAAWA,EAChD,EAAMA,EAAO,UACtB,MACItC,EAAQ,MAAMC,EAAgB,uBAAwB,eAAeS,EAAM,QAAQ,uDAAwDR,EAAWQ,CAAK,CAAC,EAGpK,MAAO,CAAE,KAAM,mBAAoB,MAAOoB,EAAmBhC,EAAM,EAAE,EAAG,MAAK,GAAIuC,IAAa,KAAO,CAAC,EAAI,CAAE,UAAS,EAAI,YAAW,SAAUnC,EAAWH,CAAI,CAAE,CACnK,CAEA,SAAS,eAAe,EAAwB,EAAmC,CAC/E,IAAMD,EAAQR,EAAiB,KAAKS,EAAK,OAAO,EAKhD,OAJID,IAAU,MACVE,EAAQ,MAAMC,EAAgB,wBAAyB,8BAA8BF,EAAK,QAAQ,uCAAwCG,EAAWH,CAAI,CAAC,EACnJ,CAAE,KAAM,kBAAmB,MAAO,GAAI,SAAUG,EAAWH,CAAI,CAAE,GAErE,CAAE,KAAM,kBAAmB,MAAO+B,EAAmBhC,EAAM,EAAE,EAAG,SAAUI,EAAWH,CAAI,CAAE,CACtG,CAEA,SAAS,aAAa,EAAwB,EAA2C,CACrF,IAAMD,EAAQP,EAAe,KAAKQ,EAAK,OAAO,EAC9C,GAAID,IAAU,KAGV,OAFAE,EAAQ,MAAMC,EAAgB,oCAAqC,gCAAgCF,EAAK,QAAQ,+BAAgCG,EAAWH,CAAI,CAAC,EAChKC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,0BAA2B,KAAMI,EAAUJ,EAAK,OAAO,EAAG,SAAU,CAAC,EAAG,OAAQ,CAAC,EAAG,SAAUG,EAAWH,CAAI,CAAE,EAElI,IAAMK,EAAO0B,EAAmBhC,EAAM,EAAE,EAClCyC,EAAuC,CAAC,EACxC9B,EAAkC,CAAC,EACzC,IAAK,IAAIC,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMY,EAAUT,EAAUO,EAAM,OAAO,EACvC,GAAIE,IAAY,SACZ2B,EAAS,KAAK,cAAcvC,EAASU,CAAK,CAAC,OACxC,GAAIE,IAAY,UACnBZ,EAAQ,MAAMC,EAAgB,kCAAmC,sDAAuDC,EAAWQ,CAAK,CAAC,EACzIV,EAAQ,UAAUU,EAAM,MAAM,MAC3B,CACH,IAAMI,EAAQ,WAAWd,EAASU,EAAO,EAAK,EAC1CI,IAAU,IAAA,IACVL,EAAO,KAAKK,CAAK,CAEzB,CACJ,CAIA,OAHIyB,EAAS,SAAW,GACpBvC,EAAQ,MAAMC,EAAgB,6BAA8B,YAAYG,EAAK,+CAAgDF,EAAWH,CAAI,CAAC,EAE1I,CAAE,KAAM,0BAA2B,OAAM,WAAU,SAAQ,SAAUG,EAAWH,CAAI,CAAE,CACjG,CAEA,SAAS,cAAc,EAAwB,EAA4C,CACvF,IAAMD,EAAQN,EAAgB,KAAKO,EAAK,OAAO,EAM/C,OALID,IAAU,MACVE,EAAQ,MAAMC,EAAgB,2BAA4B,oCAAoCF,EAAK,QAAQ,yDAA0DG,EAAWH,CAAI,CAAC,EACrLC,EAAQ,UAAUD,EAAK,MAAM,EACtB,CAAE,KAAM,2BAA4B,MAAO,GAAI,IAAK,KAAM,SAAUG,EAAWH,CAAI,CAAE,GAEzF,CAAE,KAAM,2BAA4B,MAAO+B,EAAmBhC,EAAM,EAAE,EAAG,IAAKA,EAAM,KAAO,IAAA,GAAY,KAAOiC,EAA0BjC,EAAM,GAAII,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,CACpN,CAGA,SAAS,SAAS,EAAwB,EAA6B,CACnE,IAAM8B,EAAO9B,EAAK,QAAQ,UAAU,CAAY,CAAC,CAAC,KAAK,EACvD,GAAIC,EAAQ,UAAUD,EAAK,MAAM,IAAM,IAAA,GAAW,MAAO,CAAE,KAAM,sBAAuB,WAAYgC,EAA0BF,EAAM3B,EAAWH,CAAI,EAAGC,CAAO,EAAG,SAAUE,EAAWH,CAAI,CAAE,EACvL8B,EAAK,SAAS,GAAG,GAAG7B,EAAQ,YAAYC,EAAgB,4BAA6B,wFAAyFC,EAAWH,CAAI,CAAC,EAClM,IAAMyC,EAAyB,CAAC,EAChC,IAAK,IAAI9B,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAE1G,GADAC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,IAAK,SAC3B,IAAMZ,EAAQF,EAAkB,KAAKc,EAAM,OAAO,EAClD,GAAIZ,IAAU,KAAM,CACZE,EAAQ,cAAc,cAAgB,SAASA,EAAQ,MAAMC,EAAgB,wBAAyB,+BAA+BS,EAAM,QAAQ,0CAA2CR,EAAWQ,CAAK,CAAC,EACnN,QACJ,CACA,IAAM+B,EAAaV,EAA0BjC,EAAM,GAAII,EAAWQ,CAAK,EAAGV,CAAO,EAC7EA,EAAQ,cAAc,cAAgB,SAAW6B,EAAK,QAAQ,MAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAS,GAAKY,EAAW,OAAS,4BAA4BzC,EAAQ,MAAMC,EAAgB,uBAAwB,yDAA0DC,EAAWQ,CAAK,CAAC,EACnR8B,EAAM,KAAK,CAAE,KAAM,gBAAiB,SAAUV,EAAmBhC,EAAM,EAAE,EAAG,aAAY,SAAUI,EAAWQ,CAAK,CAAE,CAAC,CACzH,CACA,IAAMgC,EAAU1C,EAAQ,OAAO,gBAAgB,EAG/C,OAFI0C,IAAY,IAAA,IAAaA,EAAQ,SAAW3C,EAAK,QAAU2C,EAAQ,UAAY,KAAK1C,EAAQ,OAAO,gBAAgB,EACnHA,EAAQ,cAAc,cAAgB,SAAWwC,EAAM,SAAW,GAAGxC,EAAQ,MAAMC,EAAgB,kBAAmB,gDAAiDC,EAAWH,CAAI,CAAC,EACpL,CAAE,KAAM,qBAAsB,KAAM8B,EAAK,QAAQ,MAAO,EAAE,CAAC,CAAC,KAAK,EAAG,QAAO,SAAU3B,EAAWH,CAAI,CAAE,CACjH,CAIA,SAAS,kBAAkB,EAAwB,EAAkB,MAA8C,GAA4D,CAC3K,IAAIQ,EAAuB,UACrByB,EAA4B,CAAC,EACnC,IAAK,IAAItB,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EAAGW,IAAU,IAAA,GAAW,EAAQV,EAAQ,UAAUD,EAAK,MAAM,EACvGC,EAAQ,OAAO,gBAAgB,EAC3BU,EAAM,UAAY,UAClB,EAAU,UACHA,EAAM,UAAY,aACzB,EAAU,WACFiC,EAAMjC,CAAK,GACnB,YAAYV,EAASU,EAAOsB,CAAQ,EAG5C,MAAO,CAAE,UAAS,UAAS,CAC/B,CAIA,SAAS,YAAY,EAAwB,EAAkB,EAAiC,CAC5F,IAAMT,EAAWrB,EAAWH,CAAI,EAC1Ba,EAAUnB,EAAsB,KAAKM,EAAK,OAAO,EACvD,GAAIa,IAAY,KAAM,CACdA,EAAQ,KAAO,SAAWA,EAAQ,KAAO,OACzCoB,EAAS,KAAK,CAAE,KAAMnC,EAAgBe,EAAQ,IAAK,SAAUkB,EAAmBlB,EAAQ,EAAE,EAAG,UAAS,CAAC,EAChGZ,EAAQ,cAAc,cAAgB,SAC7CA,EAAQ,MAAMC,EAAgB,yBAA0B,oBAAoBF,EAAK,QAAQ,sHAAuHwB,EAAUqB,EAAe,OAAQ7C,EAAK,OAAO,CAAC,EAElQ,MACJ,CACA,IAAM8C,EAAanD,EAAkB,KAAKK,EAAK,OAAO,EACtD,GAAI8C,IAAe,KAAM,CACrBb,EAAS,KAAK,CAAE,KAAMa,EAAW,KAAO,MAAQ,mBAAqB,wBAAyB,SAAUf,EAAmBe,EAAW,EAAE,EAAG,MAAOd,EAA0Bc,EAAW,GAAItB,EAAUvB,CAAO,EAAG,GAAI6C,EAAW,KAAO,IAAA,GAAY,CAAC,EAAI,CAAE,OAAQd,EAA0Bc,EAAW,GAAItB,EAAUvB,CAAO,CAAE,EAAI,UAAS,CAAC,EAC1U,MACJ,CACA,IAAM8C,EAAWnD,EAAW,KAAKI,EAAK,OAAO,GAAKH,EAAkB,KAAKG,EAAK,OAAO,EACrF,GAAI+C,IAAa,KAAM,CACnBd,EAAS,KAAK,CAAE,KAAM,mBAAoB,SAAUF,EAAmBgB,EAAS,EAAE,EAAG,OAAQf,EAA0Be,EAAS,GAAIvB,EAAUvB,CAAO,EAAG,UAAS,CAAC,EAClK,MACJ,CAEA,IAAM+C,EAAa/C,EAAQ,cAAc,cAAgB,QAAUgD,EAA0BhD,EAASD,CAAI,EAAI,IAAA,GAC1GgD,IAAe,IAAA,GAER/C,EAAQ,cAAc,cAAgB,SAC7CA,EAAQ,MAAMC,EAAgB,yBAA0B,oBAAoBF,EAAK,QAAQ,GAAIwB,EAAUqB,EAAe,OAAQ7C,EAAK,OAAO,CAAC,EAF3IiC,EAAS,KAAK,CAAE,KAAM,mBAAoB,SAAUe,EAAW,SAAU,OAAQA,EAAW,OAAQ,UAAS,CAAC,CAItH"}
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{nativePattern as t,pattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{dependencySources as i}from"../Syntax/DependencySources.js";import{parseModeledMappingSource as a}from"./ExpressionParser.js";import{diagnosticText as o}from"../Diagnostics/DiagnosticArgument.js";import{firstWord as s}from"./LineText.js";import{
|
|
1
|
+
import"../../_virtual/_virtual/_rolldown/runtime.js";import{DiagnosticCodes as e}from"../Diagnostics/DiagnosticCodes.js";import{nativePattern as t,pattern as n}from"../Text/patterns.js";import{locationOf as r}from"./SourceLine.js";import{dependencySources as i}from"../Syntax/DependencySources.js";import{parseModeledMappingSource as a}from"./ExpressionParser.js";import{diagnosticText as o}from"../Diagnostics/DiagnosticArgument.js";import{firstWord as s}from"./LineText.js";import{tryParseStructuredMapping as c}from"./StructuredBlockParser.js";import{parseDescription as l}from"./DescriptionParser.js";import{parseDocumentation as u}from"./DocumentationParser.js";import{parseCondition as d}from"./ConditionParser.js";import{ParserContext as f}from"./ParserContext.js";import{collectInputUses as p}from"./InputUses.js";import{isReactionIdentityLine as m,misplacedReactionIdentity as h,parseReactionIdentity as g}from"./ReactionIdentityParser.js";import{parseObserverFilter as _}from"./ObserverFilterParser.js";import{parseReads as v}from"./ReadsParser.js";import{parseProduces as y}from"./ProducesParser.js";import{parseTriggerData as b}from"./TriggerDataParser.js";const x=n(`^reaction\\s+([A-Za-z_]\\w*)$`),S=n(`^when\\s+([A-Za-z_]\\w*)$`),C=n(`^every\\s+(\\d+)\\s+(seconds?|minutes?|hours?|days?)$`),w=n(`^at\\s+(\\d{2}:\\d{2})(?:\\s+on\\s+(?:(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)|day\\s+(\\d{1,2})))?$`),T=/* @__PURE__ */ new Set([`when`,`every`,`at`]),E=n(`^invokes\\s+([A-Z]\\w*)$`),D=t(`^(@?[\\w.]+)\\s*=(?!=|>)\\s*(.+)$`),O=t(`^on\\s+refused\\b(?=$|\\s+by\\b)`),k=t(`^on\\s+refused(?:\\s+by\\s+(validation|constraint|authorization)(?:\\s+([A-Za-z_]\\w*(?:\\.\\w+)*))?)?$`),A=n(`^reads\\s+[A-Z]\\w*\\s+optional(?:\\s|$)`);function parseReaction(t,n){let i=x.exec(n.content)?.[1]??``;i===``&&t.error(e.InvalidReactionDeclaration,`Invalid reaction declaration '${n.content}' - expected 'reaction <Name>'`,r(n));let a=null,o=null,c=null,f=null,p=null,m=!1,h=[],v=/* @__PURE__ */ new Set,y=!1;for(let b=t.peekChild(n.indent);b!==void 0;b=t.peekChild(n.indent)){t.reader.takeSignificant();let n=s(b.content);if(n===`description`){a=l(t,b,a,`Reaction '${i}'`);continue}if(n===`documentation`){o=u(t,b,o,`Reaction '${i}'`);continue}if(n===`from`){f=_(t,b,f);continue}if(n===`runs`){p=g(t,b,m)??p,m=!0;continue}if(n===`where`){c=d(t,b.content.substring(5).trim(),r(b));continue}if(O.test(b.content)){t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,r(b)),t.skipBlock(b.indent),y=!0;continue}if(!T.has(n)){t.error(e.InvalidReactionTrigger,`Expected a trigger in reaction body, got '${b.content}' - a reaction is set off by 'when <Name>', 'every <n> <unit>' or 'at <HH:mm>'`,r(b)),t.skipBlock(b.indent),y=!0;continue}let x=parseTriggerSource(t,b);if(x===void 0){y=!0;continue}let S=sourceKey(x);v.has(S)?(t.error(e.DuplicateReactionTrigger,`Reaction '${i}' already declares '${b.content}' - a second says nothing the first did not`,r(b)),t.skipBlock(b.indent)):(v.add(S),h.push(parseTrigger(t,b,x)))}return h.length===0&&!y&&t.error(e.ReactionWithoutTrigger,`Reaction '${i}' must declare at least one trigger - nothing sets it off`,r(n)),{kind:`ReactionSyntax`,name:i,description:a,documentation:o,from:f,runsAs:p,where:c,triggers:h,location:r(n)}}function parseTrigger(t,n,u){let d=null,g=[],_=[],x=[],S=[],C=!1;for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent)){t.reader.takeSignificant();let n=s(i.content);if(n===`runs`&&m(i))h(t,i);else if(n===`description`)d=l(t,i,d,`Trigger '${i.content}'`);else if(n===`produces`){let e=y(t,i);e!==void 0&&g.push(e)}else if(n===`invokes`){let n=E.exec(i.content);if(n===null)t.error(e.InvalidInvokesDeclaration,`Invalid invokes declaration '${i.content}' - expected 'invokes <Command>'`,r(i)),t.skipBlock(i.indent);else{let s=new f(t.reader.fork(),t.path,t.languages);s.scope=t.scope,s.sourceOptions=t.sourceOptions,p(s,i),t.inputUses.push(...s.inputUses);let l=[],u=[];for(let n=t.peekChild(i.indent);n!==void 0;n=t.peekChild(i.indent)){if(t.reader.takeSignificant(),m(n)){h(t,n);continue}if(O.test(n.content)){let e=parseRefusal(t,n);e!==void 0&&u.push(e);continue}let i=D.exec(n.content),s=i===null?c(t.valueContext,n):void 0;i===null?s===void 0?t.error(e.InvalidPropertyMapping,`Invalid property mapping '${n.content}' - expected '<property> = <source>'`,r(n),o(`text`,n.content)):l.push(s):l.push({kind:`PropertyMappingSyntax`,property:i[1].replaceAll(`@`,``),source:a(i[2],r(n),t.valueContext),location:r(n)})}_.push({kind:`InvokesSyntax`,command:n[1],mappings:l,onRefused:u,location:r(i)})}}else if(O.test(i.content))t.error(e.InvalidRefusalBranch,`A refusal branch belongs inside 'invokes <Command>'.`,r(i)),t.skipBlock(i.indent);else if(n===`reads`||n===`file`||i.content===`csharp`||i.content.startsWith("```")){C||=n===`file`||i.content===`csharp`||i.content.startsWith("```");let a=n===`reads`?v(t,i):void 0;a!==void 0&&x.push(a),A.test(i.content)&&t.error(e.OptionalReadsNotSupported,`Optional reads are not yet supported (see #308).`,r(i)),i.content.startsWith("```")&&t.skipFencedBody(),t.skipOpaqueBlock(i.indent)}else{let e=t.triggerData.length;b(t,i);for(let n of t.triggerData.slice(e))S.push({kind:`TriggerDataSyntax`,name:n.name,type:n.type,location:n.location})}}let w={kind:`ReactionTriggerSyntax`,source:u,description:d,produces:g,invokes:_,location:r(n)};return i.set(w,{reads:x,data:S,implementation:C}),w}function parseRefusal(t,n){let i=k.exec(n.content);if(i===null||i[2]!==void 0&&i[1]!==`constraint`){t.error(e.InvalidRefusalBranch,`Expected 'on refused [by validation | by constraint [<Name>] | by authorization]'.`,r(n)),t.skipBlock(n.indent);return}let a=[],o=!1,c=!1;for(let i=t.peekChild(n.indent);i!==void 0;i=t.peekChild(n.indent))if(t.reader.takeSignificant(),m(i))h(t,i),c=!0;else if(i.content===`acknowledge`)(o||a.length>0||t.peekChild(i.indent)!==void 0)&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch contains 'acknowledge' alone or one or more 'produces' blocks.`,r(i)),c=!0),o=!0,t.skipBlock(i.indent);else if(s(i.content)===`produces`){o&&(t.error(e.InvalidRefusalBranchBody,`A refusal branch cannot combine 'acknowledge' and 'produces'.`,r(i)),c=!0);let n=y(t,i);n===void 0?c=!0:a.push(n)}else t.error(e.InvalidRefusalBranchBody,`Expected 'acknowledge' or 'produces <Event>' in a refusal branch.`,r(i)),t.skipBlock(i.indent),c=!0;return!o&&a.length===0&&!c&&t.error(e.InvalidRefusalBranchBody,`A refusal branch must acknowledge or produce an event.`,r(n)),{kind:`InvocationRefusalSyntax`,selector:i[1]??`any`,constraint:i[2]??null,acknowledge:o,produces:a,location:r(n)}}function sourceKey(e){switch(e.kind){case`NamedTriggerSourceSyntax`:return JSON.stringify([e.kind,e.name]);case`IntervalTriggerSourceSyntax`:return JSON.stringify([e.kind,e.amount,e.unit]);case`ScheduleTriggerSourceSyntax`:return JSON.stringify([e.kind,e.time,e.dayOfWeek,e.dayOfMonth])}}function parseTriggerSource(t,n){let i=r(n);switch(s(n.content)){case`when`:{let r=S.exec(n.content);if(r===null){t.error(e.InvalidReactionTrigger,`Invalid trigger '${n.content}' - expected 'when <Name>'`,i),t.skipBlock(n.indent);return}return{kind:`NamedTriggerSourceSyntax`,name:r[1],location:i}}case`every`:{let r=C.exec(n.content),a=r===null?NaN:Number(r[1]);if(r===null||!Number.isInteger(a)||a<1||a>2147483647){t.error(e.InvalidIntervalTrigger,`Invalid interval '${n.content}' - expected 'every <n> <seconds|minutes|hours|days>'`,i),t.skipBlock(n.indent);return}return{kind:`IntervalTriggerSourceSyntax`,amount:a,unit:unitOf(r[2]),location:i}}default:return parseSchedule(t,n)}}function parseSchedule(t,n){let i=r(n),a=w.exec(n.content),o=a===null?void 0:timeOf(a[1]);if(a===null||o===void 0)t.error(e.InvalidScheduleTrigger,`Invalid schedule '${n.content}' - expected 'at <HH:mm>', optionally followed by 'on <Weekday>' or 'on day <n>'`,i),t.skipBlock(n.indent);else{if(a[3]!==void 0){let r=Number(a[3]);if(r<1||r>31){t.error(e.InvalidScheduleTrigger,`Invalid day of month '${r}' in '${n.content}' - a day of the month is between 1 and 31`,i),t.skipBlock(n.indent);return}return{kind:`ScheduleTriggerSourceSyntax`,time:o,dayOfWeek:null,dayOfMonth:r,location:i}}return{kind:`ScheduleTriggerSourceSyntax`,time:o,dayOfWeek:a[2]??null,dayOfMonth:null,location:i}}}function timeOf(e){let[t,n]=e.split(`:`).map(Number);if(t>=0&&t<=23&&n>=0&&n<=59)return`${e}:00.0000000`}function unitOf(e){switch(e.replace(/s+$/,``)){case`second`:return`Seconds`;case`minute`:return`Minutes`;case`hour`:return`Hours`;default:return`Days`}}export{parseReaction,parseTriggerSource};
|
|
2
2
|
//# sourceMappingURL=ReactionParser.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ReactionParser.js","names":["parseMappingSource","header","pattern","whenPattern","everyPattern","atPattern","clauseKeywords","invokesPattern","mappingPattern","nativePattern","refusalPrefix","refusalHeader","optionalReads","name","line","context","DiagnosticCodes","locationOf","description","documentation","where","from","runsAs","identityDeclared","triggers","sources","reported","child","keyword","firstWord","parseDescription","parseDocumentation","parseObserverFilter","parseReactionIdentity","parseCondition","source","key","produces","invokes","reads","data","implementation","isReactionIdentityLine","misplacedReactionIdentity","produced","parseProduces","match","uses","ParserContext","collectInputUses","mappings","onRefused","value","refusal","mapped","diagnosticText","parseModeledMappingSource","read","parseReads","start","parseTriggerData","property","syntax","dependencySources","acknowledge","location","amount","time","day","hours","minutes","text"],"sources":["../../../../../../Compiler/Parsing/ReactionParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { InvocationRefusalSyntax } from '../Syntax/InvocationRefusalSyntax';\nimport { parseCondition } from './ConditionParser';\nimport { ObserverFilterSyntax } from '../Syntax/ObserverFilterSyntax';\nimport { parseObserverFilter } from './ObserverFilterParser';\nimport { parseModeledMappingSource as parseMappingSource } from './ExpressionParser';\nimport { DayOfWeek, IntervalUnit, InvokesSyntax, ProducesSyntax, ReactionSyntax, ReactionTriggerSyntax, TriggerSourceSyntax } from '../Syntax/Reactions';\nimport { nativePattern, pattern } from '../Text/patterns';\nimport { ReactionIdentitySyntax } from '../Syntax/ReactionIdentitySyntax';\nimport { isReactionIdentityLine, misplacedReactionIdentity, parseReactionIdentity } from './ReactionIdentityParser';\nimport { parseDescription } from './DescriptionParser';\nimport { parseDocumentation } from './DocumentationParser';\nimport { collectInputUses } from './InputUses';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseTriggerData } from './TriggerDataParser';\nimport { dependencySources, ReadsSyntax, TriggerDataSyntax } from '../Syntax/DependencySources';\nimport { parseReads } from './ReadsParser';\nimport { parseProduces } from './ProducesParser';\nimport { locationOf, SourceLine } from './SourceLine';\n\nconst header = pattern('^reaction\\\\s+([A-Za-z_]\\\\w*)$');\nconst whenPattern = pattern('^when\\\\s+([A-Za-z_]\\\\w*)$');\nconst everyPattern = pattern('^every\\\\s+(\\\\d+)\\\\s+(seconds?|minutes?|hours?|days?)$');\nconst atPattern = pattern('^at\\\\s+(\\\\d{2}:\\\\d{2})(?:\\\\s+on\\\\s+(?:(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)|day\\\\s+(\\\\d{1,2})))?$');\nconst clauseKeywords = new Set(['when', 'every', 'at']);\nconst invokesPattern = pattern('^invokes\\\\s+([A-Z]\\\\w*)$');\nconst mappingPattern = nativePattern('^(@?[\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst refusalPrefix = nativePattern('^on\\\\s+refused\\\\b(?=$|\\\\s+by\\\\b)');\nconst refusalHeader = nativePattern('^on\\\\s+refused(?:\\\\s+by\\\\s+(validation|constraint|authorization)(?:\\\\s+([A-Za-z_]\\\\w*(?:\\\\.\\\\w+)*))?)?$');\nconst optionalReads = pattern('^reads\\\\s+[A-Z]\\\\w*\\\\s+optional(?:\\\\s|$)');\n\nexport function parseReaction(context: ParserContext, line: SourceLine): ReactionSyntax {\n const name = header.exec(line.content)?.[1] ?? '';\n if (name === '') {\n context.error(DiagnosticCodes.InvalidReactionDeclaration, `Invalid reaction declaration '${line.content}' - expected 'reaction <Name>'`, locationOf(line));\n }\n let description: string | null = null;\n let documentation: string | null = null;\n let where: ConditionSyntax | null = null;\n let from: ObserverFilterSyntax | null = null;\n let runsAs: ReactionIdentitySyntax | null = null;\n let identityDeclared = false;\n const triggers: ReactionTriggerSyntax[] = [];\n const sources = new Set<string>();\n // A reaction whose only trigger is misspelled has no trigger, but saying so as well turns one mistake\n // into two diagnostics.\n let reported = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Reaction '${name}'`);\n continue;\n }\n if (keyword === 'documentation') {\n documentation = parseDocumentation(context, child, documentation, `Reaction '${name}'`);\n continue;\n }\n if (keyword === 'from') {\n from = parseObserverFilter(context, child, from);\n continue;\n }\n if (keyword === 'runs') {\n runsAs = parseReactionIdentity(context, child, identityDeclared) ?? runsAs;\n identityDeclared = true;\n continue;\n }\n if (keyword === 'where') {\n where = parseCondition(context, child.content.substring('where'.length).trim(), locationOf(child));\n continue;\n }\n if (refusalPrefix.test(child.content)) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"A refusal branch belongs inside 'invokes <Command>'.\", locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n continue;\n }\n if (!clauseKeywords.has(keyword)) {\n context.error(DiagnosticCodes.InvalidReactionTrigger, `Expected a trigger in reaction body, got '${child.content}' - a reaction is set off by 'when <Name>', 'every <n> <unit>' or 'at <HH:mm>'`, locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n continue;\n }\n const source = parseTriggerSource(context, child);\n if (source === undefined) {\n reported = true;\n continue;\n }\n const key = sourceKey(source);\n if (sources.has(key)) {\n context.error(DiagnosticCodes.DuplicateReactionTrigger, `Reaction '${name}' already declares '${child.content}' - a second says nothing the first did not`, locationOf(child));\n context.skipBlock(child.indent);\n continue;\n }\n sources.add(key);\n triggers.push(parseTrigger(context, child, source));\n }\n if (triggers.length === 0 && !reported) {\n context.error(DiagnosticCodes.ReactionWithoutTrigger, `Reaction '${name}' must declare at least one trigger - nothing sets it off`, locationOf(line));\n }\n return { kind: 'ReactionSyntax', name, description, documentation, from, runsAs, where, triggers, location: locationOf(line) };\n}\n\n// What a trigger does - the events it produces and the commands it invokes - is read by name; its reads,\n// values and code are not modeled. The C# compiler remains the authority on whether what is skipped is valid.\nfunction parseTrigger(context: ParserContext, line: SourceLine, source: TriggerSourceSyntax): ReactionTriggerSyntax {\n let description: string | null = null;\n const produces: ProducesSyntax[] = [];\n const invokes: InvokesSyntax[] = [];\n const reads: ReadsSyntax[] = [];\n const data: TriggerDataSyntax[] = [];\n let implementation = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'runs' && isReactionIdentityLine(child)) {\n misplacedReactionIdentity(context, child);\n } else if (keyword === 'description') {\n description = parseDescription(context, child, description, `Trigger '${child.content}'`);\n } else if (keyword === 'produces') {\n const produced = parseProduces(context, child);\n if (produced !== undefined) {\n produces.push(produced);\n }\n } else if (keyword === 'invokes') {\n const match = invokesPattern.exec(child.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidInvokesDeclaration, `Invalid invokes declaration '${child.content}' - expected 'invokes <Command>'`, locationOf(child));\n context.skipBlock(child.indent);\n } else {\n const uses = new ParserContext(context.reader.fork(), context.path, context.languages);\n uses.scope = context.scope;\n uses.sourceOptions = context.sourceOptions;\n collectInputUses(uses, child);\n context.inputUses.push(...uses.inputUses);\n const mappings: PropertyMappingSyntax[] = [];\n const onRefused: InvocationRefusalSyntax[] = [];\n for (let value = context.peekChild(child.indent); value !== undefined; value = context.peekChild(child.indent)) {\n context.reader.takeSignificant();\n if (isReactionIdentityLine(value)) {\n misplacedReactionIdentity(context, value);\n continue;\n }\n if (refusalPrefix.test(value.content)) {\n const refusal = parseRefusal(context, value);\n if (refusal !== undefined) onRefused.push(refusal);\n continue;\n }\n const mapped = mappingPattern.exec(value.content);\n if (mapped !== null) mappings.push({ kind: 'PropertyMappingSyntax', property: mapped[1].replaceAll('@', ''), source: parseMappingSource(mapped[2], locationOf(value), context.valueContext), location: locationOf(value) });\n else context.error(DiagnosticCodes.InvalidPropertyMapping, `Invalid property mapping '${value.content}' - expected '<property> = <source>'`, locationOf(value), diagnosticText('text', value.content));\n }\n invokes.push({ kind: 'InvokesSyntax', command: match[1], mappings, onRefused, location: locationOf(child) });\n }\n } else if (refusalPrefix.test(child.content)) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"A refusal branch belongs inside 'invokes <Command>'.\", locationOf(child));\n context.skipBlock(child.indent);\n } else if (keyword === 'reads' || keyword === 'file' || child.content === 'csharp' || child.content.startsWith('```')) {\n implementation ||= keyword === 'file' || child.content === 'csharp' || child.content.startsWith('```');\n const read = keyword === 'reads' ? parseReads(context, child) : undefined;\n if (read !== undefined) reads.push(read);\n if (optionalReads.test(child.content)) {\n context.error(DiagnosticCodes.OptionalReadsNotSupported, 'Optional reads are not yet supported (see #308).', locationOf(child));\n }\n if (child.content.startsWith('```')) {\n context.skipFencedBody();\n }\n context.skipOpaqueBlock(child.indent);\n } else {\n const start = context.triggerData.length;\n parseTriggerData(context, child);\n for (const property of context.triggerData.slice(start)) data.push({ kind: 'TriggerDataSyntax', name: property.name, type: property.type, location: property.location });\n }\n }\n const syntax: ReactionTriggerSyntax = { kind: 'ReactionTriggerSyntax', source, description, produces, invokes, location: locationOf(line) };\n dependencySources.set(syntax, { reads, data, implementation });\n return syntax;\n}\n\nfunction parseRefusal(context: ParserContext, line: SourceLine): InvocationRefusalSyntax | undefined {\n const match = refusalHeader.exec(line.content);\n if (match === null || (match[2] !== undefined && match[1] !== 'constraint')) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"Expected 'on refused [by validation | by constraint [<Name>] | by authorization]'.\", locationOf(line));\n context.skipBlock(line.indent);\n return undefined;\n }\n const produces: ProducesSyntax[] = [];\n let acknowledge = false;\n let reported = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (isReactionIdentityLine(child)) {\n misplacedReactionIdentity(context, child);\n reported = true;\n } else if (child.content === 'acknowledge') {\n if (acknowledge || produces.length > 0 || context.peekChild(child.indent) !== undefined) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"A refusal branch contains 'acknowledge' alone or one or more 'produces' blocks.\", locationOf(child));\n reported = true;\n }\n acknowledge = true;\n context.skipBlock(child.indent);\n } else if (firstWord(child.content) === 'produces') {\n if (acknowledge) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"A refusal branch cannot combine 'acknowledge' and 'produces'.\", locationOf(child));\n reported = true;\n }\n const produced = parseProduces(context, child);\n if (produced !== undefined) produces.push(produced);\n else reported = true;\n } else {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"Expected 'acknowledge' or 'produces <Event>' in a refusal branch.\", locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n }\n }\n if (!acknowledge && produces.length === 0 && !reported) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, 'A refusal branch must acknowledge or produce an event.', locationOf(line));\n }\n return { kind: 'InvocationRefusalSyntax', selector: match[1] ?? 'any', constraint: match[2] ?? null, acknowledge, produces, location: locationOf(line) };\n}\n\nfunction sourceKey(source: TriggerSourceSyntax): string {\n switch (source.kind) {\n case 'NamedTriggerSourceSyntax': return JSON.stringify([source.kind, source.name]);\n case 'IntervalTriggerSourceSyntax': return JSON.stringify([source.kind, source.amount, source.unit]);\n case 'ScheduleTriggerSourceSyntax': return JSON.stringify([source.kind, source.time, source.dayOfWeek, source.dayOfMonth]);\n }\n}\n\n// Reads a 'when', 'every' or 'at' clause - the port of the C# TriggerParser.ParseSource. The caller only\n// hands it a line starting with one of the three, so anything that is not 'when' or 'every' is 'at'.\nexport function parseTriggerSource(context: ParserContext, line: SourceLine): TriggerSourceSyntax | undefined {\n const location = locationOf(line);\n switch (firstWord(line.content)) {\n case 'when': {\n const match = whenPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidReactionTrigger, `Invalid trigger '${line.content}' - expected 'when <Name>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'NamedTriggerSourceSyntax', name: match[1], location };\n }\n case 'every': {\n const match = everyPattern.exec(line.content);\n const amount = match === null ? NaN : Number(match[1]);\n if (match === null || !Number.isInteger(amount) || amount < 1 || amount > 2147483647) {\n context.error(DiagnosticCodes.InvalidIntervalTrigger, `Invalid interval '${line.content}' - expected 'every <n> <seconds|minutes|hours|days>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'IntervalTriggerSourceSyntax', amount, unit: unitOf(match[2]), location };\n }\n default:\n return parseSchedule(context, line);\n }\n}\n\nfunction parseSchedule(context: ParserContext, line: SourceLine): TriggerSourceSyntax | undefined {\n const location = locationOf(line);\n const match = atPattern.exec(line.content);\n const time = match === null ? undefined : timeOf(match[1]);\n if (match === null || time === undefined) {\n context.error(DiagnosticCodes.InvalidScheduleTrigger, `Invalid schedule '${line.content}' - expected 'at <HH:mm>', optionally followed by 'on <Weekday>' or 'on day <n>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n if (match[3] !== undefined) {\n const day = Number(match[3]);\n if (day < 1 || day > 31) {\n context.error(DiagnosticCodes.InvalidScheduleTrigger, `Invalid day of month '${day}' in '${line.content}' - a day of the month is between 1 and 31`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'ScheduleTriggerSourceSyntax', time, dayOfWeek: null, dayOfMonth: day, location };\n }\n return { kind: 'ScheduleTriggerSourceSyntax', time, dayOfWeek: (match[2] as DayOfWeek | undefined) ?? null, dayOfMonth: null, location };\n}\n\n// 'HH:mm' as SyntaxJson writes a TimeOnly, or undefined when it is not a time of day.\nfunction timeOf(text: string): string | undefined {\n const [hours, minutes] = text.split(':').map(Number);\n if (!(hours >= 0 && hours <= 23 && minutes >= 0 && minutes <= 59)) {\n return undefined;\n }\n return `${text}:00.0000000`;\n}\n\nfunction unitOf(text: string): IntervalUnit {\n switch (text.replace(/s+$/, '')) {\n case 'second':\n return 'Seconds';\n case 'minute':\n return 'Minutes';\n case 'hour':\n return 'Hours';\n default:\n return 'Days';\n }\n}\n"],"mappings":"0kCA2BA,MAAMC,EAASC,EAAQ,+BAA+B,EAChDC,EAAcD,EAAQ,2BAA2B,EACjDE,EAAeF,EAAQ,uDAAuD,EAC9EG,EAAYH,EAAQ,wHAAwH,EAC5II,kBAAiB,IAAI,IAAI,CAAC,OAAQ,QAAS,IAAI,CAAC,EAChDC,EAAiBL,EAAQ,0BAA0B,EACnDM,EAAiBC,EAAc,mCAAmC,EAClEC,EAAgBD,EAAc,kCAAkC,EAChEE,EAAgBF,EAAc,yGAAyG,EACvIG,EAAgBV,EAAQ,0CAA0C,EAExE,SAAgB,cAAc,EAAwB,EAAkC,CACpF,IAAMW,EAAOZ,EAAO,KAAKa,EAAK,OAAO,CAAC,GAAG,IAAM,GAC3CD,IAAS,IACTE,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,gCAAiCG,EAAWH,CAAI,CAAC,EAE7J,IAAII,EAA6B,KAC7BC,EAA+B,KAC/BC,EAAgC,KAChCC,EAAoC,KACpCC,EAAwC,KACxCC,EAAmB,GACjBC,EAAoC,CAAC,EACrCC,kBAAU,IAAI,IAGhBC,EAAW,GACf,IAAK,IAAIC,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMa,EAAUC,EAAUF,EAAM,OAAO,EACvC,GAAIC,IAAY,cAAe,CAC3B,EAAcE,EAAiBf,EAASY,EAAOT,EAAa,aAAaL,EAAK,EAAE,EAChF,QACJ,CACA,GAAIe,IAAY,gBAAiB,CAC7B,EAAgBG,EAAmBhB,EAASY,EAAOR,EAAe,aAAaN,EAAK,EAAE,EACtF,QACJ,CACA,GAAIe,IAAY,OAAQ,CACpB,EAAOI,EAAoBjB,EAASY,EAAON,CAAI,EAC/C,QACJ,CACA,GAAIO,IAAY,OAAQ,CACpB,EAASK,EAAsBlB,EAASY,EAAOJ,CAAgB,GAAKD,EACpE,EAAmB,GACnB,QACJ,CACA,GAAIM,IAAY,QAAS,CACrB,EAAQM,EAAenB,EAASY,EAAM,QAAQ,UAAU,CAAc,CAAC,CAAC,KAAK,EAAGV,EAAWU,CAAK,CAAC,EACjG,QACJ,CACA,GAAIjB,EAAc,KAAKiB,EAAM,OAAO,EAAG,CACnCZ,EAAQ,MAAMC,EAAgB,qBAAsB,uDAAwDC,EAAWU,CAAK,CAAC,EAC7HZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GACX,QACJ,CACA,GAAI,CAACrB,EAAe,IAAIsB,CAAO,EAAG,CAC9Bb,EAAQ,MAAMC,EAAgB,uBAAwB,6CAA6CW,EAAM,QAAQ,gFAAiFV,EAAWU,CAAK,CAAC,EACnNZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GACX,QACJ,CACA,IAAMQ,EAAS,mBAAmBpB,EAASY,CAAK,EAChD,GAAIQ,IAAW,IAAA,GAAW,CACtB,EAAW,GACX,QACJ,CACA,IAAMC,EAAM,UAAUD,CAAM,EACxBV,EAAQ,IAAIW,CAAG,GACfrB,EAAQ,MAAMC,EAAgB,yBAA0B,aAAaH,EAAK,sBAAsBc,EAAM,QAAQ,6CAA8CV,EAAWU,CAAK,CAAC,EAC7KZ,EAAQ,UAAUY,EAAM,MAAM,IAGlCF,EAAQ,IAAIW,CAAG,EACfZ,EAAS,KAAK,aAAaT,EAASY,EAAOQ,CAAM,CAAC,EACtD,CAIA,OAHIX,EAAS,SAAW,GAAK,CAACE,GAC1BX,EAAQ,MAAMC,EAAgB,uBAAwB,aAAaH,EAAK,2DAA4DI,EAAWH,CAAI,CAAC,EAEjJ,CAAE,KAAM,iBAAkB,OAAM,cAAa,gBAAe,OAAM,SAAQ,QAAO,WAAU,SAAUG,EAAWH,CAAI,CAAE,CACjI,CAIA,SAAS,aAAa,EAAwB,EAAkB,EAAoD,CAChH,IAAII,EAA6B,KAC3BmB,EAA6B,CAAC,EAC9BC,EAA2B,CAAC,EAC5BC,EAAuB,CAAC,EACxBC,EAA4B,CAAC,EAC/BC,EAAiB,GACrB,IAAK,IAAId,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMa,EAAUC,EAAUF,EAAM,OAAO,EACvC,GAAIC,IAAY,QAAUc,EAAuBf,CAAK,EAClDgB,EAA0B5B,EAASY,CAAK,OACrC,GAAIC,IAAY,cACnB,EAAcE,EAAiBf,EAASY,EAAOT,EAAa,YAAYS,EAAM,QAAQ,EAAE,OACrF,GAAIC,IAAY,WAAY,CAC/B,IAAMgB,EAAWC,EAAc9B,EAASY,CAAK,EACzCiB,IAAa,IAAA,IACbP,EAAS,KAAKO,CAAQ,CAE9B,MAAO,GAAIhB,IAAY,UAAW,CAC9B,IAAMkB,EAAQvC,EAAe,KAAKoB,EAAM,OAAO,EAC/C,GAAImB,IAAU,KACV/B,EAAQ,MAAMC,EAAgB,0BAA2B,gCAAgCW,EAAM,QAAQ,kCAAmCV,EAAWU,CAAK,CAAC,EAC3JZ,EAAQ,UAAUY,EAAM,MAAM,MAC3B,CACH,IAAMoB,EAAO,IAAIC,EAAcjC,EAAQ,OAAO,KAAK,EAAGA,EAAQ,KAAMA,EAAQ,SAAS,EACrF,EAAK,MAAQA,EAAQ,MACrB,EAAK,cAAgBA,EAAQ,cAC7BkC,EAAiBF,EAAMpB,CAAK,EAC5BZ,EAAQ,UAAU,KAAK,GAAGgC,EAAK,SAAS,EACxC,IAAMG,EAAoC,CAAC,EACrCC,EAAuC,CAAC,EAC9C,IAAK,IAAIC,EAAQrC,EAAQ,UAAUY,EAAM,MAAM,EAAGyB,IAAU,IAAA,GAAW,EAAQrC,EAAQ,UAAUY,EAAM,MAAM,EAAG,CAE5G,GADAZ,EAAQ,OAAO,gBAAgB,EAC3B2B,EAAuBU,CAAK,EAAG,CAC/BT,EAA0B5B,EAASqC,CAAK,EACxC,QACJ,CACA,GAAI1C,EAAc,KAAK0C,EAAM,OAAO,EAAG,CACnC,IAAMC,EAAU,aAAatC,EAASqC,CAAK,EACvCC,IAAY,IAAA,IAAWF,EAAU,KAAKE,CAAO,EACjD,QACJ,CACA,IAAMC,EAAS9C,EAAe,KAAK4C,EAAM,OAAO,EAC5CE,IAAW,KACVvC,EAAQ,MAAMC,EAAgB,uBAAwB,6BAA6BoC,EAAM,QAAQ,sCAAuCnC,EAAWmC,CAAK,EAAGG,EAAe,OAAQH,EAAM,OAAO,CAAC,EADhLF,EAAS,KAAK,CAAE,KAAM,wBAAyB,SAAUI,EAAO,EAAE,CAAC,WAAW,IAAK,EAAE,EAAG,OAAQtD,EAAmBsD,EAAO,GAAIrC,EAAWmC,CAAK,EAAGrC,EAAQ,YAAY,EAAG,SAAUE,EAAWmC,CAAK,CAAE,CAAC,CAE9N,CACAd,EAAQ,KAAK,CAAE,KAAM,gBAAiB,QAASQ,EAAM,GAAI,WAAU,YAAW,SAAU7B,EAAWU,CAAK,CAAE,CAAC,CAC/G,CACJ,MAAO,GAAIjB,EAAc,KAAKiB,EAAM,OAAO,EACvCZ,EAAQ,MAAMC,EAAgB,qBAAsB,uDAAwDC,EAAWU,CAAK,CAAC,EAC7HZ,EAAQ,UAAUY,EAAM,MAAM,OAC3B,GAAIC,IAAY,SAAWA,IAAY,QAAUD,EAAM,UAAY,UAAYA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACnH,IAAmBC,IAAY,QAAUD,EAAM,UAAY,UAAYA,EAAM,QAAQ,WAAW,KAAK,EACrG,IAAM8B,EAAO7B,IAAY,QAAU8B,EAAW3C,EAASY,CAAK,EAAI,IAAA,GAC5D8B,IAAS,IAAA,IAAWlB,EAAM,KAAKkB,CAAI,EACnC7C,EAAc,KAAKe,EAAM,OAAO,GAChCZ,EAAQ,MAAMC,EAAgB,0BAA2B,mDAAoDC,EAAWU,CAAK,CAAC,EAE9HA,EAAM,QAAQ,WAAW,KAAK,GAC9BZ,EAAQ,eAAe,EAE3BA,EAAQ,gBAAgBY,EAAM,MAAM,CACxC,KAAO,CACH,IAAMgC,EAAQ5C,EAAQ,YAAY,OAClC6C,EAAiB7C,EAASY,CAAK,EAC/B,IAAK,IAAMkC,KAAY9C,EAAQ,YAAY,MAAM4C,CAAK,EAAGnB,EAAK,KAAK,CAAE,KAAM,oBAAqB,KAAMqB,EAAS,KAAM,KAAMA,EAAS,KAAM,SAAUA,EAAS,QAAS,CAAC,CAC3K,CACJ,CACA,IAAMC,EAAgC,CAAE,KAAM,wBAAyB,SAAQ,cAAa,WAAU,UAAS,SAAU7C,EAAWH,CAAI,CAAE,EAE1I,OADAiD,EAAkB,IAAID,EAAQ,CAAE,QAAO,OAAM,gBAAe,CAAC,EACtDA,CACX,CAEA,SAAS,aAAa,EAAwB,EAAuD,CACjG,IAAMhB,EAAQnC,EAAc,KAAKG,EAAK,OAAO,EAC7C,GAAIgC,IAAU,MAASA,EAAM,KAAO,IAAA,IAAaA,EAAM,KAAO,aAAe,CACzE/B,EAAQ,MAAMC,EAAgB,qBAAsB,qFAAsFC,EAAWH,CAAI,CAAC,EAC1JC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAMuB,EAA6B,CAAC,EAChC2B,EAAc,GACdtC,EAAW,GACf,IAAK,IAAIC,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAEvG,GADAC,EAAQ,OAAO,gBAAgB,EAC3B2B,EAAuBf,CAAK,EAC5BgB,EAA0B5B,EAASY,CAAK,EACxC,EAAW,QACR,GAAIA,EAAM,UAAY,eACrBqC,GAAe3B,EAAS,OAAS,GAAKtB,EAAQ,UAAUY,EAAM,MAAM,IAAM,IAAA,MAC1EZ,EAAQ,MAAMC,EAAgB,yBAA0B,kFAAmFC,EAAWU,CAAK,CAAC,EAC5J,EAAW,IAEf,EAAc,GACdZ,EAAQ,UAAUY,EAAM,MAAM,OAC3B,GAAIE,EAAUF,EAAM,OAAO,IAAM,WAAY,CAC5CqC,IACAjD,EAAQ,MAAMC,EAAgB,yBAA0B,gEAAiEC,EAAWU,CAAK,CAAC,EAC1I,EAAW,IAEf,IAAMiB,EAAWC,EAAc9B,EAASY,CAAK,EACzCiB,IAAa,IAAA,GACZ,EAAW,GADYP,EAAS,KAAKO,CAAQ,CAEtD,MACI7B,EAAQ,MAAMC,EAAgB,yBAA0B,oEAAqEC,EAAWU,CAAK,CAAC,EAC9IZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GAMnB,MAHI,CAACqC,GAAe3B,EAAS,SAAW,GAAK,CAACX,GAC1CX,EAAQ,MAAMC,EAAgB,yBAA0B,yDAA0DC,EAAWH,CAAI,CAAC,EAE/H,CAAE,KAAM,0BAA2B,SAAUgC,EAAM,IAAM,MAAO,WAAYA,EAAM,IAAM,KAAM,cAAa,WAAU,SAAU7B,EAAWH,CAAI,CAAE,CAC3J,CAEA,SAAS,UAAU,EAAqC,CACpD,OAAQqB,EAAO,KAAf,CACI,IAAK,2BAA4B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,IAAI,CAAC,EACjF,IAAK,8BAA+B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,OAAQA,EAAO,IAAI,CAAC,EACnG,IAAK,8BAA+B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,KAAMA,EAAO,UAAWA,EAAO,UAAU,CAAC,CAC7H,CACJ,CAIA,SAAgB,mBAAmB,EAAwB,EAAmD,CAC1G,IAAM8B,EAAWhD,EAAWH,CAAI,EAChC,OAAQe,EAAUf,EAAK,OAAO,EAA9B,CACI,IAAK,OAAQ,CACT,IAAMgC,EAAQ3C,EAAY,KAAKW,EAAK,OAAO,EAC3C,GAAIgC,IAAU,KAAM,CAChB/B,EAAQ,MAAMC,EAAgB,uBAAwB,oBAAoBF,EAAK,QAAQ,4BAA6BmD,CAAQ,EAC5HlD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,2BAA4B,KAAMgC,EAAM,GAAI,UAAS,CACxE,CACA,IAAK,QAAS,CACV,IAAMA,EAAQ1C,EAAa,KAAKU,EAAK,OAAO,EACtCoD,EAASpB,IAAU,KAAO,IAAM,OAAOA,EAAM,EAAE,EACrD,GAAIA,IAAU,MAAQ,CAAC,OAAO,UAAUoB,CAAM,GAAKA,EAAS,GAAKA,EAAS,WAAY,CAClFnD,EAAQ,MAAMC,EAAgB,uBAAwB,qBAAqBF,EAAK,QAAQ,uDAAwDmD,CAAQ,EACxJlD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAQ,KAAM,OAAOgC,EAAM,EAAE,EAAG,UAAS,CAC3F,CACA,QACI,OAAO,cAAc/B,EAASD,CAAI,CAC1C,CACJ,CAEA,SAAS,cAAc,EAAwB,EAAmD,CAC9F,IAAMmD,EAAWhD,EAAWH,CAAI,EAC1BgC,EAAQzC,EAAU,KAAKS,EAAK,OAAO,EACnCqD,EAAOrB,IAAU,KAAO,IAAA,GAAY,OAAOA,EAAM,EAAE,EACzD,GAAIA,IAAU,MAAQqB,IAAS,IAAA,GAC3BpD,EAAQ,MAAMC,EAAgB,uBAAwB,qBAAqBF,EAAK,QAAQ,kFAAmFmD,CAAQ,EACnLlD,EAAQ,UAAUD,EAAK,MAAM,MAGjC,IAAIgC,EAAM,KAAO,IAAA,GAAW,CACxB,IAAMsB,EAAM,OAAOtB,EAAM,EAAE,EAC3B,GAAIsB,EAAM,GAAKA,EAAM,GAAI,CACrBrD,EAAQ,MAAMC,EAAgB,uBAAwB,yBAAyBoD,EAAI,QAAQtD,EAAK,QAAQ,4CAA6CmD,CAAQ,EAC7JlD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,8BAA+B,OAAM,UAAW,KAAM,WAAYsD,EAAK,UAAS,CACnG,CACA,MAAO,CAAE,KAAM,8BAA+B,OAAM,UAAYtB,EAAM,IAAgC,KAAM,WAAY,KAAM,UAAS,CADvI,CAEJ,CAGA,SAAS,OAAO,EAAkC,CAC9C,GAAM,CAACuB,EAAOC,GAAWC,EAAK,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,EACnD,GAAMF,GAAS,GAAKA,GAAS,IAAMC,GAAW,GAAKA,GAAW,GAG9D,MAAO,GAAGC,EAAK,YACnB,CAEA,SAAS,OAAO,EAA4B,CACxC,OAAQA,EAAK,QAAQ,MAAO,EAAE,EAA9B,CACI,IAAK,SACD,MAAO,UACX,IAAK,SACD,MAAO,UACX,IAAK,OACD,MAAO,QACX,QACI,MAAO,MACf,CACJ"}
|
|
1
|
+
{"version":3,"file":"ReactionParser.js","names":["parseMappingSource","header","pattern","whenPattern","everyPattern","atPattern","clauseKeywords","invokesPattern","mappingPattern","nativePattern","refusalPrefix","refusalHeader","optionalReads","name","line","context","DiagnosticCodes","locationOf","description","documentation","where","from","runsAs","identityDeclared","triggers","sources","reported","child","keyword","firstWord","parseDescription","parseDocumentation","parseObserverFilter","parseReactionIdentity","parseCondition","source","key","produces","invokes","reads","data","implementation","isReactionIdentityLine","misplacedReactionIdentity","produced","parseProduces","match","uses","ParserContext","collectInputUses","mappings","onRefused","value","refusal","mapped","structured","tryParseStructuredMapping","diagnosticText","parseModeledMappingSource","read","parseReads","start","parseTriggerData","property","syntax","dependencySources","acknowledge","location","amount","time","day","hours","minutes","text"],"sources":["../../../../../../Compiler/Parsing/ReactionParser.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { diagnosticText } from '../Diagnostics/DiagnosticArgument';\nimport { DiagnosticCodes } from '../Diagnostics/DiagnosticCodes';\nimport { ConditionSyntax } from '../Syntax/Conditions';\nimport { PropertyMappingSyntax } from '../Syntax/Expressions';\nimport { InvocationRefusalSyntax } from '../Syntax/InvocationRefusalSyntax';\nimport { parseCondition } from './ConditionParser';\nimport { ObserverFilterSyntax } from '../Syntax/ObserverFilterSyntax';\nimport { parseObserverFilter } from './ObserverFilterParser';\nimport { parseModeledMappingSource as parseMappingSource } from './ExpressionParser';\nimport { DayOfWeek, IntervalUnit, InvokesSyntax, ProducesSyntax, ReactionSyntax, ReactionTriggerSyntax, TriggerSourceSyntax } from '../Syntax/Reactions';\nimport { nativePattern, pattern } from '../Text/patterns';\nimport { ReactionIdentitySyntax } from '../Syntax/ReactionIdentitySyntax';\nimport { isReactionIdentityLine, misplacedReactionIdentity, parseReactionIdentity } from './ReactionIdentityParser';\nimport { parseDescription } from './DescriptionParser';\nimport { parseDocumentation } from './DocumentationParser';\nimport { collectInputUses } from './InputUses';\nimport { firstWord } from './LineText';\nimport { ParserContext } from './ParserContext';\nimport { parseTriggerData } from './TriggerDataParser';\nimport { dependencySources, ReadsSyntax, TriggerDataSyntax } from '../Syntax/DependencySources';\nimport { parseReads } from './ReadsParser';\nimport { parseProduces } from './ProducesParser';\nimport { locationOf, SourceLine } from './SourceLine';\nimport { tryParseStructuredMapping } from './StructuredBlockParser';\n\nconst header = pattern('^reaction\\\\s+([A-Za-z_]\\\\w*)$');\nconst whenPattern = pattern('^when\\\\s+([A-Za-z_]\\\\w*)$');\nconst everyPattern = pattern('^every\\\\s+(\\\\d+)\\\\s+(seconds?|minutes?|hours?|days?)$');\nconst atPattern = pattern('^at\\\\s+(\\\\d{2}:\\\\d{2})(?:\\\\s+on\\\\s+(?:(Monday|Tuesday|Wednesday|Thursday|Friday|Saturday|Sunday)|day\\\\s+(\\\\d{1,2})))?$');\nconst clauseKeywords = new Set(['when', 'every', 'at']);\nconst invokesPattern = pattern('^invokes\\\\s+([A-Z]\\\\w*)$');\nconst mappingPattern = nativePattern('^(@?[\\\\w.]+)\\\\s*=(?!=|>)\\\\s*(.+)$');\nconst refusalPrefix = nativePattern('^on\\\\s+refused\\\\b(?=$|\\\\s+by\\\\b)');\nconst refusalHeader = nativePattern('^on\\\\s+refused(?:\\\\s+by\\\\s+(validation|constraint|authorization)(?:\\\\s+([A-Za-z_]\\\\w*(?:\\\\.\\\\w+)*))?)?$');\nconst optionalReads = pattern('^reads\\\\s+[A-Z]\\\\w*\\\\s+optional(?:\\\\s|$)');\n\nexport function parseReaction(context: ParserContext, line: SourceLine): ReactionSyntax {\n const name = header.exec(line.content)?.[1] ?? '';\n if (name === '') {\n context.error(DiagnosticCodes.InvalidReactionDeclaration, `Invalid reaction declaration '${line.content}' - expected 'reaction <Name>'`, locationOf(line));\n }\n let description: string | null = null;\n let documentation: string | null = null;\n let where: ConditionSyntax | null = null;\n let from: ObserverFilterSyntax | null = null;\n let runsAs: ReactionIdentitySyntax | null = null;\n let identityDeclared = false;\n const triggers: ReactionTriggerSyntax[] = [];\n const sources = new Set<string>();\n // A reaction whose only trigger is misspelled has no trigger, but saying so as well turns one mistake\n // into two diagnostics.\n let reported = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'description') {\n description = parseDescription(context, child, description, `Reaction '${name}'`);\n continue;\n }\n if (keyword === 'documentation') {\n documentation = parseDocumentation(context, child, documentation, `Reaction '${name}'`);\n continue;\n }\n if (keyword === 'from') {\n from = parseObserverFilter(context, child, from);\n continue;\n }\n if (keyword === 'runs') {\n runsAs = parseReactionIdentity(context, child, identityDeclared) ?? runsAs;\n identityDeclared = true;\n continue;\n }\n if (keyword === 'where') {\n where = parseCondition(context, child.content.substring('where'.length).trim(), locationOf(child));\n continue;\n }\n if (refusalPrefix.test(child.content)) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"A refusal branch belongs inside 'invokes <Command>'.\", locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n continue;\n }\n if (!clauseKeywords.has(keyword)) {\n context.error(DiagnosticCodes.InvalidReactionTrigger, `Expected a trigger in reaction body, got '${child.content}' - a reaction is set off by 'when <Name>', 'every <n> <unit>' or 'at <HH:mm>'`, locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n continue;\n }\n const source = parseTriggerSource(context, child);\n if (source === undefined) {\n reported = true;\n continue;\n }\n const key = sourceKey(source);\n if (sources.has(key)) {\n context.error(DiagnosticCodes.DuplicateReactionTrigger, `Reaction '${name}' already declares '${child.content}' - a second says nothing the first did not`, locationOf(child));\n context.skipBlock(child.indent);\n continue;\n }\n sources.add(key);\n triggers.push(parseTrigger(context, child, source));\n }\n if (triggers.length === 0 && !reported) {\n context.error(DiagnosticCodes.ReactionWithoutTrigger, `Reaction '${name}' must declare at least one trigger - nothing sets it off`, locationOf(line));\n }\n return { kind: 'ReactionSyntax', name, description, documentation, from, runsAs, where, triggers, location: locationOf(line) };\n}\n\n// What a trigger does - the events it produces and the commands it invokes - is read by name; its reads,\n// values and code are not modeled. The C# compiler remains the authority on whether what is skipped is valid.\nfunction parseTrigger(context: ParserContext, line: SourceLine, source: TriggerSourceSyntax): ReactionTriggerSyntax {\n let description: string | null = null;\n const produces: ProducesSyntax[] = [];\n const invokes: InvokesSyntax[] = [];\n const reads: ReadsSyntax[] = [];\n const data: TriggerDataSyntax[] = [];\n let implementation = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n const keyword = firstWord(child.content);\n if (keyword === 'runs' && isReactionIdentityLine(child)) {\n misplacedReactionIdentity(context, child);\n } else if (keyword === 'description') {\n description = parseDescription(context, child, description, `Trigger '${child.content}'`);\n } else if (keyword === 'produces') {\n const produced = parseProduces(context, child);\n if (produced !== undefined) {\n produces.push(produced);\n }\n } else if (keyword === 'invokes') {\n const match = invokesPattern.exec(child.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidInvokesDeclaration, `Invalid invokes declaration '${child.content}' - expected 'invokes <Command>'`, locationOf(child));\n context.skipBlock(child.indent);\n } else {\n const uses = new ParserContext(context.reader.fork(), context.path, context.languages);\n uses.scope = context.scope;\n uses.sourceOptions = context.sourceOptions;\n collectInputUses(uses, child);\n context.inputUses.push(...uses.inputUses);\n const mappings: PropertyMappingSyntax[] = [];\n const onRefused: InvocationRefusalSyntax[] = [];\n for (let value = context.peekChild(child.indent); value !== undefined; value = context.peekChild(child.indent)) {\n context.reader.takeSignificant();\n if (isReactionIdentityLine(value)) {\n misplacedReactionIdentity(context, value);\n continue;\n }\n if (refusalPrefix.test(value.content)) {\n const refusal = parseRefusal(context, value);\n if (refusal !== undefined) onRefused.push(refusal);\n continue;\n }\n const mapped = mappingPattern.exec(value.content);\n const structured = mapped === null ? tryParseStructuredMapping(context.valueContext, value) : undefined;\n if (mapped !== null) mappings.push({ kind: 'PropertyMappingSyntax', property: mapped[1].replaceAll('@', ''), source: parseMappingSource(mapped[2], locationOf(value), context.valueContext), location: locationOf(value) });\n else if (structured !== undefined) mappings.push(structured);\n else context.error(DiagnosticCodes.InvalidPropertyMapping, `Invalid property mapping '${value.content}' - expected '<property> = <source>'`, locationOf(value), diagnosticText('text', value.content));\n }\n invokes.push({ kind: 'InvokesSyntax', command: match[1], mappings, onRefused, location: locationOf(child) });\n }\n } else if (refusalPrefix.test(child.content)) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"A refusal branch belongs inside 'invokes <Command>'.\", locationOf(child));\n context.skipBlock(child.indent);\n } else if (keyword === 'reads' || keyword === 'file' || child.content === 'csharp' || child.content.startsWith('```')) {\n implementation ||= keyword === 'file' || child.content === 'csharp' || child.content.startsWith('```');\n const read = keyword === 'reads' ? parseReads(context, child) : undefined;\n if (read !== undefined) reads.push(read);\n if (optionalReads.test(child.content)) {\n context.error(DiagnosticCodes.OptionalReadsNotSupported, 'Optional reads are not yet supported (see #308).', locationOf(child));\n }\n if (child.content.startsWith('```')) {\n context.skipFencedBody();\n }\n context.skipOpaqueBlock(child.indent);\n } else {\n const start = context.triggerData.length;\n parseTriggerData(context, child);\n for (const property of context.triggerData.slice(start)) data.push({ kind: 'TriggerDataSyntax', name: property.name, type: property.type, location: property.location });\n }\n }\n const syntax: ReactionTriggerSyntax = { kind: 'ReactionTriggerSyntax', source, description, produces, invokes, location: locationOf(line) };\n dependencySources.set(syntax, { reads, data, implementation });\n return syntax;\n}\n\nfunction parseRefusal(context: ParserContext, line: SourceLine): InvocationRefusalSyntax | undefined {\n const match = refusalHeader.exec(line.content);\n if (match === null || (match[2] !== undefined && match[1] !== 'constraint')) {\n context.error(DiagnosticCodes.InvalidRefusalBranch, \"Expected 'on refused [by validation | by constraint [<Name>] | by authorization]'.\", locationOf(line));\n context.skipBlock(line.indent);\n return undefined;\n }\n const produces: ProducesSyntax[] = [];\n let acknowledge = false;\n let reported = false;\n for (let child = context.peekChild(line.indent); child !== undefined; child = context.peekChild(line.indent)) {\n context.reader.takeSignificant();\n if (isReactionIdentityLine(child)) {\n misplacedReactionIdentity(context, child);\n reported = true;\n } else if (child.content === 'acknowledge') {\n if (acknowledge || produces.length > 0 || context.peekChild(child.indent) !== undefined) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"A refusal branch contains 'acknowledge' alone or one or more 'produces' blocks.\", locationOf(child));\n reported = true;\n }\n acknowledge = true;\n context.skipBlock(child.indent);\n } else if (firstWord(child.content) === 'produces') {\n if (acknowledge) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"A refusal branch cannot combine 'acknowledge' and 'produces'.\", locationOf(child));\n reported = true;\n }\n const produced = parseProduces(context, child);\n if (produced !== undefined) produces.push(produced);\n else reported = true;\n } else {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, \"Expected 'acknowledge' or 'produces <Event>' in a refusal branch.\", locationOf(child));\n context.skipBlock(child.indent);\n reported = true;\n }\n }\n if (!acknowledge && produces.length === 0 && !reported) {\n context.error(DiagnosticCodes.InvalidRefusalBranchBody, 'A refusal branch must acknowledge or produce an event.', locationOf(line));\n }\n return { kind: 'InvocationRefusalSyntax', selector: match[1] ?? 'any', constraint: match[2] ?? null, acknowledge, produces, location: locationOf(line) };\n}\n\nfunction sourceKey(source: TriggerSourceSyntax): string {\n switch (source.kind) {\n case 'NamedTriggerSourceSyntax': return JSON.stringify([source.kind, source.name]);\n case 'IntervalTriggerSourceSyntax': return JSON.stringify([source.kind, source.amount, source.unit]);\n case 'ScheduleTriggerSourceSyntax': return JSON.stringify([source.kind, source.time, source.dayOfWeek, source.dayOfMonth]);\n }\n}\n\n// Reads a 'when', 'every' or 'at' clause - the port of the C# TriggerParser.ParseSource. The caller only\n// hands it a line starting with one of the three, so anything that is not 'when' or 'every' is 'at'.\nexport function parseTriggerSource(context: ParserContext, line: SourceLine): TriggerSourceSyntax | undefined {\n const location = locationOf(line);\n switch (firstWord(line.content)) {\n case 'when': {\n const match = whenPattern.exec(line.content);\n if (match === null) {\n context.error(DiagnosticCodes.InvalidReactionTrigger, `Invalid trigger '${line.content}' - expected 'when <Name>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'NamedTriggerSourceSyntax', name: match[1], location };\n }\n case 'every': {\n const match = everyPattern.exec(line.content);\n const amount = match === null ? NaN : Number(match[1]);\n if (match === null || !Number.isInteger(amount) || amount < 1 || amount > 2147483647) {\n context.error(DiagnosticCodes.InvalidIntervalTrigger, `Invalid interval '${line.content}' - expected 'every <n> <seconds|minutes|hours|days>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'IntervalTriggerSourceSyntax', amount, unit: unitOf(match[2]), location };\n }\n default:\n return parseSchedule(context, line);\n }\n}\n\nfunction parseSchedule(context: ParserContext, line: SourceLine): TriggerSourceSyntax | undefined {\n const location = locationOf(line);\n const match = atPattern.exec(line.content);\n const time = match === null ? undefined : timeOf(match[1]);\n if (match === null || time === undefined) {\n context.error(DiagnosticCodes.InvalidScheduleTrigger, `Invalid schedule '${line.content}' - expected 'at <HH:mm>', optionally followed by 'on <Weekday>' or 'on day <n>'`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n if (match[3] !== undefined) {\n const day = Number(match[3]);\n if (day < 1 || day > 31) {\n context.error(DiagnosticCodes.InvalidScheduleTrigger, `Invalid day of month '${day}' in '${line.content}' - a day of the month is between 1 and 31`, location);\n context.skipBlock(line.indent);\n return undefined;\n }\n return { kind: 'ScheduleTriggerSourceSyntax', time, dayOfWeek: null, dayOfMonth: day, location };\n }\n return { kind: 'ScheduleTriggerSourceSyntax', time, dayOfWeek: (match[2] as DayOfWeek | undefined) ?? null, dayOfMonth: null, location };\n}\n\n// 'HH:mm' as SyntaxJson writes a TimeOnly, or undefined when it is not a time of day.\nfunction timeOf(text: string): string | undefined {\n const [hours, minutes] = text.split(':').map(Number);\n if (!(hours >= 0 && hours <= 23 && minutes >= 0 && minutes <= 59)) {\n return undefined;\n }\n return `${text}:00.0000000`;\n}\n\nfunction unitOf(text: string): IntervalUnit {\n switch (text.replace(/s+$/, '')) {\n case 'second':\n return 'Seconds';\n case 'minute':\n return 'Minutes';\n case 'hour':\n return 'Hours';\n default:\n return 'Days';\n }\n}\n"],"mappings":"ipCA4BA,MAAMC,EAASC,EAAQ,+BAA+B,EAChDC,EAAcD,EAAQ,2BAA2B,EACjDE,EAAeF,EAAQ,uDAAuD,EAC9EG,EAAYH,EAAQ,wHAAwH,EAC5II,kBAAiB,IAAI,IAAI,CAAC,OAAQ,QAAS,IAAI,CAAC,EAChDC,EAAiBL,EAAQ,0BAA0B,EACnDM,EAAiBC,EAAc,mCAAmC,EAClEC,EAAgBD,EAAc,kCAAkC,EAChEE,EAAgBF,EAAc,yGAAyG,EACvIG,EAAgBV,EAAQ,0CAA0C,EAExE,SAAgB,cAAc,EAAwB,EAAkC,CACpF,IAAMW,EAAOZ,EAAO,KAAKa,EAAK,OAAO,CAAC,GAAG,IAAM,GAC3CD,IAAS,IACTE,EAAQ,MAAMC,EAAgB,2BAA4B,iCAAiCF,EAAK,QAAQ,gCAAiCG,EAAWH,CAAI,CAAC,EAE7J,IAAII,EAA6B,KAC7BC,EAA+B,KAC/BC,EAAgC,KAChCC,EAAoC,KACpCC,EAAwC,KACxCC,EAAmB,GACjBC,EAAoC,CAAC,EACrCC,kBAAU,IAAI,IAGhBC,EAAW,GACf,IAAK,IAAIC,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMa,EAAUC,EAAUF,EAAM,OAAO,EACvC,GAAIC,IAAY,cAAe,CAC3B,EAAcE,EAAiBf,EAASY,EAAOT,EAAa,aAAaL,EAAK,EAAE,EAChF,QACJ,CACA,GAAIe,IAAY,gBAAiB,CAC7B,EAAgBG,EAAmBhB,EAASY,EAAOR,EAAe,aAAaN,EAAK,EAAE,EACtF,QACJ,CACA,GAAIe,IAAY,OAAQ,CACpB,EAAOI,EAAoBjB,EAASY,EAAON,CAAI,EAC/C,QACJ,CACA,GAAIO,IAAY,OAAQ,CACpB,EAASK,EAAsBlB,EAASY,EAAOJ,CAAgB,GAAKD,EACpE,EAAmB,GACnB,QACJ,CACA,GAAIM,IAAY,QAAS,CACrB,EAAQM,EAAenB,EAASY,EAAM,QAAQ,UAAU,CAAc,CAAC,CAAC,KAAK,EAAGV,EAAWU,CAAK,CAAC,EACjG,QACJ,CACA,GAAIjB,EAAc,KAAKiB,EAAM,OAAO,EAAG,CACnCZ,EAAQ,MAAMC,EAAgB,qBAAsB,uDAAwDC,EAAWU,CAAK,CAAC,EAC7HZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GACX,QACJ,CACA,GAAI,CAACrB,EAAe,IAAIsB,CAAO,EAAG,CAC9Bb,EAAQ,MAAMC,EAAgB,uBAAwB,6CAA6CW,EAAM,QAAQ,gFAAiFV,EAAWU,CAAK,CAAC,EACnNZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GACX,QACJ,CACA,IAAMQ,EAAS,mBAAmBpB,EAASY,CAAK,EAChD,GAAIQ,IAAW,IAAA,GAAW,CACtB,EAAW,GACX,QACJ,CACA,IAAMC,EAAM,UAAUD,CAAM,EACxBV,EAAQ,IAAIW,CAAG,GACfrB,EAAQ,MAAMC,EAAgB,yBAA0B,aAAaH,EAAK,sBAAsBc,EAAM,QAAQ,6CAA8CV,EAAWU,CAAK,CAAC,EAC7KZ,EAAQ,UAAUY,EAAM,MAAM,IAGlCF,EAAQ,IAAIW,CAAG,EACfZ,EAAS,KAAK,aAAaT,EAASY,EAAOQ,CAAM,CAAC,EACtD,CAIA,OAHIX,EAAS,SAAW,GAAK,CAACE,GAC1BX,EAAQ,MAAMC,EAAgB,uBAAwB,aAAaH,EAAK,2DAA4DI,EAAWH,CAAI,CAAC,EAEjJ,CAAE,KAAM,iBAAkB,OAAM,cAAa,gBAAe,OAAM,SAAQ,QAAO,WAAU,SAAUG,EAAWH,CAAI,CAAE,CACjI,CAIA,SAAS,aAAa,EAAwB,EAAkB,EAAoD,CAChH,IAAII,EAA6B,KAC3BmB,EAA6B,CAAC,EAC9BC,EAA2B,CAAC,EAC5BC,EAAuB,CAAC,EACxBC,EAA4B,CAAC,EAC/BC,EAAiB,GACrB,IAAK,IAAId,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAG,CAC1GC,EAAQ,OAAO,gBAAgB,EAC/B,IAAMa,EAAUC,EAAUF,EAAM,OAAO,EACvC,GAAIC,IAAY,QAAUc,EAAuBf,CAAK,EAClDgB,EAA0B5B,EAASY,CAAK,OACrC,GAAIC,IAAY,cACnB,EAAcE,EAAiBf,EAASY,EAAOT,EAAa,YAAYS,EAAM,QAAQ,EAAE,OACrF,GAAIC,IAAY,WAAY,CAC/B,IAAMgB,EAAWC,EAAc9B,EAASY,CAAK,EACzCiB,IAAa,IAAA,IACbP,EAAS,KAAKO,CAAQ,CAE9B,MAAO,GAAIhB,IAAY,UAAW,CAC9B,IAAMkB,EAAQvC,EAAe,KAAKoB,EAAM,OAAO,EAC/C,GAAImB,IAAU,KACV/B,EAAQ,MAAMC,EAAgB,0BAA2B,gCAAgCW,EAAM,QAAQ,kCAAmCV,EAAWU,CAAK,CAAC,EAC3JZ,EAAQ,UAAUY,EAAM,MAAM,MAC3B,CACH,IAAMoB,EAAO,IAAIC,EAAcjC,EAAQ,OAAO,KAAK,EAAGA,EAAQ,KAAMA,EAAQ,SAAS,EACrF,EAAK,MAAQA,EAAQ,MACrB,EAAK,cAAgBA,EAAQ,cAC7BkC,EAAiBF,EAAMpB,CAAK,EAC5BZ,EAAQ,UAAU,KAAK,GAAGgC,EAAK,SAAS,EACxC,IAAMG,EAAoC,CAAC,EACrCC,EAAuC,CAAC,EAC9C,IAAK,IAAIC,EAAQrC,EAAQ,UAAUY,EAAM,MAAM,EAAGyB,IAAU,IAAA,GAAW,EAAQrC,EAAQ,UAAUY,EAAM,MAAM,EAAG,CAE5G,GADAZ,EAAQ,OAAO,gBAAgB,EAC3B2B,EAAuBU,CAAK,EAAG,CAC/BT,EAA0B5B,EAASqC,CAAK,EACxC,QACJ,CACA,GAAI1C,EAAc,KAAK0C,EAAM,OAAO,EAAG,CACnC,IAAMC,EAAU,aAAatC,EAASqC,CAAK,EACvCC,IAAY,IAAA,IAAWF,EAAU,KAAKE,CAAO,EACjD,QACJ,CACA,IAAMC,EAAS9C,EAAe,KAAK4C,EAAM,OAAO,EAC1CG,EAAaD,IAAW,KAAOE,EAA0BzC,EAAQ,aAAcqC,CAAK,EAAI,IAAA,GAC1FE,IAAW,KACNC,IAAe,IAAA,GACnBxC,EAAQ,MAAMC,EAAgB,uBAAwB,6BAA6BoC,EAAM,QAAQ,sCAAuCnC,EAAWmC,CAAK,EAAGK,EAAe,OAAQL,EAAM,OAAO,CAAC,EADlKF,EAAS,KAAKK,CAAU,EADtCL,EAAS,KAAK,CAAE,KAAM,wBAAyB,SAAUI,EAAO,EAAE,CAAC,WAAW,IAAK,EAAE,EAAG,OAAQtD,EAAmBsD,EAAO,GAAIrC,EAAWmC,CAAK,EAAGrC,EAAQ,YAAY,EAAG,SAAUE,EAAWmC,CAAK,CAAE,CAAC,CAG9N,CACAd,EAAQ,KAAK,CAAE,KAAM,gBAAiB,QAASQ,EAAM,GAAI,WAAU,YAAW,SAAU7B,EAAWU,CAAK,CAAE,CAAC,CAC/G,CACJ,MAAO,GAAIjB,EAAc,KAAKiB,EAAM,OAAO,EACvCZ,EAAQ,MAAMC,EAAgB,qBAAsB,uDAAwDC,EAAWU,CAAK,CAAC,EAC7HZ,EAAQ,UAAUY,EAAM,MAAM,OAC3B,GAAIC,IAAY,SAAWA,IAAY,QAAUD,EAAM,UAAY,UAAYA,EAAM,QAAQ,WAAW,KAAK,EAAG,CACnH,IAAmBC,IAAY,QAAUD,EAAM,UAAY,UAAYA,EAAM,QAAQ,WAAW,KAAK,EACrG,IAAMgC,EAAO/B,IAAY,QAAUgC,EAAW7C,EAASY,CAAK,EAAI,IAAA,GAC5DgC,IAAS,IAAA,IAAWpB,EAAM,KAAKoB,CAAI,EACnC/C,EAAc,KAAKe,EAAM,OAAO,GAChCZ,EAAQ,MAAMC,EAAgB,0BAA2B,mDAAoDC,EAAWU,CAAK,CAAC,EAE9HA,EAAM,QAAQ,WAAW,KAAK,GAC9BZ,EAAQ,eAAe,EAE3BA,EAAQ,gBAAgBY,EAAM,MAAM,CACxC,KAAO,CACH,IAAMkC,EAAQ9C,EAAQ,YAAY,OAClC+C,EAAiB/C,EAASY,CAAK,EAC/B,IAAK,IAAMoC,KAAYhD,EAAQ,YAAY,MAAM8C,CAAK,EAAGrB,EAAK,KAAK,CAAE,KAAM,oBAAqB,KAAMuB,EAAS,KAAM,KAAMA,EAAS,KAAM,SAAUA,EAAS,QAAS,CAAC,CAC3K,CACJ,CACA,IAAMC,EAAgC,CAAE,KAAM,wBAAyB,SAAQ,cAAa,WAAU,UAAS,SAAU/C,EAAWH,CAAI,CAAE,EAE1I,OADAmD,EAAkB,IAAID,EAAQ,CAAE,QAAO,OAAM,gBAAe,CAAC,EACtDA,CACX,CAEA,SAAS,aAAa,EAAwB,EAAuD,CACjG,IAAMlB,EAAQnC,EAAc,KAAKG,EAAK,OAAO,EAC7C,GAAIgC,IAAU,MAASA,EAAM,KAAO,IAAA,IAAaA,EAAM,KAAO,aAAe,CACzE/B,EAAQ,MAAMC,EAAgB,qBAAsB,qFAAsFC,EAAWH,CAAI,CAAC,EAC1JC,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,IAAMuB,EAA6B,CAAC,EAChC6B,EAAc,GACdxC,EAAW,GACf,IAAK,IAAIC,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAAGa,IAAU,IAAA,GAAW,EAAQZ,EAAQ,UAAUD,EAAK,MAAM,EAEvG,GADAC,EAAQ,OAAO,gBAAgB,EAC3B2B,EAAuBf,CAAK,EAC5BgB,EAA0B5B,EAASY,CAAK,EACxC,EAAW,QACR,GAAIA,EAAM,UAAY,eACrBuC,GAAe7B,EAAS,OAAS,GAAKtB,EAAQ,UAAUY,EAAM,MAAM,IAAM,IAAA,MAC1EZ,EAAQ,MAAMC,EAAgB,yBAA0B,kFAAmFC,EAAWU,CAAK,CAAC,EAC5J,EAAW,IAEf,EAAc,GACdZ,EAAQ,UAAUY,EAAM,MAAM,OAC3B,GAAIE,EAAUF,EAAM,OAAO,IAAM,WAAY,CAC5CuC,IACAnD,EAAQ,MAAMC,EAAgB,yBAA0B,gEAAiEC,EAAWU,CAAK,CAAC,EAC1I,EAAW,IAEf,IAAMiB,EAAWC,EAAc9B,EAASY,CAAK,EACzCiB,IAAa,IAAA,GACZ,EAAW,GADYP,EAAS,KAAKO,CAAQ,CAEtD,MACI7B,EAAQ,MAAMC,EAAgB,yBAA0B,oEAAqEC,EAAWU,CAAK,CAAC,EAC9IZ,EAAQ,UAAUY,EAAM,MAAM,EAC9B,EAAW,GAMnB,MAHI,CAACuC,GAAe7B,EAAS,SAAW,GAAK,CAACX,GAC1CX,EAAQ,MAAMC,EAAgB,yBAA0B,yDAA0DC,EAAWH,CAAI,CAAC,EAE/H,CAAE,KAAM,0BAA2B,SAAUgC,EAAM,IAAM,MAAO,WAAYA,EAAM,IAAM,KAAM,cAAa,WAAU,SAAU7B,EAAWH,CAAI,CAAE,CAC3J,CAEA,SAAS,UAAU,EAAqC,CACpD,OAAQqB,EAAO,KAAf,CACI,IAAK,2BAA4B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,IAAI,CAAC,EACjF,IAAK,8BAA+B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,OAAQA,EAAO,IAAI,CAAC,EACnG,IAAK,8BAA+B,OAAO,KAAK,UAAU,CAACA,EAAO,KAAMA,EAAO,KAAMA,EAAO,UAAWA,EAAO,UAAU,CAAC,CAC7H,CACJ,CAIA,SAAgB,mBAAmB,EAAwB,EAAmD,CAC1G,IAAMgC,EAAWlD,EAAWH,CAAI,EAChC,OAAQe,EAAUf,EAAK,OAAO,EAA9B,CACI,IAAK,OAAQ,CACT,IAAMgC,EAAQ3C,EAAY,KAAKW,EAAK,OAAO,EAC3C,GAAIgC,IAAU,KAAM,CAChB/B,EAAQ,MAAMC,EAAgB,uBAAwB,oBAAoBF,EAAK,QAAQ,4BAA6BqD,CAAQ,EAC5HpD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,2BAA4B,KAAMgC,EAAM,GAAI,UAAS,CACxE,CACA,IAAK,QAAS,CACV,IAAMA,EAAQ1C,EAAa,KAAKU,EAAK,OAAO,EACtCsD,EAAStB,IAAU,KAAO,IAAM,OAAOA,EAAM,EAAE,EACrD,GAAIA,IAAU,MAAQ,CAAC,OAAO,UAAUsB,CAAM,GAAKA,EAAS,GAAKA,EAAS,WAAY,CAClFrD,EAAQ,MAAMC,EAAgB,uBAAwB,qBAAqBF,EAAK,QAAQ,uDAAwDqD,CAAQ,EACxJpD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,8BAA+B,SAAQ,KAAM,OAAOgC,EAAM,EAAE,EAAG,UAAS,CAC3F,CACA,QACI,OAAO,cAAc/B,EAASD,CAAI,CAC1C,CACJ,CAEA,SAAS,cAAc,EAAwB,EAAmD,CAC9F,IAAMqD,EAAWlD,EAAWH,CAAI,EAC1BgC,EAAQzC,EAAU,KAAKS,EAAK,OAAO,EACnCuD,EAAOvB,IAAU,KAAO,IAAA,GAAY,OAAOA,EAAM,EAAE,EACzD,GAAIA,IAAU,MAAQuB,IAAS,IAAA,GAC3BtD,EAAQ,MAAMC,EAAgB,uBAAwB,qBAAqBF,EAAK,QAAQ,kFAAmFqD,CAAQ,EACnLpD,EAAQ,UAAUD,EAAK,MAAM,MAGjC,IAAIgC,EAAM,KAAO,IAAA,GAAW,CACxB,IAAMwB,EAAM,OAAOxB,EAAM,EAAE,EAC3B,GAAIwB,EAAM,GAAKA,EAAM,GAAI,CACrBvD,EAAQ,MAAMC,EAAgB,uBAAwB,yBAAyBsD,EAAI,QAAQxD,EAAK,QAAQ,4CAA6CqD,CAAQ,EAC7JpD,EAAQ,UAAUD,EAAK,MAAM,EAC7B,MACJ,CACA,MAAO,CAAE,KAAM,8BAA+B,OAAM,UAAW,KAAM,WAAYwD,EAAK,UAAS,CACnG,CACA,MAAO,CAAE,KAAM,8BAA+B,OAAM,UAAYxB,EAAM,IAAgC,KAAM,WAAY,KAAM,UAAS,CADvI,CAEJ,CAGA,SAAS,OAAO,EAAkC,CAC9C,GAAM,CAACyB,EAAOC,GAAWC,EAAK,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,EACnD,GAAMF,GAAS,GAAKA,GAAS,IAAMC,GAAW,GAAKA,GAAW,GAG9D,MAAO,GAAGC,EAAK,YACnB,CAEA,SAAS,OAAO,EAA4B,CACxC,OAAQA,EAAK,QAAQ,MAAO,EAAE,EAA9B,CACI,IAAK,SACD,MAAO,UACX,IAAK,SACD,MAAO,UACX,IAAK,OACD,MAAO,QACX,QACI,MAAO,MACf,CACJ"}
|