@rsconcept/domain 1.6.1 → 1.7.0

package/dist/{analyzer-camCAEkQ.d.ts → analyzer-CqUJ3FO9.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType, g as TypeClass } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription } from "./error-CZXO5Y6a.js";
+import { i as RSErrorDescription } from "./error-CLnXbkly.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
 
 //#region src/rslang/semantic/analyzer.d.ts
@@ -36,4 +36,4 @@ declare class RSLangAnalyzer {
 }
 //#endregion
 export { RSLangAnalyzer as a, AnalysisOptions as i, AnalysisFast as n, AnalysisFull as r, AnalysisBase as t };
-//# sourceMappingURL=analyzer-camCAEkQ.d.ts.map
+//# sourceMappingURL=analyzer-CqUJ3FO9.d.ts.map

package/dist/{ast-annotations-DiXmFraa.d.ts → ast-annotations-DvB1VcUv.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType } from "./typification-Dk-fisgO.js";
-import { a as RSErrorInfo, r as RSErrorCode } from "./error-CZXO5Y6a.js";
+import { a as RSErrorInfo, r as RSErrorCode } from "./error-CLnXbkly.js";
 
 //#region src/rslang/ast-annotations.d.ts
 /** Appends {@link ExpressionType} onto the node's `annotation.rsType`. */
@@ -13,4 +13,4 @@ declare function annotateError(node: AstNode, code: RSErrorCode, params?: readon
 declare function readErrorAnnotation(node: AstNode): RSErrorInfo | null;
 //#endregion
 export { readTypeAnnotation as i, annotateType as n, readErrorAnnotation as r, annotateError as t };
-//# sourceMappingURL=ast-annotations-DiXmFraa.d.ts.map
+//# sourceMappingURL=ast-annotations-DvB1VcUv.d.ts.map

package/dist/{calculator-BuVooqpb.d.ts → calculator-DKxDpTdT.d.ts}

@@ -1,6 +1,6 @@
 import { t as AstNode } from "./ast-C8sIpKdL.js";
 import { f as ExpressionType } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription } from "./error-CZXO5Y6a.js";
+import { i as RSErrorDescription } from "./error-CLnXbkly.js";
 import { l as Value } from "./value-BduA_ZGp.js";
 
 //#region src/rslang/eval/calculator.d.ts
@@ -36,4 +36,4 @@ declare class RSCalculator {
 }
 //#endregion
 export { CalculatorResult as n, RSCalculator as r, CalculatorEvaluateOptions as t };
-//# sourceMappingURL=calculator-BuVooqpb.d.ts.map
+//# sourceMappingURL=calculator-DKxDpTdT.d.ts.map

package/dist/{error-CZXO5Y6a.d.ts → error-CLnXbkly.d.ts}

@@ -33,6 +33,10 @@ declare const RSErrorCode: {
   readonly expectedFunctionBody: 33816;
   readonly expectedExpressionBody: 33817;
   readonly expectedLogicBody: 33818;
+  readonly expectedQuantifierBody: 33819;
+  readonly expectedDeclarativeBody: 33820;
+  readonly expectedImperativeBody: 33821;
+  readonly expectedRecursiveBody: 33822;
   readonly expectedLocal: 33813;
   readonly expectedType: 33814;
   readonly localDoubleDeclare: 10241;
@@ -97,4 +101,4 @@ declare function getRSErrorPrefix(code: RSErrorCode): string;
 declare function isCritical(code: RSErrorCode): boolean;
 //#endregion
 export { RSErrorInfo as a, RSErrorDescription as i, RSErrorClass as n, getRSErrorPrefix as o, RSErrorCode as r, isCritical as s, ErrorReporter as t };
-//# sourceMappingURL=error-CZXO5Y6a.d.ts.map
+//# sourceMappingURL=error-CLnXbkly.d.ts.map

package/dist/index.d.ts

@@ -9,15 +9,15 @@ import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i a
 import { t as Branded } from "./branded-ZlzIcxzu.js";
 import { n as generateStub, t as applyHash_fnv1a } from "./hash-Y8I4c6Al.js";
 import { O as makeTypePath, b as Typification, d as EmptySetT, f as ExpressionType, g as TypeClass, m as LogicT, t as AnyTypificationT, v as TypeID, y as TypePath } from "./typification-Dk-fisgO.js";
-import { i as RSErrorDescription, r as RSErrorCode } from "./error-CZXO5Y6a.js";
-import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-DiXmFraa.js";
+import { i as RSErrorDescription, r as RSErrorCode } from "./error-CLnXbkly.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-DvB1VcUv.js";
 import { d as ValuePath, l as Value, o as TUPLE_ID, p as makeValuePath } from "./value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-BuVooqpb.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-DKxDpTdT.js";
 import { d as printValue } from "./value-api-B6T6f4Ia.js";
 import { t as parser } from "./parser-Bwd8LxJ1.js";
 import { t as TokenID } from "./token-DeXAmzwr.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
-import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-camCAEkQ.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-CqUJ3FO9.js";
 import { n as ArgumentsType } from "./arguments-extractor-1acwjQNc.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "./typification-parser-BBVx1RxP.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "./typification-graph-6HcZ-rKH.js";

package/dist/library/rsengine.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../ast-C8sIpKdL.js";
 import { l as Value } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-BuVooqpb.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DKxDpTdT.js";
 import { CstType, RSForm } from "./rsform.js";
 import { BasicBinding, BasicsContext, EvalStatus, RSModel } from "./rsmodel.js";
 

package/dist/library/rsform-api.d.ts

@@ -1,7 +1,7 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
 import { g as TypeClass, y as TypePath } from "../typification-Dk-fisgO.js";
 import { t as ValueClass } from "../value-class-CNI-lqXJ.js";
-import { r as AnalysisFull } from "../analyzer-camCAEkQ.js";
+import { r as AnalysisFull } from "../analyzer-CqUJ3FO9.js";
 import { ArgumentValue, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats } from "./rsform.js";
 
 //#region src/library/rsform-api.d.ts

package/dist/library/rsform.d.ts

@@ -1,7 +1,7 @@
 import { t as Graph } from "../graph-DR8rL2o3.js";
 import { i as LibraryItemReference, n as CurrentVersion, r as LibraryItem, s as VersionInfo } from "../library-CYun28Xz.js";
 import { f as ExpressionType, y as TypePath } from "../typification-Dk-fisgO.js";
-import { a as RSLangAnalyzer, t as AnalysisBase } from "../analyzer-camCAEkQ.js";
+import { a as RSLangAnalyzer, t as AnalysisBase } from "../analyzer-CqUJ3FO9.js";
 //#region src/library/rsform.d.ts
 /** Represents {@link Constituenta} type. */
 declare const CstType: {

package/dist/rslang/ast-annotations.d.ts

@@ -1,2 +1,2 @@
-import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-DiXmFraa.js";
+import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-DvB1VcUv.js";
 export { annotateError, annotateType, readErrorAnnotation, readTypeAnnotation };

package/dist/rslang/error.d.ts

@@ -1,2 +1,2 @@
-import { a as RSErrorInfo, i as RSErrorDescription, n as RSErrorClass, o as getRSErrorPrefix, r as RSErrorCode, s as isCritical, t as ErrorReporter } from "../error-CZXO5Y6a.js";
+import { a as RSErrorInfo, i as RSErrorDescription, n as RSErrorClass, o as getRSErrorPrefix, r as RSErrorCode, s as isCritical, t as ErrorReporter } from "../error-CLnXbkly.js";
 export { ErrorReporter, RSErrorClass, RSErrorCode, RSErrorDescription, RSErrorInfo, getRSErrorPrefix, isCritical };

package/dist/rslang/error.js

@@ -20,6 +20,10 @@ const RSErrorCode = {
 	expectedFunctionBody: 33816,
 	expectedExpressionBody: 33817,
 	expectedLogicBody: 33818,
+	expectedQuantifierBody: 33819,
+	expectedDeclarativeBody: 33820,
+	expectedImperativeBody: 33821,
+	expectedRecursiveBody: 33822,
 	expectedLocal: 33813,
 	expectedType: 33814,
 	localDoubleDeclare: 10241,

package/dist/rslang/error.js.map

@@ -1 +1 @@
-{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  forbiddenCharacter: 0x8401, // 33793\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localDoubleDeclare: 0x2801, // 10241\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n\n  typesNotEqual: 0x8803, // 34819\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862 // 34914\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  return code !== RSErrorCode.localDoubleDeclare && code !== RSErrorCode.localNotUsed;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;AAmBA,MAAa,cAAc;CACzB,eAAe;CACf,oBAAoB;CACpB,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,eAAe;CACf,cAAc;CAEd,oBAAoB;CACpB,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAEhB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;AACxB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,OAAO,SAAS,YAAY,sBAAsB,SAAS,YAAY;AACzE"}
+{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  forbiddenCharacter: 0x8401, // 33793\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedQuantifierBody: 0x841b, // 33819\n  expectedDeclarativeBody: 0x841c, // 33820\n  expectedImperativeBody: 0x841d, // 33821\n  expectedRecursiveBody: 0x841e, // 33822\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localDoubleDeclare: 0x2801, // 10241\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n\n  typesNotEqual: 0x8803, // 34819\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862 // 34914\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  return code !== RSErrorCode.localDoubleDeclare && code !== RSErrorCode.localNotUsed;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;AAmBA,MAAa,cAAc;CACzB,eAAe;CACf,oBAAoB;CACpB,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,wBAAwB;CACxB,yBAAyB;CACzB,wBAAwB;CACxB,uBAAuB;CACvB,eAAe;CACf,cAAc;CAEd,oBAAoB;CACpB,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAEhB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;AACxB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,OAAO,SAAS,YAAY,sBAAsB,SAAS,YAAY;AACzE"}

package/dist/rslang/eval/calculator.d.ts

@@ -1,2 +1,2 @@
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-BuVooqpb.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-DKxDpTdT.js";
 export { CalculatorEvaluateOptions, CalculatorResult, RSCalculator };

package/dist/rslang/eval/evaluator.d.ts

@@ -1,5 +1,5 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
-import { t as ErrorReporter } from "../../error-CZXO5Y6a.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 import { l as Value, u as ValueContext } from "../../value-BduA_ZGp.js";
 
 //#region src/rslang/eval/evaluator.d.ts

package/dist/rslang/index.d.ts

@@ -1,13 +1,13 @@
 import { O as makeTypePath, b as Typification, d as EmptySetT, f as ExpressionType, g as TypeClass, m as LogicT, t as AnyTypificationT, v as TypeID, y as TypePath } from "../typification-Dk-fisgO.js";
-import { i as RSErrorDescription, r as RSErrorCode } from "../error-CZXO5Y6a.js";
-import { i as readTypeAnnotation, r as readErrorAnnotation } from "../ast-annotations-DiXmFraa.js";
+import { i as RSErrorDescription, r as RSErrorCode } from "../error-CLnXbkly.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "../ast-annotations-DvB1VcUv.js";
 import { d as ValuePath, l as Value, p as makeValuePath } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-BuVooqpb.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DKxDpTdT.js";
 import { d as printValue } from "../value-api-B6T6f4Ia.js";
 import { t as parser } from "../parser-Bwd8LxJ1.js";
 import { t as TokenID } from "../token-DeXAmzwr.js";
 import { t as ValueClass } from "../value-class-CNI-lqXJ.js";
-import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../analyzer-camCAEkQ.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../analyzer-CqUJ3FO9.js";
 import { n as ArgumentsType } from "../arguments-extractor-1acwjQNc.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "../typification-parser-BBVx1RxP.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "../typification-graph-6HcZ-rKH.js";

package/dist/rslang/parser/syntax-errors.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
 import { g as TypeClass } from "../../typification-Dk-fisgO.js";
-import { t as ErrorReporter } from "../../error-CZXO5Y6a.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 
 //#region src/rslang/parser/syntax-errors.d.ts
 /** Options for syntax error extraction. */

package/dist/rslang/parser/syntax-errors.js

@@ -26,9 +26,10 @@ function extractSyntaxErrors(ast, expression, reporter, annotateErrors = false,
 		if (target !== void 0) annotationTargets.set(error, target);
 	};
 	const bracketError = extractBracketErrors(expression);
-	if (bracketError !== null) collect(bracketError, ast);
 	const hasBracketErrors = bracketError !== null;
 	visitAstDFS(ast, (node) => extractInternal(node, expression, collect, hasBracketErrors, options));
+	const hasIncompleteGenerator = collected.some((error) => isIncompleteGeneratorBodyCode(error.code));
+	if (bracketError !== null && !hasIncompleteGenerator) collect(bracketError, ast);
 	for (const error of deduplicateErrors(collected)) {
 		reporter(error);
 		if (annotateErrors) {
@@ -63,6 +64,10 @@ function extractInternal(node, expression, collect, ignoreUnknownErrors, options
 function classifyParseError(node, expression, options) {
 	const incompleteFunctionDecl = detectIncompleteFunctionDecl(node, expression, options?.expected);
 	if (incompleteFunctionDecl !== null) return incompleteFunctionDecl;
+	const incompleteQuantifier = detectIncompleteQuantifier(node, expression);
+	if (incompleteQuantifier !== null) return incompleteQuantifier;
+	const incompleteGenerator = detectIncompleteGenerator(node, expression);
+	if (incompleteGenerator !== null) return incompleteGenerator;
 	const filterParen = detectFilterParenMismatch(node, expression);
 	if (filterParen !== null) return filterParen;
 	return detectGlobalFuncWithoutArgs(node, expression);
@@ -89,6 +94,210 @@ function incompleteFormalExpressionCode(expected) {
 		default: return RSErrorCode.expectedFunctionBody;
 	}
 }
+function detectIncompleteQuantifier(node, expression) {
+	const quantNode = findAncestor(node, isQuantifierNode);
+	if (quantNode === null) return null;
+	const bodyChild = quantNode.children[quantNode.children.length - 1];
+	if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) return null;
+	const headerChildren = quantNode.children.slice(0, -1);
+	if (headerChildren.length < 3) return null;
+	const varPack = headerChildren.find((child) => child.typeID === 31 || child.typeID === TokenID.NT_ENUM_DECL);
+	if (varPack === void 0 || subtreeHasError(varPack)) return null;
+	const domainChild = headerChildren[headerChildren.length - 1];
+	if (domainChild === varPack || subtreeHasError(domainChild)) return null;
+	if (expression.slice(quantNode.to).trim().length > 0) return null;
+	return {
+		code: RSErrorCode.expectedQuantifierBody,
+		from: bodyChild.from,
+		to: bodyChild.to
+	};
+}
+function detectIncompleteGenerator(node, expression) {
+	return detectIncompleteDeclarative(node, expression) ?? detectIncompleteImperative(node, expression) ?? detectIncompleteRecursion(node, expression);
+}
+function detectIncompleteDeclarative(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 60 || target.typeID === TokenID.NT_DECLARATIVE_EXPR), RSErrorCode.expectedDeclarativeBody, (slot) => isIncompleteDeclarativeBody(slot));
+}
+function detectIncompleteImperative(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 64 || target.typeID === TokenID.NT_IMPERATIVE_EXPR), RSErrorCode.expectedImperativeBody, (slot) => isIncompleteImperativeBody(slot, expression));
+}
+function detectIncompleteRecursion(node, expression) {
+	return detectIncompleteGeneratorBody(node, expression, findAncestor(node, (target) => target.typeID === 68), RSErrorCode.expectedRecursiveBody, (slot) => isIncompleteRecursionBody(slot));
+}
+function detectIncompleteGeneratorBody(node, expression, generatorNode, code, isIncomplete) {
+	if (generatorNode === null) return null;
+	if (expression.slice(generatorNode.to).trim().length > 0) return null;
+	const slot = getGeneratorBodySlot(generatorNode, expression);
+	if (slot === null || !isIncomplete(slot)) return null;
+	if (!generatorHeaderIsValid(generatorNode, expression, slot.headerEndIndex)) return null;
+	if (!isErrorInBodySlot(node, slot, generatorNode)) return null;
+	return incompleteGeneratorError(code, node);
+}
+function getGeneratorBodySlot(generatorNode, expression) {
+	if (generatorNode.typeID === 60 || generatorNode.typeID === TokenID.NT_DECLARATIVE_EXPR) return getDeclarativeBodySlot(generatorNode, expression);
+	if (generatorNode.typeID === 64 || generatorNode.typeID === TokenID.NT_IMPERATIVE_EXPR) return getImperativeBodySlot(generatorNode, expression);
+	if (generatorNode.typeID === 68) return getRecursionBodySlot(generatorNode, expression);
+	return null;
+}
+function getDeclarativeBodySlot(declNode, expression) {
+	const pipeIndex = declNode.children.findIndex((child) => isPipeToken(child, expression));
+	if (pipeIndex >= 0) return {
+		nodes: contentChildren(declNode, expression, pipeIndex + 1),
+		headerEndIndex: pipeIndex + 1
+	};
+	const domainNode = findDeclarativeDomain(declNode, expression);
+	if (domainNode === null) return null;
+	const domainIndex = declNode.children.indexOf(domainNode);
+	return {
+		nodes: contentChildren(declNode, expression, domainIndex + 1),
+		headerEndIndex: domainIndex + 1
+	};
+}
+function getImperativeBodySlot(impNode, expression) {
+	const pipeIndex = impNode.children.findIndex((child) => isPipeToken(child, expression));
+	if (pipeIndex >= 0) return {
+		nodes: contentChildren(impNode, expression, pipeIndex + 1),
+		headerEndIndex: pipeIndex + 1
+	};
+	const tupleNode = findImperativeTuple(impNode);
+	if (tupleNode === null) return null;
+	const tupleIndex = impNode.children.indexOf(tupleNode);
+	return {
+		nodes: contentChildren(impNode, expression, tupleIndex + 1),
+		headerEndIndex: tupleIndex + 1
+	};
+}
+function getRecursionBodySlot(recNode, expression) {
+	const initNode = findRecursionInit(recNode, expression);
+	if (initNode === null) return null;
+	const initIndex = recNode.children.indexOf(initNode);
+	const afterInit = contentChildren(recNode, expression, initIndex + 1);
+	const lastPipeIndex = findLastPipeIndex(afterInit, expression);
+	if (lastPipeIndex < 0) return {
+		nodes: afterInit,
+		headerEndIndex: initIndex + 1
+	};
+	return {
+		nodes: afterInit.slice(lastPipeIndex + 1),
+		headerEndIndex: recNode.children.indexOf(afterInit[lastPipeIndex]) + 1
+	};
+}
+function contentChildren(generatorNode, expression, fromIndex) {
+	return generatorNode.children.slice(fromIndex).filter((child) => !isClosingBrace(child, expression));
+}
+function findDeclarativeDomain(declNode, expression) {
+	const inIndex = declNode.children.findIndex((child) => expression.slice(child.from, child.to) === "∈");
+	if (inIndex < 0) return null;
+	for (let index = inIndex + 1; index < declNode.children.length; index++) {
+		const child = declNode.children[index];
+		if (isPipeToken(child, expression) || isClosingBrace(child, expression)) break;
+		if (child.typeID === 38) return child;
+	}
+	return null;
+}
+function findImperativeTuple(impNode) {
+	for (const child of impNode.children) if (child.typeID === 38) return child;
+	return null;
+}
+function findLastPipeIndex(nodes, expression) {
+	for (let index = nodes.length - 1; index >= 0; index--) if (isPipeToken(nodes[index], expression)) return index;
+	return -1;
+}
+function generatorHeaderIsValid(generatorNode, expression, headerEndIndex) {
+	for (let index = 0; index < headerEndIndex; index++) {
+		const child = generatorNode.children[index];
+		if (child.typeID === TokenID.ERROR) return false;
+		if (isStructuralGeneratorToken(child, expression)) continue;
+		if (subtreeHasError(child)) return false;
+	}
+	return true;
+}
+function isIncompleteDeclarativeBody(slot) {
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isIncompleteImperativeBody(slot, expression) {
+	if (slot.nodes.length === 0) return true;
+	if (slot.nodes.length === 1 && slot.nodes[0].typeID === 65) return isImpBlocksIncomplete(slot.nodes[0], expression);
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isIncompleteRecursionBody(slot) {
+	return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+function isEmptyOrErrorOnlyBody(nodes) {
+	if (nodes.length === 0) return true;
+	if (nodes.length === 1) return isErrorPlaceholder(nodes[0]);
+	return false;
+}
+function isImpBlocksIncomplete(blocksNode, expression) {
+	if (blocksNode.children.length === 0) return true;
+	const lastChild = blocksNode.children[blocksNode.children.length - 1];
+	if (lastChild.typeID === TokenID.ERROR) return true;
+	if (isSemicolonToken(lastChild, expression)) return true;
+	if (lastChild.typeID === 38 && isErrorPlaceholder(lastChild)) return true;
+	return false;
+}
+function isErrorInBodySlot(errorNode, slot, generatorNode) {
+	if (slot.nodes.length === 0) {
+		const bodyStart = generatorNode.children[slot.headerEndIndex]?.from ?? generatorNode.from;
+		return errorNode.from >= bodyStart;
+	}
+	for (const bodyNode of slot.nodes) if (errorNode === bodyNode || isDescendantOf(bodyNode, errorNode)) {
+		if (isErrorPlaceholder(bodyNode)) return true;
+		if (bodyNode.typeID === 65 && isImpBlocksTailError(bodyNode, errorNode)) return true;
+	}
+	return false;
+}
+function isImpBlocksTailError(blocksNode, errorNode) {
+	const lastChild = blocksNode.children[blocksNode.children.length - 1];
+	return lastChild.typeID === TokenID.ERROR && (errorNode === lastChild || isDescendantOf(lastChild, errorNode));
+}
+function isErrorPlaceholder(node) {
+	if (node.typeID === TokenID.ERROR) return true;
+	if (node.children.length === 0) return false;
+	return node.children.every((child) => isErrorPlaceholder(child));
+}
+function isDescendantOf(ancestor, node) {
+	let current = node.parent;
+	while (current !== null) {
+		if (current === ancestor) return true;
+		current = current.parent;
+	}
+	return false;
+}
+function findRecursionInit(recursionNode, expression) {
+	const assignIndex = recursionNode.children.findIndex((child) => expression.slice(child.from, child.to) === ":=");
+	if (assignIndex < 0) return null;
+	for (let index = assignIndex + 1; index < recursionNode.children.length; index++) {
+		const child = recursionNode.children[index];
+		if (child.typeID === TokenID.ERROR) break;
+		if (isPipeToken(child, expression) || isClosingBrace(child, expression)) continue;
+		return child;
+	}
+	return null;
+}
+function incompleteGeneratorError(code, errorNode) {
+	return {
+		code,
+		from: errorNode.from,
+		to: errorNode.to
+	};
+}
+function isIncompleteGeneratorBodyCode(code) {
+	return code === RSErrorCode.expectedDeclarativeBody || code === RSErrorCode.expectedImperativeBody || code === RSErrorCode.expectedRecursiveBody;
+}
+function isPipeToken(node, expression) {
+	return expression.slice(node.from, node.to) === "|";
+}
+function isSemicolonToken(node, expression) {
+	return expression.slice(node.from, node.to) === ";";
+}
+function isClosingBrace(node, expression) {
+	return node.typeID !== TokenID.ERROR && expression.slice(node.from, node.to) === "}";
+}
+function isStructuralGeneratorToken(node, expression) {
+	const text = expression.slice(node.from, node.to);
+	return text === "{" || text === "}" || text === "|" || text === "∈" || text === ":=" || text === ";";
+}
 function subtreeHasError(node) {
 	if (node.typeID === TokenID.ERROR) return true;
 	return node.children.some(subtreeHasError);
@@ -145,6 +354,9 @@ function findAncestor(node, predicate) {
 function isFunctionDeclNode(node) {
 	return node.typeID === 76 || node.typeID === TokenID.NT_FUNC_DEFINITION;
 }
+function isQuantifierNode(node) {
+	return node.typeID === 29;
+}
 function isFunctionNode(node) {
 	return node.typeID === 69 || node.typeID === TokenID.ID_FUNCTION;
 }

package/dist/rslang/parser/syntax-errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"syntax-errors.js","names":["TypeClassEnum"],"sources":["../../../src/rslang/parser/syntax-errors.ts"],"sourcesContent":["/**\n * Module: Syntactic errors reporting.\n */\n\nimport { type AstNode, visitAstDFS } from '../../parsing';\nimport { annotateError } from '../ast-annotations';\nimport { type ErrorReporter, RSErrorCode, type RSErrorDescription } from '../error';\nimport { type TypeClass, TypeClass as TypeClassEnum } from '../semantic/typification';\n\nimport { Arguments, Filter, Function, Function_decl, Predicate, Variable } from './parser.terms';\nimport { TokenID } from './token';\n\n/** Options for syntax error extraction. */\nexport interface SyntaxErrorOptions {\n  expected?: TypeClass;\n}\n\n/** Extracts syntax errors from an AST. */\nexport function extractSyntaxErrors(\n  ast: AstNode,\n  expression: string,\n  reporter: ErrorReporter,\n  annotateErrors: boolean = false,\n  options?: SyntaxErrorOptions\n) {\n  const forbiddenErrors = extractForbiddenCharacterErrors(expression);\n  if (forbiddenErrors.length > 0) {\n    for (const error of forbiddenErrors) {\n      reporter(error);\n      if (annotateErrors) {\n        annotateError(ast, error.code, error.params);\n      }\n    }\n    return;\n  }\n\n  const collected: RSErrorDescription[] = [];\n  const annotationTargets = new Map<RSErrorDescription, AstNode>();\n  const collect = (error: RSErrorDescription, target?: AstNode) => {\n    collected.push(error);\n    if (target !== undefined) {\n      annotationTargets.set(error, target);\n    }\n  };\n\n  const bracketError = extractBracketErrors(expression);\n  if (bracketError !== null) {\n    collect(bracketError, ast);\n  }\n  const hasBracketErrors = bracketError !== null;\n  visitAstDFS(ast, node => extractInternal(node, expression, collect, hasBracketErrors, options));\n\n  for (const error of deduplicateErrors(collected)) {\n    reporter(error);\n    if (annotateErrors) {\n      const target = annotationTargets.get(error);\n      if (target !== undefined) {\n        annotateError(target, error.code, error.params);\n      }\n    }\n  }\n}\n\n// ====== Internals =========\nfunction extractInternal(\n  node: AstNode,\n  expression: string,\n  collect: (error: RSErrorDescription, target: AstNode) => void,\n  ignoreUnknownErrors: boolean,\n  options?: SyntaxErrorOptions\n) {\n  if (node.typeID !== TokenID.ERROR) {\n    return;\n  }\n\n  function emit(target: AstNode, code: RSErrorCode, params?: readonly string[]) {\n    collect({ code: code, from: target.from, to: target.to, params }, target);\n  }\n\n  const classified = classifyParseError(node, expression, options);\n  if (classified !== null) {\n    collect(classified, node);\n    return;\n  }\n\n  const parent = node.parent;\n  if (parent === null) {\n    if (!ignoreUnknownErrors) {\n      return emit(node, RSErrorCode.unknownSyntax);\n    }\n    return;\n  }\n\n  if (parent.typeID === Variable) {\n    return emit(parent, RSErrorCode.expectedLocal);\n  }\n\n  if (!ignoreUnknownErrors) {\n    emit(node.from === node.to ? parent : node, RSErrorCode.unknownSyntax);\n  }\n}\n\nfunction classifyParseError(\n  node: AstNode,\n  expression: string,\n  options?: SyntaxErrorOptions\n): RSErrorDescription | null {\n  const incompleteFunctionDecl = detectIncompleteFunctionDecl(node, expression, options?.expected);\n  if (incompleteFunctionDecl !== null) {\n    return incompleteFunctionDecl;\n  }\n\n  const filterParen = detectFilterParenMismatch(node, expression);\n  if (filterParen !== null) {\n    return filterParen;\n  }\n\n  return detectGlobalFuncWithoutArgs(node, expression);\n}\n\nfunction detectIncompleteFunctionDecl(\n  node: AstNode,\n  expression: string,\n  expected?: TypeClass\n): RSErrorDescription | null {\n  const funcDecl = findAncestor(node, isFunctionDeclNode);\n  if (funcDecl === null) {\n    return null;\n  }\n\n  const bodyChild = funcDecl.children[funcDecl.children.length - 1];\n  if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) {\n    return null;\n  }\n\n  const argsNode = funcDecl.children.find(child => child.typeID === Arguments || child.typeID === TokenID.NT_ARGUMENTS);\n  if (argsNode === undefined || subtreeHasError(argsNode)) {\n    return null;\n  }\n\n  if (expression.slice(funcDecl.to).trim().length > 0) {\n    return null;\n  }\n\n  return {\n    code: incompleteFormalExpressionCode(expected),\n    from: bodyChild.from,\n    to: bodyChild.to\n  };\n}\n\nfunction incompleteFormalExpressionCode(expected?: TypeClass): RSErrorCode {\n  switch (expected) {\n    case TypeClassEnum.function:\n      return RSErrorCode.expectedExpressionBody;\n    case TypeClassEnum.predicate:\n    case TypeClassEnum.logic:\n      return RSErrorCode.expectedLogicBody;\n    default:\n      return RSErrorCode.expectedFunctionBody;\n  }\n}\n\nfunction subtreeHasError(node: AstNode): boolean {\n  if (node.typeID === TokenID.ERROR) {\n    return true;\n  }\n  return node.children.some(subtreeHasError);\n}\n\nfunction detectFilterParenMismatch(node: AstNode, expression: string): RSErrorDescription | null {\n  const filterNode = findAncestor(node, isFilterNode) ?? findRelatedNode(node, isFilterNode);\n  if (filterNode === null) {\n    return null;\n  }\n\n  const nextChar = expression[filterNode.to];\n  if (nextChar === '(') {\n    return {\n      code: RSErrorCode.invalidFilterSyntax,\n      from: filterNode.from,\n      to: filterNode.to + 1\n    };\n  }\n  return null;\n}\n\nfunction detectGlobalFuncWithoutArgs(node: AstNode, expression: string): RSErrorDescription | null {\n  const funcNode =\n    findAncestor(node, n => isFunctionNode(n) || isPredicateNode(n)) ??\n    findRelatedNode(node, n => isFunctionNode(n) || isPredicateNode(n));\n  if (funcNode === null) {\n    return null;\n  }\n  return classifyFuncWithoutArgs(funcNode, expression);\n}\n\nfunction findRelatedNode(node: AstNode, predicate: (target: AstNode) => boolean): AstNode | null {\n  let current: AstNode | null = node.parent;\n  while (current !== null) {\n    for (const child of current.children) {\n      if (predicate(child)) {\n        return child;\n      }\n    }\n    current = current.parent;\n  }\n  return null;\n}\n\nfunction classifyFuncWithoutArgs(funcNode: AstNode, expression: string): RSErrorDescription | null {\n  const name = expression.slice(funcNode.from, funcNode.to);\n  const rest = expression.slice(funcNode.to);\n\n  const withoutArgs: RSErrorDescription = {\n    code: RSErrorCode.globalFuncWithoutArgs,\n    from: funcNode.from,\n    to: funcNode.to,\n    params: [name]\n  };\n\n  // Function with nothing (or only whitespace) after it is genuinely called without arguments.\n  if (/^\\s*$/.test(rest)) {\n    return withoutArgs;\n  }\n\n  // Anything other than a bracketed argument form (e.g. parentheses or braces) is malformed call\n  // syntax: defer to the bracket/syntax error handling instead of reporting a missing-arguments error.\n  const openBracket = /^\\s*\\[/.exec(rest);\n  if (openBracket === null) {\n    return null;\n  }\n\n  const closeIdx = findMatchingCloseBracket(rest, openBracket[0].length - 1);\n  if (closeIdx >= 0) {\n    const inner = rest.slice(openBracket[0].length, closeIdx).trim();\n    if (inner.length === 0) {\n      return withoutArgs;\n    }\n  }\n\n  return null;\n}\n\nfunction findAncestor(node: AstNode, predicate: (node: AstNode) => boolean): AstNode | null {\n  let current: AstNode | null = node;\n  while (current !== null) {\n    if (predicate(current)) {\n      return current;\n    }\n    current = current.parent;\n  }\n  return null;\n}\n\nfunction isFunctionDeclNode(node: AstNode): boolean {\n  return node.typeID === Function_decl || node.typeID === TokenID.NT_FUNC_DEFINITION;\n}\n\nfunction isFunctionNode(node: AstNode): boolean {\n  return node.typeID === Function || node.typeID === TokenID.ID_FUNCTION;\n}\n\nfunction isPredicateNode(node: AstNode): boolean {\n  return node.typeID === Predicate || node.typeID === TokenID.ID_PREDICATE;\n}\n\nfunction isFilterNode(node: AstNode): boolean {\n  return node.typeID === Filter || node.typeID === TokenID.FILTER;\n}\n\nfunction findMatchingCloseBracket(expression: string, openPos: number): number {\n  const open = expression[openPos];\n  if (open !== '[') {\n    return -1;\n  }\n\n  let depth = 0;\n  for (let index = openPos; index < expression.length; index++) {\n    const symbol = expression[index];\n    if (symbol === '[') {\n      depth++;\n    } else if (symbol === ']') {\n      depth--;\n      if (depth === 0) {\n        return index;\n      }\n    }\n  }\n  return -1;\n}\n\nfunction deduplicateErrors(errors: RSErrorDescription[]): RSErrorDescription[] {\n  const result: RSErrorDescription[] = [];\n\n  for (const error of errors) {\n    const duplicate = result.some(\n      existing => existing.code === error.code && existing.from === error.from && existing.to === error.to\n    );\n    if (duplicate) {\n      continue;\n    }\n\n    if (error.code !== RSErrorCode.unknownSyntax) {\n      for (let index = result.length - 1; index >= 0; index--) {\n        if (result[index].code === RSErrorCode.unknownSyntax && rangesOverlap(error, result[index])) {\n          result.splice(index, 1);\n        }\n      }\n    }\n\n    result.push(error);\n  }\n\n  const specific = result.filter(error => error.code !== RSErrorCode.unknownSyntax);\n  return result.filter(\n    error => error.code !== RSErrorCode.unknownSyntax || !specific.some(item => rangesOverlap(error, item))\n  );\n}\n\nfunction rangesOverlap(a: RSErrorDescription, b: RSErrorDescription): boolean {\n  return a.from < b.to && b.from < a.to;\n}\n\ntype OpenBracket = '(' | '[' | '{';\ntype CloseBracket = ')' | ']' | '}';\n\ninterface BracketFrame {\n  bracket: OpenBracket;\n  index: number;\n}\n\nconst ALLOWED_EXPRESSION_CHARS = buildAllowedExpressionChars();\n\nfunction buildAllowedExpressionChars(): Set<string> {\n  const chars = new Set<string>();\n  for (const chunk of [\n    '0123456789',\n    'abcdefghijklmnopqrstuvwxyz',\n    'ABCDEFGHIJKLMNOPQRSTUVWXYZ',\n    '_',\n    '∅¬∀∃⇔⇒∨&ℬ+-*∪\\\\∆∩×∈∉⊆⊄⊂<>≥≤≠=,:;|[]{}()'\n  ]) {\n    for (const symbol of chunk) {\n      chars.add(symbol);\n    }\n  }\n  for (let codePoint = 0x03b1; codePoint <= 0x03c9; codePoint++) {\n    chars.add(String.fromCodePoint(codePoint));\n  }\n  return chars;\n}\n\nfunction isAllowedExpressionChar(symbol: string): boolean {\n  return /\\s/u.test(symbol) || ALLOWED_EXPRESSION_CHARS.has(symbol);\n}\n\nfunction extractForbiddenCharacterErrors(expression: string): RSErrorDescription[] {\n  const errors: RSErrorDescription[] = [];\n  let pos = 0;\n\n  while (pos < expression.length) {\n    const symbol = expression[pos];\n    if (isAllowedExpressionChar(symbol)) {\n      pos++;\n      continue;\n    }\n\n    const start = pos;\n    while (pos < expression.length && !isAllowedExpressionChar(expression[pos])) {\n      pos++;\n    }\n\n    errors.push({\n      code: RSErrorCode.forbiddenCharacter,\n      from: start,\n      to: pos,\n      params: [expression.slice(start, pos)]\n    });\n  }\n\n  return errors;\n}\n\nfunction extractBracketErrors(expression: string): RSErrorDescription | null {\n  const stack: BracketFrame[] = [];\n\n  for (let pos = 0; pos < expression.length; pos++) {\n    const symbol = expression[pos];\n    if (isOpenBracket(symbol)) {\n      if (isDoubleParenthesis(expression, pos)) {\n        return {\n          code: RSErrorCode.doubleParenthesis,\n          from: pos,\n          to: pos + 2\n        };\n      }\n      stack.push({ bracket: symbol, index: pos });\n      continue;\n    }\n    if (!isCloseBracket(symbol)) {\n      continue;\n    }\n\n    const expectedOpen = closeToOpen(symbol);\n    const top = stack[stack.length - 1];\n    if (top === undefined) {\n      return {\n        code: RSErrorCode.missingOpenBracket,\n        from: pos,\n        to: pos + 1,\n        params: [symbol]\n      };\n    }\n\n    if (top.bracket !== expectedOpen) {\n      return {\n        code: RSErrorCode.bracketMismatch,\n        from: pos,\n        to: pos + 1,\n        params: [openToClose(top.bracket), symbol]\n      };\n    }\n\n    stack.pop();\n  }\n\n  if (stack.length > 0) {\n    const unclosed = stack[0];\n    return {\n      code: RSErrorCode.missingCloseBracket,\n      from: unclosed.index,\n      to: unclosed.index + 1,\n      params: [unclosed.bracket]\n    };\n  }\n\n  return null;\n}\n\nfunction isOpenBracket(symbol: string): symbol is OpenBracket {\n  return symbol === '(' || symbol === '[' || symbol === '{';\n}\n\nfunction isCloseBracket(symbol: string): symbol is CloseBracket {\n  return symbol === ')' || symbol === ']' || symbol === '}';\n}\n\nfunction openToClose(symbol: OpenBracket): CloseBracket {\n  switch (symbol) {\n    case '(':\n      return ')';\n    case '[':\n      return ']';\n    case '{':\n      return '}';\n  }\n}\n\nfunction closeToOpen(symbol: CloseBracket): OpenBracket {\n  switch (symbol) {\n    case ')':\n      return '(';\n    case ']':\n      return '[';\n    case '}':\n      return '{';\n  }\n}\n\nfunction isDoubleParenthesis(expression: string, pos: number): boolean {\n  const isOpenDoubleParenthesis = expression[pos] === '(' && expression[pos + 1] === '(';\n  if (!isOpenDoubleParenthesis) {\n    return false;\n  }\n\n  const outerClose = findMatchingCloseParen(expression, pos);\n  const innerClose = findMatchingCloseParen(expression, pos + 1);\n  if (outerClose < 0 || innerClose < 0) {\n    return false;\n  }\n\n  return outerClose === innerClose + 1;\n}\n\nfunction findMatchingCloseParen(expression: string, openPos: number): number {\n  if (expression[openPos] !== '(') {\n    return -1;\n  }\n\n  const stack: OpenBracket[] = [];\n  for (let index = openPos; index < expression.length; index++) {\n    const symbol = expression[index];\n    if (isOpenBracket(symbol)) {\n      stack.push(symbol);\n      continue;\n    }\n    if (!isCloseBracket(symbol)) {\n      continue;\n    }\n    const top = stack.pop();\n    if (top === undefined || top !== closeToOpen(symbol)) {\n      return -1;\n    }\n    if (stack.length === 0) {\n      return index;\n    }\n  }\n\n  return -1;\n}\n"],"mappings":";;;;;;;;;;;;AAkBA,SAAgB,oBACd,KACA,YACA,UACA,iBAA0B,OAC1B,SACA;CACA,MAAM,kBAAkB,gCAAgC,UAAU;CAClE,IAAI,gBAAgB,SAAS,GAAG;EAC9B,KAAK,MAAM,SAAS,iBAAiB;GACnC,SAAS,KAAK;GACd,IAAI,gBACF,cAAc,KAAK,MAAM,MAAM,MAAM,MAAM;EAE/C;EACA;CACF;CAEA,MAAM,YAAkC,CAAC;CACzC,MAAM,oCAAoB,IAAI,IAAiC;CAC/D,MAAM,WAAW,OAA2B,WAAqB;EAC/D,UAAU,KAAK,KAAK;EACpB,IAAI,WAAW,QACb,kBAAkB,IAAI,OAAO,MAAM;CAEvC;CAEA,MAAM,eAAe,qBAAqB,UAAU;CACpD,IAAI,iBAAiB,MACnB,QAAQ,cAAc,GAAG;CAE3B,MAAM,mBAAmB,iBAAiB;CAC1C,YAAY,MAAK,SAAQ,gBAAgB,MAAM,YAAY,SAAS,kBAAkB,OAAO,CAAC;CAE9F,KAAK,MAAM,SAAS,kBAAkB,SAAS,GAAG;EAChD,SAAS,KAAK;EACd,IAAI,gBAAgB;GAClB,MAAM,SAAS,kBAAkB,IAAI,KAAK;GAC1C,IAAI,WAAW,QACb,cAAc,QAAQ,MAAM,MAAM,MAAM,MAAM;EAElD;CACF;AACF;AAGA,SAAS,gBACP,MACA,YACA,SACA,qBACA,SACA;CACA,IAAI,KAAK,WAAW,QAAQ,OAC1B;CAGF,SAAS,KAAK,QAAiB,MAAmB,QAA4B;EAC5E,QAAQ;GAAQ;GAAM,MAAM,OAAO;GAAM,IAAI,OAAO;GAAI;EAAO,GAAG,MAAM;CAC1E;CAEA,MAAM,aAAa,mBAAmB,MAAM,YAAY,OAAO;CAC/D,IAAI,eAAe,MAAM;EACvB,QAAQ,YAAY,IAAI;EACxB;CACF;CAEA,MAAM,SAAS,KAAK;CACpB,IAAI,WAAW,MAAM;EACnB,IAAI,CAAC,qBACH,OAAO,KAAK,MAAM,YAAY,aAAa;EAE7C;CACF;CAEA,IAAI,OAAO,WAAA,GACT,OAAO,KAAK,QAAQ,YAAY,aAAa;CAG/C,IAAI,CAAC,qBACH,KAAK,KAAK,SAAS,KAAK,KAAK,SAAS,MAAM,YAAY,aAAa;AAEzE;AAEA,SAAS,mBACP,MACA,YACA,SAC2B;CAC3B,MAAM,yBAAyB,6BAA6B,MAAM,YAAY,SAAS,QAAQ;CAC/F,IAAI,2BAA2B,MAC7B,OAAO;CAGT,MAAM,cAAc,0BAA0B,MAAM,UAAU;CAC9D,IAAI,gBAAgB,MAClB,OAAO;CAGT,OAAO,4BAA4B,MAAM,UAAU;AACrD;AAEA,SAAS,6BACP,MACA,YACA,UAC2B;CAC3B,MAAM,WAAW,aAAa,MAAM,kBAAkB;CACtD,IAAI,aAAa,MACf,OAAO;CAGT,MAAM,YAAY,SAAS,SAAS,SAAS,SAAS,SAAS;CAC/D,IAAI,WAAW,WAAW,QAAQ,SAAS,SAAS,WAClD,OAAO;CAGT,MAAM,WAAW,SAAS,SAAS,MAAK,UAAS,MAAM,WAAA,MAAwB,MAAM,WAAW,QAAQ,YAAY;CACpH,IAAI,aAAa,UAAa,gBAAgB,QAAQ,GACpD,OAAO;CAGT,IAAI,WAAW,MAAM,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,GAChD,OAAO;CAGT,OAAO;EACL,MAAM,+BAA+B,QAAQ;EAC7C,MAAM,UAAU;EAChB,IAAI,UAAU;CAChB;AACF;AAEA,SAAS,+BAA+B,UAAmC;CACzE,QAAQ,UAAR;EACE,KAAKA,UAAc,UACjB,OAAO,YAAY;EACrB,KAAKA,UAAc;EACnB,KAAKA,UAAc,OACjB,OAAO,YAAY;EACrB,SACE,OAAO,YAAY;CACvB;AACF;AAEA,SAAS,gBAAgB,MAAwB;CAC/C,IAAI,KAAK,WAAW,QAAQ,OAC1B,OAAO;CAET,OAAO,KAAK,SAAS,KAAK,eAAe;AAC3C;AAEA,SAAS,0BAA0B,MAAe,YAA+C;CAC/F,MAAM,aAAa,aAAa,MAAM,YAAY,KAAK,gBAAgB,MAAM,YAAY;CACzF,IAAI,eAAe,MACjB,OAAO;CAIT,IADiB,WAAW,WAAW,QACtB,KACf,OAAO;EACL,MAAM,YAAY;EAClB,MAAM,WAAW;EACjB,IAAI,WAAW,KAAK;CACtB;CAEF,OAAO;AACT;AAEA,SAAS,4BAA4B,MAAe,YAA+C;CACjG,MAAM,WACJ,aAAa,OAAM,MAAK,eAAe,CAAC,KAAK,gBAAgB,CAAC,CAAC,KAC/D,gBAAgB,OAAM,MAAK,eAAe,CAAC,KAAK,gBAAgB,CAAC,CAAC;CACpE,IAAI,aAAa,MACf,OAAO;CAET,OAAO,wBAAwB,UAAU,UAAU;AACrD;AAEA,SAAS,gBAAgB,MAAe,WAAyD;CAC/F,IAAI,UAA0B,KAAK;CACnC,OAAO,YAAY,MAAM;EACvB,KAAK,MAAM,SAAS,QAAQ,UAC1B,IAAI,UAAU,KAAK,GACjB,OAAO;EAGX,UAAU,QAAQ;CACpB;CACA,OAAO;AACT;AAEA,SAAS,wBAAwB,UAAmB,YAA+C;CACjG,MAAM,OAAO,WAAW,MAAM,SAAS,MAAM,SAAS,EAAE;CACxD,MAAM,OAAO,WAAW,MAAM,SAAS,EAAE;CAEzC,MAAM,cAAkC;EACtC,MAAM,YAAY;EAClB,MAAM,SAAS;EACf,IAAI,SAAS;EACb,QAAQ,CAAC,IAAI;CACf;CAGA,IAAI,QAAQ,KAAK,IAAI,GACnB,OAAO;CAKT,MAAM,cAAc,SAAS,KAAK,IAAI;CACtC,IAAI,gBAAgB,MAClB,OAAO;CAGT,MAAM,WAAW,yBAAyB,MAAM,YAAY,EAAE,CAAC,SAAS,CAAC;CACzE,IAAI,YAAY,GAEd;MADc,KAAK,MAAM,YAAY,EAAE,CAAC,QAAQ,QAAQ,CAAC,CAAC,KACtD,CAAA,CAAM,WAAW,GACnB,OAAO;CACT;CAGF,OAAO;AACT;AAEA,SAAS,aAAa,MAAe,WAAuD;CAC1F,IAAI,UAA0B;CAC9B,OAAO,YAAY,MAAM;EACvB,IAAI,UAAU,OAAO,GACnB,OAAO;EAET,UAAU,QAAQ;CACpB;CACA,OAAO;AACT;AAEA,SAAS,mBAAmB,MAAwB;CAClD,OAAO,KAAK,WAAA,MAA4B,KAAK,WAAW,QAAQ;AAClE;AAEA,SAAS,eAAe,MAAwB;CAC9C,OAAO,KAAK,WAAA,MAAuB,KAAK,WAAW,QAAQ;AAC7D;AAEA,SAAS,gBAAgB,MAAwB;CAC/C,OAAO,KAAK,WAAA,MAAwB,KAAK,WAAW,QAAQ;AAC9D;AAEA,SAAS,aAAa,MAAwB;CAC5C,OAAO,KAAK,WAAA,MAAqB,KAAK,WAAW,QAAQ;AAC3D;AAEA,SAAS,yBAAyB,YAAoB,SAAyB;CAE7E,IADa,WAAW,aACX,KACX,OAAO;CAGT,IAAI,QAAQ;CACZ,KAAK,IAAI,QAAQ,SAAS,QAAQ,WAAW,QAAQ,SAAS;EAC5D,MAAM,SAAS,WAAW;EAC1B,IAAI,WAAW,KACb;OACK,IAAI,WAAW,KAAK;GACzB;GACA,IAAI,UAAU,GACZ,OAAO;EAEX;CACF;CACA,OAAO;AACT;AAEA,SAAS,kBAAkB,QAAoD;CAC7E,MAAM,SAA+B,CAAC;CAEtC,KAAK,MAAM,SAAS,QAAQ;EAI1B,IAHkB,OAAO,MACvB,aAAY,SAAS,SAAS,MAAM,QAAQ,SAAS,SAAS,MAAM,QAAQ,SAAS,OAAO,MAAM,EAEhG,GACF;EAGF,IAAI,MAAM,SAAS,YAAY,eAC7B;QAAK,IAAI,QAAQ,OAAO,SAAS,GAAG,SAAS,GAAG,SAC9C,IAAI,OAAO,MAAM,CAAC,SAAS,YAAY,iBAAiB,cAAc,OAAO,OAAO,MAAM,GACxF,OAAO,OAAO,OAAO,CAAC;EAE1B;EAGF,OAAO,KAAK,KAAK;CACnB;CAEA,MAAM,WAAW,OAAO,QAAO,UAAS,MAAM,SAAS,YAAY,aAAa;CAChF,OAAO,OAAO,QACZ,UAAS,MAAM,SAAS,YAAY,iBAAiB,CAAC,SAAS,MAAK,SAAQ,cAAc,OAAO,IAAI,CAAC,CACxG;AACF;AAEA,SAAS,cAAc,GAAuB,GAAgC;CAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;AACrC;AAUA,MAAM,2BAA2B,4BAA4B;AAE7D,SAAS,8BAA2C;CAClD,MAAM,wBAAQ,IAAI,IAAY;CAC9B,KAAK,MAAM,SAAS;EAClB;EACA;EACA;EACA;EACA;CACF,GACE,KAAK,MAAM,UAAU,OACnB,MAAM,IAAI,MAAM;CAGpB,KAAK,IAAI,YAAY,KAAQ,aAAa,KAAQ,aAChD,MAAM,IAAI,OAAO,cAAc,SAAS,CAAC;CAE3C,OAAO;AACT;AAEA,SAAS,wBAAwB,QAAyB;CACxD,OAAO,MAAM,KAAK,MAAM,KAAK,yBAAyB,IAAI,MAAM;AAClE;AAEA,SAAS,gCAAgC,YAA0C;CACjF,MAAM,SAA+B,CAAC;CACtC,IAAI,MAAM;CAEV,OAAO,MAAM,WAAW,QAAQ;EAC9B,MAAM,SAAS,WAAW;EAC1B,IAAI,wBAAwB,MAAM,GAAG;GACnC;GACA;EACF;EAEA,MAAM,QAAQ;EACd,OAAO,MAAM,WAAW,UAAU,CAAC,wBAAwB,WAAW,IAAI,GACxE;EAGF,OAAO,KAAK;GACV,MAAM,YAAY;GAClB,MAAM;GACN,IAAI;GACJ,QAAQ,CAAC,WAAW,MAAM,OAAO,GAAG,CAAC;EACvC,CAAC;CACH;CAEA,OAAO;AACT;AAEA,SAAS,qBAAqB,YAA+C;CAC3E,MAAM,QAAwB,CAAC;CAE/B,KAAK,IAAI,MAAM,GAAG,MAAM,WAAW,QAAQ,OAAO;EAChD,MAAM,SAAS,WAAW;EAC1B,IAAI,cAAc,MAAM,GAAG;GACzB,IAAI,oBAAoB,YAAY,GAAG,GACrC,OAAO;IACL,MAAM,YAAY;IAClB,MAAM;IACN,IAAI,MAAM;GACZ;GAEF,MAAM,KAAK;IAAE,SAAS;IAAQ,OAAO;GAAI,CAAC;GAC1C;EACF;EACA,IAAI,CAAC,eAAe,MAAM,GACxB;EAGF,MAAM,eAAe,YAAY,MAAM;EACvC,MAAM,MAAM,MAAM,MAAM,SAAS;EACjC,IAAI,QAAQ,QACV,OAAO;GACL,MAAM,YAAY;GAClB,MAAM;GACN,IAAI,MAAM;GACV,QAAQ,CAAC,MAAM;EACjB;EAGF,IAAI,IAAI,YAAY,cAClB,OAAO;GACL,MAAM,YAAY;GAClB,MAAM;GACN,IAAI,MAAM;GACV,QAAQ,CAAC,YAAY,IAAI,OAAO,GAAG,MAAM;EAC3C;EAGF,MAAM,IAAI;CACZ;CAEA,IAAI,MAAM,SAAS,GAAG;EACpB,MAAM,WAAW,MAAM;EACvB,OAAO;GACL,MAAM,YAAY;GAClB,MAAM,SAAS;GACf,IAAI,SAAS,QAAQ;GACrB,QAAQ,CAAC,SAAS,OAAO;EAC3B;CACF;CAEA,OAAO;AACT;AAEA,SAAS,cAAc,QAAuC;CAC5D,OAAO,WAAW,OAAO,WAAW,OAAO,WAAW;AACxD;AAEA,SAAS,eAAe,QAAwC;CAC9D,OAAO,WAAW,OAAO,WAAW,OAAO,WAAW;AACxD;AAEA,SAAS,YAAY,QAAmC;CACtD,QAAQ,QAAR;EACE,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;CACX;AACF;AAEA,SAAS,YAAY,QAAmC;CACtD,QAAQ,QAAR;EACE,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;CACX;AACF;AAEA,SAAS,oBAAoB,YAAoB,KAAsB;CAErE,IAAI,EAD4B,WAAW,SAAS,OAAO,WAAW,MAAM,OAAO,MAEjF,OAAO;CAGT,MAAM,aAAa,uBAAuB,YAAY,GAAG;CACzD,MAAM,aAAa,uBAAuB,YAAY,MAAM,CAAC;CAC7D,IAAI,aAAa,KAAK,aAAa,GACjC,OAAO;CAGT,OAAO,eAAe,aAAa;AACrC;AAEA,SAAS,uBAAuB,YAAoB,SAAyB;CAC3E,IAAI,WAAW,aAAa,KAC1B,OAAO;CAGT,MAAM,QAAuB,CAAC;CAC9B,KAAK,IAAI,QAAQ,SAAS,QAAQ,WAAW,QAAQ,SAAS;EAC5D,MAAM,SAAS,WAAW;EAC1B,IAAI,cAAc,MAAM,GAAG;GACzB,MAAM,KAAK,MAAM;GACjB;EACF;EACA,IAAI,CAAC,eAAe,MAAM,GACxB;EAEF,MAAM,MAAM,MAAM,IAAI;EACtB,IAAI,QAAQ,UAAa,QAAQ,YAAY,MAAM,GACjD,OAAO;EAET,IAAI,MAAM,WAAW,GACnB,OAAO;CAEX;CAEA,OAAO;AACT"}
+{"version":3,"file":"syntax-errors.js","names":["TypeClassEnum"],"sources":["../../../src/rslang/parser/syntax-errors.ts"],"sourcesContent":["/**\n * Module: Syntactic errors reporting.\n */\n\nimport { type AstNode, visitAstDFS } from '../../parsing';\nimport { annotateError } from '../ast-annotations';\nimport { type ErrorReporter, RSErrorCode, type RSErrorDescription } from '../error';\nimport { type TypeClass, TypeClass as TypeClassEnum } from '../semantic/typification';\n\nimport {\n  Arguments,\n  Declarative,\n  Filter,\n  Function,\n  Function_decl,\n  Imp_blocks,\n  Imperative,\n  Logic_quantor,\n  Predicate,\n  Recursion,\n  Setexpr,\n  Variable,\n  Variable_pack\n} from './parser.terms';\nimport { TokenID } from './token';\n\n/** Options for syntax error extraction. */\nexport interface SyntaxErrorOptions {\n  expected?: TypeClass;\n}\n\n/** Extracts syntax errors from an AST. */\nexport function extractSyntaxErrors(\n  ast: AstNode,\n  expression: string,\n  reporter: ErrorReporter,\n  annotateErrors: boolean = false,\n  options?: SyntaxErrorOptions\n) {\n  const forbiddenErrors = extractForbiddenCharacterErrors(expression);\n  if (forbiddenErrors.length > 0) {\n    for (const error of forbiddenErrors) {\n      reporter(error);\n      if (annotateErrors) {\n        annotateError(ast, error.code, error.params);\n      }\n    }\n    return;\n  }\n\n  const collected: RSErrorDescription[] = [];\n  const annotationTargets = new Map<RSErrorDescription, AstNode>();\n  const collect = (error: RSErrorDescription, target?: AstNode) => {\n    collected.push(error);\n    if (target !== undefined) {\n      annotationTargets.set(error, target);\n    }\n  };\n\n  const bracketError = extractBracketErrors(expression);\n  const hasBracketErrors = bracketError !== null;\n  visitAstDFS(ast, node => extractInternal(node, expression, collect, hasBracketErrors, options));\n\n  const hasIncompleteGenerator = collected.some(error => isIncompleteGeneratorBodyCode(error.code));\n  if (bracketError !== null && !hasIncompleteGenerator) {\n    collect(bracketError, ast);\n  }\n\n  for (const error of deduplicateErrors(collected)) {\n    reporter(error);\n    if (annotateErrors) {\n      const target = annotationTargets.get(error);\n      if (target !== undefined) {\n        annotateError(target, error.code, error.params);\n      }\n    }\n  }\n}\n\n// ====== Internals =========\nfunction extractInternal(\n  node: AstNode,\n  expression: string,\n  collect: (error: RSErrorDescription, target: AstNode) => void,\n  ignoreUnknownErrors: boolean,\n  options?: SyntaxErrorOptions\n) {\n  if (node.typeID !== TokenID.ERROR) {\n    return;\n  }\n\n  function emit(target: AstNode, code: RSErrorCode, params?: readonly string[]) {\n    collect({ code: code, from: target.from, to: target.to, params }, target);\n  }\n\n  const classified = classifyParseError(node, expression, options);\n  if (classified !== null) {\n    collect(classified, node);\n    return;\n  }\n\n  const parent = node.parent;\n  if (parent === null) {\n    if (!ignoreUnknownErrors) {\n      return emit(node, RSErrorCode.unknownSyntax);\n    }\n    return;\n  }\n\n  if (parent.typeID === Variable) {\n    return emit(parent, RSErrorCode.expectedLocal);\n  }\n\n  if (!ignoreUnknownErrors) {\n    emit(node.from === node.to ? parent : node, RSErrorCode.unknownSyntax);\n  }\n}\n\nfunction classifyParseError(\n  node: AstNode,\n  expression: string,\n  options?: SyntaxErrorOptions\n): RSErrorDescription | null {\n  const incompleteFunctionDecl = detectIncompleteFunctionDecl(node, expression, options?.expected);\n  if (incompleteFunctionDecl !== null) {\n    return incompleteFunctionDecl;\n  }\n\n  const incompleteQuantifier = detectIncompleteQuantifier(node, expression);\n  if (incompleteQuantifier !== null) {\n    return incompleteQuantifier;\n  }\n\n  const incompleteGenerator = detectIncompleteGenerator(node, expression);\n  if (incompleteGenerator !== null) {\n    return incompleteGenerator;\n  }\n\n  const filterParen = detectFilterParenMismatch(node, expression);\n  if (filterParen !== null) {\n    return filterParen;\n  }\n\n  return detectGlobalFuncWithoutArgs(node, expression);\n}\n\nfunction detectIncompleteFunctionDecl(\n  node: AstNode,\n  expression: string,\n  expected?: TypeClass\n): RSErrorDescription | null {\n  const funcDecl = findAncestor(node, isFunctionDeclNode);\n  if (funcDecl === null) {\n    return null;\n  }\n\n  const bodyChild = funcDecl.children[funcDecl.children.length - 1];\n  if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) {\n    return null;\n  }\n\n  const argsNode = funcDecl.children.find(child => child.typeID === Arguments || child.typeID === TokenID.NT_ARGUMENTS);\n  if (argsNode === undefined || subtreeHasError(argsNode)) {\n    return null;\n  }\n\n  if (expression.slice(funcDecl.to).trim().length > 0) {\n    return null;\n  }\n\n  return {\n    code: incompleteFormalExpressionCode(expected),\n    from: bodyChild.from,\n    to: bodyChild.to\n  };\n}\n\nfunction incompleteFormalExpressionCode(expected?: TypeClass): RSErrorCode {\n  switch (expected) {\n    case TypeClassEnum.function:\n      return RSErrorCode.expectedExpressionBody;\n    case TypeClassEnum.predicate:\n    case TypeClassEnum.logic:\n      return RSErrorCode.expectedLogicBody;\n    default:\n      return RSErrorCode.expectedFunctionBody;\n  }\n}\n\nfunction detectIncompleteQuantifier(node: AstNode, expression: string): RSErrorDescription | null {\n  const quantNode = findAncestor(node, isQuantifierNode);\n  if (quantNode === null) {\n    return null;\n  }\n\n  const bodyChild = quantNode.children[quantNode.children.length - 1];\n  if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) {\n    return null;\n  }\n\n  const headerChildren = quantNode.children.slice(0, -1);\n  if (headerChildren.length < 3) {\n    return null;\n  }\n\n  const varPack = headerChildren.find(child => child.typeID === Variable_pack || child.typeID === TokenID.NT_ENUM_DECL);\n  if (varPack === undefined || subtreeHasError(varPack)) {\n    return null;\n  }\n\n  const domainChild = headerChildren[headerChildren.length - 1];\n  if (domainChild === varPack || subtreeHasError(domainChild)) {\n    return null;\n  }\n\n  if (expression.slice(quantNode.to).trim().length > 0) {\n    return null;\n  }\n\n  return {\n    code: RSErrorCode.expectedQuantifierBody,\n    from: bodyChild.from,\n    to: bodyChild.to\n  };\n}\n\nfunction detectIncompleteGenerator(node: AstNode, expression: string): RSErrorDescription | null {\n  return (\n    detectIncompleteDeclarative(node, expression) ??\n    detectIncompleteImperative(node, expression) ??\n    detectIncompleteRecursion(node, expression)\n  );\n}\n\nfunction detectIncompleteDeclarative(node: AstNode, expression: string): RSErrorDescription | null {\n  const generatorNode = findAncestor(\n    node,\n    target => target.typeID === Declarative || target.typeID === TokenID.NT_DECLARATIVE_EXPR\n  );\n  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedDeclarativeBody, slot =>\n    isIncompleteDeclarativeBody(slot)\n  );\n}\n\nfunction detectIncompleteImperative(node: AstNode, expression: string): RSErrorDescription | null {\n  const generatorNode = findAncestor(\n    node,\n    target => target.typeID === Imperative || target.typeID === TokenID.NT_IMPERATIVE_EXPR\n  );\n  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedImperativeBody, slot =>\n    isIncompleteImperativeBody(slot, expression)\n  );\n}\n\nfunction detectIncompleteRecursion(node: AstNode, expression: string): RSErrorDescription | null {\n  const generatorNode = findAncestor(node, target => target.typeID === Recursion);\n  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedRecursiveBody, slot =>\n    isIncompleteRecursionBody(slot)\n  );\n}\n\ninterface GeneratorBodySlot {\n  nodes: AstNode[];\n  headerEndIndex: number;\n}\n\nfunction detectIncompleteGeneratorBody(\n  node: AstNode,\n  expression: string,\n  generatorNode: AstNode | null,\n  code: RSErrorCode,\n  isIncomplete: (slot: GeneratorBodySlot) => boolean\n): RSErrorDescription | null {\n  if (generatorNode === null) {\n    return null;\n  }\n\n  if (expression.slice(generatorNode.to).trim().length > 0) {\n    return null;\n  }\n\n  const slot = getGeneratorBodySlot(generatorNode, expression);\n  if (slot === null || !isIncomplete(slot)) {\n    return null;\n  }\n\n  if (!generatorHeaderIsValid(generatorNode, expression, slot.headerEndIndex)) {\n    return null;\n  }\n\n  if (!isErrorInBodySlot(node, slot, generatorNode)) {\n    return null;\n  }\n\n  return incompleteGeneratorError(code, node);\n}\n\nfunction getGeneratorBodySlot(generatorNode: AstNode, expression: string): GeneratorBodySlot | null {\n  if (generatorNode.typeID === Declarative || generatorNode.typeID === TokenID.NT_DECLARATIVE_EXPR) {\n    return getDeclarativeBodySlot(generatorNode, expression);\n  }\n  if (generatorNode.typeID === Imperative || generatorNode.typeID === TokenID.NT_IMPERATIVE_EXPR) {\n    return getImperativeBodySlot(generatorNode, expression);\n  }\n  if (generatorNode.typeID === Recursion) {\n    return getRecursionBodySlot(generatorNode, expression);\n  }\n  return null;\n}\n\nfunction getDeclarativeBodySlot(declNode: AstNode, expression: string): GeneratorBodySlot | null {\n  const pipeIndex = declNode.children.findIndex(child => isPipeToken(child, expression));\n  if (pipeIndex >= 0) {\n    return {\n      nodes: contentChildren(declNode, expression, pipeIndex + 1),\n      headerEndIndex: pipeIndex + 1\n    };\n  }\n\n  const domainNode = findDeclarativeDomain(declNode, expression);\n  if (domainNode === null) {\n    return null;\n  }\n\n  const domainIndex = declNode.children.indexOf(domainNode);\n  return {\n    nodes: contentChildren(declNode, expression, domainIndex + 1),\n    headerEndIndex: domainIndex + 1\n  };\n}\n\nfunction getImperativeBodySlot(impNode: AstNode, expression: string): GeneratorBodySlot | null {\n  const pipeIndex = impNode.children.findIndex(child => isPipeToken(child, expression));\n  if (pipeIndex >= 0) {\n    return {\n      nodes: contentChildren(impNode, expression, pipeIndex + 1),\n      headerEndIndex: pipeIndex + 1\n    };\n  }\n\n  const tupleNode = findImperativeTuple(impNode);\n  if (tupleNode === null) {\n    return null;\n  }\n\n  const tupleIndex = impNode.children.indexOf(tupleNode);\n  return {\n    nodes: contentChildren(impNode, expression, tupleIndex + 1),\n    headerEndIndex: tupleIndex + 1\n  };\n}\n\nfunction getRecursionBodySlot(recNode: AstNode, expression: string): GeneratorBodySlot | null {\n  const initNode = findRecursionInit(recNode, expression);\n  if (initNode === null) {\n    return null;\n  }\n\n  const initIndex = recNode.children.indexOf(initNode);\n  const afterInit = contentChildren(recNode, expression, initIndex + 1);\n  const lastPipeIndex = findLastPipeIndex(afterInit, expression);\n  if (lastPipeIndex < 0) {\n    return {\n      nodes: afterInit,\n      headerEndIndex: initIndex + 1\n    };\n  }\n\n  return {\n    nodes: afterInit.slice(lastPipeIndex + 1),\n    headerEndIndex: recNode.children.indexOf(afterInit[lastPipeIndex]) + 1\n  };\n}\n\nfunction contentChildren(generatorNode: AstNode, expression: string, fromIndex: number): AstNode[] {\n  return generatorNode.children.slice(fromIndex).filter(child => !isClosingBrace(child, expression));\n}\n\nfunction findDeclarativeDomain(declNode: AstNode, expression: string): AstNode | null {\n  const inIndex = declNode.children.findIndex(child => expression.slice(child.from, child.to) === '∈');\n  if (inIndex < 0) {\n    return null;\n  }\n\n  for (let index = inIndex + 1; index < declNode.children.length; index++) {\n    const child = declNode.children[index];\n    if (isPipeToken(child, expression) || isClosingBrace(child, expression)) {\n      break;\n    }\n    if (child.typeID === Setexpr) {\n      return child;\n    }\n  }\n\n  return null;\n}\n\nfunction findImperativeTuple(impNode: AstNode): AstNode | null {\n  for (const child of impNode.children) {\n    if (child.typeID === Setexpr) {\n      return child;\n    }\n  }\n  return null;\n}\n\nfunction findLastPipeIndex(nodes: AstNode[], expression: string): number {\n  for (let index = nodes.length - 1; index >= 0; index--) {\n    if (isPipeToken(nodes[index], expression)) {\n      return index;\n    }\n  }\n  return -1;\n}\n\nfunction generatorHeaderIsValid(generatorNode: AstNode, expression: string, headerEndIndex: number): boolean {\n  for (let index = 0; index < headerEndIndex; index++) {\n    const child = generatorNode.children[index];\n    if (child.typeID === TokenID.ERROR) {\n      return false;\n    }\n    if (isStructuralGeneratorToken(child, expression)) {\n      continue;\n    }\n    if (subtreeHasError(child)) {\n      return false;\n    }\n  }\n  return true;\n}\n\nfunction isIncompleteDeclarativeBody(slot: GeneratorBodySlot): boolean {\n  return isEmptyOrErrorOnlyBody(slot.nodes);\n}\n\nfunction isIncompleteImperativeBody(slot: GeneratorBodySlot, expression: string): boolean {\n  if (slot.nodes.length === 0) {\n    return true;\n  }\n  if (slot.nodes.length === 1 && slot.nodes[0].typeID === Imp_blocks) {\n    return isImpBlocksIncomplete(slot.nodes[0], expression);\n  }\n  return isEmptyOrErrorOnlyBody(slot.nodes);\n}\n\nfunction isIncompleteRecursionBody(slot: GeneratorBodySlot): boolean {\n  return isEmptyOrErrorOnlyBody(slot.nodes);\n}\n\nfunction isEmptyOrErrorOnlyBody(nodes: AstNode[]): boolean {\n  if (nodes.length === 0) {\n    return true;\n  }\n  if (nodes.length === 1) {\n    return isErrorPlaceholder(nodes[0]);\n  }\n  return false;\n}\n\nfunction isImpBlocksIncomplete(blocksNode: AstNode, expression: string): boolean {\n  if (blocksNode.children.length === 0) {\n    return true;\n  }\n\n  const lastChild = blocksNode.children[blocksNode.children.length - 1];\n  if (lastChild.typeID === TokenID.ERROR) {\n    return true;\n  }\n  if (isSemicolonToken(lastChild, expression)) {\n    return true;\n  }\n  if (lastChild.typeID === Setexpr && isErrorPlaceholder(lastChild)) {\n    return true;\n  }\n\n  return false;\n}\n\nfunction isErrorInBodySlot(errorNode: AstNode, slot: GeneratorBodySlot, generatorNode: AstNode): boolean {\n  if (slot.nodes.length === 0) {\n    const bodyStart = generatorNode.children[slot.headerEndIndex]?.from ?? generatorNode.from;\n    return errorNode.from >= bodyStart;\n  }\n\n  for (const bodyNode of slot.nodes) {\n    if (errorNode === bodyNode || isDescendantOf(bodyNode, errorNode)) {\n      if (isErrorPlaceholder(bodyNode)) {\n        return true;\n      }\n      if (bodyNode.typeID === Imp_blocks && isImpBlocksTailError(bodyNode, errorNode)) {\n        return true;\n      }\n    }\n  }\n\n  return false;\n}\n\nfunction isImpBlocksTailError(blocksNode: AstNode, errorNode: AstNode): boolean {\n  const lastChild = blocksNode.children[blocksNode.children.length - 1];\n  return lastChild.typeID === TokenID.ERROR && (errorNode === lastChild || isDescendantOf(lastChild, errorNode));\n}\n\nfunction isErrorPlaceholder(node: AstNode): boolean {\n  if (node.typeID === TokenID.ERROR) {\n    return true;\n  }\n  if (node.children.length === 0) {\n    return false;\n  }\n  return node.children.every(child => isErrorPlaceholder(child));\n}\n\nfunction isDescendantOf(ancestor: AstNode, node: AstNode): boolean {\n  let current: AstNode | null = node.parent;\n  while (current !== null) {\n    if (current === ancestor) {\n      return true;\n    }\n    current = current.parent;\n  }\n  return false;\n}\n\nfunction findRecursionInit(recursionNode: AstNode, expression: string): AstNode | null {\n  const assignIndex = recursionNode.children.findIndex(child => expression.slice(child.from, child.to) === ':=');\n  if (assignIndex < 0) {\n    return null;\n  }\n\n  for (let index = assignIndex + 1; index < recursionNode.children.length; index++) {\n    const child = recursionNode.children[index];\n    if (child.typeID === TokenID.ERROR) {\n      break;\n    }\n    if (isPipeToken(child, expression) || isClosingBrace(child, expression)) {\n      continue;\n    }\n    return child;\n  }\n\n  return null;\n}\n\nfunction incompleteGeneratorError(code: RSErrorCode, errorNode: AstNode): RSErrorDescription {\n  return {\n    code,\n    from: errorNode.from,\n    to: errorNode.to\n  };\n}\n\nfunction isIncompleteGeneratorBodyCode(code: RSErrorCode): boolean {\n  return (\n    code === RSErrorCode.expectedDeclarativeBody ||\n    code === RSErrorCode.expectedImperativeBody ||\n    code === RSErrorCode.expectedRecursiveBody\n  );\n}\n\nfunction isPipeToken(node: AstNode, expression: string): boolean {\n  return expression.slice(node.from, node.to) === '|';\n}\n\nfunction isSemicolonToken(node: AstNode, expression: string): boolean {\n  return expression.slice(node.from, node.to) === ';';\n}\n\nfunction isClosingBrace(node: AstNode, expression: string): boolean {\n  return node.typeID !== TokenID.ERROR && expression.slice(node.from, node.to) === '}';\n}\n\nfunction isStructuralGeneratorToken(node: AstNode, expression: string): boolean {\n  const text = expression.slice(node.from, node.to);\n  return text === '{' || text === '}' || text === '|' || text === '∈' || text === ':=' || text === ';';\n}\n\nfunction subtreeHasError(node: AstNode): boolean {\n  if (node.typeID === TokenID.ERROR) {\n    return true;\n  }\n  return node.children.some(subtreeHasError);\n}\n\nfunction detectFilterParenMismatch(node: AstNode, expression: string): RSErrorDescription | null {\n  const filterNode = findAncestor(node, isFilterNode) ?? findRelatedNode(node, isFilterNode);\n  if (filterNode === null) {\n    return null;\n  }\n\n  const nextChar = expression[filterNode.to];\n  if (nextChar === '(') {\n    return {\n      code: RSErrorCode.invalidFilterSyntax,\n      from: filterNode.from,\n      to: filterNode.to + 1\n    };\n  }\n  return null;\n}\n\nfunction detectGlobalFuncWithoutArgs(node: AstNode, expression: string): RSErrorDescription | null {\n  const funcNode =\n    findAncestor(node, n => isFunctionNode(n) || isPredicateNode(n)) ??\n    findRelatedNode(node, n => isFunctionNode(n) || isPredicateNode(n));\n  if (funcNode === null) {\n    return null;\n  }\n  return classifyFuncWithoutArgs(funcNode, expression);\n}\n\nfunction findRelatedNode(node: AstNode, predicate: (target: AstNode) => boolean): AstNode | null {\n  let current: AstNode | null = node.parent;\n  while (current !== null) {\n    for (const child of current.children) {\n      if (predicate(child)) {\n        return child;\n      }\n    }\n    current = current.parent;\n  }\n  return null;\n}\n\nfunction classifyFuncWithoutArgs(funcNode: AstNode, expression: string): RSErrorDescription | null {\n  const name = expression.slice(funcNode.from, funcNode.to);\n  const rest = expression.slice(funcNode.to);\n\n  const withoutArgs: RSErrorDescription = {\n    code: RSErrorCode.globalFuncWithoutArgs,\n    from: funcNode.from,\n    to: funcNode.to,\n    params: [name]\n  };\n\n  // Function with nothing (or only whitespace) after it is genuinely called without arguments.\n  if (/^\\s*$/.test(rest)) {\n    return withoutArgs;\n  }\n\n  // Anything other than a bracketed argument form (e.g. parentheses or braces) is malformed call\n  // syntax: defer to the bracket/syntax error handling instead of reporting a missing-arguments error.\n  const openBracket = /^\\s*\\[/.exec(rest);\n  if (openBracket === null) {\n    return null;\n  }\n\n  const closeIdx = findMatchingCloseBracket(rest, openBracket[0].length - 1);\n  if (closeIdx >= 0) {\n    const inner = rest.slice(openBracket[0].length, closeIdx).trim();\n    if (inner.length === 0) {\n      return withoutArgs;\n    }\n  }\n\n  return null;\n}\n\nfunction findAncestor(node: AstNode, predicate: (node: AstNode) => boolean): AstNode | null {\n  let current: AstNode | null = node;\n  while (current !== null) {\n    if (predicate(current)) {\n      return current;\n    }\n    current = current.parent;\n  }\n  return null;\n}\n\nfunction isFunctionDeclNode(node: AstNode): boolean {\n  return node.typeID === Function_decl || node.typeID === TokenID.NT_FUNC_DEFINITION;\n}\n\nfunction isQuantifierNode(node: AstNode): boolean {\n  return node.typeID === Logic_quantor;\n}\n\nfunction isFunctionNode(node: AstNode): boolean {\n  return node.typeID === Function || node.typeID === TokenID.ID_FUNCTION;\n}\n\nfunction isPredicateNode(node: AstNode): boolean {\n  return node.typeID === Predicate || node.typeID === TokenID.ID_PREDICATE;\n}\n\nfunction isFilterNode(node: AstNode): boolean {\n  return node.typeID === Filter || node.typeID === TokenID.FILTER;\n}\n\nfunction findMatchingCloseBracket(expression: string, openPos: number): number {\n  const open = expression[openPos];\n  if (open !== '[') {\n    return -1;\n  }\n\n  let depth = 0;\n  for (let index = openPos; index < expression.length; index++) {\n    const symbol = expression[index];\n    if (symbol === '[') {\n      depth++;\n    } else if (symbol === ']') {\n      depth--;\n      if (depth === 0) {\n        return index;\n      }\n    }\n  }\n  return -1;\n}\n\nfunction deduplicateErrors(errors: RSErrorDescription[]): RSErrorDescription[] {\n  const result: RSErrorDescription[] = [];\n\n  for (const error of errors) {\n    const duplicate = result.some(\n      existing => existing.code === error.code && existing.from === error.from && existing.to === error.to\n    );\n    if (duplicate) {\n      continue;\n    }\n\n    if (error.code !== RSErrorCode.unknownSyntax) {\n      for (let index = result.length - 1; index >= 0; index--) {\n        if (result[index].code === RSErrorCode.unknownSyntax && rangesOverlap(error, result[index])) {\n          result.splice(index, 1);\n        }\n      }\n    }\n\n    result.push(error);\n  }\n\n  const specific = result.filter(error => error.code !== RSErrorCode.unknownSyntax);\n  return result.filter(\n    error => error.code !== RSErrorCode.unknownSyntax || !specific.some(item => rangesOverlap(error, item))\n  );\n}\n\nfunction rangesOverlap(a: RSErrorDescription, b: RSErrorDescription): boolean {\n  return a.from < b.to && b.from < a.to;\n}\n\ntype OpenBracket = '(' | '[' | '{';\ntype CloseBracket = ')' | ']' | '}';\n\ninterface BracketFrame {\n  bracket: OpenBracket;\n  index: number;\n}\n\nconst ALLOWED_EXPRESSION_CHARS = buildAllowedExpressionChars();\n\nfunction buildAllowedExpressionChars(): Set<string> {\n  const chars = new Set<string>();\n  for (const chunk of [\n    '0123456789',\n    'abcdefghijklmnopqrstuvwxyz',\n    'ABCDEFGHIJKLMNOPQRSTUVWXYZ',\n    '_',\n    '∅¬∀∃⇔⇒∨&ℬ+-*∪\\\\∆∩×∈∉⊆⊄⊂<>≥≤≠=,:;|[]{}()'\n  ]) {\n    for (const symbol of chunk) {\n      chars.add(symbol);\n    }\n  }\n  for (let codePoint = 0x03b1; codePoint <= 0x03c9; codePoint++) {\n    chars.add(String.fromCodePoint(codePoint));\n  }\n  return chars;\n}\n\nfunction isAllowedExpressionChar(symbol: string): boolean {\n  return /\\s/u.test(symbol) || ALLOWED_EXPRESSION_CHARS.has(symbol);\n}\n\nfunction extractForbiddenCharacterErrors(expression: string): RSErrorDescription[] {\n  const errors: RSErrorDescription[] = [];\n  let pos = 0;\n\n  while (pos < expression.length) {\n    const symbol = expression[pos];\n    if (isAllowedExpressionChar(symbol)) {\n      pos++;\n      continue;\n    }\n\n    const start = pos;\n    while (pos < expression.length && !isAllowedExpressionChar(expression[pos])) {\n      pos++;\n    }\n\n    errors.push({\n      code: RSErrorCode.forbiddenCharacter,\n      from: start,\n      to: pos,\n      params: [expression.slice(start, pos)]\n    });\n  }\n\n  return errors;\n}\n\nfunction extractBracketErrors(expression: string): RSErrorDescription | null {\n  const stack: BracketFrame[] = [];\n\n  for (let pos = 0; pos < expression.length; pos++) {\n    const symbol = expression[pos];\n    if (isOpenBracket(symbol)) {\n      if (isDoubleParenthesis(expression, pos)) {\n        return {\n          code: RSErrorCode.doubleParenthesis,\n          from: pos,\n          to: pos + 2\n        };\n      }\n      stack.push({ bracket: symbol, index: pos });\n      continue;\n    }\n    if (!isCloseBracket(symbol)) {\n      continue;\n    }\n\n    const expectedOpen = closeToOpen(symbol);\n    const top = stack[stack.length - 1];\n    if (top === undefined) {\n      return {\n        code: RSErrorCode.missingOpenBracket,\n        from: pos,\n        to: pos + 1,\n        params: [symbol]\n      };\n    }\n\n    if (top.bracket !== expectedOpen) {\n      return {\n        code: RSErrorCode.bracketMismatch,\n        from: pos,\n        to: pos + 1,\n        params: [openToClose(top.bracket), symbol]\n      };\n    }\n\n    stack.pop();\n  }\n\n  if (stack.length > 0) {\n    const unclosed = stack[0];\n    return {\n      code: RSErrorCode.missingCloseBracket,\n      from: unclosed.index,\n      to: unclosed.index + 1,\n      params: [unclosed.bracket]\n    };\n  }\n\n  return null;\n}\n\nfunction isOpenBracket(symbol: string): symbol is OpenBracket {\n  return symbol === '(' || symbol === '[' || symbol === '{';\n}\n\nfunction isCloseBracket(symbol: string): symbol is CloseBracket {\n  return symbol === ')' || symbol === ']' || symbol === '}';\n}\n\nfunction openToClose(symbol: OpenBracket): CloseBracket {\n  switch (symbol) {\n    case '(':\n      return ')';\n    case '[':\n      return ']';\n    case '{':\n      return '}';\n  }\n}\n\nfunction closeToOpen(symbol: CloseBracket): OpenBracket {\n  switch (symbol) {\n    case ')':\n      return '(';\n    case ']':\n      return '[';\n    case '}':\n      return '{';\n  }\n}\n\nfunction isDoubleParenthesis(expression: string, pos: number): boolean {\n  const isOpenDoubleParenthesis = expression[pos] === '(' && expression[pos + 1] === '(';\n  if (!isOpenDoubleParenthesis) {\n    return false;\n  }\n\n  const outerClose = findMatchingCloseParen(expression, pos);\n  const innerClose = findMatchingCloseParen(expression, pos + 1);\n  if (outerClose < 0 || innerClose < 0) {\n    return false;\n  }\n\n  return outerClose === innerClose + 1;\n}\n\nfunction findMatchingCloseParen(expression: string, openPos: number): number {\n  if (expression[openPos] !== '(') {\n    return -1;\n  }\n\n  const stack: OpenBracket[] = [];\n  for (let index = openPos; index < expression.length; index++) {\n    const symbol = expression[index];\n    if (isOpenBracket(symbol)) {\n      stack.push(symbol);\n      continue;\n    }\n    if (!isCloseBracket(symbol)) {\n      continue;\n    }\n    const top = stack.pop();\n    if (top === undefined || top !== closeToOpen(symbol)) {\n      return -1;\n    }\n    if (stack.length === 0) {\n      return index;\n    }\n  }\n\n  return -1;\n}\n"],"mappings":";;;;;;;;;;;;AAgCA,SAAgB,oBACd,KACA,YACA,UACA,iBAA0B,OAC1B,SACA;CACA,MAAM,kBAAkB,gCAAgC,UAAU;CAClE,IAAI,gBAAgB,SAAS,GAAG;EAC9B,KAAK,MAAM,SAAS,iBAAiB;GACnC,SAAS,KAAK;GACd,IAAI,gBACF,cAAc,KAAK,MAAM,MAAM,MAAM,MAAM;EAE/C;EACA;CACF;CAEA,MAAM,YAAkC,CAAC;CACzC,MAAM,oCAAoB,IAAI,IAAiC;CAC/D,MAAM,WAAW,OAA2B,WAAqB;EAC/D,UAAU,KAAK,KAAK;EACpB,IAAI,WAAW,QACb,kBAAkB,IAAI,OAAO,MAAM;CAEvC;CAEA,MAAM,eAAe,qBAAqB,UAAU;CACpD,MAAM,mBAAmB,iBAAiB;CAC1C,YAAY,MAAK,SAAQ,gBAAgB,MAAM,YAAY,SAAS,kBAAkB,OAAO,CAAC;CAE9F,MAAM,yBAAyB,UAAU,MAAK,UAAS,8BAA8B,MAAM,IAAI,CAAC;CAChG,IAAI,iBAAiB,QAAQ,CAAC,wBAC5B,QAAQ,cAAc,GAAG;CAG3B,KAAK,MAAM,SAAS,kBAAkB,SAAS,GAAG;EAChD,SAAS,KAAK;EACd,IAAI,gBAAgB;GAClB,MAAM,SAAS,kBAAkB,IAAI,KAAK;GAC1C,IAAI,WAAW,QACb,cAAc,QAAQ,MAAM,MAAM,MAAM,MAAM;EAElD;CACF;AACF;AAGA,SAAS,gBACP,MACA,YACA,SACA,qBACA,SACA;CACA,IAAI,KAAK,WAAW,QAAQ,OAC1B;CAGF,SAAS,KAAK,QAAiB,MAAmB,QAA4B;EAC5E,QAAQ;GAAQ;GAAM,MAAM,OAAO;GAAM,IAAI,OAAO;GAAI;EAAO,GAAG,MAAM;CAC1E;CAEA,MAAM,aAAa,mBAAmB,MAAM,YAAY,OAAO;CAC/D,IAAI,eAAe,MAAM;EACvB,QAAQ,YAAY,IAAI;EACxB;CACF;CAEA,MAAM,SAAS,KAAK;CACpB,IAAI,WAAW,MAAM;EACnB,IAAI,CAAC,qBACH,OAAO,KAAK,MAAM,YAAY,aAAa;EAE7C;CACF;CAEA,IAAI,OAAO,WAAA,GACT,OAAO,KAAK,QAAQ,YAAY,aAAa;CAG/C,IAAI,CAAC,qBACH,KAAK,KAAK,SAAS,KAAK,KAAK,SAAS,MAAM,YAAY,aAAa;AAEzE;AAEA,SAAS,mBACP,MACA,YACA,SAC2B;CAC3B,MAAM,yBAAyB,6BAA6B,MAAM,YAAY,SAAS,QAAQ;CAC/F,IAAI,2BAA2B,MAC7B,OAAO;CAGT,MAAM,uBAAuB,2BAA2B,MAAM,UAAU;CACxE,IAAI,yBAAyB,MAC3B,OAAO;CAGT,MAAM,sBAAsB,0BAA0B,MAAM,UAAU;CACtE,IAAI,wBAAwB,MAC1B,OAAO;CAGT,MAAM,cAAc,0BAA0B,MAAM,UAAU;CAC9D,IAAI,gBAAgB,MAClB,OAAO;CAGT,OAAO,4BAA4B,MAAM,UAAU;AACrD;AAEA,SAAS,6BACP,MACA,YACA,UAC2B;CAC3B,MAAM,WAAW,aAAa,MAAM,kBAAkB;CACtD,IAAI,aAAa,MACf,OAAO;CAGT,MAAM,YAAY,SAAS,SAAS,SAAS,SAAS,SAAS;CAC/D,IAAI,WAAW,WAAW,QAAQ,SAAS,SAAS,WAClD,OAAO;CAGT,MAAM,WAAW,SAAS,SAAS,MAAK,UAAS,MAAM,WAAA,MAAwB,MAAM,WAAW,QAAQ,YAAY;CACpH,IAAI,aAAa,UAAa,gBAAgB,QAAQ,GACpD,OAAO;CAGT,IAAI,WAAW,MAAM,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,GAChD,OAAO;CAGT,OAAO;EACL,MAAM,+BAA+B,QAAQ;EAC7C,MAAM,UAAU;EAChB,IAAI,UAAU;CAChB;AACF;AAEA,SAAS,+BAA+B,UAAmC;CACzE,QAAQ,UAAR;EACE,KAAKA,UAAc,UACjB,OAAO,YAAY;EACrB,KAAKA,UAAc;EACnB,KAAKA,UAAc,OACjB,OAAO,YAAY;EACrB,SACE,OAAO,YAAY;CACvB;AACF;AAEA,SAAS,2BAA2B,MAAe,YAA+C;CAChG,MAAM,YAAY,aAAa,MAAM,gBAAgB;CACrD,IAAI,cAAc,MAChB,OAAO;CAGT,MAAM,YAAY,UAAU,SAAS,UAAU,SAAS,SAAS;CACjE,IAAI,WAAW,WAAW,QAAQ,SAAS,SAAS,WAClD,OAAO;CAGT,MAAM,iBAAiB,UAAU,SAAS,MAAM,GAAG,EAAE;CACrD,IAAI,eAAe,SAAS,GAC1B,OAAO;CAGT,MAAM,UAAU,eAAe,MAAK,UAAS,MAAM,WAAA,MAA4B,MAAM,WAAW,QAAQ,YAAY;CACpH,IAAI,YAAY,UAAa,gBAAgB,OAAO,GAClD,OAAO;CAGT,MAAM,cAAc,eAAe,eAAe,SAAS;CAC3D,IAAI,gBAAgB,WAAW,gBAAgB,WAAW,GACxD,OAAO;CAGT,IAAI,WAAW,MAAM,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,GACjD,OAAO;CAGT,OAAO;EACL,MAAM,YAAY;EAClB,MAAM,UAAU;EAChB,IAAI,UAAU;CAChB;AACF;AAEA,SAAS,0BAA0B,MAAe,YAA+C;CAC/F,OACE,4BAA4B,MAAM,UAAU,KAC5C,2BAA2B,MAAM,UAAU,KAC3C,0BAA0B,MAAM,UAAU;AAE9C;AAEA,SAAS,4BAA4B,MAAe,YAA+C;CAKjG,OAAO,8BAA8B,MAAM,YAJrB,aACpB,OACA,WAAU,OAAO,WAAA,MAA0B,OAAO,WAAW,QAAQ,mBAEhB,GAAe,YAAY,0BAAyB,SACzG,4BAA4B,IAAI,CAClC;AACF;AAEA,SAAS,2BAA2B,MAAe,YAA+C;CAKhG,OAAO,8BAA8B,MAAM,YAJrB,aACpB,OACA,WAAU,OAAO,WAAA,MAAyB,OAAO,WAAW,QAAQ,kBAEf,GAAe,YAAY,yBAAwB,SACxG,2BAA2B,MAAM,UAAU,CAC7C;AACF;AAEA,SAAS,0BAA0B,MAAe,YAA+C;CAE/F,OAAO,8BAA8B,MAAM,YADrB,aAAa,OAAM,WAAU,OAAO,WAAA,EACH,GAAe,YAAY,wBAAuB,SACvG,0BAA0B,IAAI,CAChC;AACF;AAOA,SAAS,8BACP,MACA,YACA,eACA,MACA,cAC2B;CAC3B,IAAI,kBAAkB,MACpB,OAAO;CAGT,IAAI,WAAW,MAAM,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,GACrD,OAAO;CAGT,MAAM,OAAO,qBAAqB,eAAe,UAAU;CAC3D,IAAI,SAAS,QAAQ,CAAC,aAAa,IAAI,GACrC,OAAO;CAGT,IAAI,CAAC,uBAAuB,eAAe,YAAY,KAAK,cAAc,GACxE,OAAO;CAGT,IAAI,CAAC,kBAAkB,MAAM,MAAM,aAAa,GAC9C,OAAO;CAGT,OAAO,yBAAyB,MAAM,IAAI;AAC5C;AAEA,SAAS,qBAAqB,eAAwB,YAA8C;CAClG,IAAI,cAAc,WAAA,MAA0B,cAAc,WAAW,QAAQ,qBAC3E,OAAO,uBAAuB,eAAe,UAAU;CAEzD,IAAI,cAAc,WAAA,MAAyB,cAAc,WAAW,QAAQ,oBAC1E,OAAO,sBAAsB,eAAe,UAAU;CAExD,IAAI,cAAc,WAAA,IAChB,OAAO,qBAAqB,eAAe,UAAU;CAEvD,OAAO;AACT;AAEA,SAAS,uBAAuB,UAAmB,YAA8C;CAC/F,MAAM,YAAY,SAAS,SAAS,WAAU,UAAS,YAAY,OAAO,UAAU,CAAC;CACrF,IAAI,aAAa,GACf,OAAO;EACL,OAAO,gBAAgB,UAAU,YAAY,YAAY,CAAC;EAC1D,gBAAgB,YAAY;CAC9B;CAGF,MAAM,aAAa,sBAAsB,UAAU,UAAU;CAC7D,IAAI,eAAe,MACjB,OAAO;CAGT,MAAM,cAAc,SAAS,SAAS,QAAQ,UAAU;CACxD,OAAO;EACL,OAAO,gBAAgB,UAAU,YAAY,cAAc,CAAC;EAC5D,gBAAgB,cAAc;CAChC;AACF;AAEA,SAAS,sBAAsB,SAAkB,YAA8C;CAC7F,MAAM,YAAY,QAAQ,SAAS,WAAU,UAAS,YAAY,OAAO,UAAU,CAAC;CACpF,IAAI,aAAa,GACf,OAAO;EACL,OAAO,gBAAgB,SAAS,YAAY,YAAY,CAAC;EACzD,gBAAgB,YAAY;CAC9B;CAGF,MAAM,YAAY,oBAAoB,OAAO;CAC7C,IAAI,cAAc,MAChB,OAAO;CAGT,MAAM,aAAa,QAAQ,SAAS,QAAQ,SAAS;CACrD,OAAO;EACL,OAAO,gBAAgB,SAAS,YAAY,aAAa,CAAC;EAC1D,gBAAgB,aAAa;CAC/B;AACF;AAEA,SAAS,qBAAqB,SAAkB,YAA8C;CAC5F,MAAM,WAAW,kBAAkB,SAAS,UAAU;CACtD,IAAI,aAAa,MACf,OAAO;CAGT,MAAM,YAAY,QAAQ,SAAS,QAAQ,QAAQ;CACnD,MAAM,YAAY,gBAAgB,SAAS,YAAY,YAAY,CAAC;CACpE,MAAM,gBAAgB,kBAAkB,WAAW,UAAU;CAC7D,IAAI,gBAAgB,GAClB,OAAO;EACL,OAAO;EACP,gBAAgB,YAAY;CAC9B;CAGF,OAAO;EACL,OAAO,UAAU,MAAM,gBAAgB,CAAC;EACxC,gBAAgB,QAAQ,SAAS,QAAQ,UAAU,cAAc,IAAI;CACvE;AACF;AAEA,SAAS,gBAAgB,eAAwB,YAAoB,WAA8B;CACjG,OAAO,cAAc,SAAS,MAAM,SAAS,CAAC,CAAC,QAAO,UAAS,CAAC,eAAe,OAAO,UAAU,CAAC;AACnG;AAEA,SAAS,sBAAsB,UAAmB,YAAoC;CACpF,MAAM,UAAU,SAAS,SAAS,WAAU,UAAS,WAAW,MAAM,MAAM,MAAM,MAAM,EAAE,MAAM,GAAG;CACnG,IAAI,UAAU,GACZ,OAAO;CAGT,KAAK,IAAI,QAAQ,UAAU,GAAG,QAAQ,SAAS,SAAS,QAAQ,SAAS;EACvE,MAAM,QAAQ,SAAS,SAAS;EAChC,IAAI,YAAY,OAAO,UAAU,KAAK,eAAe,OAAO,UAAU,GACpE;EAEF,IAAI,MAAM,WAAA,IACR,OAAO;CAEX;CAEA,OAAO;AACT;AAEA,SAAS,oBAAoB,SAAkC;CAC7D,KAAK,MAAM,SAAS,QAAQ,UAC1B,IAAI,MAAM,WAAA,IACR,OAAO;CAGX,OAAO;AACT;AAEA,SAAS,kBAAkB,OAAkB,YAA4B;CACvE,KAAK,IAAI,QAAQ,MAAM,SAAS,GAAG,SAAS,GAAG,SAC7C,IAAI,YAAY,MAAM,QAAQ,UAAU,GACtC,OAAO;CAGX,OAAO;AACT;AAEA,SAAS,uBAAuB,eAAwB,YAAoB,gBAAiC;CAC3G,KAAK,IAAI,QAAQ,GAAG,QAAQ,gBAAgB,SAAS;EACnD,MAAM,QAAQ,cAAc,SAAS;EACrC,IAAI,MAAM,WAAW,QAAQ,OAC3B,OAAO;EAET,IAAI,2BAA2B,OAAO,UAAU,GAC9C;EAEF,IAAI,gBAAgB,KAAK,GACvB,OAAO;CAEX;CACA,OAAO;AACT;AAEA,SAAS,4BAA4B,MAAkC;CACrE,OAAO,uBAAuB,KAAK,KAAK;AAC1C;AAEA,SAAS,2BAA2B,MAAyB,YAA6B;CACxF,IAAI,KAAK,MAAM,WAAW,GACxB,OAAO;CAET,IAAI,KAAK,MAAM,WAAW,KAAK,KAAK,MAAM,EAAE,CAAC,WAAA,IAC3C,OAAO,sBAAsB,KAAK,MAAM,IAAI,UAAU;CAExD,OAAO,uBAAuB,KAAK,KAAK;AAC1C;AAEA,SAAS,0BAA0B,MAAkC;CACnE,OAAO,uBAAuB,KAAK,KAAK;AAC1C;AAEA,SAAS,uBAAuB,OAA2B;CACzD,IAAI,MAAM,WAAW,GACnB,OAAO;CAET,IAAI,MAAM,WAAW,GACnB,OAAO,mBAAmB,MAAM,EAAE;CAEpC,OAAO;AACT;AAEA,SAAS,sBAAsB,YAAqB,YAA6B;CAC/E,IAAI,WAAW,SAAS,WAAW,GACjC,OAAO;CAGT,MAAM,YAAY,WAAW,SAAS,WAAW,SAAS,SAAS;CACnE,IAAI,UAAU,WAAW,QAAQ,OAC/B,OAAO;CAET,IAAI,iBAAiB,WAAW,UAAU,GACxC,OAAO;CAET,IAAI,UAAU,WAAA,MAAsB,mBAAmB,SAAS,GAC9D,OAAO;CAGT,OAAO;AACT;AAEA,SAAS,kBAAkB,WAAoB,MAAyB,eAAiC;CACvG,IAAI,KAAK,MAAM,WAAW,GAAG;EAC3B,MAAM,YAAY,cAAc,SAAS,KAAK,eAAe,EAAE,QAAQ,cAAc;EACrF,OAAO,UAAU,QAAQ;CAC3B;CAEA,KAAK,MAAM,YAAY,KAAK,OAC1B,IAAI,cAAc,YAAY,eAAe,UAAU,SAAS,GAAG;EACjE,IAAI,mBAAmB,QAAQ,GAC7B,OAAO;EAET,IAAI,SAAS,WAAA,MAAyB,qBAAqB,UAAU,SAAS,GAC5E,OAAO;CAEX;CAGF,OAAO;AACT;AAEA,SAAS,qBAAqB,YAAqB,WAA6B;CAC9E,MAAM,YAAY,WAAW,SAAS,WAAW,SAAS,SAAS;CACnE,OAAO,UAAU,WAAW,QAAQ,UAAU,cAAc,aAAa,eAAe,WAAW,SAAS;AAC9G;AAEA,SAAS,mBAAmB,MAAwB;CAClD,IAAI,KAAK,WAAW,QAAQ,OAC1B,OAAO;CAET,IAAI,KAAK,SAAS,WAAW,GAC3B,OAAO;CAET,OAAO,KAAK,SAAS,OAAM,UAAS,mBAAmB,KAAK,CAAC;AAC/D;AAEA,SAAS,eAAe,UAAmB,MAAwB;CACjE,IAAI,UAA0B,KAAK;CACnC,OAAO,YAAY,MAAM;EACvB,IAAI,YAAY,UACd,OAAO;EAET,UAAU,QAAQ;CACpB;CACA,OAAO;AACT;AAEA,SAAS,kBAAkB,eAAwB,YAAoC;CACrF,MAAM,cAAc,cAAc,SAAS,WAAU,UAAS,WAAW,MAAM,MAAM,MAAM,MAAM,EAAE,MAAM,IAAI;CAC7G,IAAI,cAAc,GAChB,OAAO;CAGT,KAAK,IAAI,QAAQ,cAAc,GAAG,QAAQ,cAAc,SAAS,QAAQ,SAAS;EAChF,MAAM,QAAQ,cAAc,SAAS;EACrC,IAAI,MAAM,WAAW,QAAQ,OAC3B;EAEF,IAAI,YAAY,OAAO,UAAU,KAAK,eAAe,OAAO,UAAU,GACpE;EAEF,OAAO;CACT;CAEA,OAAO;AACT;AAEA,SAAS,yBAAyB,MAAmB,WAAwC;CAC3F,OAAO;EACL;EACA,MAAM,UAAU;EAChB,IAAI,UAAU;CAChB;AACF;AAEA,SAAS,8BAA8B,MAA4B;CACjE,OACE,SAAS,YAAY,2BACrB,SAAS,YAAY,0BACrB,SAAS,YAAY;AAEzB;AAEA,SAAS,YAAY,MAAe,YAA6B;CAC/D,OAAO,WAAW,MAAM,KAAK,MAAM,KAAK,EAAE,MAAM;AAClD;AAEA,SAAS,iBAAiB,MAAe,YAA6B;CACpE,OAAO,WAAW,MAAM,KAAK,MAAM,KAAK,EAAE,MAAM;AAClD;AAEA,SAAS,eAAe,MAAe,YAA6B;CAClE,OAAO,KAAK,WAAW,QAAQ,SAAS,WAAW,MAAM,KAAK,MAAM,KAAK,EAAE,MAAM;AACnF;AAEA,SAAS,2BAA2B,MAAe,YAA6B;CAC9E,MAAM,OAAO,WAAW,MAAM,KAAK,MAAM,KAAK,EAAE;CAChD,OAAO,SAAS,OAAO,SAAS,OAAO,SAAS,OAAO,SAAS,OAAO,SAAS,QAAQ,SAAS;AACnG;AAEA,SAAS,gBAAgB,MAAwB;CAC/C,IAAI,KAAK,WAAW,QAAQ,OAC1B,OAAO;CAET,OAAO,KAAK,SAAS,KAAK,eAAe;AAC3C;AAEA,SAAS,0BAA0B,MAAe,YAA+C;CAC/F,MAAM,aAAa,aAAa,MAAM,YAAY,KAAK,gBAAgB,MAAM,YAAY;CACzF,IAAI,eAAe,MACjB,OAAO;CAIT,IADiB,WAAW,WAAW,QACtB,KACf,OAAO;EACL,MAAM,YAAY;EAClB,MAAM,WAAW;EACjB,IAAI,WAAW,KAAK;CACtB;CAEF,OAAO;AACT;AAEA,SAAS,4BAA4B,MAAe,YAA+C;CACjG,MAAM,WACJ,aAAa,OAAM,MAAK,eAAe,CAAC,KAAK,gBAAgB,CAAC,CAAC,KAC/D,gBAAgB,OAAM,MAAK,eAAe,CAAC,KAAK,gBAAgB,CAAC,CAAC;CACpE,IAAI,aAAa,MACf,OAAO;CAET,OAAO,wBAAwB,UAAU,UAAU;AACrD;AAEA,SAAS,gBAAgB,MAAe,WAAyD;CAC/F,IAAI,UAA0B,KAAK;CACnC,OAAO,YAAY,MAAM;EACvB,KAAK,MAAM,SAAS,QAAQ,UAC1B,IAAI,UAAU,KAAK,GACjB,OAAO;EAGX,UAAU,QAAQ;CACpB;CACA,OAAO;AACT;AAEA,SAAS,wBAAwB,UAAmB,YAA+C;CACjG,MAAM,OAAO,WAAW,MAAM,SAAS,MAAM,SAAS,EAAE;CACxD,MAAM,OAAO,WAAW,MAAM,SAAS,EAAE;CAEzC,MAAM,cAAkC;EACtC,MAAM,YAAY;EAClB,MAAM,SAAS;EACf,IAAI,SAAS;EACb,QAAQ,CAAC,IAAI;CACf;CAGA,IAAI,QAAQ,KAAK,IAAI,GACnB,OAAO;CAKT,MAAM,cAAc,SAAS,KAAK,IAAI;CACtC,IAAI,gBAAgB,MAClB,OAAO;CAGT,MAAM,WAAW,yBAAyB,MAAM,YAAY,EAAE,CAAC,SAAS,CAAC;CACzE,IAAI,YAAY,GAEd;MADc,KAAK,MAAM,YAAY,EAAE,CAAC,QAAQ,QAAQ,CAAC,CAAC,KACtD,CAAA,CAAM,WAAW,GACnB,OAAO;CACT;CAGF,OAAO;AACT;AAEA,SAAS,aAAa,MAAe,WAAuD;CAC1F,IAAI,UAA0B;CAC9B,OAAO,YAAY,MAAM;EACvB,IAAI,UAAU,OAAO,GACnB,OAAO;EAET,UAAU,QAAQ;CACpB;CACA,OAAO;AACT;AAEA,SAAS,mBAAmB,MAAwB;CAClD,OAAO,KAAK,WAAA,MAA4B,KAAK,WAAW,QAAQ;AAClE;AAEA,SAAS,iBAAiB,MAAwB;CAChD,OAAO,KAAK,WAAA;AACd;AAEA,SAAS,eAAe,MAAwB;CAC9C,OAAO,KAAK,WAAA,MAAuB,KAAK,WAAW,QAAQ;AAC7D;AAEA,SAAS,gBAAgB,MAAwB;CAC/C,OAAO,KAAK,WAAA,MAAwB,KAAK,WAAW,QAAQ;AAC9D;AAEA,SAAS,aAAa,MAAwB;CAC5C,OAAO,KAAK,WAAA,MAAqB,KAAK,WAAW,QAAQ;AAC3D;AAEA,SAAS,yBAAyB,YAAoB,SAAyB;CAE7E,IADa,WAAW,aACX,KACX,OAAO;CAGT,IAAI,QAAQ;CACZ,KAAK,IAAI,QAAQ,SAAS,QAAQ,WAAW,QAAQ,SAAS;EAC5D,MAAM,SAAS,WAAW;EAC1B,IAAI,WAAW,KACb;OACK,IAAI,WAAW,KAAK;GACzB;GACA,IAAI,UAAU,GACZ,OAAO;EAEX;CACF;CACA,OAAO;AACT;AAEA,SAAS,kBAAkB,QAAoD;CAC7E,MAAM,SAA+B,CAAC;CAEtC,KAAK,MAAM,SAAS,QAAQ;EAI1B,IAHkB,OAAO,MACvB,aAAY,SAAS,SAAS,MAAM,QAAQ,SAAS,SAAS,MAAM,QAAQ,SAAS,OAAO,MAAM,EAEhG,GACF;EAGF,IAAI,MAAM,SAAS,YAAY,eAC7B;QAAK,IAAI,QAAQ,OAAO,SAAS,GAAG,SAAS,GAAG,SAC9C,IAAI,OAAO,MAAM,CAAC,SAAS,YAAY,iBAAiB,cAAc,OAAO,OAAO,MAAM,GACxF,OAAO,OAAO,OAAO,CAAC;EAE1B;EAGF,OAAO,KAAK,KAAK;CACnB;CAEA,MAAM,WAAW,OAAO,QAAO,UAAS,MAAM,SAAS,YAAY,aAAa;CAChF,OAAO,OAAO,QACZ,UAAS,MAAM,SAAS,YAAY,iBAAiB,CAAC,SAAS,MAAK,SAAQ,cAAc,OAAO,IAAI,CAAC,CACxG;AACF;AAEA,SAAS,cAAc,GAAuB,GAAgC;CAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;AACrC;AAUA,MAAM,2BAA2B,4BAA4B;AAE7D,SAAS,8BAA2C;CAClD,MAAM,wBAAQ,IAAI,IAAY;CAC9B,KAAK,MAAM,SAAS;EAClB;EACA;EACA;EACA;EACA;CACF,GACE,KAAK,MAAM,UAAU,OACnB,MAAM,IAAI,MAAM;CAGpB,KAAK,IAAI,YAAY,KAAQ,aAAa,KAAQ,aAChD,MAAM,IAAI,OAAO,cAAc,SAAS,CAAC;CAE3C,OAAO;AACT;AAEA,SAAS,wBAAwB,QAAyB;CACxD,OAAO,MAAM,KAAK,MAAM,KAAK,yBAAyB,IAAI,MAAM;AAClE;AAEA,SAAS,gCAAgC,YAA0C;CACjF,MAAM,SAA+B,CAAC;CACtC,IAAI,MAAM;CAEV,OAAO,MAAM,WAAW,QAAQ;EAC9B,MAAM,SAAS,WAAW;EAC1B,IAAI,wBAAwB,MAAM,GAAG;GACnC;GACA;EACF;EAEA,MAAM,QAAQ;EACd,OAAO,MAAM,WAAW,UAAU,CAAC,wBAAwB,WAAW,IAAI,GACxE;EAGF,OAAO,KAAK;GACV,MAAM,YAAY;GAClB,MAAM;GACN,IAAI;GACJ,QAAQ,CAAC,WAAW,MAAM,OAAO,GAAG,CAAC;EACvC,CAAC;CACH;CAEA,OAAO;AACT;AAEA,SAAS,qBAAqB,YAA+C;CAC3E,MAAM,QAAwB,CAAC;CAE/B,KAAK,IAAI,MAAM,GAAG,MAAM,WAAW,QAAQ,OAAO;EAChD,MAAM,SAAS,WAAW;EAC1B,IAAI,cAAc,MAAM,GAAG;GACzB,IAAI,oBAAoB,YAAY,GAAG,GACrC,OAAO;IACL,MAAM,YAAY;IAClB,MAAM;IACN,IAAI,MAAM;GACZ;GAEF,MAAM,KAAK;IAAE,SAAS;IAAQ,OAAO;GAAI,CAAC;GAC1C;EACF;EACA,IAAI,CAAC,eAAe,MAAM,GACxB;EAGF,MAAM,eAAe,YAAY,MAAM;EACvC,MAAM,MAAM,MAAM,MAAM,SAAS;EACjC,IAAI,QAAQ,QACV,OAAO;GACL,MAAM,YAAY;GAClB,MAAM;GACN,IAAI,MAAM;GACV,QAAQ,CAAC,MAAM;EACjB;EAGF,IAAI,IAAI,YAAY,cAClB,OAAO;GACL,MAAM,YAAY;GAClB,MAAM;GACN,IAAI,MAAM;GACV,QAAQ,CAAC,YAAY,IAAI,OAAO,GAAG,MAAM;EAC3C;EAGF,MAAM,IAAI;CACZ;CAEA,IAAI,MAAM,SAAS,GAAG;EACpB,MAAM,WAAW,MAAM;EACvB,OAAO;GACL,MAAM,YAAY;GAClB,MAAM,SAAS;GACf,IAAI,SAAS,QAAQ;GACrB,QAAQ,CAAC,SAAS,OAAO;EAC3B;CACF;CAEA,OAAO;AACT;AAEA,SAAS,cAAc,QAAuC;CAC5D,OAAO,WAAW,OAAO,WAAW,OAAO,WAAW;AACxD;AAEA,SAAS,eAAe,QAAwC;CAC9D,OAAO,WAAW,OAAO,WAAW,OAAO,WAAW;AACxD;AAEA,SAAS,YAAY,QAAmC;CACtD,QAAQ,QAAR;EACE,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;CACX;AACF;AAEA,SAAS,YAAY,QAAmC;CACtD,QAAQ,QAAR;EACE,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;EACT,KAAK,KACH,OAAO;CACX;AACF;AAEA,SAAS,oBAAoB,YAAoB,KAAsB;CAErE,IAAI,EAD4B,WAAW,SAAS,OAAO,WAAW,MAAM,OAAO,MAEjF,OAAO;CAGT,MAAM,aAAa,uBAAuB,YAAY,GAAG;CACzD,MAAM,aAAa,uBAAuB,YAAY,MAAM,CAAC;CAC7D,IAAI,aAAa,KAAK,aAAa,GACjC,OAAO;CAGT,OAAO,eAAe,aAAa;AACrC;AAEA,SAAS,uBAAuB,YAAoB,SAAyB;CAC3E,IAAI,WAAW,aAAa,KAC1B,OAAO;CAGT,MAAM,QAAuB,CAAC;CAC9B,KAAK,IAAI,QAAQ,SAAS,QAAQ,WAAW,QAAQ,SAAS;EAC5D,MAAM,SAAS,WAAW;EAC1B,IAAI,cAAc,MAAM,GAAG;GACzB,MAAM,KAAK,MAAM;GACjB;EACF;EACA,IAAI,CAAC,eAAe,MAAM,GACxB;EAEF,MAAM,MAAM,MAAM,IAAI;EACtB,IAAI,QAAQ,UAAa,QAAQ,YAAY,MAAM,GACjD,OAAO;EAET,IAAI,MAAM,WAAW,GACnB,OAAO;CAEX;CAEA,OAAO;AACT"}

package/dist/rslang/semantic/analyzer.d.ts

@@ -1,2 +1,2 @@
-import { a as RSLangAnalyzer, i as AnalysisOptions, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../../analyzer-camCAEkQ.js";
+import { a as RSLangAnalyzer, i as AnalysisOptions, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../../analyzer-CqUJ3FO9.js";
 export { AnalysisBase, AnalysisFast, AnalysisFull, AnalysisOptions, RSLangAnalyzer };

package/dist/rslang/semantic/type-auditor.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
 import { _ as TypeContext, f as ExpressionType } from "../../typification-Dk-fisgO.js";
-import { t as ErrorReporter } from "../../error-CZXO5Y6a.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 
 //#region src/rslang/semantic/type-auditor.d.ts
 /** Type auditor for AST type checking. */

package/dist/rslang/semantic/value-auditor.d.ts

@@ -1,5 +1,5 @@
 import { t as AstNode } from "../../ast-C8sIpKdL.js";
-import { t as ErrorReporter } from "../../error-CZXO5Y6a.js";
+import { t as ErrorReporter } from "../../error-CLnXbkly.js";
 import { n as ValueClassContext, t as ValueClass } from "../../value-class-CNI-lqXJ.js";
 
 //#region src/rslang/semantic/value-auditor.d.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/domain",
-  "version": "1.6.1",
+  "version": "1.7.0",
   "description": "Shared TypeScript domain for RS language, RSForm, RSModel, RSEngine, OSS, and concept-text helpers.",
   "license": "MIT",
   "author": "IRBorisov",

package/src/rslang/error.ts

@@ -37,6 +37,10 @@ export const RSErrorCode = {
   expectedFunctionBody: 0x8418, // 33816
   expectedExpressionBody: 0x8419, // 33817
   expectedLogicBody: 0x841a, // 33818
+  expectedQuantifierBody: 0x841b, // 33819
+  expectedDeclarativeBody: 0x841c, // 33820
+  expectedImperativeBody: 0x841d, // 33821
+  expectedRecursiveBody: 0x841e, // 33822
   expectedLocal: 0x8415, // 33813
   expectedType: 0x8416, // 33814
 

package/src/rslang/parser/parser.test.ts

@@ -91,9 +91,20 @@ const testErrorData = [
 ];
 
 const testIncompleteFormalData = [
-  ['[α∈ℬ(X1×X1)]', TypeClass.function, RSErrorCode.expectedExpressionBody],
-  ['[σ∈S1]', TypeClass.predicate, RSErrorCode.expectedLogicBody],
-  ['[ξ∈X1]', TypeClass.logic, RSErrorCode.expectedLogicBody]
+  ['[α∈ℬ(X1×X1)]', TypeClass.function, { code: RSErrorCode.expectedExpressionBody, from: 12, to: 12 }],
+  ['[σ∈S1]', TypeClass.predicate, { code: RSErrorCode.expectedLogicBody, from: 6, to: 6 }],
+  ['[ξ∈X1]', TypeClass.logic, { code: RSErrorCode.expectedLogicBody, from: 6, to: 6 }],
+  ['∀α∈X1', TypeClass.logic, { code: RSErrorCode.expectedQuantifierBody, from: 5, to: 5 }],
+  ['∃β∈S2', TypeClass.logic, { code: RSErrorCode.expectedQuantifierBody, from: 5, to: 5 }],
+  ['D{ξ∈X1 |', TypeClass.function, { code: RSErrorCode.expectedDeclarativeBody, from: 8, to: 8 }],
+  ['D{ξ∈X1 |}', TypeClass.function, { code: RSErrorCode.expectedDeclarativeBody, from: 8, to: 8 }],
+  ['D{ξ∈X1}', TypeClass.function, { code: RSErrorCode.expectedDeclarativeBody, from: 6, to: 7 }],
+  ['I{(σ, γ) |}', TypeClass.function, { code: RSErrorCode.expectedImperativeBody, from: 10, to: 10 }],
+  ['I{(σ, γ)}', TypeClass.function, { code: RSErrorCode.expectedImperativeBody, from: 8, to: 9 }],
+  ['I{(σ, γ) | σ:∈X1;}', TypeClass.function, { code: RSErrorCode.expectedImperativeBody, from: 17, to: 17 }],
+  ['R{ξ:=D1 |}', TypeClass.function, { code: RSErrorCode.expectedRecursiveBody, from: 9, to: 9 }],
+  ['R{ξ:=D1 | F1[ξ]≠∅ |}', TypeClass.function, { code: RSErrorCode.expectedRecursiveBody, from: 19, to: 19 }],
+  ['R{ξ:=D1}', TypeClass.function, { code: RSErrorCode.expectedRecursiveBody, from: 7, to: 8 }]
 ] as const;
 
 describe('Testing RSParser correct inputs', () => {
@@ -127,15 +138,14 @@ describe('Testing RSParser error data', () => {
     });
   });
 
-  testIncompleteFormalData.forEach(([input, expected, code]) => {
+  testIncompleteFormalData.forEach(([input, expected, expectedError]) => {
     it(`Parse incomplete formal "${input}" for ${expected}`, () => {
       const tree = parser.parse(input);
       const ast = buildTree(tree.cursor());
       const errors: RSErrorDescription[] = [];
       extractSyntaxErrors(ast, input, error => errors.push(error), false, { expected });
       expect(errors.length).toBe(1);
-      expect(errors[0].code).toBe(code);
-      expect(errors[0].from).toBe(errors[0].to);
+      expect(errors[0]).toMatchObject(expectedError);
     });
   });
 
@@ -182,6 +192,29 @@ describe('Testing RSParser error data', () => {
     expect(errorsTuple.some(error => error.code === RSErrorCode.doubleParenthesis)).toBe(false);
   });
 
+  it('Does not treat malformed generator body as incomplete', () => {
+    const input = 'D{ξ∈X1 | P1[';
+    const tree = parser.parse(input);
+    const ast = buildTree(tree.cursor());
+    const errors: RSErrorDescription[] = [];
+    extractSyntaxErrors(ast, input, error => errors.push(error));
+    expect(errors.some(error => error.code === RSErrorCode.expectedDeclarativeBody)).toBe(false);
+  });
+
+  it('Reports incomplete quantifier only for innermost missing body', () => {
+    const input = '∀α∈X1 ∀β∈X2';
+    const tree = parser.parse(input);
+    const ast = buildTree(tree.cursor());
+    const errors: RSErrorDescription[] = [];
+    extractSyntaxErrors(ast, input, error => errors.push(error), false, { expected: TypeClass.logic });
+    expect(errors.length).toBe(1);
+    expect(errors[0]).toMatchObject({
+      code: RSErrorCode.expectedQuantifierBody,
+      from: input.length,
+      to: input.length
+    });
+  });
+
   it('Reports a single forbidden-character error for exponentiation', () => {
     const input = '[σ∈S2]I{γ | ξ:∈ℬ(σ); γ:=(ξ×{1})∪((σ\\ξ)×{0}); 16=2^4}';
     const tree = parser.parse(input);

package/src/rslang/parser/syntax-errors.ts

@@ -7,7 +7,21 @@ import { annotateError } from '../ast-annotations';
 import { type ErrorReporter, RSErrorCode, type RSErrorDescription } from '../error';
 import { type TypeClass, TypeClass as TypeClassEnum } from '../semantic/typification';
 
-import { Arguments, Filter, Function, Function_decl, Predicate, Variable } from './parser.terms';
+import {
+  Arguments,
+  Declarative,
+  Filter,
+  Function,
+  Function_decl,
+  Imp_blocks,
+  Imperative,
+  Logic_quantor,
+  Predicate,
+  Recursion,
+  Setexpr,
+  Variable,
+  Variable_pack
+} from './parser.terms';
 import { TokenID } from './token';
 
 /** Options for syntax error extraction. */
@@ -44,12 +58,14 @@ export function extractSyntaxErrors(
   };
 
   const bracketError = extractBracketErrors(expression);
-  if (bracketError !== null) {
-    collect(bracketError, ast);
-  }
   const hasBracketErrors = bracketError !== null;
   visitAstDFS(ast, node => extractInternal(node, expression, collect, hasBracketErrors, options));
 
+  const hasIncompleteGenerator = collected.some(error => isIncompleteGeneratorBodyCode(error.code));
+  if (bracketError !== null && !hasIncompleteGenerator) {
+    collect(bracketError, ast);
+  }
+
   for (const error of deduplicateErrors(collected)) {
     reporter(error);
     if (annotateErrors) {
@@ -110,6 +126,16 @@ function classifyParseError(
     return incompleteFunctionDecl;
   }
 
+  const incompleteQuantifier = detectIncompleteQuantifier(node, expression);
+  if (incompleteQuantifier !== null) {
+    return incompleteQuantifier;
+  }
+
+  const incompleteGenerator = detectIncompleteGenerator(node, expression);
+  if (incompleteGenerator !== null) {
+    return incompleteGenerator;
+  }
+
   const filterParen = detectFilterParenMismatch(node, expression);
   if (filterParen !== null) {
     return filterParen;
@@ -161,6 +187,394 @@ function incompleteFormalExpressionCode(expected?: TypeClass): RSErrorCode {
   }
 }
 
+function detectIncompleteQuantifier(node: AstNode, expression: string): RSErrorDescription | null {
+  const quantNode = findAncestor(node, isQuantifierNode);
+  if (quantNode === null) {
+    return null;
+  }
+
+  const bodyChild = quantNode.children[quantNode.children.length - 1];
+  if (bodyChild?.typeID !== TokenID.ERROR || node !== bodyChild) {
+    return null;
+  }
+
+  const headerChildren = quantNode.children.slice(0, -1);
+  if (headerChildren.length < 3) {
+    return null;
+  }
+
+  const varPack = headerChildren.find(child => child.typeID === Variable_pack || child.typeID === TokenID.NT_ENUM_DECL);
+  if (varPack === undefined || subtreeHasError(varPack)) {
+    return null;
+  }
+
+  const domainChild = headerChildren[headerChildren.length - 1];
+  if (domainChild === varPack || subtreeHasError(domainChild)) {
+    return null;
+  }
+
+  if (expression.slice(quantNode.to).trim().length > 0) {
+    return null;
+  }
+
+  return {
+    code: RSErrorCode.expectedQuantifierBody,
+    from: bodyChild.from,
+    to: bodyChild.to
+  };
+}
+
+function detectIncompleteGenerator(node: AstNode, expression: string): RSErrorDescription | null {
+  return (
+    detectIncompleteDeclarative(node, expression) ??
+    detectIncompleteImperative(node, expression) ??
+    detectIncompleteRecursion(node, expression)
+  );
+}
+
+function detectIncompleteDeclarative(node: AstNode, expression: string): RSErrorDescription | null {
+  const generatorNode = findAncestor(
+    node,
+    target => target.typeID === Declarative || target.typeID === TokenID.NT_DECLARATIVE_EXPR
+  );
+  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedDeclarativeBody, slot =>
+    isIncompleteDeclarativeBody(slot)
+  );
+}
+
+function detectIncompleteImperative(node: AstNode, expression: string): RSErrorDescription | null {
+  const generatorNode = findAncestor(
+    node,
+    target => target.typeID === Imperative || target.typeID === TokenID.NT_IMPERATIVE_EXPR
+  );
+  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedImperativeBody, slot =>
+    isIncompleteImperativeBody(slot, expression)
+  );
+}
+
+function detectIncompleteRecursion(node: AstNode, expression: string): RSErrorDescription | null {
+  const generatorNode = findAncestor(node, target => target.typeID === Recursion);
+  return detectIncompleteGeneratorBody(node, expression, generatorNode, RSErrorCode.expectedRecursiveBody, slot =>
+    isIncompleteRecursionBody(slot)
+  );
+}
+
+interface GeneratorBodySlot {
+  nodes: AstNode[];
+  headerEndIndex: number;
+}
+
+function detectIncompleteGeneratorBody(
+  node: AstNode,
+  expression: string,
+  generatorNode: AstNode | null,
+  code: RSErrorCode,
+  isIncomplete: (slot: GeneratorBodySlot) => boolean
+): RSErrorDescription | null {
+  if (generatorNode === null) {
+    return null;
+  }
+
+  if (expression.slice(generatorNode.to).trim().length > 0) {
+    return null;
+  }
+
+  const slot = getGeneratorBodySlot(generatorNode, expression);
+  if (slot === null || !isIncomplete(slot)) {
+    return null;
+  }
+
+  if (!generatorHeaderIsValid(generatorNode, expression, slot.headerEndIndex)) {
+    return null;
+  }
+
+  if (!isErrorInBodySlot(node, slot, generatorNode)) {
+    return null;
+  }
+
+  return incompleteGeneratorError(code, node);
+}
+
+function getGeneratorBodySlot(generatorNode: AstNode, expression: string): GeneratorBodySlot | null {
+  if (generatorNode.typeID === Declarative || generatorNode.typeID === TokenID.NT_DECLARATIVE_EXPR) {
+    return getDeclarativeBodySlot(generatorNode, expression);
+  }
+  if (generatorNode.typeID === Imperative || generatorNode.typeID === TokenID.NT_IMPERATIVE_EXPR) {
+    return getImperativeBodySlot(generatorNode, expression);
+  }
+  if (generatorNode.typeID === Recursion) {
+    return getRecursionBodySlot(generatorNode, expression);
+  }
+  return null;
+}
+
+function getDeclarativeBodySlot(declNode: AstNode, expression: string): GeneratorBodySlot | null {
+  const pipeIndex = declNode.children.findIndex(child => isPipeToken(child, expression));
+  if (pipeIndex >= 0) {
+    return {
+      nodes: contentChildren(declNode, expression, pipeIndex + 1),
+      headerEndIndex: pipeIndex + 1
+    };
+  }
+
+  const domainNode = findDeclarativeDomain(declNode, expression);
+  if (domainNode === null) {
+    return null;
+  }
+
+  const domainIndex = declNode.children.indexOf(domainNode);
+  return {
+    nodes: contentChildren(declNode, expression, domainIndex + 1),
+    headerEndIndex: domainIndex + 1
+  };
+}
+
+function getImperativeBodySlot(impNode: AstNode, expression: string): GeneratorBodySlot | null {
+  const pipeIndex = impNode.children.findIndex(child => isPipeToken(child, expression));
+  if (pipeIndex >= 0) {
+    return {
+      nodes: contentChildren(impNode, expression, pipeIndex + 1),
+      headerEndIndex: pipeIndex + 1
+    };
+  }
+
+  const tupleNode = findImperativeTuple(impNode);
+  if (tupleNode === null) {
+    return null;
+  }
+
+  const tupleIndex = impNode.children.indexOf(tupleNode);
+  return {
+    nodes: contentChildren(impNode, expression, tupleIndex + 1),
+    headerEndIndex: tupleIndex + 1
+  };
+}
+
+function getRecursionBodySlot(recNode: AstNode, expression: string): GeneratorBodySlot | null {
+  const initNode = findRecursionInit(recNode, expression);
+  if (initNode === null) {
+    return null;
+  }
+
+  const initIndex = recNode.children.indexOf(initNode);
+  const afterInit = contentChildren(recNode, expression, initIndex + 1);
+  const lastPipeIndex = findLastPipeIndex(afterInit, expression);
+  if (lastPipeIndex < 0) {
+    return {
+      nodes: afterInit,
+      headerEndIndex: initIndex + 1
+    };
+  }
+
+  return {
+    nodes: afterInit.slice(lastPipeIndex + 1),
+    headerEndIndex: recNode.children.indexOf(afterInit[lastPipeIndex]) + 1
+  };
+}
+
+function contentChildren(generatorNode: AstNode, expression: string, fromIndex: number): AstNode[] {
+  return generatorNode.children.slice(fromIndex).filter(child => !isClosingBrace(child, expression));
+}
+
+function findDeclarativeDomain(declNode: AstNode, expression: string): AstNode | null {
+  const inIndex = declNode.children.findIndex(child => expression.slice(child.from, child.to) === '∈');
+  if (inIndex < 0) {
+    return null;
+  }
+
+  for (let index = inIndex + 1; index < declNode.children.length; index++) {
+    const child = declNode.children[index];
+    if (isPipeToken(child, expression) || isClosingBrace(child, expression)) {
+      break;
+    }
+    if (child.typeID === Setexpr) {
+      return child;
+    }
+  }
+
+  return null;
+}
+
+function findImperativeTuple(impNode: AstNode): AstNode | null {
+  for (const child of impNode.children) {
+    if (child.typeID === Setexpr) {
+      return child;
+    }
+  }
+  return null;
+}
+
+function findLastPipeIndex(nodes: AstNode[], expression: string): number {
+  for (let index = nodes.length - 1; index >= 0; index--) {
+    if (isPipeToken(nodes[index], expression)) {
+      return index;
+    }
+  }
+  return -1;
+}
+
+function generatorHeaderIsValid(generatorNode: AstNode, expression: string, headerEndIndex: number): boolean {
+  for (let index = 0; index < headerEndIndex; index++) {
+    const child = generatorNode.children[index];
+    if (child.typeID === TokenID.ERROR) {
+      return false;
+    }
+    if (isStructuralGeneratorToken(child, expression)) {
+      continue;
+    }
+    if (subtreeHasError(child)) {
+      return false;
+    }
+  }
+  return true;
+}
+
+function isIncompleteDeclarativeBody(slot: GeneratorBodySlot): boolean {
+  return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+
+function isIncompleteImperativeBody(slot: GeneratorBodySlot, expression: string): boolean {
+  if (slot.nodes.length === 0) {
+    return true;
+  }
+  if (slot.nodes.length === 1 && slot.nodes[0].typeID === Imp_blocks) {
+    return isImpBlocksIncomplete(slot.nodes[0], expression);
+  }
+  return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+
+function isIncompleteRecursionBody(slot: GeneratorBodySlot): boolean {
+  return isEmptyOrErrorOnlyBody(slot.nodes);
+}
+
+function isEmptyOrErrorOnlyBody(nodes: AstNode[]): boolean {
+  if (nodes.length === 0) {
+    return true;
+  }
+  if (nodes.length === 1) {
+    return isErrorPlaceholder(nodes[0]);
+  }
+  return false;
+}
+
+function isImpBlocksIncomplete(blocksNode: AstNode, expression: string): boolean {
+  if (blocksNode.children.length === 0) {
+    return true;
+  }
+
+  const lastChild = blocksNode.children[blocksNode.children.length - 1];
+  if (lastChild.typeID === TokenID.ERROR) {
+    return true;
+  }
+  if (isSemicolonToken(lastChild, expression)) {
+    return true;
+  }
+  if (lastChild.typeID === Setexpr && isErrorPlaceholder(lastChild)) {
+    return true;
+  }
+
+  return false;
+}
+
+function isErrorInBodySlot(errorNode: AstNode, slot: GeneratorBodySlot, generatorNode: AstNode): boolean {
+  if (slot.nodes.length === 0) {
+    const bodyStart = generatorNode.children[slot.headerEndIndex]?.from ?? generatorNode.from;
+    return errorNode.from >= bodyStart;
+  }
+
+  for (const bodyNode of slot.nodes) {
+    if (errorNode === bodyNode || isDescendantOf(bodyNode, errorNode)) {
+      if (isErrorPlaceholder(bodyNode)) {
+        return true;
+      }
+      if (bodyNode.typeID === Imp_blocks && isImpBlocksTailError(bodyNode, errorNode)) {
+        return true;
+      }
+    }
+  }
+
+  return false;
+}
+
+function isImpBlocksTailError(blocksNode: AstNode, errorNode: AstNode): boolean {
+  const lastChild = blocksNode.children[blocksNode.children.length - 1];
+  return lastChild.typeID === TokenID.ERROR && (errorNode === lastChild || isDescendantOf(lastChild, errorNode));
+}
+
+function isErrorPlaceholder(node: AstNode): boolean {
+  if (node.typeID === TokenID.ERROR) {
+    return true;
+  }
+  if (node.children.length === 0) {
+    return false;
+  }
+  return node.children.every(child => isErrorPlaceholder(child));
+}
+
+function isDescendantOf(ancestor: AstNode, node: AstNode): boolean {
+  let current: AstNode | null = node.parent;
+  while (current !== null) {
+    if (current === ancestor) {
+      return true;
+    }
+    current = current.parent;
+  }
+  return false;
+}
+
+function findRecursionInit(recursionNode: AstNode, expression: string): AstNode | null {
+  const assignIndex = recursionNode.children.findIndex(child => expression.slice(child.from, child.to) === ':=');
+  if (assignIndex < 0) {
+    return null;
+  }
+
+  for (let index = assignIndex + 1; index < recursionNode.children.length; index++) {
+    const child = recursionNode.children[index];
+    if (child.typeID === TokenID.ERROR) {
+      break;
+    }
+    if (isPipeToken(child, expression) || isClosingBrace(child, expression)) {
+      continue;
+    }
+    return child;
+  }
+
+  return null;
+}
+
+function incompleteGeneratorError(code: RSErrorCode, errorNode: AstNode): RSErrorDescription {
+  return {
+    code,
+    from: errorNode.from,
+    to: errorNode.to
+  };
+}
+
+function isIncompleteGeneratorBodyCode(code: RSErrorCode): boolean {
+  return (
+    code === RSErrorCode.expectedDeclarativeBody ||
+    code === RSErrorCode.expectedImperativeBody ||
+    code === RSErrorCode.expectedRecursiveBody
+  );
+}
+
+function isPipeToken(node: AstNode, expression: string): boolean {
+  return expression.slice(node.from, node.to) === '|';
+}
+
+function isSemicolonToken(node: AstNode, expression: string): boolean {
+  return expression.slice(node.from, node.to) === ';';
+}
+
+function isClosingBrace(node: AstNode, expression: string): boolean {
+  return node.typeID !== TokenID.ERROR && expression.slice(node.from, node.to) === '}';
+}
+
+function isStructuralGeneratorToken(node: AstNode, expression: string): boolean {
+  const text = expression.slice(node.from, node.to);
+  return text === '{' || text === '}' || text === '|' || text === '∈' || text === ':=' || text === ';';
+}
+
 function subtreeHasError(node: AstNode): boolean {
   if (node.typeID === TokenID.ERROR) {
     return true;
@@ -257,6 +671,10 @@ function isFunctionDeclNode(node: AstNode): boolean {
   return node.typeID === Function_decl || node.typeID === TokenID.NT_FUNC_DEFINITION;
 }
 
+function isQuantifierNode(node: AstNode): boolean {
+  return node.typeID === Logic_quantor;
+}
+
 function isFunctionNode(node: AstNode): boolean {
   return node.typeID === Function || node.typeID === TokenID.ID_FUNCTION;
 }