ifc-expressions 2.0.1-beta.7 → 2.0.1

package/dist/expression/function/impl/FuncBooleanBinary.d.ts

@@ -6,8 +6,8 @@ import { FunctionExpr } from "../FunctionExpr.js";
 export declare class FuncBooleanBinary extends Func {
     private static readonly KEY_LEFT;
     private static readonly KEY_RIGHT;
-    private readonly actualCalculation;
-    constructor(name: string, fun: (l: boolean, r: boolean) => boolean);
+    private readonly methodName;
+    constructor(name: string, methodName: string);
     getReturnType(argumentTypes: Array<ExprType>): ExprType;
     protected calculateResult(callingExpr: FunctionExpr, evaluatedArguments: Map<string, ExpressionValue>): ExprEvalResult<ExpressionValue>;
 }

package/dist/expression/function/impl/IF.d.ts

@@ -3,11 +3,16 @@ import { ExpressionValue } from "../../../value/ExpressionValue.js";
 import { ExprEvalResult } from "../../ExprEvalResult.js";
 import { ExprType } from "../../../type/ExprType.js";
 import { FunctionExpr } from "../FunctionExpr.js";
+import { ParserRuleContext } from "antlr4";
+import { Expr } from "../../Expr.js";
 export declare class IF extends Func {
     private static readonly ARG_NAME_CONDITION;
     private static readonly ARG_NAME_THEN;
     private static readonly ARG_NAME_ELSE;
+    private static readonly ARG_NAME_UNKNOWN;
     constructor();
     getReturnType(argumentTypes: Array<ExprType>): ExprType;
+    protected checkArgumentTypes(providedArgumentTypes: Array<[ParserRuleContext, ExprType]>, ctx: any): void;
+    protected transformArguments(callingExpr: Expr<any>, evaluatedArguments: Map<string, ExprEvalResult<ExpressionValue>>): void;
     protected calculateResult(callingExpr: FunctionExpr, evaluatedArguments: Map<string, ExpressionValue>): ExprEvalResult<ExpressionValue>;
 }

package/dist/expression/function/impl/TOLOGICAL.d.ts

@@ -0,0 +1,13 @@
+import { Func } from "../Func.js";
+import { ExpressionValue } from "../../../value/ExpressionValue.js";
+import { ExprEvalResult } from "../../ExprEvalResult.js";
+import { ExprType } from "../../../type/ExprType.js";
+import { FunctionExpr } from "../FunctionExpr.js";
+import { Expr } from "../../Expr.js";
+export declare class TOLOGICAL extends Func {
+    private static readonly KEY_OBJECT;
+    constructor();
+    protected transformArguments(callingExpr: Expr<any>, evaluatedArguments: Map<string, ExprEvalResult<ExpressionValue>>): void;
+    protected calculateResult(callingExpr: FunctionExpr, evaluatedArguments: Map<string, ExpressionValue>): ExprEvalResult<ExpressionValue>;
+    getReturnType(argumentTypes: Array<ExprType>): ExprType;
+}

package/dist/gen/parser/IfcExpressionLexer.d.ts

@@ -16,13 +16,14 @@ export default class IfcExpressionLexer extends Lexer {
     static readonly INT = 14;
     static readonly FLOAT = 15;
     static readonly BOOLEAN = 16;
-    static readonly DOT = 17;
-    static readonly QUOTED_STRING = 18;
-    static readonly IDENTIFIER = 19;
-    static readonly WS = 20;
-    static readonly NEWLINE = 21;
-    static readonly BOOLEAN_BINARY_OP = 22;
-    static readonly CMP_OP = 23;
+    static readonly LOGICAL_UNKNOWN = 17;
+    static readonly DOT = 18;
+    static readonly QUOTED_STRING = 19;
+    static readonly IDENTIFIER = 20;
+    static readonly WS = 21;
+    static readonly NEWLINE = 22;
+    static readonly BOOLEAN_BINARY_OP = 23;
+    static readonly CMP_OP = 24;
     static readonly EOF: number;
     static readonly channelNames: string[];
     static readonly literalNames: (string | null)[];

package/dist/gen/parser/IfcExpressionListener.d.ts

@@ -24,6 +24,7 @@ import { LiteralContext } from "./IfcExpressionParser.js";
 import { NumLiteralContext } from "./IfcExpressionParser.js";
 import { StringLiteralContext } from "./IfcExpressionParser.js";
 import { BooleanLiteralContext } from "./IfcExpressionParser.js";
+import { LogicalLiteralContext } from "./IfcExpressionParser.js";
 import { VariableRefContext } from "./IfcExpressionParser.js";
 /**
  * This interface defines a complete listener for a parse tree produced by
@@ -312,6 +313,16 @@ export default class IfcExpressionListener extends ParseTreeListener {
      * @param ctx the parse tree
      */
     exitBooleanLiteral?: (ctx: BooleanLiteralContext) => void;
+    /**
+     * Enter a parse tree produced by `IfcExpressionParser.logicalLiteral`.
+     * @param ctx the parse tree
+     */
+    enterLogicalLiteral?: (ctx: LogicalLiteralContext) => void;
+    /**
+     * Exit a parse tree produced by `IfcExpressionParser.logicalLiteral`.
+     * @param ctx the parse tree
+     */
+    exitLogicalLiteral?: (ctx: LogicalLiteralContext) => void;
     /**
      * Enter a parse tree produced by `IfcExpressionParser.variableRef`.
      * @param ctx the parse tree

package/dist/gen/parser/IfcExpressionParser.d.ts

@@ -18,13 +18,14 @@ export default class IfcExpressionParser extends Parser {
     static readonly INT = 14;
     static readonly FLOAT = 15;
     static readonly BOOLEAN = 16;
-    static readonly DOT = 17;
-    static readonly QUOTED_STRING = 18;
-    static readonly IDENTIFIER = 19;
-    static readonly WS = 20;
-    static readonly NEWLINE = 21;
-    static readonly BOOLEAN_BINARY_OP = 22;
-    static readonly CMP_OP = 23;
+    static readonly LOGICAL_UNKNOWN = 17;
+    static readonly DOT = 18;
+    static readonly QUOTED_STRING = 19;
+    static readonly IDENTIFIER = 20;
+    static readonly WS = 21;
+    static readonly NEWLINE = 22;
+    static readonly BOOLEAN_BINARY_OP = 23;
+    static readonly CMP_OP = 24;
     static readonly EOF: number;
     static readonly RULE_expr = 0;
     static readonly RULE_singleExpr = 1;
@@ -37,7 +38,8 @@ export default class IfcExpressionParser extends Parser {
     static readonly RULE_numLiteral = 8;
     static readonly RULE_stringLiteral = 9;
     static readonly RULE_booleanLiteral = 10;
-    static readonly RULE_variableRef = 11;
+    static readonly RULE_logicalLiteral = 11;
+    static readonly RULE_variableRef = 12;
     static readonly literalNames: (string | null)[];
     static readonly symbolicNames: (string | null)[];
     static readonly ruleNames: string[];
@@ -60,6 +62,7 @@ export default class IfcExpressionParser extends Parser {
     numLiteral(): NumLiteralContext;
     stringLiteral(): StringLiteralContext;
     booleanLiteral(): BooleanLiteralContext;
+    logicalLiteral(): LogicalLiteralContext;
     variableRef(): VariableRefContext;
     sempred(localctx: RuleContext, ruleIndex: number, predIndex: number): boolean;
     private singleExpr_sempred;
@@ -279,6 +282,7 @@ export declare class LiteralContext extends ParserRuleContext {
     numLiteral(): NumLiteralContext;
     stringLiteral(): StringLiteralContext;
     booleanLiteral(): BooleanLiteralContext;
+    logicalLiteral(): LogicalLiteralContext;
     get ruleIndex(): number;
     enterRule(listener: IfcExpressionListener): void;
     exitRule(listener: IfcExpressionListener): void;
@@ -309,6 +313,14 @@ export declare class BooleanLiteralContext extends ParserRuleContext {
     exitRule(listener: IfcExpressionListener): void;
     accept<Result>(visitor: IfcExpressionVisitor<Result>): Result;
 }
+export declare class LogicalLiteralContext extends ParserRuleContext {
+    constructor(parser?: IfcExpressionParser, parent?: ParserRuleContext, invokingState?: number);
+    LOGICAL_UNKNOWN(): TerminalNode;
+    get ruleIndex(): number;
+    enterRule(listener: IfcExpressionListener): void;
+    exitRule(listener: IfcExpressionListener): void;
+    accept<Result>(visitor: IfcExpressionVisitor<Result>): Result;
+}
 export declare class VariableRefContext extends ParserRuleContext {
     constructor(parser?: IfcExpressionParser, parent?: ParserRuleContext, invokingState?: number);
     IDENTIFIER(): TerminalNode;

package/dist/gen/parser/IfcExpressionVisitor.d.ts

@@ -24,6 +24,7 @@ import { LiteralContext } from "./IfcExpressionParser.js";
 import { NumLiteralContext } from "./IfcExpressionParser.js";
 import { StringLiteralContext } from "./IfcExpressionParser.js";
 import { BooleanLiteralContext } from "./IfcExpressionParser.js";
+import { LogicalLiteralContext } from "./IfcExpressionParser.js";
 import { VariableRefContext } from "./IfcExpressionParser.js";
 /**
  * This interface defines a complete generic visitor for a parse tree produced
@@ -199,6 +200,12 @@ export default class IfcExpressionVisitor<Result> extends ParseTreeVisitor<Resul
      * @return the visitor result
      */
     visitBooleanLiteral?: (ctx: BooleanLiteralContext) => Result;
+    /**
+     * Visit a parse tree produced by `IfcExpressionParser.logicalLiteral`.
+     * @param ctx the parse tree
+     * @return the visitor result
+     */
+    visitLogicalLiteral?: (ctx: LogicalLiteralContext) => Result;
     /**
      * Visit a parse tree produced by `IfcExpressionParser.variableRef`.
      * @param ctx the parse tree

package/dist/mjs/E.js

@@ -17,6 +17,7 @@ import { OrExpr } from "./expression/boolean/OrExpr.js";
 import { XorExpr } from "./expression/boolean/XorExpr.js";
 import { BooleanLiteralExpr } from "./expression/boolean/BooleanLiteralExpr.js";
 import { NotExpr } from "./expression/boolean/NotExpr.js";
+import { LogicalLiteralExpr } from "./expression/boolean/LogicalLiteralExpr.js";
 export class E {
     static array(...elements) {
         return new ArrayExpr(elements);
@@ -72,6 +73,9 @@ export class E {
     static boolean(literal) {
         return new BooleanLiteralExpr(literal);
     }
+    static logical(literal) {
+        return new LogicalLiteralExpr(literal);
+    }
     static not(booleanExpr) {
         return new NotExpr(booleanExpr);
     }

package/dist/mjs/E.js.map

@@ -1 +1 @@
-{"version":3,"sources":["E.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAC7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAE5F,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAEhF,OAAO,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAErE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1D,MAAM,OAAO,CAAC;IACL,MAAM,CAAC,KAAK,CAAC,GAAG,QAA0B;QAC/C,OAAO,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,MAAM,CAClB,IAAuB,EACvB,KAAwB;QAExB,OAAO,IAAI,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,OAAe;QAClC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,uBAAuB,EAAE,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,QAAQ;QACpB,OAAO,IAAI,uBAAuB,EAAE,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACM,MAAM,CAAC,KAAK,CACjB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,QAAQ,CACpB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,IAAI,CAChB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,OAAkC;QACrD,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACM,MAAM,CAAC,WAAW,CACvB,iBAAqC;QAErC,OAAO,IAAI,eAAe,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACM,MAAM,CAAC,KAAK,CACjB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,UAAU,CAAC,OAA2B;QAClD,OAAO,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,YAAoB,EACpB,GAAG,QAA0B;QAE7B,OAAO,IAAI,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACM,MAAM,CAAC,EAAE,CACd,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACM,MAAM,CAAC,OAAO,CAAC,OAAgB;QACpC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACM,MAAM,CAAC,GAAG,CAAC,WAA+B;QAC/C,OAAO,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;CACF","file":"E.js","sourcesContent":["import { ArrayExpr } from \"./expression/structure/ArrayExpr.js\";\nimport { Expr } from \"./expression/Expr.js\";\nimport { StringConcatExpr } from \"./expression/string/StringConcatExpr.js\";\nimport { StringLiteralExpr } from \"./expression/string/StringLiteralExpr.js\";\nimport { ElemObjectReferenceExpr } from \"./expression/reference/ElemObjectReferenceExpr.js\";\nimport { PropObjectReferenceExpr } from \"./expression/reference/PropObjectReferenceExpr.js\";\nimport { NumericValue } from \"./value/NumericValue.js\";\nimport { DivideExpr } from \"./expression/numeric/DivideExpr.js\";\nimport { StringValue } from \"./value/StringValue.js\";\nimport { MinusExpr } from \"./expression/numeric/MinusExpr.js\";\nimport { MultiplyExpr } from \"./expression/numeric/MultiplyExpr.js\";\nimport { PlusExpr } from \"./expression/numeric/PlusExpr.js\";\nimport { NumericLiteralExpr } from \"./expression/numeric/NumericLiteralExpr.js\";\nimport { Decimal } from \"decimal.js\";\nimport { ParenthesisExpr } from \"./expression/structure/ParenthesisExpr.js\";\nimport { PowerExpr } from \"./expression/numeric/PowerExpr.js\";\nimport { UnaryMinusExpr } from \"./expression/numeric/UnaryMinusExpr.js\";\nimport { FunctionExpr } from \"./expression/function/FunctionExpr.js\";\nimport { BooleanValue } from \"./value/BooleanValue.js\";\nimport { AndExpr } from \"./expression/boolean/AndExpr.js\";\nimport { OrExpr } from \"./expression/boolean/OrExpr.js\";\nimport { XorExpr } from \"./expression/boolean/XorExpr.js\";\nimport { BooleanLiteralExpr } from \"./expression/boolean/BooleanLiteralExpr.js\";\nimport { NotExpr } from \"./expression/boolean/NotExpr.js\";\n\nexport class E {\n  public static array(...elements: Array<Expr<any>>): ArrayExpr {\n    return new ArrayExpr(elements);\n  }\n  public static concat(\n    left: Expr<StringValue>,\n    right: Expr<StringValue>\n  ): StringConcatExpr {\n    return new StringConcatExpr(left, right);\n  }\n  public static string(literal: string): StringLiteralExpr {\n    return new StringLiteralExpr(literal);\n  }\n  public static element() {\n    return new ElemObjectReferenceExpr();\n  }\n  public static property() {\n    return new PropObjectReferenceExpr();\n  }\n  public static div(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): DivideExpr {\n    return new DivideExpr(left, right);\n  }\n  public static minus(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): MinusExpr {\n    return new MinusExpr(left, right);\n  }\n  public static multiply(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): MultiplyExpr {\n    return new MultiplyExpr(left, right);\n  }\n  public static plus(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): PlusExpr {\n    return new PlusExpr(left, right);\n  }\n  public static number(literal: number | string | Decimal): NumericLiteralExpr {\n    return new NumericLiteralExpr(literal);\n  }\n  public static parenthesis(\n    numericExpression: Expr<NumericValue>\n  ): ParenthesisExpr {\n    return new ParenthesisExpr(numericExpression);\n  }\n  public static power(\n    base: Expr<NumericValue>,\n    power: Expr<NumericValue>\n  ): PowerExpr {\n    return new PowerExpr(base, power);\n  }\n  public static unaryMinus(numExpr: Expr<NumericValue>): UnaryMinusExpr {\n    return new UnaryMinusExpr(numExpr);\n  }\n  public static fun(\n    functionName: string,\n    ...funcArgs: Array<Expr<any>>\n  ): FunctionExpr {\n    return new FunctionExpr(functionName, funcArgs);\n  }\n  public static and(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): AndExpr {\n    return new AndExpr(left, right);\n  }\n  public static or(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): OrExpr {\n    return new OrExpr(left, right);\n  }\n  public static xor(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): XorExpr {\n    return new XorExpr(left, right);\n  }\n  public static boolean(literal: boolean) {\n    return new BooleanLiteralExpr(literal);\n  }\n  public static not(booleanExpr: Expr<BooleanValue>): NotExpr {\n    return new NotExpr(booleanExpr);\n  }\n}\n"]}
+{"version":3,"sources":["E.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAC7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAE5F,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAEhF,OAAO,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAErE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAEhF,MAAM,OAAO,CAAC;IACL,MAAM,CAAC,KAAK,CAAC,GAAG,QAA0B;QAC/C,OAAO,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,MAAM,CAClB,IAAuB,EACvB,KAAwB;QAExB,OAAO,IAAI,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,OAAe;QAClC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,uBAAuB,EAAE,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,QAAQ;QACpB,OAAO,IAAI,uBAAuB,EAAE,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACM,MAAM,CAAC,KAAK,CACjB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,QAAQ,CACpB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,IAAI,CAChB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,OAAkC;QACrD,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACM,MAAM,CAAC,WAAW,CACvB,iBAAqC;QAErC,OAAO,IAAI,eAAe,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC;IACM,MAAM,CAAC,KAAK,CACjB,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,UAAU,CAAC,OAA2B;QAClD,OAAO,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,YAAoB,EACpB,GAAG,QAA0B;QAE7B,OAAO,IAAI,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACM,MAAM,CAAC,EAAE,CACd,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,GAAG,CACf,IAAwB,EACxB,KAAyB;QAEzB,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACM,MAAM,CAAC,OAAO,CAAC,OAAgB;QACpC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACM,MAAM,CAAC,OAAO,CAAC,OAAgB;QACpC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACM,MAAM,CAAC,GAAG,CAAC,WAA+B;QAC/C,OAAO,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;CACF","file":"E.js","sourcesContent":["import { ArrayExpr } from \"./expression/structure/ArrayExpr.js\";\nimport { Expr } from \"./expression/Expr.js\";\nimport { StringConcatExpr } from \"./expression/string/StringConcatExpr.js\";\nimport { StringLiteralExpr } from \"./expression/string/StringLiteralExpr.js\";\nimport { ElemObjectReferenceExpr } from \"./expression/reference/ElemObjectReferenceExpr.js\";\nimport { PropObjectReferenceExpr } from \"./expression/reference/PropObjectReferenceExpr.js\";\nimport { NumericValue } from \"./value/NumericValue.js\";\nimport { DivideExpr } from \"./expression/numeric/DivideExpr.js\";\nimport { StringValue } from \"./value/StringValue.js\";\nimport { MinusExpr } from \"./expression/numeric/MinusExpr.js\";\nimport { MultiplyExpr } from \"./expression/numeric/MultiplyExpr.js\";\nimport { PlusExpr } from \"./expression/numeric/PlusExpr.js\";\nimport { NumericLiteralExpr } from \"./expression/numeric/NumericLiteralExpr.js\";\nimport { Decimal } from \"decimal.js\";\nimport { ParenthesisExpr } from \"./expression/structure/ParenthesisExpr.js\";\nimport { PowerExpr } from \"./expression/numeric/PowerExpr.js\";\nimport { UnaryMinusExpr } from \"./expression/numeric/UnaryMinusExpr.js\";\nimport { FunctionExpr } from \"./expression/function/FunctionExpr.js\";\nimport { BooleanValue } from \"./value/BooleanValue.js\";\nimport { AndExpr } from \"./expression/boolean/AndExpr.js\";\nimport { OrExpr } from \"./expression/boolean/OrExpr.js\";\nimport { XorExpr } from \"./expression/boolean/XorExpr.js\";\nimport { BooleanLiteralExpr } from \"./expression/boolean/BooleanLiteralExpr.js\";\nimport { NotExpr } from \"./expression/boolean/NotExpr.js\";\nimport { Logical } from \"./value/LogicalValue\";\nimport { LogicalLiteralExpr } from \"./expression/boolean/LogicalLiteralExpr\";\n\nexport class E {\n  public static array(...elements: Array<Expr<any>>): ArrayExpr {\n    return new ArrayExpr(elements);\n  }\n  public static concat(\n    left: Expr<StringValue>,\n    right: Expr<StringValue>\n  ): StringConcatExpr {\n    return new StringConcatExpr(left, right);\n  }\n  public static string(literal: string): StringLiteralExpr {\n    return new StringLiteralExpr(literal);\n  }\n  public static element() {\n    return new ElemObjectReferenceExpr();\n  }\n  public static property() {\n    return new PropObjectReferenceExpr();\n  }\n  public static div(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): DivideExpr {\n    return new DivideExpr(left, right);\n  }\n  public static minus(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): MinusExpr {\n    return new MinusExpr(left, right);\n  }\n  public static multiply(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): MultiplyExpr {\n    return new MultiplyExpr(left, right);\n  }\n  public static plus(\n    left: Expr<NumericValue>,\n    right: Expr<NumericValue>\n  ): PlusExpr {\n    return new PlusExpr(left, right);\n  }\n  public static number(literal: number | string | Decimal): NumericLiteralExpr {\n    return new NumericLiteralExpr(literal);\n  }\n  public static parenthesis(\n    numericExpression: Expr<NumericValue>\n  ): ParenthesisExpr {\n    return new ParenthesisExpr(numericExpression);\n  }\n  public static power(\n    base: Expr<NumericValue>,\n    power: Expr<NumericValue>\n  ): PowerExpr {\n    return new PowerExpr(base, power);\n  }\n  public static unaryMinus(numExpr: Expr<NumericValue>): UnaryMinusExpr {\n    return new UnaryMinusExpr(numExpr);\n  }\n  public static fun(\n    functionName: string,\n    ...funcArgs: Array<Expr<any>>\n  ): FunctionExpr {\n    return new FunctionExpr(functionName, funcArgs);\n  }\n  public static and(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): AndExpr {\n    return new AndExpr(left, right);\n  }\n  public static or(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): OrExpr {\n    return new OrExpr(left, right);\n  }\n  public static xor(\n    left: Expr<BooleanValue>,\n    right: Expr<BooleanValue>\n  ): XorExpr {\n    return new XorExpr(left, right);\n  }\n  public static boolean(literal: boolean) {\n    return new BooleanLiteralExpr(literal);\n  }\n  public static logical(literal: Logical) {\n    return new LogicalLiteralExpr(literal);\n  }\n  public static not(booleanExpr: Expr<BooleanValue>): NotExpr {\n    return new NotExpr(booleanExpr);\n  }\n}\n"]}

package/dist/mjs/compiler/ExprCompiler.js

@@ -30,6 +30,8 @@ import { GreaterThanOrEqual } from "../expression/comparison/GreaterThanOrEqual.
 import { LessThan } from "../expression/comparison/LessThan.js";
 import { LessThanOrEqual } from "../expression/comparison/LessThanOrEqual.js";
 import { ExprManager } from "./ExprManager.js";
+import { LogicalValue } from "../value/LogicalValue.js";
+import { LogicalLiteralExpr } from "../expression/boolean/LogicalLiteralExpr.js";
 export class ExprCompiler extends IfcExpressionVisitor {
     constructor(typeManager) {
         super();
@@ -171,6 +173,10 @@ export class ExprCompiler extends IfcExpressionVisitor {
         this.visitBooleanLiteral = (ctx) => {
             return this.associateContextAndReturn(new BooleanLiteralExpr(ctx.BOOLEAN().getText().toUpperCase() === "TRUE"), ctx);
         };
+        this.visitLogicalLiteral = (ctx) => {
+            // the only literal we recognize is 'UNKNOWN' (true and false are boolean literals)
+            return this.associateContextAndReturn(new LogicalLiteralExpr(LogicalValue.UNKNOWN_VALUE), ctx);
+        };
         this.visitSENot = (ctx) => {
             return this.associateContextAndReturn(new NotExpr(this.visit(ctx.singleExpr())), ctx);
         };

package/dist/mjs/compiler/ExprCompiler.js.map

@@ -1 +1 @@
-{"version":3,"sources":["compiler/ExprCompiler.ts"],"names":[],"mappings":"AAAA,OAAO,oBAAoB,MAAM,uCAAuC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AA8BjF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,OAAO,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAE/D,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,oDAAoD,CAAC;AAC7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,oDAAoD,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAE1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,yCAAyC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gDAAgD,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,OAAO,YAAa,SAAQ,oBAA+B;IAK/D,YAAY,WAAwB;QAClC,KAAK,EAAE,CAAC;QALO,0BAAqB,GAAG,EAAE,CAAC;QAc5C,cAAS,GAAoC,CAAC,GAAG,EAAE,EAAE;YACnD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QAWF,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,UAAU,EAAE;gBAC3D,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;aAC3E;iBAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,SAAS,EAAE;gBACjE,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;aAC3E;YACD,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC3E,CAAC,CAAC;QAEF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;gBAC9B,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC1E,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAC9B,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAC5B,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,EACnC,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxE,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAChC,GAAG,CACJ,CAAC;aACL;YACD,MAAM,IAAI,KAAK,CACb,uCAAuC,GAAG;iBACvC,MAAM,EAAE;iBACR,OAAO,EAAE,iBAAiB,CAC9B,CAAC;QACJ,CAAC,CAAC;QAEF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC;QAEF,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QACrC,CAAC,CAAC;QACF,wBAAmB,GAA8C,CAAC,GAAG,EAAE,EAAE;YACvE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QACxC,CAAC,CAAC;QACF,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EACzC,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;0DAEkD;QAElD,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,MAAM,YAAY,GAAG,IAAI,YAAY,CACnC,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EACzC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC3D,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE;aACjC,CAAC,CACH,CAAC;YACF,IAAI,CAAC,yBAAyB,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,4BAAuB,GAAkD,CACvE,GAAG,EACH,EAAE;YACF,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CACd,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EACzC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC3D,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE;aACjC,CAAC,CACH,EACD,GAAG,CAAC,YAAY,EAAE,CACnB,CAAC;QACJ,CAAC,CAAC;QAEF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;gBAChC,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC5D,GAAG,CACJ,CAAC;gBACJ;oBACE,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC9B;QACH,CAAC,CAAC;QA8BF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,UAAU,CACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,EACD,GAAG,CACJ,CAAC;gBACJ;oBACE,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC9B;QACH,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,MAAM,YAAY,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAChE,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,oBAAe,GAA0C,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;YACpB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAClD,GAAG,CACJ,CAAC;aACH;YACD,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAClD,GAAG,CACJ,CAAC;aACH;YACD,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC;QAEF,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QACF,iBAAY,GAAuC,CAAC,GAAG,EAAE,EAAE;YACzD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC5D,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QACF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,EAChD,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,2BAAsB,GAAiD,CACrE,GAAG,EACH,EAAE;YACF,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,MAAM,CACR,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;aACL;YACD,MAAM,IAAI,oBAAoB,CAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,EACZ,GAAG,CAAC,GAAG,CAAC,IAAI,EACZ,GAAG,CAAC,GAAG,CAAC,MAAM,EACd,4BAA4B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAC3C,CAAC;QACJ,CAAC,CAAC;QAEF,wBAAmB,GAA8C,CAAC,GAAG,EAAE,EAAE;YACvE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,EACxE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,eAAU,GAAqC,CAAC,GAAG,EAAE,EAAE;YACrD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,EACzC,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAChE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,yBAAoB,GAAuD,CACzE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;oBAC5C,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACnB,OAAO,GAAG,CAAC;iBACZ;gBACD,OAAO,CAAC,KAAK,CAAC,CAAC;aAChB;YACD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACpC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,EAClD,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,6BAAwB,GAGA,CAAC,GAAG,EAAE,WAA8B,EAAE,EAAE;YAC9D,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACzD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAMF,iBAAY,GAAuC,CAAC,GAAG,EAAE,EAAE;YACzD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC;QAtWA,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;IACvC,CAAC;IAEM,cAAc;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAMD;;sDAEkD;IAE1C,yBAAyB,CAAC,IAAe,EAAE,GAAsB;QACvE,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAuHO,YAAY,CAAC,GAAoB;QACvC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACrD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC3D,GAAG,CACJ,CAAC;SACH;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACpD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACnE,GAAG,CACJ,CAAC;SACH;QACD,IACE,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;YAC1D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAC3D;YACA,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACnE,GAAG,CACJ,CAAC;SACH;QACD,MAAM,IAAI,mBAAmB,CAC3B,gHAAgH,EAChH,GAAG,CACJ,CAAC;IACJ,CAAC;IA4LO,MAAM,CAAC,QAAQ,CAAC,GAAsB;QAC5C,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;CAKF","file":"compiler/ExprCompiler.js","sourcesContent":["import IfcExpressionVisitor from \"../gen/parser/IfcExpressionVisitor.js\";\nimport { NumericLiteralExpr } from \"../expression/numeric/NumericLiteralExpr.js\";\nimport {\n  ArrayElementListContext,\n  ArrayExprContext,\n  BooleanLiteralContext,\n  ExprContext,\n  ExprListContext,\n  FunctionCallContext,\n  LiteralContext,\n  MethodCallChainEndContext,\n  MethodCallChainInnerContext,\n  NumLiteralContext,\n  SEAddSubContext,\n  SEArrayExprContext,\n  SEBooleanBinaryOpContext,\n  SEComparisonContext,\n  SEFunctionCallContext,\n  SELiteralContext,\n  SEMethodCallContext,\n  SEMulDivContext,\n  SENotContext,\n  SEParenthesisContext,\n  SEPowerContext,\n  SEUnaryMinusContext,\n  SEUnaryMultipleMinusContext,\n  SEVariableRefContext,\n  StringLiteralContext,\n  VariableRefContext,\n} from \"../gen/parser/IfcExpressionParser.js\";\nimport { Expr } from \"../expression/Expr.js\";\nimport { isNullish, isPresent } from \"../util/IfcExpressionUtils.js\";\nimport Decimal from \"decimal.js\";\nimport { PlusExpr } from \"../expression/numeric/PlusExpr.js\";\nimport { MinusExpr } from \"../expression/numeric/MinusExpr.js\";\nimport { ParserRuleContext } from \"antlr4\";\nimport { MultiplyExpr } from \"../expression/numeric/MultiplyExpr.js\";\nimport { DivideExpr } from \"../expression/numeric/DivideExpr.js\";\nimport { PropObjectReferenceExpr } from \"../expression/reference/PropObjectReferenceExpr.js\";\nimport { ElemObjectReferenceExpr } from \"../expression/reference/ElemObjectReferenceExpr.js\";\nimport { StringLiteralExpr } from \"../expression/string/StringLiteralExpr.js\";\nimport { ArrayExpr } from \"../expression/structure/ArrayExpr.js\";\nimport { FunctionExpr } from \"../expression/function/FunctionExpr.js\";\nimport { PowerExpr } from \"../expression/numeric/PowerExpr.js\";\nimport { UnaryMinusExpr } from \"../expression/numeric/UnaryMinusExpr.js\";\nimport { AndExpr } from \"../expression/boolean/AndExpr.js\";\nimport { BooleanLiteralExpr } from \"../expression/boolean/BooleanLiteralExpr.js\";\nimport { OrExpr } from \"../expression/boolean/OrExpr.js\";\nimport { XorExpr } from \"../expression/boolean/XorExpr.js\";\nimport { SyntaxErrorException } from \"../error/SyntaxErrorException.js\";\nimport { NotExpr } from \"../expression/boolean/NotExpr.js\";\nimport { ParenthesisExpr } from \"../expression/structure/ParenthesisExpr.js\";\nimport { EqualsExpr } from \"../expression/comparison/EqualsExpr.js\";\nimport { NotEqualsExpr } from \"../expression/comparison/NotEqualsExpr.js\";\nimport { TypeManager } from \"./TypeManager.js\";\nimport { StringConcatExpr } from \"../expression/string/StringConcatExpr.js\";\nimport { PlusOrConcatExpr } from \"../expression/poly/PlusOrConcatExpr.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { GreaterThan } from \"../expression/comparison/GreaterThan.js\";\nimport { GreaterThanOrEqual } from \"../expression/comparison/GreaterThanOrEqual.js\";\nimport { LessThan } from \"../expression/comparison/LessThan.js\";\nimport { LessThanOrEqual } from \"../expression/comparison/LessThanOrEqual.js\";\nimport { ExprManager } from \"./ExprManager.js\";\n\nexport class ExprCompiler extends IfcExpressionVisitor<Expr<any>> {\n  private readonly methodCallTargetStack = [];\n  private readonly typeManager: TypeManager;\n  private readonly exprManager: ExprManager;\n\n  constructor(typeManager: TypeManager) {\n    super();\n    this.typeManager = typeManager;\n    this.exprManager = new ExprManager();\n  }\n\n  public getExprManager(): ExprManager {\n    return this.exprManager;\n  }\n\n  visitExpr: (ctx: ExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.singleExpr());\n  };\n\n  /*================================================\n   * VariableRef\n   *==============================================*/\n\n  private associateContextAndReturn(expr: Expr<any>, ctx: ParserRuleContext) {\n    this.exprManager.registerExprWithContext(expr, ctx);\n    return expr;\n  }\n\n  visitVariableRef: (ctx: VariableRefContext) => Expr<any> = (ctx) => {\n    if (ctx.IDENTIFIER().getText().toUpperCase() === \"PROPERTY\") {\n      return this.associateContextAndReturn(new PropObjectReferenceExpr(), ctx);\n    } else if (ctx.IDENTIFIER().getText().toUpperCase() === \"ELEMENT\") {\n      return this.associateContextAndReturn(new ElemObjectReferenceExpr(), ctx);\n    }\n    throw new Error(`Parsing error: No variable '${ctx.getText()}' found  `);\n  };\n\n  visitSEComparison: (ctx: SEComparisonContext) => Expr<any> = (ctx) => {\n    const left = this.visit(ctx.singleExpr(0));\n    const right = this.visit(ctx.singleExpr(1));\n    switch (ctx.CMP_OP().getText()) {\n      case \"==\":\n        return this.associateContextAndReturn(new EqualsExpr(left, right), ctx);\n      case \"!=\":\n        return this.associateContextAndReturn(\n          new NotEqualsExpr(left, right),\n          ctx\n        );\n      case \">\":\n        return this.associateContextAndReturn(\n          new GreaterThan(left, right),\n          ctx\n        );\n      case \">=\":\n        return this.associateContextAndReturn(\n          new GreaterThanOrEqual(left, right),\n          ctx\n        );\n      case \"<\":\n        return this.associateContextAndReturn(new LessThan(left, right), ctx);\n      case \"<=\":\n        return this.associateContextAndReturn(\n          new LessThanOrEqual(left, right),\n          ctx\n        );\n    }\n    throw new Error(\n      `Parsing error: comparison operator '${ctx\n        .CMP_OP()\n        .getText()}' not supported`\n    );\n  };\n\n  visitSEMethodCall: (ctx: SEMethodCallContext) => Expr<any> = (ctx) => {\n    this.methodCallTargetStack.push(this.visit(ctx.singleExpr()));\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitSELiteral: (ctx: SELiteralContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.literal());\n  };\n\n  visitSEVariableRef: (ctx: SEVariableRefContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.variableRef());\n  };\n  visitSEArrayExpr: (ctx: SEArrayExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.arrayExpr());\n  };\n  visitSEFunctionCall: (ctx: SEFunctionCallContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.functionCall());\n  };\n  visitSEParenthesis: (ctx: SEParenthesisContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new ParenthesisExpr(this.visit(ctx._sub)),\n      ctx\n    );\n  };\n\n  /*================================================\n   * MethodCallChain\n   *==============================================*/\n\n  visitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => Expr<any> = (\n    ctx\n  ) => {\n    const functionExpr = new FunctionExpr(\n      ctx.functionCall().IDENTIFIER().getText(),\n      this.collectFunctionArguments(ctx.functionCall().exprList(), [\n        this.methodCallTargetStack.pop(),\n      ])\n    );\n    this.associateContextAndReturn(functionExpr, ctx.functionCall());\n    this.methodCallTargetStack.push(functionExpr);\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => Expr<any> = (\n    ctx\n  ) => {\n    return this.associateContextAndReturn(\n      new FunctionExpr(\n        ctx.functionCall().IDENTIFIER().getText(),\n        this.collectFunctionArguments(ctx.functionCall().exprList(), [\n          this.methodCallTargetStack.pop(),\n        ])\n      ),\n      ctx.functionCall()\n    );\n  };\n\n  visitSEAddSub: (ctx: SEAddSubContext) => Expr<any> = (ctx) => {\n    this.typeManager.requireTypesOverlap(ctx._left, ctx._right);\n    switch (ctx._op.text) {\n      case \"+\":\n        return this.makePlusExpr(ctx);\n      case \"-\":\n        return this.associateContextAndReturn(\n          new MinusExpr(this.visit(ctx._left), this.visit(ctx._right)),\n          ctx\n        );\n      default:\n        ExprCompiler.failNode(ctx);\n    }\n  };\n\n  private makePlusExpr(ctx: SEAddSubContext) {\n    if (this.typeManager.isNumeric(ctx._left, ctx._right)) {\n      return this.associateContextAndReturn(\n        new PlusExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    if (this.typeManager.isString(ctx._left, ctx._right)) {\n      return this.associateContextAndReturn(\n        new StringConcatExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    if (\n      this.typeManager.overlapsWithString(ctx._left, ctx._right) ||\n      this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)\n    ) {\n      return this.associateContextAndReturn(\n        new PlusOrConcatExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    throw new ExpressionTypeError(\n      \"Operator '+' requires the operands to be either both of type numeric or both of type string, but they are not.\",\n      ctx\n    );\n  }\n\n  visitSEMulDiv: (ctx: SEMulDivContext) => Expr<any> = (ctx) => {\n    switch (ctx._op.text) {\n      case \"*\":\n        return this.associateContextAndReturn(\n          new MultiplyExpr(\n            this.visit(ctx.getChild(0)),\n            this.visit(ctx.getChild(2))\n          ),\n          ctx\n        );\n      case \"/\":\n        return this.associateContextAndReturn(\n          new DivideExpr(\n            this.visit(ctx.getChild(0)),\n            this.visit(ctx.getChild(2))\n          ),\n          ctx\n        );\n      default:\n        ExprCompiler.failNode(ctx);\n    }\n  };\n\n  /*================================================\n   * StringExpr\n   *===============================================*/\n\n  visitStringLiteral: (ctx: StringLiteralContext) => Expr<any> = (ctx) => {\n    const quotedString = ctx.QUOTED_STRING().getText();\n    const text = quotedString.substring(1, quotedString.length - 1);\n    return this.associateContextAndReturn(new StringLiteralExpr(text), ctx);\n  };\n\n  /*================================================\n   * NumExpr\n   *===============================================*/\n\n  visitNumLiteral: (ctx: NumLiteralContext) => Expr<any> = (ctx) => {\n    let val = ctx.INT();\n    if (isPresent(val)) {\n      return this.associateContextAndReturn(\n        new NumericLiteralExpr(new Decimal(ctx.getText())),\n        ctx\n      );\n    }\n    val = ctx.FLOAT();\n    if (isPresent(val)) {\n      return this.associateContextAndReturn(\n        new NumericLiteralExpr(new Decimal(ctx.getText())),\n        ctx\n      );\n    }\n    ExprCompiler.failNode(ctx);\n  };\n\n  visitSEUnaryMultipleMinus: (ctx: SEUnaryMultipleMinusContext) => Expr<any> = (\n    ctx\n  ) => {\n    return this.visit(ctx.singleExpr());\n  };\n  visitSEPower: (ctx: SEPowerContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new PowerExpr(this.visit(ctx._left), this.visit(ctx._right)),\n      ctx\n    );\n  };\n  visitSEUnaryMinus: (ctx: SEUnaryMinusContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new UnaryMinusExpr(this.visit(ctx.singleExpr())),\n      ctx\n    );\n  };\n\n  /*================================================\n   * BooleanExpr\n   *===============================================*/\n\n  visitSEBooleanBinaryOp: (ctx: SEBooleanBinaryOpContext) => Expr<any> = (\n    ctx\n  ) => {\n    switch (ctx._op.text) {\n      case \"&&\":\n        return this.associateContextAndReturn(\n          new AndExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n      case \"||\":\n        return this.associateContextAndReturn(\n          new OrExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n      case \"><\":\n        return this.associateContextAndReturn(\n          new XorExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n    }\n    throw new SyntaxErrorException(\n      ctx._op.text,\n      ctx._op.line,\n      ctx._op.column,\n      `Unknown boolean operator ${ctx._op.text}`\n    );\n  };\n\n  visitBooleanLiteral: (ctx: BooleanLiteralContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new BooleanLiteralExpr(ctx.BOOLEAN().getText().toUpperCase() === \"TRUE\"),\n      ctx\n    );\n  };\n\n  visitSENot: (ctx: SENotContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new NotExpr(this.visit(ctx.singleExpr())),\n      ctx\n    );\n  };\n\n  /*================================================\n   * ArrayExpr\n   *===============================================*/\n\n  visitArrayExpr: (ctx: ArrayExprContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new ArrayExpr(this.collectArrayElements(ctx.arrayElementList())),\n      ctx\n    );\n  };\n\n  collectArrayElements: (ctx: ArrayElementListContext) => Array<Expr<any>> = (\n    ctx\n  ) => {\n    if (!isNullish(ctx)) {\n      const first = this.visit(ctx.singleExpr());\n      const rest = ctx.arrayElementList();\n      if (!isNullish(rest)) {\n        const arr = this.collectArrayElements(rest);\n        arr.unshift(first);\n        return arr;\n      }\n      return [first];\n    }\n    return [];\n  };\n\n  /*================================================\n   * FuncExpr\n   *===============================================*/\n\n  visitFunctionCall: (ctx: FunctionCallContext) => Expr<any> = (ctx) => {\n    const args = isNullish(ctx.exprList())\n      ? []\n      : this.collectFunctionArguments(ctx.exprList());\n    return this.associateContextAndReturn(\n      new FunctionExpr(ctx.IDENTIFIER().getText(), args),\n      ctx\n    );\n  };\n\n  collectFunctionArguments: (\n    ctx: ExprListContext,\n    resultSoFar?: Array<Expr<any>>\n  ) => Array<Expr<any>> = (ctx, resultSoFar?: Array<Expr<any>>) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push(this.visit(ctx.singleExpr()));\n      const rest = ctx.exprList();\n      if (!isNullish(rest)) {\n        return this.collectFunctionArguments(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  private static failNode(ctx: ParserRuleContext) {\n    throw new Error(`Cannot parse (sub)expression ${ctx.getText()}`);\n  }\n\n  visitLiteral: (ctx: LiteralContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.getChild(0));\n  };\n}\n"]}
+{"version":3,"sources":["compiler/ExprCompiler.ts"],"names":[],"mappings":"AAAA,OAAO,oBAAoB,MAAM,uCAAuC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AA+BjF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,OAAO,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAE/D,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,oDAAoD,CAAC;AAC7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,oDAAoD,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,kCAAkC,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,2CAA2C,CAAC;AAE1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,yCAAyC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gDAAgD,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AAEjF,MAAM,OAAO,YAAa,SAAQ,oBAA+B;IAK/D,YAAY,WAAwB;QAClC,KAAK,EAAE,CAAC;QALO,0BAAqB,GAAG,EAAE,CAAC;QAc5C,cAAS,GAAoC,CAAC,GAAG,EAAE,EAAE;YACnD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QAWF,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,UAAU,EAAE;gBAC3D,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;aAC3E;iBAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,SAAS,EAAE;gBACjE,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;aAC3E;YACD,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC3E,CAAC,CAAC;QAEF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;gBAC9B,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC1E,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAC9B,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAC5B,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,EACnC,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxE,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAChC,GAAG,CACJ,CAAC;aACL;YACD,MAAM,IAAI,KAAK,CACb,uCAAuC,GAAG;iBACvC,MAAM,EAAE;iBACR,OAAO,EAAE,iBAAiB,CAC9B,CAAC;QACJ,CAAC,CAAC;QAEF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACnC,CAAC,CAAC;QAEF,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QACrC,CAAC,CAAC;QACF,wBAAmB,GAA8C,CAAC,GAAG,EAAE,EAAE;YACvE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QACxC,CAAC,CAAC;QACF,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EACzC,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;0DAEkD;QAElD,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,MAAM,YAAY,GAAG,IAAI,YAAY,CACnC,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EACzC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC3D,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE;aACjC,CAAC,CACH,CAAC;YACF,IAAI,CAAC,yBAAyB,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,4BAAuB,GAAkD,CACvE,GAAG,EACH,EAAE;YACF,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CACd,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EACzC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC3D,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE;aACjC,CAAC,CACH,EACD,GAAG,CAAC,YAAY,EAAE,CACnB,CAAC;QACJ,CAAC,CAAC;QAEF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;gBAChC,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC5D,GAAG,CACJ,CAAC;gBACJ;oBACE,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC9B;QACH,CAAC,CAAC;QA8BF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,UAAU,CACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,EACD,GAAG,CACJ,CAAC;gBACJ;oBACE,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC9B;QACH,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,uBAAkB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACrE,MAAM,YAAY,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAChE,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,oBAAe,GAA0C,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;YACpB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAClD,GAAG,CACJ,CAAC;aACH;YACD,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAClD,GAAG,CACJ,CAAC;aACH;YACD,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC;QAEF,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QACF,iBAAY,GAAuC,CAAC,GAAG,EAAE,EAAE;YACzD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC5D,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QACF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,EAChD,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,2BAAsB,GAAiD,CACrE,GAAG,EACH,EAAE;YACF,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,MAAM,CACR,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,EACD,GAAG,CACJ,CAAC;aACL;YACD,MAAM,IAAI,oBAAoB,CAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,EACZ,GAAG,CAAC,GAAG,CAAC,IAAI,EACZ,GAAG,CAAC,GAAG,CAAC,MAAM,EACd,4BAA4B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAC3C,CAAC;QACJ,CAAC,CAAC;QAEF,wBAAmB,GAA8C,CAAC,GAAG,EAAE,EAAE;YACvE,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,EACxE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,wBAAmB,GAA8C,CAAC,GAAG,EAAE,EAAE;YACvE,mFAAmF;YACnF,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,kBAAkB,CAAC,YAAY,CAAC,aAAa,CAAC,EAClD,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,eAAU,GAAqC,CAAC,GAAG,EAAE,EAAE;YACrD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,EACzC,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAChE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,yBAAoB,GAAuD,CACzE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;oBAC5C,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACnB,OAAO,GAAG,CAAC;iBACZ;gBACD,OAAO,CAAC,KAAK,CAAC,CAAC;aAChB;YACD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACpC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,EAClD,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,6BAAwB,GAGA,CAAC,GAAG,EAAE,WAA8B,EAAE,EAAE;YAC9D,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACzD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAMF,iBAAY,GAAuC,CAAC,GAAG,EAAE,EAAE;YACzD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC;QA9WA,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;IACvC,CAAC;IAEM,cAAc;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAMD;;sDAEkD;IAE1C,yBAAyB,CAAC,IAAe,EAAE,GAAsB;QACvE,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAuHO,YAAY,CAAC,GAAoB;QACvC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACrD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC3D,GAAG,CACJ,CAAC;SACH;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACpD,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACnE,GAAG,CACJ,CAAC;SACH;QACD,IACE,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;YAC1D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAC3D;YACA,OAAO,IAAI,CAAC,yBAAyB,CACnC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACnE,GAAG,CACJ,CAAC;SACH;QACD,MAAM,IAAI,mBAAmB,CAC3B,gHAAgH,EAChH,GAAG,CACJ,CAAC;IACJ,CAAC;IAoMO,MAAM,CAAC,QAAQ,CAAC,GAAsB;QAC5C,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;CAKF","file":"compiler/ExprCompiler.js","sourcesContent":["import IfcExpressionVisitor from \"../gen/parser/IfcExpressionVisitor.js\";\nimport { NumericLiteralExpr } from \"../expression/numeric/NumericLiteralExpr.js\";\nimport {\n  ArrayElementListContext,\n  ArrayExprContext,\n  BooleanLiteralContext,\n  ExprContext,\n  ExprListContext,\n  FunctionCallContext,\n  LiteralContext,\n  LogicalLiteralContext,\n  MethodCallChainEndContext,\n  MethodCallChainInnerContext,\n  NumLiteralContext,\n  SEAddSubContext,\n  SEArrayExprContext,\n  SEBooleanBinaryOpContext,\n  SEComparisonContext,\n  SEFunctionCallContext,\n  SELiteralContext,\n  SEMethodCallContext,\n  SEMulDivContext,\n  SENotContext,\n  SEParenthesisContext,\n  SEPowerContext,\n  SEUnaryMinusContext,\n  SEUnaryMultipleMinusContext,\n  SEVariableRefContext,\n  StringLiteralContext,\n  VariableRefContext,\n} from \"../gen/parser/IfcExpressionParser.js\";\nimport { Expr } from \"../expression/Expr.js\";\nimport { isNullish, isPresent } from \"../util/IfcExpressionUtils.js\";\nimport Decimal from \"decimal.js\";\nimport { PlusExpr } from \"../expression/numeric/PlusExpr.js\";\nimport { MinusExpr } from \"../expression/numeric/MinusExpr.js\";\nimport { ParserRuleContext } from \"antlr4\";\nimport { MultiplyExpr } from \"../expression/numeric/MultiplyExpr.js\";\nimport { DivideExpr } from \"../expression/numeric/DivideExpr.js\";\nimport { PropObjectReferenceExpr } from \"../expression/reference/PropObjectReferenceExpr.js\";\nimport { ElemObjectReferenceExpr } from \"../expression/reference/ElemObjectReferenceExpr.js\";\nimport { StringLiteralExpr } from \"../expression/string/StringLiteralExpr.js\";\nimport { ArrayExpr } from \"../expression/structure/ArrayExpr.js\";\nimport { FunctionExpr } from \"../expression/function/FunctionExpr.js\";\nimport { PowerExpr } from \"../expression/numeric/PowerExpr.js\";\nimport { UnaryMinusExpr } from \"../expression/numeric/UnaryMinusExpr.js\";\nimport { AndExpr } from \"../expression/boolean/AndExpr.js\";\nimport { BooleanLiteralExpr } from \"../expression/boolean/BooleanLiteralExpr.js\";\nimport { OrExpr } from \"../expression/boolean/OrExpr.js\";\nimport { XorExpr } from \"../expression/boolean/XorExpr.js\";\nimport { SyntaxErrorException } from \"../error/SyntaxErrorException.js\";\nimport { NotExpr } from \"../expression/boolean/NotExpr.js\";\nimport { ParenthesisExpr } from \"../expression/structure/ParenthesisExpr.js\";\nimport { EqualsExpr } from \"../expression/comparison/EqualsExpr.js\";\nimport { NotEqualsExpr } from \"../expression/comparison/NotEqualsExpr.js\";\nimport { TypeManager } from \"./TypeManager.js\";\nimport { StringConcatExpr } from \"../expression/string/StringConcatExpr.js\";\nimport { PlusOrConcatExpr } from \"../expression/poly/PlusOrConcatExpr.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { GreaterThan } from \"../expression/comparison/GreaterThan.js\";\nimport { GreaterThanOrEqual } from \"../expression/comparison/GreaterThanOrEqual.js\";\nimport { LessThan } from \"../expression/comparison/LessThan.js\";\nimport { LessThanOrEqual } from \"../expression/comparison/LessThanOrEqual.js\";\nimport { ExprManager } from \"./ExprManager.js\";\nimport { LogicalValue } from \"../value/LogicalValue\";\nimport { LogicalLiteralExpr } from \"../expression/boolean/LogicalLiteralExpr\";\n\nexport class ExprCompiler extends IfcExpressionVisitor<Expr<any>> {\n  private readonly methodCallTargetStack = [];\n  private readonly typeManager: TypeManager;\n  private readonly exprManager: ExprManager;\n\n  constructor(typeManager: TypeManager) {\n    super();\n    this.typeManager = typeManager;\n    this.exprManager = new ExprManager();\n  }\n\n  public getExprManager(): ExprManager {\n    return this.exprManager;\n  }\n\n  visitExpr: (ctx: ExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.singleExpr());\n  };\n\n  /*================================================\n   * VariableRef\n   *==============================================*/\n\n  private associateContextAndReturn(expr: Expr<any>, ctx: ParserRuleContext) {\n    this.exprManager.registerExprWithContext(expr, ctx);\n    return expr;\n  }\n\n  visitVariableRef: (ctx: VariableRefContext) => Expr<any> = (ctx) => {\n    if (ctx.IDENTIFIER().getText().toUpperCase() === \"PROPERTY\") {\n      return this.associateContextAndReturn(new PropObjectReferenceExpr(), ctx);\n    } else if (ctx.IDENTIFIER().getText().toUpperCase() === \"ELEMENT\") {\n      return this.associateContextAndReturn(new ElemObjectReferenceExpr(), ctx);\n    }\n    throw new Error(`Parsing error: No variable '${ctx.getText()}' found  `);\n  };\n\n  visitSEComparison: (ctx: SEComparisonContext) => Expr<any> = (ctx) => {\n    const left = this.visit(ctx.singleExpr(0));\n    const right = this.visit(ctx.singleExpr(1));\n    switch (ctx.CMP_OP().getText()) {\n      case \"==\":\n        return this.associateContextAndReturn(new EqualsExpr(left, right), ctx);\n      case \"!=\":\n        return this.associateContextAndReturn(\n          new NotEqualsExpr(left, right),\n          ctx\n        );\n      case \">\":\n        return this.associateContextAndReturn(\n          new GreaterThan(left, right),\n          ctx\n        );\n      case \">=\":\n        return this.associateContextAndReturn(\n          new GreaterThanOrEqual(left, right),\n          ctx\n        );\n      case \"<\":\n        return this.associateContextAndReturn(new LessThan(left, right), ctx);\n      case \"<=\":\n        return this.associateContextAndReturn(\n          new LessThanOrEqual(left, right),\n          ctx\n        );\n    }\n    throw new Error(\n      `Parsing error: comparison operator '${ctx\n        .CMP_OP()\n        .getText()}' not supported`\n    );\n  };\n\n  visitSEMethodCall: (ctx: SEMethodCallContext) => Expr<any> = (ctx) => {\n    this.methodCallTargetStack.push(this.visit(ctx.singleExpr()));\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitSELiteral: (ctx: SELiteralContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.literal());\n  };\n\n  visitSEVariableRef: (ctx: SEVariableRefContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.variableRef());\n  };\n  visitSEArrayExpr: (ctx: SEArrayExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.arrayExpr());\n  };\n  visitSEFunctionCall: (ctx: SEFunctionCallContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.functionCall());\n  };\n  visitSEParenthesis: (ctx: SEParenthesisContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new ParenthesisExpr(this.visit(ctx._sub)),\n      ctx\n    );\n  };\n\n  /*================================================\n   * MethodCallChain\n   *==============================================*/\n\n  visitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => Expr<any> = (\n    ctx\n  ) => {\n    const functionExpr = new FunctionExpr(\n      ctx.functionCall().IDENTIFIER().getText(),\n      this.collectFunctionArguments(ctx.functionCall().exprList(), [\n        this.methodCallTargetStack.pop(),\n      ])\n    );\n    this.associateContextAndReturn(functionExpr, ctx.functionCall());\n    this.methodCallTargetStack.push(functionExpr);\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => Expr<any> = (\n    ctx\n  ) => {\n    return this.associateContextAndReturn(\n      new FunctionExpr(\n        ctx.functionCall().IDENTIFIER().getText(),\n        this.collectFunctionArguments(ctx.functionCall().exprList(), [\n          this.methodCallTargetStack.pop(),\n        ])\n      ),\n      ctx.functionCall()\n    );\n  };\n\n  visitSEAddSub: (ctx: SEAddSubContext) => Expr<any> = (ctx) => {\n    this.typeManager.requireTypesOverlap(ctx._left, ctx._right);\n    switch (ctx._op.text) {\n      case \"+\":\n        return this.makePlusExpr(ctx);\n      case \"-\":\n        return this.associateContextAndReturn(\n          new MinusExpr(this.visit(ctx._left), this.visit(ctx._right)),\n          ctx\n        );\n      default:\n        ExprCompiler.failNode(ctx);\n    }\n  };\n\n  private makePlusExpr(ctx: SEAddSubContext) {\n    if (this.typeManager.isNumeric(ctx._left, ctx._right)) {\n      return this.associateContextAndReturn(\n        new PlusExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    if (this.typeManager.isString(ctx._left, ctx._right)) {\n      return this.associateContextAndReturn(\n        new StringConcatExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    if (\n      this.typeManager.overlapsWithString(ctx._left, ctx._right) ||\n      this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)\n    ) {\n      return this.associateContextAndReturn(\n        new PlusOrConcatExpr(this.visit(ctx._left), this.visit(ctx._right)),\n        ctx\n      );\n    }\n    throw new ExpressionTypeError(\n      \"Operator '+' requires the operands to be either both of type numeric or both of type string, but they are not.\",\n      ctx\n    );\n  }\n\n  visitSEMulDiv: (ctx: SEMulDivContext) => Expr<any> = (ctx) => {\n    switch (ctx._op.text) {\n      case \"*\":\n        return this.associateContextAndReturn(\n          new MultiplyExpr(\n            this.visit(ctx.getChild(0)),\n            this.visit(ctx.getChild(2))\n          ),\n          ctx\n        );\n      case \"/\":\n        return this.associateContextAndReturn(\n          new DivideExpr(\n            this.visit(ctx.getChild(0)),\n            this.visit(ctx.getChild(2))\n          ),\n          ctx\n        );\n      default:\n        ExprCompiler.failNode(ctx);\n    }\n  };\n\n  /*================================================\n   * StringExpr\n   *===============================================*/\n\n  visitStringLiteral: (ctx: StringLiteralContext) => Expr<any> = (ctx) => {\n    const quotedString = ctx.QUOTED_STRING().getText();\n    const text = quotedString.substring(1, quotedString.length - 1);\n    return this.associateContextAndReturn(new StringLiteralExpr(text), ctx);\n  };\n\n  /*================================================\n   * NumExpr\n   *===============================================*/\n\n  visitNumLiteral: (ctx: NumLiteralContext) => Expr<any> = (ctx) => {\n    let val = ctx.INT();\n    if (isPresent(val)) {\n      return this.associateContextAndReturn(\n        new NumericLiteralExpr(new Decimal(ctx.getText())),\n        ctx\n      );\n    }\n    val = ctx.FLOAT();\n    if (isPresent(val)) {\n      return this.associateContextAndReturn(\n        new NumericLiteralExpr(new Decimal(ctx.getText())),\n        ctx\n      );\n    }\n    ExprCompiler.failNode(ctx);\n  };\n\n  visitSEUnaryMultipleMinus: (ctx: SEUnaryMultipleMinusContext) => Expr<any> = (\n    ctx\n  ) => {\n    return this.visit(ctx.singleExpr());\n  };\n  visitSEPower: (ctx: SEPowerContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new PowerExpr(this.visit(ctx._left), this.visit(ctx._right)),\n      ctx\n    );\n  };\n  visitSEUnaryMinus: (ctx: SEUnaryMinusContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new UnaryMinusExpr(this.visit(ctx.singleExpr())),\n      ctx\n    );\n  };\n\n  /*================================================\n   * BooleanExpr\n   *===============================================*/\n\n  visitSEBooleanBinaryOp: (ctx: SEBooleanBinaryOpContext) => Expr<any> = (\n    ctx\n  ) => {\n    switch (ctx._op.text) {\n      case \"&&\":\n        return this.associateContextAndReturn(\n          new AndExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n      case \"||\":\n        return this.associateContextAndReturn(\n          new OrExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n      case \"><\":\n        return this.associateContextAndReturn(\n          new XorExpr(\n            this.visit(ctx.singleExpr(0)),\n            this.visit(ctx.singleExpr(1))\n          ),\n          ctx\n        );\n    }\n    throw new SyntaxErrorException(\n      ctx._op.text,\n      ctx._op.line,\n      ctx._op.column,\n      `Unknown boolean operator ${ctx._op.text}`\n    );\n  };\n\n  visitBooleanLiteral: (ctx: BooleanLiteralContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new BooleanLiteralExpr(ctx.BOOLEAN().getText().toUpperCase() === \"TRUE\"),\n      ctx\n    );\n  };\n\n  visitLogicalLiteral: (ctx: LogicalLiteralContext) => Expr<any> = (ctx) => {\n    // the only literal we recognize is 'UNKNOWN' (true and false are boolean literals)\n    return this.associateContextAndReturn(\n      new LogicalLiteralExpr(LogicalValue.UNKNOWN_VALUE),\n      ctx\n    );\n  };\n\n  visitSENot: (ctx: SENotContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new NotExpr(this.visit(ctx.singleExpr())),\n      ctx\n    );\n  };\n\n  /*================================================\n   * ArrayExpr\n   *===============================================*/\n\n  visitArrayExpr: (ctx: ArrayExprContext) => Expr<any> = (ctx) => {\n    return this.associateContextAndReturn(\n      new ArrayExpr(this.collectArrayElements(ctx.arrayElementList())),\n      ctx\n    );\n  };\n\n  collectArrayElements: (ctx: ArrayElementListContext) => Array<Expr<any>> = (\n    ctx\n  ) => {\n    if (!isNullish(ctx)) {\n      const first = this.visit(ctx.singleExpr());\n      const rest = ctx.arrayElementList();\n      if (!isNullish(rest)) {\n        const arr = this.collectArrayElements(rest);\n        arr.unshift(first);\n        return arr;\n      }\n      return [first];\n    }\n    return [];\n  };\n\n  /*================================================\n   * FuncExpr\n   *===============================================*/\n\n  visitFunctionCall: (ctx: FunctionCallContext) => Expr<any> = (ctx) => {\n    const args = isNullish(ctx.exprList())\n      ? []\n      : this.collectFunctionArguments(ctx.exprList());\n    return this.associateContextAndReturn(\n      new FunctionExpr(ctx.IDENTIFIER().getText(), args),\n      ctx\n    );\n  };\n\n  collectFunctionArguments: (\n    ctx: ExprListContext,\n    resultSoFar?: Array<Expr<any>>\n  ) => Array<Expr<any>> = (ctx, resultSoFar?: Array<Expr<any>>) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push(this.visit(ctx.singleExpr()));\n      const rest = ctx.exprList();\n      if (!isNullish(rest)) {\n        return this.collectFunctionArguments(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  private static failNode(ctx: ParserRuleContext) {\n    throw new Error(`Cannot parse (sub)expression ${ctx.getText()}`);\n  }\n\n  visitLiteral: (ctx: LiteralContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.getChild(0));\n  };\n}\n"]}

package/dist/mjs/compiler/IfcExpressionValidationListener.js

@@ -21,8 +21,8 @@ export class IfcExpressionValidationListener extends IfcExpressionListener {
             throw new InvalidSyntaxException("--", ctx);
         };
         this.exitSEBooleanBinaryOp = (ctx) => {
-            this.typeManager.requireBoolean(ctx._left);
-            this.typeManager.requireBoolean(ctx._right);
+            this.typeManager.requireLogicalOrBoolean(ctx._left);
+            this.typeManager.requireLogicalOrBoolean(ctx._right);
             this.typeManager.setType(ctx, Types.boolean());
         };
         this.exitSEComparison = (ctx) => {
@@ -47,6 +47,9 @@ export class IfcExpressionValidationListener extends IfcExpressionListener {
         this.exitBooleanLiteral = (ctx) => {
             this.typeManager.setType(ctx, Types.boolean());
         };
+        this.exitLogicalLiteral = (ctx) => {
+            this.typeManager.setType(ctx, Types.logical());
+        };
         this.exitExpr = (ctx) => {
             this.typeManager.copyTypeFrom(ctx, ctx.singleExpr());
         };
@@ -67,7 +70,7 @@ export class IfcExpressionValidationListener extends IfcExpressionListener {
             this.typeManager.copyTypeFrom(ctx, ctx._sub);
         };
         this.exitSENot = (ctx) => {
-            this.typeManager.requireBoolean(ctx._sub);
+            this.typeManager.requireLogicalOrBoolean(ctx._sub);
             this.typeManager.setType(ctx, Types.boolean());
         };
         this.exitSEVariableRef = (ctx) => {

package/dist/mjs/compiler/IfcExpressionValidationListener.js.map

@@ -1 +1 @@
-{"version":3,"sources":["compiler/IfcExpressionValidationListener.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,MAAM,wCAAwC,CAAC;AAC3E,OAAO,EAQL,yBAAyB,EACzB,2BAA2B,EAQ3B,mBAAmB,GAUpB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAC1F,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAGtE,MAAM,OAAO,+BAAgC,SAAQ,qBAAqB;IAGxE;QACE,KAAK,EAAE,CAAC;QAFF,0BAAqB,GAAG,EAAE,CAAC;QAUnC,sBAAiB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC9D,IAAI,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE;gBACzE,MAAM,IAAI,uBAAuB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;aACpE;QACH,CAAC,CAAC;QAEF,8BAAyB,GAA+C,CACtE,GAAG,EACH,EAAE;YACF,MAAM,IAAI,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC,CAAC;QAEF,0BAAqB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACvE,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QAEF,kBAAa,GAAoC,CAAC,GAAG,EAAE,EAAE;YACvD,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QACF,gBAAW,GAAkC,CAAC,GAAG,EAAE,EAAE;YACnD,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAsB,CAAC,CAAC;QAC3E,CAAC,CAAC;QACF,mBAAc,GAAqC,CAAC,GAAG,EAAE,EAAE;YACzD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,aAAQ,GAA+B,CAAC,GAAG,EAAE,EAAE;YAC7C,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACvD,CAAC,CAAC;QAEF,iBAAY,GAAmC,CAAC,GAAG,EAAE,EAAE;YACrD,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,gBAAW,GAAkC,CAAC,GAAG,EAAE,EAAE;YACnD,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QACF,oBAAe,GAAsC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QAEF,cAAS,GAAgC,CAAC,GAAG,EAAE,EAAE;YAC/C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;gBACvC,KAAK,UAAU;oBACb,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;oBACrD,OAAO;gBACT,KAAK,SAAS;oBACZ,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;oBACpD,OAAO;aACV;YACD,MAAM,IAAI,mBAAmB,CAC3B,kEAAkE,EAClE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,iBAAY,GAAmC,CAAC,GAAG,EAAE,EAAE;YACrD,IAAI,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBAC9D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;aAC/C;iBAAM,IAAI,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBACtE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAChD;iBAAM;gBACL,MAAM,IAAI,mBAAmB,CAC3B,sDAAsD,IAAI,CAAC,WAAW;qBACnE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;qBAClB,OAAO,EAAE,sBAAsB,IAAI,CAAC,WAAW;qBAC/C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;qBACnB,OAAO,EAAE,gEAAgE,EAC5E,GAAG,CACJ,CAAC;aACH;QACH,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,8BAAyB,GAA+C,CACtE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC,CAAC;QACF,6BAAwB,GAA+C,CACrE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,4BAAuB,GAA6C,CAAC,GAAG,EAAE,EAAE;YAC1E,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC,CAAC;QAcF,2BAAsB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACzE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QACzD,CAAC,CAAC;QACF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,MAAM,IAAI,GAAG,sBAAsB,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC;YAC7B,IACE,MAAM,YAAY,2BAA2B;gBAC7C,MAAM,YAAY,yBAAyB;gBAC3C,MAAM,YAAY,mBAAmB,EACrC;gBACA,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC;aACzD;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC5C,CAAC,CAAC;QAEM,yBAAoB,GAGgB,CAC1C,GAAG,EACH,WAAkD,EAClD,EAAE;YACF,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC;oBACf,GAAG,CAAC,UAAU,EAAE;oBAChB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;iBAC3C,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACrD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAIF,kBAAa,GAAoC,CAAC,GAAG,EAAE,EAAE;YACvD,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CACtE,CAAC;QACJ,CAAC,CAAC;QAEM,6BAAwB,GAGT,CAAC,GAAG,EAAE,WAA6B,EAAE,EAAE;YAC5D,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC7D,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACzD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAGF,oBAAe,GAAsC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,GAAG,EACH,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,eAAe,CAAC,CACtD,CAAC;QACJ,CAAC,CAAC;QA1NA,IAAI,CAAC,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;IACvC,CAAC;IAEM,cAAc;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAgIO,oBAAoB,CAAC,GAAsB;QACjD,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;YAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;SACpD;aAAM;YACL,MAAM,IAAI,mBAAmB,CAC3B,yEAAyE,EACzE,GAAG,CACJ,CAAC;SACH;IACH,CAAC;CA4EF","file":"compiler/IfcExpressionValidationListener.js","sourcesContent":["import IfcExpressionListener from \"../gen/parser/IfcExpressionListener.js\";\nimport {\n  ArrayElementListContext,\n  ArrayExprContext,\n  BooleanLiteralContext,\n  ExprContext,\n  ExprListContext,\n  FunctionCallContext,\n  LiteralContext,\n  MethodCallChainEndContext,\n  MethodCallChainInnerContext,\n  NumLiteralContext,\n  SEAddSubContext,\n  SEArrayExprContext,\n  SEBooleanBinaryOpContext,\n  SEComparisonContext,\n  SEFunctionCallContext,\n  SELiteralContext,\n  SEMethodCallContext,\n  SEMulDivContext,\n  SENotContext,\n  SEParenthesisContext,\n  SEPowerContext,\n  SEUnaryMinusContext,\n  SEUnaryMultipleMinusContext,\n  SEVariableRefContext,\n  StringLiteralContext,\n  VariableRefContext,\n} from \"../gen/parser/IfcExpressionParser.js\";\nimport { IfcExpressionFunctions } from \"../expression/function/IfcExpressionFunctions.js\";\nimport { NoSuchFunctionException } from \"../error/NoSuchFunctionException.js\";\nimport { InvalidSyntaxException } from \"../error/InvalidSyntaxException.js\";\nimport { Type, Types } from \"../type/Types.js\";\nimport { ParserRuleContext } from \"antlr4\";\nimport { TypeManager } from \"./TypeManager.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { isNullish } from \"../util/IfcExpressionUtils.js\";\nimport { ValidationException } from \"../error/ValidationException.js\";\nimport { ExprType } from \"../type/ExprType.js\";\n\nexport class IfcExpressionValidationListener extends IfcExpressionListener {\n  private readonly typeManager: TypeManager;\n  private methodCallTargetStack = [];\n  constructor() {\n    super();\n    this.typeManager = new TypeManager();\n  }\n\n  public getTypeManager(): TypeManager {\n    return this.typeManager;\n  }\n\n  enterFunctionCall: (ctx: FunctionCallContext) => void = (ctx) => {\n    if (!IfcExpressionFunctions.isBuiltinFunction(ctx.IDENTIFIER().getText())) {\n      throw new NoSuchFunctionException(ctx.IDENTIFIER().getText(), ctx);\n    }\n  };\n\n  enterSEUnaryMultipleMinus: (ctx: SEUnaryMultipleMinusContext) => void = (\n    ctx\n  ) => {\n    throw new InvalidSyntaxException(\"--\", ctx);\n  };\n\n  exitSEBooleanBinaryOp: (ctx: SEBooleanBinaryOpContext) => void = (ctx) => {\n    this.typeManager.requireBoolean(ctx._left);\n    this.typeManager.requireBoolean(ctx._right);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEComparison: (ctx: SEComparisonContext) => void = (ctx) => {\n    this.typeManager.requireTypesOverlap(ctx._left, ctx._right);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEParenthesis: (ctx: SEParenthesisContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n\n  exitSELiteral: (ctx: SELiteralContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n  exitLiteral: (ctx: LiteralContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.getChild(0) as ParserRuleContext);\n  };\n  exitNumLiteral: (ctx: NumLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitStringLiteral: (ctx: StringLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.string());\n  };\n\n  exitBooleanLiteral: (ctx: BooleanLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitExpr: (ctx: ExprContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.singleExpr());\n  };\n\n  exitSEMulDiv: (ctx: SEMulDivContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._left);\n    this.typeManager.requireNumeric(ctx._right);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n\n  exitSEPower: (ctx: SEPowerContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._left);\n    this.typeManager.requireNumeric(ctx._right);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitSEFunctionCall: (ctx: SEFunctionCallContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n  exitSEArrayExpr: (ctx: SEArrayExprContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n\n  exitSENot: (ctx: SENotContext) => void = (ctx) => {\n    this.typeManager.requireBoolean(ctx._sub);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEVariableRef: (ctx: SEVariableRefContext) => void = (ctx) => {\n    switch (ctx._sub.IDENTIFIER().getText()) {\n      case \"property\":\n        this.typeManager.setType(ctx, Type.IFC_PROPERTY_REF);\n        return;\n      case \"element\":\n        this.typeManager.setType(ctx, Type.IFC_ELEMENT_REF);\n        return;\n    }\n    throw new ValidationException(\n      `Encountered Variable ref that was neither $property nor $element`,\n      ctx\n    );\n  };\n\n  exitSEUnaryMinus: (ctx: SEUnaryMinusContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._sub);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitSEAddSub: (ctx: SEAddSubContext) => void = (ctx) => {\n    if (this.typeManager.overlapsWithString(ctx._left, ctx._right)) {\n      this.typeManager.setType(ctx, Types.string());\n    } else if (this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)) {\n      this.typeManager.setType(ctx, Types.numeric());\n    } else {\n      throw new ExpressionTypeError(\n        `Operator '+' does not allow provided operand types ${this.typeManager\n          .getType(ctx._left)\n          .getName()}(left operand) and ${this.typeManager\n          .getType(ctx._right)\n          .getName()}(right operand). Operands must be both string or both numeric.`,\n        ctx\n      );\n    }\n  };\n\n  exitSEMethodCall: (ctx: SEMethodCallContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._call);\n  };\n\n  enterMethodCallChainInner: (ctx: MethodCallChainInnerContext) => void = (\n    ctx\n  ) => {\n    this.pushMethodCallTarget(ctx);\n  };\n  exitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => void = (\n    ctx\n  ) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._call);\n  };\n\n  enterMethodCallChainEnd: (ctx: MethodCallChainEndContext) => void = (ctx) => {\n    this.pushMethodCallTarget(ctx);\n  };\n\n  private pushMethodCallTarget(ctx: ParserRuleContext) {\n    if (ctx.parentCtx[\"_target\"]) {\n      const targetType = this.typeManager.getType(ctx.parentCtx[\"_target\"]);\n      this.methodCallTargetStack.push([ctx, targetType]);\n    } else {\n      throw new ValidationException(\n        \"Did not find expected context attribute 'target' in parent rule context\",\n        ctx\n      );\n    }\n  }\n\n  exitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.functionCall());\n  };\n  exitFunctionCall: (ctx: FunctionCallContext) => void = (ctx) => {\n    const func = IfcExpressionFunctions.getFunction(ctx.IDENTIFIER().getText());\n    const argumentTypes = this.collectArgumentTypes(ctx.exprList());\n    const parent = ctx.parentCtx;\n    if (\n      parent instanceof MethodCallChainInnerContext ||\n      parent instanceof MethodCallChainEndContext ||\n      parent instanceof SEMethodCallContext\n    ) {\n      argumentTypes.unshift(this.methodCallTargetStack.pop());\n    }\n    const returnType = func.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    this.typeManager.setType(ctx, returnType);\n  };\n\n  private collectArgumentTypes: (\n    ctx: ExprListContext,\n    resultSoFar?: Array<[ParserRuleContext, ExprType]>\n  ) => Array<[ParserRuleContext, ExprType]> = (\n    ctx,\n    resultSoFar?: Array<[ParserRuleContext, ExprType]>\n  ) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push([\n        ctx.singleExpr(),\n        this.typeManager.getType(ctx.singleExpr()),\n      ]);\n      const rest = ctx.exprList();\n      if (!isNullish(rest)) {\n        return this.collectArgumentTypes(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  exitExprList: (ctx: ExprListContext) => void;\n\n  exitArrayExpr: (ctx: ArrayExprContext) => void = (ctx) => {\n    this.typeManager.setType(\n      ctx,\n      Types.tuple(...this.collectArrayElementTypes(ctx.arrayElementList()))\n    );\n  };\n\n  private collectArrayElementTypes: (\n    ctx: ArrayElementListContext,\n    resultSoFar?: Array<ExprType>\n  ) => Array<ExprType> = (ctx, resultSoFar?: Array<ExprType>) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push(this.typeManager.getType(ctx.singleExpr()));\n      const rest = ctx.arrayElementList();\n      if (!isNullish(rest)) {\n        return this.collectArrayElementTypes(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  exitArrayElementList: (ctx: ArrayElementListContext) => void;\n  exitVariableRef: (ctx: VariableRefContext) => void = (ctx) => {\n    this.typeManager.setType(\n      ctx,\n      Types.or(Type.IFC_PROPERTY_REF, Type.IFC_ELEMENT_REF)\n    );\n  };\n}\n"]}
+{"version":3,"sources":["compiler/IfcExpressionValidationListener.ts"],"names":[],"mappings":"AAAA,OAAO,qBAAqB,MAAM,wCAAwC,CAAC;AAC3E,OAAO,EASL,yBAAyB,EACzB,2BAA2B,EAQ3B,mBAAmB,GAUpB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAC1F,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAGtE,MAAM,OAAO,+BAAgC,SAAQ,qBAAqB;IAGxE;QACE,KAAK,EAAE,CAAC;QAFF,0BAAqB,GAAG,EAAE,CAAC;QAUnC,sBAAiB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC9D,IAAI,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE;gBACzE,MAAM,IAAI,uBAAuB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;aACpE;QACH,CAAC,CAAC;QAEF,8BAAyB,GAA+C,CACtE,GAAG,EACH,EAAE;YACF,MAAM,IAAI,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC,CAAC;QAEF,0BAAqB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACvE,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QAEF,kBAAa,GAAoC,CAAC,GAAG,EAAE,EAAE;YACvD,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QACF,gBAAW,GAAkC,CAAC,GAAG,EAAE,EAAE;YACnD,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAsB,CAAC,CAAC;QAC3E,CAAC,CAAC;QACF,mBAAc,GAAqC,CAAC,GAAG,EAAE,EAAE;YACzD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,aAAQ,GAA+B,CAAC,GAAG,EAAE,EAAE;YAC7C,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACvD,CAAC,CAAC;QAEF,iBAAY,GAAmC,CAAC,GAAG,EAAE,EAAE;YACrD,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,gBAAW,GAAkC,CAAC,GAAG,EAAE,EAAE;YACnD,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QACF,oBAAe,GAAsC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC,CAAC;QAEF,cAAS,GAAgC,CAAC,GAAG,EAAE,EAAE;YAC/C,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,sBAAiB,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC/D,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;gBACvC,KAAK,UAAU;oBACb,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;oBACrD,OAAO;gBACT,KAAK,SAAS;oBACZ,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;oBACpD,OAAO;aACV;YACD,MAAM,IAAI,mBAAmB,CAC3B,kEAAkE,EAClE,GAAG,CACJ,CAAC;QACJ,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,iBAAY,GAAmC,CAAC,GAAG,EAAE,EAAE;YACrD,IAAI,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBAC9D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;aAC/C;iBAAM,IAAI,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBACtE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAChD;iBAAM;gBACL,MAAM,IAAI,mBAAmB,CAC3B,sDAAsD,IAAI,CAAC,WAAW;qBACnE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;qBAClB,OAAO,EAAE,sBAAsB,IAAI,CAAC,WAAW;qBAC/C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;qBACnB,OAAO,EAAE,gEAAgE,EAC5E,GAAG,CACJ,CAAC;aACH;QACH,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,8BAAyB,GAA+C,CACtE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC,CAAC;QACF,6BAAwB,GAA+C,CACrE,GAAG,EACH,EAAE;YACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,4BAAuB,GAA6C,CAAC,GAAG,EAAE,EAAE;YAC1E,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC,CAAC;QAcF,2BAAsB,GAA6C,CAAC,GAAG,EAAE,EAAE;YACzE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;QACzD,CAAC,CAAC;QAEF,qBAAgB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC7D,MAAM,IAAI,GAAG,sBAAsB,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC;YAC7B,IACE,MAAM,YAAY,2BAA2B;gBAC7C,MAAM,YAAY,yBAAyB;gBAC3C,MAAM,YAAY,mBAAmB,EACrC;gBACA,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC;aACzD;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC5C,CAAC,CAAC;QAEM,yBAAoB,GAGgB,CAC1C,GAAG,EACH,WAAkD,EAClD,EAAE;YACF,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC;oBACf,GAAG,CAAC,UAAU,EAAE;oBAChB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;iBAC3C,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACrD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAIF,kBAAa,GAAoC,CAAC,GAAG,EAAE,EAAE;YACvD,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CACtE,CAAC;QACJ,CAAC,CAAC;QAEM,6BAAwB,GAGT,CAAC,GAAG,EAAE,WAA6B,EAAE,EAAE;YAC5D,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;gBACnB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAC7D,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBACpB,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;iBACzD;aACF;YACD,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QAGF,oBAAe,GAAsC,CAAC,GAAG,EAAE,EAAE;YAC3D,IAAI,CAAC,WAAW,CAAC,OAAO,CACtB,GAAG,EACH,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,eAAe,CAAC,CACtD,CAAC;QACJ,CAAC,CAAC;QA/NA,IAAI,CAAC,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;IACvC,CAAC;IAEM,cAAc;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAoIO,oBAAoB,CAAC,GAAsB;QACjD,IAAI,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;YAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;SACpD;aAAM;YACL,MAAM,IAAI,mBAAmB,CAC3B,yEAAyE,EACzE,GAAG,CACJ,CAAC;SACH;IACH,CAAC;CA6EF","file":"compiler/IfcExpressionValidationListener.js","sourcesContent":["import IfcExpressionListener from \"../gen/parser/IfcExpressionListener.js\";\nimport {\n  ArrayElementListContext,\n  ArrayExprContext,\n  BooleanLiteralContext,\n  ExprContext,\n  ExprListContext,\n  FunctionCallContext,\n  LiteralContext,\n  LogicalLiteralContext,\n  MethodCallChainEndContext,\n  MethodCallChainInnerContext,\n  NumLiteralContext,\n  SEAddSubContext,\n  SEArrayExprContext,\n  SEBooleanBinaryOpContext,\n  SEComparisonContext,\n  SEFunctionCallContext,\n  SELiteralContext,\n  SEMethodCallContext,\n  SEMulDivContext,\n  SENotContext,\n  SEParenthesisContext,\n  SEPowerContext,\n  SEUnaryMinusContext,\n  SEUnaryMultipleMinusContext,\n  SEVariableRefContext,\n  StringLiteralContext,\n  VariableRefContext,\n} from \"../gen/parser/IfcExpressionParser.js\";\nimport { IfcExpressionFunctions } from \"../expression/function/IfcExpressionFunctions.js\";\nimport { NoSuchFunctionException } from \"../error/NoSuchFunctionException.js\";\nimport { InvalidSyntaxException } from \"../error/InvalidSyntaxException.js\";\nimport { Type, Types } from \"../type/Types.js\";\nimport { ParserRuleContext } from \"antlr4\";\nimport { TypeManager } from \"./TypeManager.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { isNullish } from \"../util/IfcExpressionUtils.js\";\nimport { ValidationException } from \"../error/ValidationException.js\";\nimport { ExprType } from \"../type/ExprType.js\";\n\nexport class IfcExpressionValidationListener extends IfcExpressionListener {\n  private readonly typeManager: TypeManager;\n  private methodCallTargetStack = [];\n  constructor() {\n    super();\n    this.typeManager = new TypeManager();\n  }\n\n  public getTypeManager(): TypeManager {\n    return this.typeManager;\n  }\n\n  enterFunctionCall: (ctx: FunctionCallContext) => void = (ctx) => {\n    if (!IfcExpressionFunctions.isBuiltinFunction(ctx.IDENTIFIER().getText())) {\n      throw new NoSuchFunctionException(ctx.IDENTIFIER().getText(), ctx);\n    }\n  };\n\n  enterSEUnaryMultipleMinus: (ctx: SEUnaryMultipleMinusContext) => void = (\n    ctx\n  ) => {\n    throw new InvalidSyntaxException(\"--\", ctx);\n  };\n\n  exitSEBooleanBinaryOp: (ctx: SEBooleanBinaryOpContext) => void = (ctx) => {\n    this.typeManager.requireLogicalOrBoolean(ctx._left);\n    this.typeManager.requireLogicalOrBoolean(ctx._right);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEComparison: (ctx: SEComparisonContext) => void = (ctx) => {\n    this.typeManager.requireTypesOverlap(ctx._left, ctx._right);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEParenthesis: (ctx: SEParenthesisContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n\n  exitSELiteral: (ctx: SELiteralContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n  exitLiteral: (ctx: LiteralContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.getChild(0) as ParserRuleContext);\n  };\n  exitNumLiteral: (ctx: NumLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitStringLiteral: (ctx: StringLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.string());\n  };\n\n  exitBooleanLiteral: (ctx: BooleanLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitLogicalLiteral: (ctx: LogicalLiteralContext) => void = (ctx) => {\n    this.typeManager.setType(ctx, Types.logical());\n  };\n\n  exitExpr: (ctx: ExprContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.singleExpr());\n  };\n\n  exitSEMulDiv: (ctx: SEMulDivContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._left);\n    this.typeManager.requireNumeric(ctx._right);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n\n  exitSEPower: (ctx: SEPowerContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._left);\n    this.typeManager.requireNumeric(ctx._right);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitSEFunctionCall: (ctx: SEFunctionCallContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n  exitSEArrayExpr: (ctx: SEArrayExprContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._sub);\n  };\n\n  exitSENot: (ctx: SENotContext) => void = (ctx) => {\n    this.typeManager.requireLogicalOrBoolean(ctx._sub);\n    this.typeManager.setType(ctx, Types.boolean());\n  };\n\n  exitSEVariableRef: (ctx: SEVariableRefContext) => void = (ctx) => {\n    switch (ctx._sub.IDENTIFIER().getText()) {\n      case \"property\":\n        this.typeManager.setType(ctx, Type.IFC_PROPERTY_REF);\n        return;\n      case \"element\":\n        this.typeManager.setType(ctx, Type.IFC_ELEMENT_REF);\n        return;\n    }\n    throw new ValidationException(\n      `Encountered Variable ref that was neither $property nor $element`,\n      ctx\n    );\n  };\n\n  exitSEUnaryMinus: (ctx: SEUnaryMinusContext) => void = (ctx) => {\n    this.typeManager.requireNumeric(ctx._sub);\n    this.typeManager.setType(ctx, Types.numeric());\n  };\n  exitSEAddSub: (ctx: SEAddSubContext) => void = (ctx) => {\n    if (this.typeManager.overlapsWithString(ctx._left, ctx._right)) {\n      this.typeManager.setType(ctx, Types.string());\n    } else if (this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)) {\n      this.typeManager.setType(ctx, Types.numeric());\n    } else {\n      throw new ExpressionTypeError(\n        `Operator '+' does not allow provided operand types ${this.typeManager\n          .getType(ctx._left)\n          .getName()}(left operand) and ${this.typeManager\n          .getType(ctx._right)\n          .getName()}(right operand). Operands must be both string or both numeric.`,\n        ctx\n      );\n    }\n  };\n\n  exitSEMethodCall: (ctx: SEMethodCallContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._call);\n  };\n\n  enterMethodCallChainInner: (ctx: MethodCallChainInnerContext) => void = (\n    ctx\n  ) => {\n    this.pushMethodCallTarget(ctx);\n  };\n  exitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => void = (\n    ctx\n  ) => {\n    this.typeManager.copyTypeFrom(ctx, ctx._call);\n  };\n\n  enterMethodCallChainEnd: (ctx: MethodCallChainEndContext) => void = (ctx) => {\n    this.pushMethodCallTarget(ctx);\n  };\n\n  private pushMethodCallTarget(ctx: ParserRuleContext) {\n    if (ctx.parentCtx[\"_target\"]) {\n      const targetType = this.typeManager.getType(ctx.parentCtx[\"_target\"]);\n      this.methodCallTargetStack.push([ctx, targetType]);\n    } else {\n      throw new ValidationException(\n        \"Did not find expected context attribute 'target' in parent rule context\",\n        ctx\n      );\n    }\n  }\n\n  exitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => void = (ctx) => {\n    this.typeManager.copyTypeFrom(ctx, ctx.functionCall());\n  };\n\n  exitFunctionCall: (ctx: FunctionCallContext) => void = (ctx) => {\n    const func = IfcExpressionFunctions.getFunction(ctx.IDENTIFIER().getText());\n    const argumentTypes = this.collectArgumentTypes(ctx.exprList());\n    const parent = ctx.parentCtx;\n    if (\n      parent instanceof MethodCallChainInnerContext ||\n      parent instanceof MethodCallChainEndContext ||\n      parent instanceof SEMethodCallContext\n    ) {\n      argumentTypes.unshift(this.methodCallTargetStack.pop());\n    }\n    const returnType = func.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    this.typeManager.setType(ctx, returnType);\n  };\n\n  private collectArgumentTypes: (\n    ctx: ExprListContext,\n    resultSoFar?: Array<[ParserRuleContext, ExprType]>\n  ) => Array<[ParserRuleContext, ExprType]> = (\n    ctx,\n    resultSoFar?: Array<[ParserRuleContext, ExprType]>\n  ) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push([\n        ctx.singleExpr(),\n        this.typeManager.getType(ctx.singleExpr()),\n      ]);\n      const rest = ctx.exprList();\n      if (!isNullish(rest)) {\n        return this.collectArgumentTypes(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  exitExprList: (ctx: ExprListContext) => void;\n\n  exitArrayExpr: (ctx: ArrayExprContext) => void = (ctx) => {\n    this.typeManager.setType(\n      ctx,\n      Types.tuple(...this.collectArrayElementTypes(ctx.arrayElementList()))\n    );\n  };\n\n  private collectArrayElementTypes: (\n    ctx: ArrayElementListContext,\n    resultSoFar?: Array<ExprType>\n  ) => Array<ExprType> = (ctx, resultSoFar?: Array<ExprType>) => {\n    if (isNullish(resultSoFar)) {\n      resultSoFar = [];\n    }\n    if (!isNullish(ctx)) {\n      resultSoFar.push(this.typeManager.getType(ctx.singleExpr()));\n      const rest = ctx.arrayElementList();\n      if (!isNullish(rest)) {\n        return this.collectArrayElementTypes(rest, resultSoFar);\n      }\n    }\n    return resultSoFar;\n  };\n\n  exitArrayElementList: (ctx: ArrayElementListContext) => void;\n  exitVariableRef: (ctx: VariableRefContext) => void = (ctx) => {\n    this.typeManager.setType(\n      ctx,\n      Types.or(Type.IFC_PROPERTY_REF, Type.IFC_ELEMENT_REF)\n    );\n  };\n}\n"]}

package/dist/mjs/compiler/TypeManager.js

@@ -22,6 +22,14 @@ export class TypeManager {
         const actualType = this.types.get(ctx);
         Types.requireWeakIsAssignableFrom(Type.BOOLEAN, this.types.get(ctx), () => new ExpressionTypeError(`expected type boolean, actual type is ${actualType.getName()}`, ctx));
     }
+    requireLogicalOrBoolean(ctx) {
+        return this.requireOneOf(ctx, Type.BOOLEAN, Type.LOGICAL);
+    }
+    requireOneOf(ctx, ...types) {
+        const requiredType = Types.or(...types);
+        const actualType = this.types.get(ctx);
+        Types.requireWeakIsAssignableFrom(requiredType, this.types.get(ctx), () => new ExpressionTypeError(`expected type ${requiredType}, actual type is ${actualType.getName()}`, ctx));
+    }
     requireNumeric(ctx) {
         const actualType = this.types.get(ctx);
         Types.requireWeakIsAssignableFrom(Type.NUMERIC, actualType, () => new ExpressionTypeError(`expected type numeric, actual type is ${actualType.getName()}`, ctx));

package/dist/mjs/compiler/TypeManager.js.map

@@ -1 +1 @@
-{"version":3,"sources":["compiler/TypeManager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAGtE,MAAM,OAAO,WAAW;IAGtB;QAFiB,UAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEjD,CAAC;IAET,OAAO,CAAC,iBAAoC,EAAE,IAAc;QACjE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAEM,OAAO,CAAC,iBAAoC;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC3C,CAAC;IAEM,YAAY,CAAC,GAAsB,EAAE,IAAuB;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAyB,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC;IAEM,aAAa,CAAC,GAAsB;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,wCAAwC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC9D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,cAAc,CAAC,GAAsB;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,cAAc,CAAC,GAAsB;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,OAAO,EACZ,UAAU,EACV,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,mBAAmB,CAAC,IAAuB,EAAE,IAAuB;QACzE,KAAK,CAAC,mBAAmB,CACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACpB,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,KAAK;aACtD,GAAG,CAAC,IAAI,CAAC;aACT,OAAO,EAAE,0CAA0C,EACtD,IAAI,CACL,CACJ,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,IAAc,EAAE,GAAG,IAAI;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC;IAEM,YAAY,CAAC,IAAc,EAAE,GAAG,IAAI;QACzC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAEM,QAAQ,CAAC,GAAG,IAAI;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IAC3C,CAAC;IAEM,kBAAkB,CAAC,GAAG,IAAI;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACjD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;CACF","file":"compiler/TypeManager.js","sourcesContent":["import { ParserRuleContext } from \"antlr4\";\nimport { Type, Types } from \"../type/Types.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { ExprType } from \"../type/ExprType.js\";\n\nexport class TypeManager {\n  private readonly types = new Map<ParserRuleContext, ExprType>();\n\n  constructor() {}\n\n  public setType(parserRuleContext: ParserRuleContext, type: ExprType) {\n    this.types.set(parserRuleContext, type);\n  }\n\n  public getType(parserRuleContext: ParserRuleContext): ExprType {\n    return this.types.get(parserRuleContext);\n  }\n\n  public copyTypeFrom(ctx: ParserRuleContext, from: ParserRuleContext) {\n    const theType = this.types.get(from as ParserRuleContext);\n    this.types.set(ctx, theType);\n  }\n\n  public requireString(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.STRING,\n      this.types.get(ctx as ParserRuleContext),\n      () =>\n        new ExpressionTypeError(\n          `expected type string, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireBoolean(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.BOOLEAN,\n      this.types.get(ctx as ParserRuleContext),\n      () =>\n        new ExpressionTypeError(\n          `expected type boolean, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireNumeric(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.NUMERIC,\n      actualType,\n      () =>\n        new ExpressionTypeError(\n          `expected type numeric, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireTypesOverlap(ctxA: ParserRuleContext, ctxB: ParserRuleContext) {\n    Types.requireTypesOverlap(\n      this.types.get(ctxA),\n      this.types.get(ctxB),\n      () =>\n        new ExpressionTypeError(\n          `Types ${this.types.get(ctxA).getName()} and ${this.types\n            .get(ctxB)\n            .getName()} are required to overlap but they don't.`,\n          ctxA\n        )\n    );\n  }\n\n  public isType(type: ExprType, ...ctxs) {\n    return ctxs.every((ctx) => Types.isType(this.types.get(ctx), type));\n  }\n\n  public overlapsWith(type: ExprType, ...ctxs) {\n    return ctxs.every((ctx) => type.overlapsWith(this.types.get(ctx)));\n  }\n\n  public isString(...ctxs) {\n    return this.isType(Type.STRING, ...ctxs);\n  }\n\n  public overlapsWithString(...ctxs) {\n    return this.overlapsWith(Type.STRING, ...ctxs);\n  }\n\n  public isBoolean(...ctxs) {\n    return this.isType(Type.BOOLEAN, ...ctxs);\n  }\n\n  public isLogical(...ctxs) {\n    return this.isType(Type.LOGICAL, ...ctxs);\n  }\n\n  public overlapsWithBoolean(...ctxs) {\n    return this.overlapsWith(Type.BOOLEAN, ...ctxs);\n  }\n\n  public overlapsWithLogical(...ctxs) {\n    return this.overlapsWith(Type.LOGICAL, ...ctxs);\n  }\n\n  public isNumeric(...ctxs) {\n    return this.isType(Type.NUMERIC, ...ctxs);\n  }\n\n  public overlapsWithNumeric(...ctxs) {\n    return this.overlapsWith(Type.NUMERIC, ...ctxs);\n  }\n}\n"]}
+{"version":3,"sources":["compiler/TypeManager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAGtE,MAAM,OAAO,WAAW;IAGtB;QAFiB,UAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEjD,CAAC;IAET,OAAO,CAAC,iBAAoC,EAAE,IAAc;QACjE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAEM,OAAO,CAAC,iBAAoC;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC3C,CAAC;IAEM,YAAY,CAAC,GAAsB,EAAE,IAAuB;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAyB,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC;IAEM,aAAa,CAAC,GAAsB;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,wCAAwC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC9D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,cAAc,CAAC,GAAsB;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,uBAAuB,CAAC,GAAsB;QACnD,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IAEM,YAAY,CAAC,GAAsB,EAAE,GAAG,KAAsB;QACnE,MAAM,YAAY,GAAG,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,YAAY,EACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,iBAAiB,YAAY,oBAAoB,UAAU,CAAC,OAAO,EAAE,EAAE,EACvE,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,cAAc,CAAC,GAAsB;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,2BAA2B,CAC/B,IAAI,CAAC,OAAO,EACZ,UAAU,EACV,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,mBAAmB,CAAC,IAAuB,EAAE,IAAuB;QACzE,KAAK,CAAC,mBAAmB,CACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACpB,GAAG,EAAE,CACH,IAAI,mBAAmB,CACrB,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,KAAK;aACtD,GAAG,CAAC,IAAI,CAAC;aACT,OAAO,EAAE,0CAA0C,EACtD,IAAI,CACL,CACJ,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,IAAc,EAAE,GAAG,IAAI;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC;IAEM,YAAY,CAAC,IAAc,EAAE,GAAG,IAAI;QACzC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAEM,QAAQ,CAAC,GAAG,IAAI;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IAC3C,CAAC;IAEM,kBAAkB,CAAC,GAAG,IAAI;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACjD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;CACF","file":"compiler/TypeManager.js","sourcesContent":["import { ParserRuleContext } from \"antlr4\";\nimport { Type, Types } from \"../type/Types.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { ExprType } from \"../type/ExprType.js\";\n\nexport class TypeManager {\n  private readonly types = new Map<ParserRuleContext, ExprType>();\n\n  constructor() {}\n\n  public setType(parserRuleContext: ParserRuleContext, type: ExprType) {\n    this.types.set(parserRuleContext, type);\n  }\n\n  public getType(parserRuleContext: ParserRuleContext): ExprType {\n    return this.types.get(parserRuleContext);\n  }\n\n  public copyTypeFrom(ctx: ParserRuleContext, from: ParserRuleContext) {\n    const theType = this.types.get(from as ParserRuleContext);\n    this.types.set(ctx, theType);\n  }\n\n  public requireString(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.STRING,\n      this.types.get(ctx as ParserRuleContext),\n      () =>\n        new ExpressionTypeError(\n          `expected type string, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireBoolean(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.BOOLEAN,\n      this.types.get(ctx as ParserRuleContext),\n      () =>\n        new ExpressionTypeError(\n          `expected type boolean, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireLogicalOrBoolean(ctx: ParserRuleContext) {\n    return this.requireOneOf(ctx, Type.BOOLEAN, Type.LOGICAL);\n  }\n\n  public requireOneOf(ctx: ParserRuleContext, ...types: Array<ExprType>) {\n    const requiredType = Types.or(...types);\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      requiredType,\n      this.types.get(ctx as ParserRuleContext),\n      () =>\n        new ExpressionTypeError(\n          `expected type ${requiredType}, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireNumeric(ctx: ParserRuleContext) {\n    const actualType = this.types.get(ctx as ParserRuleContext);\n    Types.requireWeakIsAssignableFrom(\n      Type.NUMERIC,\n      actualType,\n      () =>\n        new ExpressionTypeError(\n          `expected type numeric, actual type is ${actualType.getName()}`,\n          ctx\n        )\n    );\n  }\n\n  public requireTypesOverlap(ctxA: ParserRuleContext, ctxB: ParserRuleContext) {\n    Types.requireTypesOverlap(\n      this.types.get(ctxA),\n      this.types.get(ctxB),\n      () =>\n        new ExpressionTypeError(\n          `Types ${this.types.get(ctxA).getName()} and ${this.types\n            .get(ctxB)\n            .getName()} are required to overlap but they don't.`,\n          ctxA\n        )\n    );\n  }\n\n  public isType(type: ExprType, ...ctxs) {\n    return ctxs.every((ctx) => Types.isType(this.types.get(ctx), type));\n  }\n\n  public overlapsWith(type: ExprType, ...ctxs) {\n    return ctxs.every((ctx) => type.overlapsWith(this.types.get(ctx)));\n  }\n\n  public isString(...ctxs) {\n    return this.isType(Type.STRING, ...ctxs);\n  }\n\n  public overlapsWithString(...ctxs) {\n    return this.overlapsWith(Type.STRING, ...ctxs);\n  }\n\n  public isBoolean(...ctxs) {\n    return this.isType(Type.BOOLEAN, ...ctxs);\n  }\n\n  public isLogical(...ctxs) {\n    return this.isType(Type.LOGICAL, ...ctxs);\n  }\n\n  public overlapsWithBoolean(...ctxs) {\n    return this.overlapsWith(Type.BOOLEAN, ...ctxs);\n  }\n\n  public overlapsWithLogical(...ctxs) {\n    return this.overlapsWith(Type.LOGICAL, ...ctxs);\n  }\n\n  public isNumeric(...ctxs) {\n    return this.isType(Type.NUMERIC, ...ctxs);\n  }\n\n  public overlapsWithNumeric(...ctxs) {\n    return this.overlapsWith(Type.NUMERIC, ...ctxs);\n  }\n}\n"]}

package/dist/mjs/error/ExceptionToExprEvalErrorMapper.js

@@ -14,11 +14,14 @@ import { WrongFunctionArgumentTypeExceptionMapper } from "./mapper/WrongFunction
 import { InvalidSyntaxException } from "./InvalidSyntaxException.js";
 import { ValidationExceptionMapper } from "./mapper/ValidationExceptionMapper.js";
 import { ValidationException } from "./ValidationException.js";
+import { SpuriousFunctionArgumentExceptionMapper } from "./mapper/SpuriousFunctionArgumentExceptionMapper.js";
+import { SpuriousFunctionArgumentException } from "./SpuriousFunctionArgumentException.js";
 const mappers = new Map();
 mappers.set(SyntaxErrorException.name, new SyntaxErrorMapper());
 mappers.set(ValidationException.name, new ValidationExceptionMapper());
 mappers.set(ExpressionTypeError.name, mappers.get(ValidationException.name));
 mappers.set(MissingFunctionArgumentException.name, new MissingFunctionArgumentExceptionMapper());
+mappers.set(SpuriousFunctionArgumentException.name, new SpuriousFunctionArgumentExceptionMapper());
 mappers.set(NoSuchFunctionException.name, new NoSuchFunctionExceptionMapper());
 mappers.set(NoSuchMethodException.name, mappers.get(NoSuchFunctionException.name));
 mappers.set(WrongFunctionArgumentTypeException.name, new WrongFunctionArgumentTypeExceptionMapper());

package/dist/mjs/error/ExceptionToExprEvalErrorMapper.js.map

@@ -1 +1 @@
-{"version":3,"sources":["error/ExceptionToExprEvalErrorMapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,gBAAgB,EAChB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,sCAAsC,EAAE,MAAM,oDAAoD,CAAC;AAC5G,OAAO,EAAE,6BAA6B,EAAE,MAAM,2CAA2C,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,uCAAuC,CAAC;AACzF,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,kCAAkC,EAAE,MAAM,yCAAyC,CAAC;AAC7F,OAAO,EAAE,wCAAwC,EAAE,MAAM,sDAAsD,CAAC;AAChH,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAM/D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiD,CAAC;AACzE,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,iBAAiB,EAAE,CAAC,CAAC;AAChE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,yBAAyB,EAAE,CAAC,CAAC;AACvE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7E,OAAO,CAAC,GAAG,CACT,gCAAgC,CAAC,IAAI,EACrC,IAAI,sCAAsC,EAAE,CAC7C,CAAC;AACF,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,IAAI,6BAA6B,EAAE,CAAC,CAAC;AAC/E,OAAO,CAAC,GAAG,CACT,qBAAqB,CAAC,IAAI,EAC1B,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAC1C,CAAC;AACF,OAAO,CAAC,GAAG,CACT,kCAAkC,CAAC,IAAI,EACvC,IAAI,wCAAwC,EAAE,CAC/C,CAAC;AACF,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;AAEhF,MAAM,UAAU,YAAY,CAAC,CAAQ;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE;QACrB,OAAO,IAAI,gBAAgB,CACzB,QAAQ,CAAC,WAAW,EACpB,cAAc,CAAC,KAAK,EACpB,CAAC,CAAC,OAAO,EACT,IAAI,CAAC,WAAW,EAAE,CACnB,CAAC;KACH;IACD,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC","file":"error/ExceptionToExprEvalErrorMapper.js","sourcesContent":["import {\n  ExprEvalError,\n  ExprEvalErrorObj,\n  ExprEvalStatus,\n} from \"../expression/ExprEvalResult.js\";\nimport { SyntaxErrorException } from \"./SyntaxErrorException.js\";\nimport { SyntaxErrorMapper } from \"./mapper/SyntaxErrorMapper.js\";\nimport { isNullish } from \"../util/IfcExpressionUtils.js\";\nimport { ExprKind } from \"../expression/ExprKind.js\";\nimport { MissingFunctionArgumentExceptionMapper } from \"./mapper/MissingFunctionArgumentExceptionMapper.js\";\nimport { NoSuchFunctionExceptionMapper } from \"./mapper/NoSuchFunctionExceptionMapper.js\";\nimport { ExpressionTypeError } from \"./ExpressionTypeError.js\";\nimport { MissingFunctionArgumentException } from \"./MissingFunctionArgumentException.js\";\nimport { NoSuchFunctionException } from \"./NoSuchFunctionException.js\";\nimport { NoSuchMethodException } from \"./NoSuchMethodException.js\";\nimport { WrongFunctionArgumentTypeException } from \"./WrongFunctionArgumentTypeException.js\";\nimport { WrongFunctionArgumentTypeExceptionMapper } from \"./mapper/WrongFunctionArgumentTypeExceptionMapper.js\";\nimport { InvalidSyntaxException } from \"./InvalidSyntaxException.js\";\nimport { ValidationExceptionMapper } from \"./mapper/ValidationExceptionMapper.js\";\nimport { ValidationException } from \"./ValidationException.js\";\n\nexport interface ExceptionToExprEvalErrorMapper<T extends Error> {\n  mapException(exception: T): ExprEvalError;\n}\n\nconst mappers = new Map<string, ExceptionToExprEvalErrorMapper<Error>>();\nmappers.set(SyntaxErrorException.name, new SyntaxErrorMapper());\nmappers.set(ValidationException.name, new ValidationExceptionMapper());\nmappers.set(ExpressionTypeError.name, mappers.get(ValidationException.name));\nmappers.set(\n  MissingFunctionArgumentException.name,\n  new MissingFunctionArgumentExceptionMapper()\n);\nmappers.set(NoSuchFunctionException.name, new NoSuchFunctionExceptionMapper());\nmappers.set(\n  NoSuchMethodException.name,\n  mappers.get(NoSuchFunctionException.name)\n);\nmappers.set(\n  WrongFunctionArgumentTypeException.name,\n  new WrongFunctionArgumentTypeExceptionMapper()\n);\nmappers.set(InvalidSyntaxException.name, mappers.get(ValidationException.name));\n\nexport function mapException(e: Error): ExprEvalError {\n  const mapper = mappers.get(e.constructor.name);\n  if (isNullish(mapper)) {\n    return new ExprEvalErrorObj(\n      ExprKind.PARSE_ERROR,\n      ExprEvalStatus.ERROR,\n      e.message,\n      this.getTextSpan()\n    );\n  }\n  return mapper.mapException(e);\n}\n"]}
+{"version":3,"sources":["error/ExceptionToExprEvalErrorMapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,gBAAgB,EAChB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,sCAAsC,EAAE,MAAM,oDAAoD,CAAC;AAC5G,OAAO,EAAE,6BAA6B,EAAE,MAAM,2CAA2C,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,uCAAuC,CAAC;AACzF,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,kCAAkC,EAAE,MAAM,yCAAyC,CAAC;AAC7F,OAAO,EAAE,wCAAwC,EAAE,MAAM,sDAAsD,CAAC;AAChH,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,uCAAuC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAM3F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiD,CAAC;AACzE,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,iBAAiB,EAAE,CAAC,CAAC;AAChE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,yBAAyB,EAAE,CAAC,CAAC;AACvE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7E,OAAO,CAAC,GAAG,CACT,gCAAgC,CAAC,IAAI,EACrC,IAAI,sCAAsC,EAAE,CAC7C,CAAC;AACF,OAAO,CAAC,GAAG,CACT,iCAAiC,CAAC,IAAI,EACtC,IAAI,uCAAuC,EAAE,CAC9C,CAAC;AACF,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,IAAI,6BAA6B,EAAE,CAAC,CAAC;AAC/E,OAAO,CAAC,GAAG,CACT,qBAAqB,CAAC,IAAI,EAC1B,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAC1C,CAAC;AACF,OAAO,CAAC,GAAG,CACT,kCAAkC,CAAC,IAAI,EACvC,IAAI,wCAAwC,EAAE,CAC/C,CAAC;AACF,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;AAEhF,MAAM,UAAU,YAAY,CAAC,CAAQ;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE;QACrB,OAAO,IAAI,gBAAgB,CACzB,QAAQ,CAAC,WAAW,EACpB,cAAc,CAAC,KAAK,EACpB,CAAC,CAAC,OAAO,EACT,IAAI,CAAC,WAAW,EAAE,CACnB,CAAC;KACH;IACD,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC","file":"error/ExceptionToExprEvalErrorMapper.js","sourcesContent":["import {\n  ExprEvalError,\n  ExprEvalErrorObj,\n  ExprEvalStatus,\n} from \"../expression/ExprEvalResult.js\";\nimport { SyntaxErrorException } from \"./SyntaxErrorException.js\";\nimport { SyntaxErrorMapper } from \"./mapper/SyntaxErrorMapper.js\";\nimport { isNullish } from \"../util/IfcExpressionUtils.js\";\nimport { ExprKind } from \"../expression/ExprKind.js\";\nimport { MissingFunctionArgumentExceptionMapper } from \"./mapper/MissingFunctionArgumentExceptionMapper.js\";\nimport { NoSuchFunctionExceptionMapper } from \"./mapper/NoSuchFunctionExceptionMapper.js\";\nimport { ExpressionTypeError } from \"./ExpressionTypeError.js\";\nimport { MissingFunctionArgumentException } from \"./MissingFunctionArgumentException.js\";\nimport { NoSuchFunctionException } from \"./NoSuchFunctionException.js\";\nimport { NoSuchMethodException } from \"./NoSuchMethodException.js\";\nimport { WrongFunctionArgumentTypeException } from \"./WrongFunctionArgumentTypeException.js\";\nimport { WrongFunctionArgumentTypeExceptionMapper } from \"./mapper/WrongFunctionArgumentTypeExceptionMapper.js\";\nimport { InvalidSyntaxException } from \"./InvalidSyntaxException.js\";\nimport { ValidationExceptionMapper } from \"./mapper/ValidationExceptionMapper.js\";\nimport { ValidationException } from \"./ValidationException.js\";\nimport { SpuriousFunctionArgumentExceptionMapper } from \"./mapper/SpuriousFunctionArgumentExceptionMapper\";\nimport { SpuriousFunctionArgumentException } from \"./SpuriousFunctionArgumentException\";\n\nexport interface ExceptionToExprEvalErrorMapper<T extends Error> {\n  mapException(exception: T): ExprEvalError;\n}\n\nconst mappers = new Map<string, ExceptionToExprEvalErrorMapper<Error>>();\nmappers.set(SyntaxErrorException.name, new SyntaxErrorMapper());\nmappers.set(ValidationException.name, new ValidationExceptionMapper());\nmappers.set(ExpressionTypeError.name, mappers.get(ValidationException.name));\nmappers.set(\n  MissingFunctionArgumentException.name,\n  new MissingFunctionArgumentExceptionMapper()\n);\nmappers.set(\n  SpuriousFunctionArgumentException.name,\n  new SpuriousFunctionArgumentExceptionMapper()\n);\nmappers.set(NoSuchFunctionException.name, new NoSuchFunctionExceptionMapper());\nmappers.set(\n  NoSuchMethodException.name,\n  mappers.get(NoSuchFunctionException.name)\n);\nmappers.set(\n  WrongFunctionArgumentTypeException.name,\n  new WrongFunctionArgumentTypeExceptionMapper()\n);\nmappers.set(InvalidSyntaxException.name, mappers.get(ValidationException.name));\n\nexport function mapException(e: Error): ExprEvalError {\n  const mapper = mappers.get(e.constructor.name);\n  if (isNullish(mapper)) {\n    return new ExprEvalErrorObj(\n      ExprKind.PARSE_ERROR,\n      ExprEvalStatus.ERROR,\n      e.message,\n      this.getTextSpan()\n    );\n  }\n  return mapper.mapException(e);\n}\n"]}

package/dist/mjs/error/FunctionArgumentException.js

@@ -0,0 +1,10 @@
+import { ValidationException } from "./ValidationException.js";
+export class FunctionArgumentException extends ValidationException {
+    constructor(message, functionName, argumentName, index, ctx) {
+        super(`${message} - argument ${argumentName} of function ${functionName} (at 0-based index ${index})`, ctx);
+        this.functionName = functionName;
+        this.argumentName = argumentName;
+        this.index = index;
+    }
+}
+//# sourceMappingURL=FunctionArgumentException.js.map