ifc-expressions 1.0.0-beta.0 → 2.0.1-beta.0

package/dist/cjs/ExprVisitor.js

@@ -230,8 +230,8 @@ class ExprVisitor extends IfcExpressionVisitor_js_1.default {
         if (this.typeManager.isString(ctx._left, ctx._right)) {
             return new StringConcatExpr_js_1.StringConcatExpr(this.visit(ctx._left), this.visit(ctx._right));
         }
-        if (this.typeManager.isString(ctx._left, ctx._right) ||
-            this.typeManager.isNumeric(ctx._left, ctx._right)) {
+        if (this.typeManager.overlapsWithString(ctx._left, ctx._right) ||
+            this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)) {
             return new PlusOrConcatExpr_js_1.PlusOrConcatExpr(this.visit(ctx._left), this.visit(ctx._right));
         }
         throw new ExpressionTypeError_js_1.ExpressionTypeError("Operator '+' requires the operands to be either both of type numeric or both of type string, but they are not.", ctx);

package/dist/cjs/ExprVisitor.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/ExprVisitor.ts"],"names":[],"mappings":";;;;;;AAAA,mGAAwE;AACxE,sFAAgF;AA8BhF,mEAA+D;AAC/D,4DAAiC;AACjC,kEAA4D;AAC5D,oEAA8D;AAE9D,0EAAoE;AACpE,sEAAgE;AAChE,kGAA4F;AAC5F,kGAA4F;AAC5F,mFAA6E;AAC7E,sEAAgE;AAChE,2EAAqE;AACrE,oEAA8D;AAC9D,8EAAwE;AACxE,gEAA0D;AAC1D,sFAAgF;AAChF,8DAAwD;AACxD,gEAA0D;AAC1D,6EAAuE;AACvE,gEAA0D;AAC1D,kFAA4E;AAC5E,yEAAmE;AACnE,+EAAyE;AAEzE,iFAA2E;AAC3E,+EAAyE;AACzE,2EAAqE;AACrE,2EAAqE;AACrE,yFAAmF;AACnF,qEAA+D;AAC/D,mFAA6E;AAE7E,MAAa,WAAY,SAAQ,iCAA+B;IAI9D,YAAY,WAAwB;QAClC,KAAK,EAAE,CAAC;QAJO,0BAAqB,GAAG,EAAE,CAAC;QAQ5C,cAAS,GAAoC,CAAC,GAAG,EAAE,EAAE;YACnD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QAEF;;0DAEkD;QAElD,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,UAAU,EAAE;gBAC3D,OAAO,IAAI,oDAAuB,EAAE,CAAC;aACtC;iBAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,SAAS,EAAE;gBACjE,OAAO,IAAI,oDAAuB,EAAE,CAAC;aACtC;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,0BAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACrC,KAAK,IAAI;oBACP,OAAO,IAAI,gCAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxC,KAAK,GAAG;oBACN,OAAO,IAAI,4BAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtC,KAAK,IAAI;oBACP,OAAO,IAAI,0CAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,GAAG;oBACN,OAAO,IAAI,sBAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACnC,KAAK,IAAI;oBACP,OAAO,IAAI,oCAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAC3C;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,oCAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC;QAEF;;0DAEkD;QAElD,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAC7B,IAAI,8BAAY,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,CACF,CAAC;YACF,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,4BAAuB,GAAkD,CACvE,GAAG,EACH,EAAE;YACF,OAAO,IAAI,8BAAY,CACrB,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;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,wBAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;gBACtE;oBACE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC7B;QACH,CAAC,CAAC;QA2BF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,8BAAY,CACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,0BAAU,CACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;gBACJ;oBACE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC7B;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,wCAAiB,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,oBAAe,GAA0C,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;YACpB,IAAI,IAAA,iCAAS,EAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,0CAAkB,CAAC,IAAI,oBAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;aAC3D;YACD,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,IAAA,iCAAS,EAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,0CAAkB,CAAC,IAAI,oBAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;aAC3D;YACD,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,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,wBAAS,CAClB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;QACJ,CAAC,CAAC;QACF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,OAAO,IAAI,kCAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,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,oBAAO,CAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,kBAAM,CACf,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,oBAAO,CAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;aACL;YACD,MAAM,IAAI,8CAAoB,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,0CAAkB,CAC3B,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CACjD,CAAC;QACJ,CAAC,CAAC;QAEF,eAAU,GAAqC,CAAC,GAAG,EAAE,EAAE;YACrD,OAAO,IAAI,oBAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,wBAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC;QAEF,yBAAoB,GAAuD,CACzE,GAAG,EACH,EAAE;YACF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YACpC,IAAI,CAAC,IAAA,iCAAS,EAAC,IAAI,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC5C,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACnB,OAAO,GAAG,CAAC;aACZ;YACD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,IAAA,iCAAS,EAAC,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,8BAAY,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5D,CAAC,CAAC;QAEF,6BAAwB,GAGA,CAAC,GAAG,EAAE,WAA8B,EAAE,EAAE;YAC9D,IAAI,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,IAAA,iCAAS,EAAC,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;QA/RA,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACjC,CAAC;IA0GO,YAAY,CAAC,GAAoB;QACvC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACrD,OAAO,IAAI,sBAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;SACpE;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACpD,OAAO,IAAI,sCAAgB,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CACvB,CAAC;SACH;QACD,IACE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;YAChD,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EACjD;YACA,OAAO,IAAI,sCAAgB,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CACvB,CAAC;SACH;QACD,MAAM,IAAI,4CAAmB,CAC3B,gHAAgH,EAChH,GAAG,CACJ,CAAC;IACJ,CAAC;IAuJO,MAAM,CAAC,QAAQ,CAAC,GAAsB;QAC5C,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;CAKF;AAtSD,kCAsSC","file":"ExprVisitor.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 \"./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 \"./type/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\";\n\nexport class ExprVisitor extends IfcExpressionVisitor<Expr<any>> {\n  private readonly methodCallTargetStack = [];\n  private readonly typeManager: TypeManager;\n\n  constructor(typeManager: TypeManager) {\n    super();\n    this.typeManager = typeManager;\n  }\n\n  visitExpr: (ctx: ExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.singleExpr());\n  };\n\n  /*================================================\n   * VariableRef\n   *==============================================*/\n\n  visitVariableRef: (ctx: VariableRefContext) => Expr<any> = (ctx) => {\n    if (ctx.IDENTIFIER().getText().toUpperCase() === \"PROPERTY\") {\n      return new PropObjectReferenceExpr();\n    } else if (ctx.IDENTIFIER().getText().toUpperCase() === \"ELEMENT\") {\n      return new ElemObjectReferenceExpr();\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 new EqualsExpr(left, right);\n      case \"!=\":\n        return new NotEqualsExpr(left, right);\n      case \">\":\n        return new GreaterThan(left, right);\n      case \">=\":\n        return new GreaterThanOrEqual(left, right);\n      case \"<\":\n        return new LessThan(left, right);\n      case \"<=\":\n        return new LessThanOrEqual(left, right);\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 new ParenthesisExpr(this.visit(ctx._sub));\n  };\n\n  /*================================================\n   * MethodCallChain\n   *==============================================*/\n\n  visitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => Expr<any> = (\n    ctx\n  ) => {\n    this.methodCallTargetStack.push(\n      new FunctionExpr(\n        ctx.functionCall().IDENTIFIER().getText(),\n        this.collectFunctionArguments(ctx.functionCall().exprList(), [\n          this.methodCallTargetStack.pop(),\n        ])\n      )\n    );\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => Expr<any> = (\n    ctx\n  ) => {\n    return new FunctionExpr(\n      ctx.functionCall().IDENTIFIER().getText(),\n      this.collectFunctionArguments(ctx.functionCall().exprList(), [\n        this.methodCallTargetStack.pop(),\n      ])\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 new MinusExpr(this.visit(ctx._left), this.visit(ctx._right));\n      default:\n        ExprVisitor.failNode(ctx);\n    }\n  };\n\n  private makePlusExpr(ctx: SEAddSubContext) {\n    if (this.typeManager.isNumeric(ctx._left, ctx._right)) {\n      return new PlusExpr(this.visit(ctx._left), this.visit(ctx._right));\n    }\n    if (this.typeManager.isString(ctx._left, ctx._right)) {\n      return new StringConcatExpr(\n        this.visit(ctx._left),\n        this.visit(ctx._right)\n      );\n    }\n    if (\n      this.typeManager.isString(ctx._left, ctx._right) ||\n      this.typeManager.isNumeric(ctx._left, ctx._right)\n    ) {\n      return new PlusOrConcatExpr(\n        this.visit(ctx._left),\n        this.visit(ctx._right)\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 new MultiplyExpr(\n          this.visit(ctx.getChild(0)),\n          this.visit(ctx.getChild(2))\n        );\n      case \"/\":\n        return new DivideExpr(\n          this.visit(ctx.getChild(0)),\n          this.visit(ctx.getChild(2))\n        );\n      default:\n        ExprVisitor.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 new StringLiteralExpr(text);\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 new NumericLiteralExpr(new Decimal(ctx.getText()));\n    }\n    val = ctx.FLOAT();\n    if (isPresent(val)) {\n      return new NumericLiteralExpr(new Decimal(ctx.getText()));\n    }\n    ExprVisitor.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 new PowerExpr(\n      this.visit(ctx.getChild(0)),\n      this.visit(ctx.getChild(1))\n    );\n  };\n  visitSEUnaryMinus: (ctx: SEUnaryMinusContext) => Expr<any> = (ctx) => {\n    return new UnaryMinusExpr(this.visit(ctx.singleExpr()));\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 new AndExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\n        );\n      case \"||\":\n        return new OrExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\n        );\n      case \"><\":\n        return new XorExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\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 new BooleanLiteralExpr(\n      ctx.BOOLEAN().getText().toUpperCase() === \"TRUE\"\n    );\n  };\n\n  visitSENot: (ctx: SENotContext) => Expr<any> = (ctx) => {\n    return new NotExpr(this.visit(ctx.singleExpr()));\n  };\n\n  /*================================================\n   * ArrayExpr\n   *===============================================*/\n\n  visitArrayExpr: (ctx: ArrayExprContext) => Expr<any> = (ctx) => {\n    return new ArrayExpr(this.collectArrayElements(ctx.arrayElementList()));\n  };\n\n  collectArrayElements: (ctx: ArrayElementListContext) => Array<Expr<any>> = (\n    ctx\n  ) => {\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\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 new FunctionExpr(ctx.IDENTIFIER().getText(), args);\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":["../../src/ExprVisitor.ts"],"names":[],"mappings":";;;;;;AAAA,mGAAwE;AACxE,sFAAgF;AA8BhF,mEAA+D;AAC/D,4DAAiC;AACjC,kEAA4D;AAC5D,oEAA8D;AAE9D,0EAAoE;AACpE,sEAAgE;AAChE,kGAA4F;AAC5F,kGAA4F;AAC5F,mFAA6E;AAC7E,sEAAgE;AAChE,2EAAqE;AACrE,oEAA8D;AAC9D,8EAAwE;AACxE,gEAA0D;AAC1D,sFAAgF;AAChF,8DAAwD;AACxD,gEAA0D;AAC1D,6EAAuE;AACvE,gEAA0D;AAC1D,kFAA4E;AAC5E,yEAAmE;AACnE,+EAAyE;AAEzE,iFAA2E;AAC3E,+EAAyE;AACzE,2EAAqE;AACrE,2EAAqE;AACrE,yFAAmF;AACnF,qEAA+D;AAC/D,mFAA6E;AAE7E,MAAa,WAAY,SAAQ,iCAA+B;IAI9D,YAAY,WAAwB;QAClC,KAAK,EAAE,CAAC;QAJO,0BAAqB,GAAG,EAAE,CAAC;QAQ5C,cAAS,GAAoC,CAAC,GAAG,EAAE,EAAE;YACnD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC;QAEF;;0DAEkD;QAElD,qBAAgB,GAA2C,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,UAAU,EAAE;gBAC3D,OAAO,IAAI,oDAAuB,EAAE,CAAC;aACtC;iBAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,SAAS,EAAE;gBACjE,OAAO,IAAI,oDAAuB,EAAE,CAAC;aACtC;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,0BAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACrC,KAAK,IAAI;oBACP,OAAO,IAAI,gCAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxC,KAAK,GAAG;oBACN,OAAO,IAAI,4BAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtC,KAAK,IAAI;oBACP,OAAO,IAAI,0CAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,GAAG;oBACN,OAAO,IAAI,sBAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACnC,KAAK,IAAI;oBACP,OAAO,IAAI,oCAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAC3C;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,oCAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC;QAEF;;0DAEkD;QAElD,8BAAyB,GAAoD,CAC3E,GAAG,EACH,EAAE;YACF,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAC7B,IAAI,8BAAY,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,CACF,CAAC;YACF,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,4BAAuB,GAAkD,CACvE,GAAG,EACH,EAAE;YACF,OAAO,IAAI,8BAAY,CACrB,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;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,wBAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;gBACtE;oBACE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC7B;QACH,CAAC,CAAC;QA2BF,kBAAa,GAAwC,CAAC,GAAG,EAAE,EAAE;YAC3D,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,KAAK,GAAG;oBACN,OAAO,IAAI,8BAAY,CACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;gBACJ,KAAK,GAAG;oBACN,OAAO,IAAI,0BAAU,CACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;gBACJ;oBACE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC7B;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,wCAAiB,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,oBAAe,GAA0C,CAAC,GAAG,EAAE,EAAE;YAC/D,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;YACpB,IAAI,IAAA,iCAAS,EAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,0CAAkB,CAAC,IAAI,oBAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;aAC3D;YACD,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,IAAA,iCAAS,EAAC,GAAG,CAAC,EAAE;gBAClB,OAAO,IAAI,0CAAkB,CAAC,IAAI,oBAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;aAC3D;YACD,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,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,wBAAS,CAClB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5B,CAAC;QACJ,CAAC,CAAC;QACF,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,OAAO,IAAI,kCAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC1D,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,oBAAO,CAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,kBAAM,CACf,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;gBACJ,KAAK,IAAI;oBACP,OAAO,IAAI,oBAAO,CAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAC9B,CAAC;aACL;YACD,MAAM,IAAI,8CAAoB,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,0CAAkB,CAC3B,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CACjD,CAAC;QACJ,CAAC,CAAC;QAEF,eAAU,GAAqC,CAAC,GAAG,EAAE,EAAE;YACrD,OAAO,IAAI,oBAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,mBAAc,GAAyC,CAAC,GAAG,EAAE,EAAE;YAC7D,OAAO,IAAI,wBAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC;QAEF,yBAAoB,GAAuD,CACzE,GAAG,EACH,EAAE;YACF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;YACpC,IAAI,CAAC,IAAA,iCAAS,EAAC,IAAI,CAAC,EAAE;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC5C,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACnB,OAAO,GAAG,CAAC;aACZ;YACD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC,CAAC;QAEF;;2DAEmD;QAEnD,sBAAiB,GAA4C,CAAC,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,IAAA,iCAAS,EAAC,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,8BAAY,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5D,CAAC,CAAC;QAEF,6BAAwB,GAGA,CAAC,GAAG,EAAE,WAA8B,EAAE,EAAE;YAC9D,IAAI,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,IAAA,iCAAS,EAAC,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;QA/RA,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACjC,CAAC;IA0GO,YAAY,CAAC,GAAoB;QACvC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACrD,OAAO,IAAI,sBAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;SACpE;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;YACpD,OAAO,IAAI,sCAAgB,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CACvB,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,sCAAgB,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CACvB,CAAC;SACH;QACD,MAAM,IAAI,4CAAmB,CAC3B,gHAAgH,EAChH,GAAG,CACJ,CAAC;IACJ,CAAC;IAuJO,MAAM,CAAC,QAAQ,CAAC,GAAsB;QAC5C,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;CAKF;AAtSD,kCAsSC","file":"ExprVisitor.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 \"./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 \"./type/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\";\n\nexport class ExprVisitor extends IfcExpressionVisitor<Expr<any>> {\n  private readonly methodCallTargetStack = [];\n  private readonly typeManager: TypeManager;\n\n  constructor(typeManager: TypeManager) {\n    super();\n    this.typeManager = typeManager;\n  }\n\n  visitExpr: (ctx: ExprContext) => Expr<any> = (ctx) => {\n    return this.visit(ctx.singleExpr());\n  };\n\n  /*================================================\n   * VariableRef\n   *==============================================*/\n\n  visitVariableRef: (ctx: VariableRefContext) => Expr<any> = (ctx) => {\n    if (ctx.IDENTIFIER().getText().toUpperCase() === \"PROPERTY\") {\n      return new PropObjectReferenceExpr();\n    } else if (ctx.IDENTIFIER().getText().toUpperCase() === \"ELEMENT\") {\n      return new ElemObjectReferenceExpr();\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 new EqualsExpr(left, right);\n      case \"!=\":\n        return new NotEqualsExpr(left, right);\n      case \">\":\n        return new GreaterThan(left, right);\n      case \">=\":\n        return new GreaterThanOrEqual(left, right);\n      case \"<\":\n        return new LessThan(left, right);\n      case \"<=\":\n        return new LessThanOrEqual(left, right);\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 new ParenthesisExpr(this.visit(ctx._sub));\n  };\n\n  /*================================================\n   * MethodCallChain\n   *==============================================*/\n\n  visitMethodCallChainInner: (ctx: MethodCallChainInnerContext) => Expr<any> = (\n    ctx\n  ) => {\n    this.methodCallTargetStack.push(\n      new FunctionExpr(\n        ctx.functionCall().IDENTIFIER().getText(),\n        this.collectFunctionArguments(ctx.functionCall().exprList(), [\n          this.methodCallTargetStack.pop(),\n        ])\n      )\n    );\n    return this.visit(ctx.methodCallChain());\n  };\n\n  visitMethodCallChainEnd: (ctx: MethodCallChainEndContext) => Expr<any> = (\n    ctx\n  ) => {\n    return new FunctionExpr(\n      ctx.functionCall().IDENTIFIER().getText(),\n      this.collectFunctionArguments(ctx.functionCall().exprList(), [\n        this.methodCallTargetStack.pop(),\n      ])\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 new MinusExpr(this.visit(ctx._left), this.visit(ctx._right));\n      default:\n        ExprVisitor.failNode(ctx);\n    }\n  };\n\n  private makePlusExpr(ctx: SEAddSubContext) {\n    if (this.typeManager.isNumeric(ctx._left, ctx._right)) {\n      return new PlusExpr(this.visit(ctx._left), this.visit(ctx._right));\n    }\n    if (this.typeManager.isString(ctx._left, ctx._right)) {\n      return new StringConcatExpr(\n        this.visit(ctx._left),\n        this.visit(ctx._right)\n      );\n    }\n    if (\n      this.typeManager.overlapsWithString(ctx._left, ctx._right) ||\n      this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)\n    ) {\n      return new PlusOrConcatExpr(\n        this.visit(ctx._left),\n        this.visit(ctx._right)\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 new MultiplyExpr(\n          this.visit(ctx.getChild(0)),\n          this.visit(ctx.getChild(2))\n        );\n      case \"/\":\n        return new DivideExpr(\n          this.visit(ctx.getChild(0)),\n          this.visit(ctx.getChild(2))\n        );\n      default:\n        ExprVisitor.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 new StringLiteralExpr(text);\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 new NumericLiteralExpr(new Decimal(ctx.getText()));\n    }\n    val = ctx.FLOAT();\n    if (isPresent(val)) {\n      return new NumericLiteralExpr(new Decimal(ctx.getText()));\n    }\n    ExprVisitor.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 new PowerExpr(\n      this.visit(ctx.getChild(0)),\n      this.visit(ctx.getChild(1))\n    );\n  };\n  visitSEUnaryMinus: (ctx: SEUnaryMinusContext) => Expr<any> = (ctx) => {\n    return new UnaryMinusExpr(this.visit(ctx.singleExpr()));\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 new AndExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\n        );\n      case \"||\":\n        return new OrExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\n        );\n      case \"><\":\n        return new XorExpr(\n          this.visit(ctx.singleExpr(0)),\n          this.visit(ctx.singleExpr(1))\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 new BooleanLiteralExpr(\n      ctx.BOOLEAN().getText().toUpperCase() === \"TRUE\"\n    );\n  };\n\n  visitSENot: (ctx: SENotContext) => Expr<any> = (ctx) => {\n    return new NotExpr(this.visit(ctx.singleExpr()));\n  };\n\n  /*================================================\n   * ArrayExpr\n   *===============================================*/\n\n  visitArrayExpr: (ctx: ArrayExprContext) => Expr<any> = (ctx) => {\n    return new ArrayExpr(this.collectArrayElements(ctx.arrayElementList()));\n  };\n\n  collectArrayElements: (ctx: ArrayElementListContext) => Array<Expr<any>> = (\n    ctx\n  ) => {\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\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 new FunctionExpr(ctx.IDENTIFIER().getText(), args);\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/cjs/IfcExpressionValidationListener.js

@@ -92,10 +92,10 @@ class IfcExpressionValidationListener extends IfcExpressionListener_js_1.default
             this.typeManager.setType(ctx, Types_js_1.Types.numeric());
         };
         this.exitSEAddSub = (ctx) => {
-            if (this.typeManager.isString(ctx._left, ctx._right)) {
+            if (this.typeManager.overlapsWithString(ctx._left, ctx._right)) {
                 this.typeManager.setType(ctx, Types_js_1.Types.string());
             }
-            else if (this.typeManager.isNumeric(ctx._left, ctx._right)) {
+            else if (this.typeManager.overlapsWithNumeric(ctx._left, ctx._right)) {
                 this.typeManager.setType(ctx, Types_js_1.Types.numeric());
             }
             else {

package/dist/cjs/IfcExpressionValidationListener.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/IfcExpressionValidationListener.ts"],"names":[],"mappings":";;;;;;AAAA,qGAA0E;AAC1E,gFA2B6C;AAC7C,+FAAyF;AACzF,mFAA6E;AAC7E,iFAA2E;AAC3E,8CAA8C;AAE9C,0DAAoD;AACpD,2EAAqE;AACrE,mEAAoD;AACpD,2EAAqE;AAGrE,MAAa,+BAAgC,SAAQ,kCAAqB;IAGxE;QACE,KAAK,EAAE,CAAC;QAFF,0BAAqB,GAAG,EAAE,CAAC;QAUnC,sBAAiB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC9D,IAAI,CAAC,kDAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE;gBACzE,MAAM,IAAI,oDAAuB,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,kDAAsB,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,gBAAK,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,gBAAK,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,gBAAK,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,gBAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAK,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,gBAAK,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,gBAAK,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,gBAAK,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,eAAI,CAAC,gBAAgB,CAAC,CAAC;oBACrD,OAAO;gBACT,KAAK,SAAS;oBACZ,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,eAAI,CAAC,eAAe,CAAC,CAAC;oBACpD,OAAO;aACV;YACD,MAAM,IAAI,4CAAmB,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,gBAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QACF,iBAAY,GAAmC,CAAC,GAAG,EAAE,EAAE;YACrD,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBACpD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAK,CAAC,MAAM,EAAE,CAAC,CAAC;aAC/C;iBAAM,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBAC5D,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAChD;iBAAM;gBACL,MAAM,IAAI,4CAAmB,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,kDAAsB,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,oDAA2B;gBAC7C,MAAM,YAAY,kDAAyB;gBAC3C,MAAM,YAAY,4CAAmB,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,GAGL,CAAC,GAAG,EAAE,WAA6B,EAAE,EAAE;YAC5D,IAAI,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,IAAA,iCAAS,EAAC,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,gBAAK,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,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,IAAA,iCAAS,EAAC,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,gBAAK,CAAC,EAAE,CAAC,eAAI,CAAC,gBAAgB,EAAE,eAAI,CAAC,eAAe,CAAC,CACtD,CAAC;QACJ,CAAC,CAAC;QApNA,IAAI,CAAC,WAAW,GAAG,IAAI,4BAAW,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,UAAU,CAAC,CAAC;SAC7C;aAAM;YACL,MAAM,IAAI,4CAAmB,CAC3B,yEAAyE,EACzE,GAAG,CACJ,CAAC;SACH;IACH,CAAC;CAsEF;AA1ND,0EA0NC","file":"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 \"./type/TypeManager.js\";\nimport { ExpressionTypeError } from \"./error/ExpressionTypeError.js\";\nimport { isNullish } from \"./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.isString(ctx._left, ctx._right)) {\n      this.typeManager.setType(ctx, Types.string());\n    } else if (this.typeManager.isNumeric(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(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<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.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":["../../src/IfcExpressionValidationListener.ts"],"names":[],"mappings":";;;;;;AAAA,qGAA0E;AAC1E,gFA2B6C;AAC7C,+FAAyF;AACzF,mFAA6E;AAC7E,iFAA2E;AAC3E,8CAA8C;AAE9C,0DAAoD;AACpD,2EAAqE;AACrE,mEAAoD;AACpD,2EAAqE;AAGrE,MAAa,+BAAgC,SAAQ,kCAAqB;IAGxE;QACE,KAAK,EAAE,CAAC;QAFF,0BAAqB,GAAG,EAAE,CAAC;QAUnC,sBAAiB,GAAuC,CAAC,GAAG,EAAE,EAAE;YAC9D,IAAI,CAAC,kDAAsB,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE;gBACzE,MAAM,IAAI,oDAAuB,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,kDAAsB,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,gBAAK,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,gBAAK,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,gBAAK,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,gBAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC;QAEF,uBAAkB,GAAyC,CAAC,GAAG,EAAE,EAAE;YACjE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAK,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,gBAAK,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,gBAAK,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,gBAAK,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,eAAI,CAAC,gBAAgB,CAAC,CAAC;oBACrD,OAAO;gBACT,KAAK,SAAS;oBACZ,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,eAAI,CAAC,eAAe,CAAC,CAAC;oBACpD,OAAO;aACV;YACD,MAAM,IAAI,4CAAmB,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,gBAAK,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,gBAAK,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,gBAAK,CAAC,OAAO,EAAE,CAAC,CAAC;aAChD;iBAAM;gBACL,MAAM,IAAI,4CAAmB,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,kDAAsB,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,oDAA2B;gBAC7C,MAAM,YAAY,kDAAyB;gBAC3C,MAAM,YAAY,4CAAmB,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,GAGL,CAAC,GAAG,EAAE,WAA6B,EAAE,EAAE;YAC5D,IAAI,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,QAAQ,EAAE,CAAC;gBAC5B,IAAI,CAAC,IAAA,iCAAS,EAAC,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,gBAAK,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,IAAA,iCAAS,EAAC,WAAW,CAAC,EAAE;gBAC1B,WAAW,GAAG,EAAE,CAAC;aAClB;YACD,IAAI,CAAC,IAAA,iCAAS,EAAC,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,IAAA,iCAAS,EAAC,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,gBAAK,CAAC,EAAE,CAAC,eAAI,CAAC,gBAAgB,EAAE,eAAI,CAAC,eAAe,CAAC,CACtD,CAAC;QACJ,CAAC,CAAC;QApNA,IAAI,CAAC,WAAW,GAAG,IAAI,4BAAW,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,UAAU,CAAC,CAAC;SAC7C;aAAM;YACL,MAAM,IAAI,4CAAmB,CAC3B,yEAAyE,EACzE,GAAG,CACJ,CAAC;SACH;IACH,CAAC;CAsEF;AA1ND,0EA0NC","file":"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 \"./type/TypeManager.js\";\nimport { ExpressionTypeError } from \"./error/ExpressionTypeError.js\";\nimport { isNullish } from \"./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(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<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.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/cjs/expression/function/impl/MAP.js

@@ -29,10 +29,10 @@ class MAP extends Func_js_1.Func {
             .getElementType().getTypes()[0].getTypes();
         const inType = tupleTypes[0];
         const outType = tupleTypes[1];
-        if (!argumentTypes[0].isSameTypeAs(inType)) {
+        if (!argumentTypes[0].overlapsWith(inType)) {
             throw new WrongFunctionArgumentTypeException_js_1.WrongFunctionArgumentTypeException(this.name, this.formalArguments[0].name, inType, argumentTypes[0], 0, ctx);
         }
-        if (argumentTypes.length > 2 && !argumentTypes[2].isSameTypeAs(outType)) {
+        if (argumentTypes.length > 2 && !argumentTypes[2].overlapsWith(outType)) {
             throw new WrongFunctionArgumentTypeException_js_1.WrongFunctionArgumentTypeException(this.name, this.formalArguments[2].name, inType, argumentTypes[2], 2, ctx);
         }
         return returnType;

package/dist/cjs/expression/function/impl/MAP.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/expression/function/impl/MAP.ts"],"names":[],"mappings":";;;AAAA,wCAAkC;AAElC,+DAKiC;AACjC,8CAAwC;AACxC,mDAA6C;AAE7C,0EAA2D;AAC3D,kEAA4D;AAG5D,qDAA+C;AAE/C,gHAA0G;AAE1G,MAAa,GAAI,SAAQ,cAAI;IAK3B;QACE,KAAK,CAAC,KAAK,EAAE;YACX,IAAI,oBAAO,CAAC,IAAI,EAAE,GAAG,CAAC,sBAAsB,CAAC;YAC7C,IAAI,oCAAe,CAAC,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC;YAChD,IAAI,oBAAO,CAAC,KAAK,EAAE,GAAG,CAAC,sBAAsB,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAED,aAAa,CAAC,aAA8B;QAC1C,OAAO,gBAAK,CAAC,EAAE,CAAC,GAAI,aAAa,CAAC,CAAC,CAAe,CAAC,QAAQ,EAAE,CAAC;aAC3D,QAAQ,EAAE;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,8BAA8B,CAC5B,aAA8B,EAC9B,GAAG;QAEH,MAAM,UAAU,GAAG,KAAK,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,UAAU,GAEX,aAAa,CAAC,CAAC,CAAe;aAC5B,WAAW,EAAE;aACb,cAAc,EAClB,CAAC,QAAQ,EAAE,CAAC,CAAC,CACf,CAAC,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;YAC1C,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE;YACvE,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAES,eAAe,CACvB,kBAAgD;QAEhD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CACrC,GAAG,CAAC,iBAAiB,CACG,CAAC;QAC3B,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAClC,GAAG,CAAC,sBAAsB,CACG,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CACzC,GAAG,CAAC,sBAAsB,CACG,CAAC;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAkC,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,oCAAe,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,IAAA,iCAAS,EAAC,KAAK,CAAC,EAAE;gBACrB,OAAO,KAAK,CAAC;aACd;YACD,MAAM,IAAI,GAAI,UAAU,CAAC,CAAC,CAA2B,CAAC,QAAQ,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACzB,OAAO,IAAI,sCAAkB,CAAC,IAAI,CAAC,CAAC,CAAoB,CAAC,CAAC;aAC3D;SACF;QACD,IAAI,IAAA,iCAAS,EAAC,YAAY,CAAC,EAAE;YAC3B,OAAO,IAAI,sDAAkC,CAC3C,sBAAQ,CAAC,QAAQ,EACjB,kCAAc,CAAC,gBAAgB,EAC/B,sHAAsH,EACtH,IAAI,CAAC,IAAI,CACV,CAAC;SACH;QACD,OAAO,IAAI,sCAAkB,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;;AAzFH,kBA0FC;AAzFyB,qBAAiB,GAAG,UAAU,CAAC;AAC/B,0BAAsB,GAAG,OAAO,CAAC;AACjC,0BAAsB,GAAG,cAAc,CAAC","file":"expression/function/impl/MAP.js","sourcesContent":["import { Func } from \"../Func.js\";\nimport { ExpressionValue } from \"../../../value/ExpressionValue.js\";\nimport {\n  ExprEvalFunctionEvaluationErrorObj,\n  ExprEvalResult,\n  ExprEvalStatus,\n  ExprEvalSuccessObj,\n} from \"../../ExprEvalResult.js\";\nimport { FuncArg } from \"../FuncArg.js\";\nimport { ExprKind } from \"../../ExprKind.js\";\nimport { ArrayValue } from \"../../../value/ArrayValue.js\";\nimport { isNullish } from \"../../../IfcExpressionUtils.js\";\nimport { FuncArgMappings } from \"../arg/FuncArgMappings.js\";\nimport { ExprType } from \"../../../type/ExprType.js\";\nimport { TupleType } from \"../../../type/TupleType.js\";\nimport { Types } from \"../../../type/Types.js\";\nimport { TypeDisjunction } from \"../../../type/TypeDisjunction.js\";\nimport { WrongFunctionArgumentTypeException } from \"../../../error/WrongFunctionArgumentTypeException.js\";\n\nexport class MAP extends Func {\n  private static readonly ARG_NAME_MAPPINGS = \"mappings\";\n  private static readonly ARG_NAME_MAPPING_INPUT = \"input\";\n  private static readonly ARG_NAME_DEFAULT_VALUE = \"defaultValue\";\n\n  constructor() {\n    super(\"MAP\", [\n      new FuncArg(true, MAP.ARG_NAME_MAPPING_INPUT),\n      new FuncArgMappings(true, MAP.ARG_NAME_MAPPINGS),\n      new FuncArg(false, MAP.ARG_NAME_DEFAULT_VALUE),\n    ]);\n  }\n\n  getReturnType(argumentTypes: Array<ExprType>): ExprType {\n    return Types.or(...(argumentTypes[1] as TupleType).getTypes())\n      .getTypes()\n      .map((t) => (t as TupleType).getTypes()[1])[0];\n  }\n\n  checkArgumentsAndGetReturnType(\n    argumentTypes: Array<ExprType>,\n    ctx\n  ): ExprType {\n    const returnType = super.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    const tupleTypes = (\n      (\n        (argumentTypes[1] as TupleType)\n          .toArrayType()\n          .getElementType() as TypeDisjunction\n      ).getTypes()[0] as TupleType\n    ).getTypes();\n    const inType = tupleTypes[0];\n    const outType = tupleTypes[1];\n    if (!argumentTypes[0].isSameTypeAs(inType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[0].name,\n        inType,\n        argumentTypes[0],\n        0,\n        ctx\n      );\n    }\n    if (argumentTypes.length > 2 && !argumentTypes[2].isSameTypeAs(outType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[2].name,\n        inType,\n        argumentTypes[2],\n        2,\n        ctx\n      );\n    }\n    return returnType;\n  }\n\n  protected calculateResult(\n    evaluatedArguments: Map<string, ExpressionValue>\n  ): ExprEvalResult<ExpressionValue> {\n    const mappings = evaluatedArguments.get(\n      MAP.ARG_NAME_MAPPINGS\n    ) as unknown as ArrayValue;\n    const input = evaluatedArguments.get(\n      MAP.ARG_NAME_MAPPING_INPUT\n    ) as unknown as ExpressionValue;\n    const defaultValue = evaluatedArguments.get(\n      MAP.ARG_NAME_DEFAULT_VALUE\n    ) as unknown as ExpressionValue;\n    const outerArray = mappings.getValue() as unknown as Array<ArrayValue>;\n    const numMappings = outerArray.length;\n    for (let i = 0; i < numMappings; i++) {\n      const error = FuncArgMappings.checkSingleMapping(outerArray, i);\n      if (!isNullish(error)) {\n        return error;\n      }\n      const pair = (outerArray[i] as unknown as ArrayValue).getValue();\n      if (pair[0].equals(input)) {\n        return new ExprEvalSuccessObj(pair[1] as ExpressionValue);\n      }\n    }\n    if (isNullish(defaultValue)) {\n      return new ExprEvalFunctionEvaluationErrorObj(\n        ExprKind.FUNCTION,\n        ExprEvalStatus.UNDEFINED_RESULT,\n        \"Input value not found in left column. No default return value specified, therefore the result of MAP() is undefined \",\n        this.name\n      );\n    }\n    return new ExprEvalSuccessObj(defaultValue);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/expression/function/impl/MAP.ts"],"names":[],"mappings":";;;AAAA,wCAAkC;AAElC,+DAKiC;AACjC,8CAAwC;AACxC,mDAA6C;AAE7C,0EAA2D;AAC3D,kEAA4D;AAG5D,qDAA+C;AAE/C,gHAA0G;AAE1G,MAAa,GAAI,SAAQ,cAAI;IAK3B;QACE,KAAK,CAAC,KAAK,EAAE;YACX,IAAI,oBAAO,CAAC,IAAI,EAAE,GAAG,CAAC,sBAAsB,CAAC;YAC7C,IAAI,oCAAe,CAAC,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC;YAChD,IAAI,oBAAO,CAAC,KAAK,EAAE,GAAG,CAAC,sBAAsB,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAED,aAAa,CAAC,aAA8B;QAC1C,OAAO,gBAAK,CAAC,EAAE,CAAC,GAAI,aAAa,CAAC,CAAC,CAAe,CAAC,QAAQ,EAAE,CAAC;aAC3D,QAAQ,EAAE;aACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,8BAA8B,CAC5B,aAA8B,EAC9B,GAAG;QAEH,MAAM,UAAU,GAAG,KAAK,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,UAAU,GAEX,aAAa,CAAC,CAAC,CAAe;aAC5B,WAAW,EAAE;aACb,cAAc,EAClB,CAAC,QAAQ,EAAE,CAAC,CAAC,CACf,CAAC,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;YAC1C,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE;YACvE,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAES,eAAe,CACvB,kBAAgD;QAEhD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CACrC,GAAG,CAAC,iBAAiB,CACG,CAAC;QAC3B,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAClC,GAAG,CAAC,sBAAsB,CACG,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CACzC,GAAG,CAAC,sBAAsB,CACG,CAAC;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAkC,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,oCAAe,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,IAAA,iCAAS,EAAC,KAAK,CAAC,EAAE;gBACrB,OAAO,KAAK,CAAC;aACd;YACD,MAAM,IAAI,GAAI,UAAU,CAAC,CAAC,CAA2B,CAAC,QAAQ,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACzB,OAAO,IAAI,sCAAkB,CAAC,IAAI,CAAC,CAAC,CAAoB,CAAC,CAAC;aAC3D;SACF;QACD,IAAI,IAAA,iCAAS,EAAC,YAAY,CAAC,EAAE;YAC3B,OAAO,IAAI,sDAAkC,CAC3C,sBAAQ,CAAC,QAAQ,EACjB,kCAAc,CAAC,gBAAgB,EAC/B,sHAAsH,EACtH,IAAI,CAAC,IAAI,CACV,CAAC;SACH;QACD,OAAO,IAAI,sCAAkB,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;;AAzFH,kBA0FC;AAzFyB,qBAAiB,GAAG,UAAU,CAAC;AAC/B,0BAAsB,GAAG,OAAO,CAAC;AACjC,0BAAsB,GAAG,cAAc,CAAC","file":"expression/function/impl/MAP.js","sourcesContent":["import { Func } from \"../Func.js\";\nimport { ExpressionValue } from \"../../../value/ExpressionValue.js\";\nimport {\n  ExprEvalFunctionEvaluationErrorObj,\n  ExprEvalResult,\n  ExprEvalStatus,\n  ExprEvalSuccessObj,\n} from \"../../ExprEvalResult.js\";\nimport { FuncArg } from \"../FuncArg.js\";\nimport { ExprKind } from \"../../ExprKind.js\";\nimport { ArrayValue } from \"../../../value/ArrayValue.js\";\nimport { isNullish } from \"../../../IfcExpressionUtils.js\";\nimport { FuncArgMappings } from \"../arg/FuncArgMappings.js\";\nimport { ExprType } from \"../../../type/ExprType.js\";\nimport { TupleType } from \"../../../type/TupleType.js\";\nimport { Types } from \"../../../type/Types.js\";\nimport { TypeDisjunction } from \"../../../type/TypeDisjunction.js\";\nimport { WrongFunctionArgumentTypeException } from \"../../../error/WrongFunctionArgumentTypeException.js\";\n\nexport class MAP extends Func {\n  private static readonly ARG_NAME_MAPPINGS = \"mappings\";\n  private static readonly ARG_NAME_MAPPING_INPUT = \"input\";\n  private static readonly ARG_NAME_DEFAULT_VALUE = \"defaultValue\";\n\n  constructor() {\n    super(\"MAP\", [\n      new FuncArg(true, MAP.ARG_NAME_MAPPING_INPUT),\n      new FuncArgMappings(true, MAP.ARG_NAME_MAPPINGS),\n      new FuncArg(false, MAP.ARG_NAME_DEFAULT_VALUE),\n    ]);\n  }\n\n  getReturnType(argumentTypes: Array<ExprType>): ExprType {\n    return Types.or(...(argumentTypes[1] as TupleType).getTypes())\n      .getTypes()\n      .map((t) => (t as TupleType).getTypes()[1])[0];\n  }\n\n  checkArgumentsAndGetReturnType(\n    argumentTypes: Array<ExprType>,\n    ctx\n  ): ExprType {\n    const returnType = super.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    const tupleTypes = (\n      (\n        (argumentTypes[1] as TupleType)\n          .toArrayType()\n          .getElementType() as TypeDisjunction\n      ).getTypes()[0] as TupleType\n    ).getTypes();\n    const inType = tupleTypes[0];\n    const outType = tupleTypes[1];\n    if (!argumentTypes[0].overlapsWith(inType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[0].name,\n        inType,\n        argumentTypes[0],\n        0,\n        ctx\n      );\n    }\n    if (argumentTypes.length > 2 && !argumentTypes[2].overlapsWith(outType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[2].name,\n        inType,\n        argumentTypes[2],\n        2,\n        ctx\n      );\n    }\n    return returnType;\n  }\n\n  protected calculateResult(\n    evaluatedArguments: Map<string, ExpressionValue>\n  ): ExprEvalResult<ExpressionValue> {\n    const mappings = evaluatedArguments.get(\n      MAP.ARG_NAME_MAPPINGS\n    ) as unknown as ArrayValue;\n    const input = evaluatedArguments.get(\n      MAP.ARG_NAME_MAPPING_INPUT\n    ) as unknown as ExpressionValue;\n    const defaultValue = evaluatedArguments.get(\n      MAP.ARG_NAME_DEFAULT_VALUE\n    ) as unknown as ExpressionValue;\n    const outerArray = mappings.getValue() as unknown as Array<ArrayValue>;\n    const numMappings = outerArray.length;\n    for (let i = 0; i < numMappings; i++) {\n      const error = FuncArgMappings.checkSingleMapping(outerArray, i);\n      if (!isNullish(error)) {\n        return error;\n      }\n      const pair = (outerArray[i] as unknown as ArrayValue).getValue();\n      if (pair[0].equals(input)) {\n        return new ExprEvalSuccessObj(pair[1] as ExpressionValue);\n      }\n    }\n    if (isNullish(defaultValue)) {\n      return new ExprEvalFunctionEvaluationErrorObj(\n        ExprKind.FUNCTION,\n        ExprEvalStatus.UNDEFINED_RESULT,\n        \"Input value not found in left column. No default return value specified, therefore the result of MAP() is undefined \",\n        this.name\n      );\n    }\n    return new ExprEvalSuccessObj(defaultValue);\n  }\n}\n"]}

package/dist/cjs/expression/function/impl/SWITCH.js

@@ -24,10 +24,10 @@ class SWITCH extends Func_js_1.Func {
             .getElementType().getTypes()[0].getTypes();
         const inType = tupleTypes[0];
         const outType = tupleTypes[1];
-        if (!Types_js_1.Type.BOOLEAN.isSameTypeAs(inType)) {
+        if (!Types_js_1.Type.BOOLEAN.overlapsWith(inType)) {
             throw new WrongFunctionArgumentTypeException_js_1.WrongFunctionArgumentTypeException(this.name, this.formalArguments[0].name, Types_js_1.Type.BOOLEAN, inType, 0, ctx);
         }
-        if (argumentTypes.length > 1 && !argumentTypes[1].isSameTypeAs(outType)) {
+        if (argumentTypes.length > 1 && !argumentTypes[1].overlapsWith(outType)) {
             throw new WrongFunctionArgumentTypeException_js_1.WrongFunctionArgumentTypeException(this.name, this.formalArguments[1].name, inType, argumentTypes[1], 1, ctx);
         }
         return returnType;

package/dist/cjs/expression/function/impl/SWITCH.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/expression/function/impl/SWITCH.ts"],"names":[],"mappings":";;;AAAA,wCAAkC;AAElC,+DAMiC;AACjC,8CAAwC;AACxC,mDAA6C;AAE7C,0EAA2D;AAC3D,oEAA8D;AAC9D,kEAA4D;AAI5D,gHAA0G;AAC1G,qDAA8C;AAE9C,MAAa,MAAO,SAAQ,cAAI;IAI9B;QACE,KAAK,CAAC,QAAQ,EAAE;YACd,IAAI,oCAAe,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC;YAChD,IAAI,oBAAO,CAAC,KAAK,EAAE,MAAM,CAAC,sBAAsB,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;IAED,8BAA8B,CAC5B,aAA8B,EAC9B,GAAG;QAEH,MAAM,UAAU,GAAG,KAAK,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,UAAU,GAEX,aAAa,CAAC,CAAC,CAAe;aAC5B,WAAW,EAAE;aACb,cAAc,EAClB,CAAC,QAAQ,EAAE,CAAC,CAAC,CACf,CAAC,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,eAAI,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;YACtC,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,eAAI,CAAC,OAAO,EACZ,MAAM,EACN,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE;YACvE,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,aAAa,CAAC,aAA8B;QAC1C,OAAQ,aAAa,CAAC,CAAC,CAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IAES,eAAe,CACvB,kBAAgD;QAEhD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CACrC,MAAM,CAAC,cAAc,CACG,CAAC;QAC3B,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CACzC,MAAM,CAAC,sBAAsB,CACA,CAAC;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAkC,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,oCAAe,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,IAAA,iCAAS,EAAC,KAAK,CAAC,EAAE;gBACrB,OAAO,KAAK,CAAC;aACd;YACD,MAAM,IAAI,GAAI,UAAU,CAAC,CAAC,CAA2B,CAAC,QAAQ,EAAE,CAAC;YACjE,IAAI,CAAC,8BAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7C,OAAO,IAAI,wCAAoB,CAC7B,sBAAQ,CAAC,QAAQ,EACjB,2CAA2C,CAAC,iDAAiD,EAC7F,IAAI,CAAC,CAAC,CAAC,CACR,CAAC;aACH;YACD,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;gBAC/B,OAAO,IAAI,sCAAkB,CAAC,IAAI,CAAC,CAAC,CAAoB,CAAC,CAAC;aAC3D;SACF;QACD,IAAI,IAAA,iCAAS,EAAC,YAAY,CAAC,EAAE;YAC3B,OAAO,IAAI,sDAAkC,CAC3C,sBAAQ,CAAC,QAAQ,EACjB,kCAAc,CAAC,gBAAgB,EAC/B,sHAAsH,EACtH,IAAI,CAAC,IAAI,CACV,CAAC;SACH;QACD,OAAO,IAAI,sCAAkB,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;;AA1FH,wBA2FC;AA1FyB,qBAAc,GAAG,OAAO,CAAC;AACzB,6BAAsB,GAAG,cAAc,CAAC","file":"expression/function/impl/SWITCH.js","sourcesContent":["import { Func } from \"../Func.js\";\nimport { ExpressionValue } from \"../../../value/ExpressionValue.js\";\nimport {\n  ExprEvalFunctionEvaluationErrorObj,\n  ExprEvalResult,\n  ExprEvalStatus,\n  ExprEvalSuccessObj,\n  ExprEvalTypeErrorObj,\n} from \"../../ExprEvalResult.js\";\nimport { FuncArg } from \"../FuncArg.js\";\nimport { ExprKind } from \"../../ExprKind.js\";\nimport { ArrayValue } from \"../../../value/ArrayValue.js\";\nimport { isNullish } from \"../../../IfcExpressionUtils.js\";\nimport { BooleanValue } from \"../../../value/BooleanValue.js\";\nimport { FuncArgMappings } from \"../arg/FuncArgMappings.js\";\nimport { ExprType } from \"../../../type/ExprType.js\";\nimport { TupleType } from \"../../../type/TupleType.js\";\nimport { TypeDisjunction } from \"../../../type/TypeDisjunction.js\";\nimport { WrongFunctionArgumentTypeException } from \"../../../error/WrongFunctionArgumentTypeException.js\";\nimport { Type } from \"../../../type/Types.js\";\n\nexport class SWITCH extends Func {\n  private static readonly ARG_NAME_CASES = \"cases\";\n  private static readonly ARG_NAME_DEFAULT_VALUE = \"defaultValue\";\n\n  constructor() {\n    super(\"SWITCH\", [\n      new FuncArgMappings(true, SWITCH.ARG_NAME_CASES),\n      new FuncArg(false, SWITCH.ARG_NAME_DEFAULT_VALUE),\n    ]);\n  }\n\n  checkArgumentsAndGetReturnType(\n    argumentTypes: Array<ExprType>,\n    ctx\n  ): ExprType {\n    const returnType = super.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    const tupleTypes = (\n      (\n        (argumentTypes[0] as TupleType)\n          .toArrayType()\n          .getElementType() as TypeDisjunction\n      ).getTypes()[0] as TupleType\n    ).getTypes();\n    const inType = tupleTypes[0];\n    const outType = tupleTypes[1];\n    if (!Type.BOOLEAN.isSameTypeAs(inType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[0].name,\n        Type.BOOLEAN,\n        inType,\n        0,\n        ctx\n      );\n    }\n\n    if (argumentTypes.length > 1 && !argumentTypes[1].isSameTypeAs(outType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[1].name,\n        inType,\n        argumentTypes[1],\n        1,\n        ctx\n      );\n    }\n    return returnType;\n  }\n\n  getReturnType(argumentTypes: Array<ExprType>): ExprType {\n    return (argumentTypes[0] as TupleType).getTypes()[1];\n  }\n\n  protected calculateResult(\n    evaluatedArguments: Map<string, ExpressionValue>\n  ): ExprEvalResult<ExpressionValue> {\n    const mappings = evaluatedArguments.get(\n      SWITCH.ARG_NAME_CASES\n    ) as unknown as ArrayValue;\n    const defaultValue = evaluatedArguments.get(\n      SWITCH.ARG_NAME_DEFAULT_VALUE\n    ) as unknown as ExpressionValue;\n    const outerArray = mappings.getValue() as unknown as Array<ArrayValue>;\n    const numMappings = outerArray.length;\n    for (let i = 0; i < numMappings; i++) {\n      const error = FuncArgMappings.checkSingleMapping(outerArray, i);\n      if (!isNullish(error)) {\n        return error;\n      }\n      const pair = (outerArray[i] as unknown as ArrayValue).getValue();\n      if (!BooleanValue.isBooleanValueType(pair[0])) {\n        return new ExprEvalTypeErrorObj(\n          ExprKind.FUNCTION,\n          `First array element at 0-based position ${i} in the mappings does not evaluate to a boolean`,\n          pair[0]\n        );\n      }\n      if (pair[0].getValue() === true) {\n        return new ExprEvalSuccessObj(pair[1] as ExpressionValue);\n      }\n    }\n    if (isNullish(defaultValue)) {\n      return new ExprEvalFunctionEvaluationErrorObj(\n        ExprKind.FUNCTION,\n        ExprEvalStatus.UNDEFINED_RESULT,\n        \"Input value not found in left column. No default return value specified, therefore the result of MAP() is undefined \",\n        this.name\n      );\n    }\n    return new ExprEvalSuccessObj(defaultValue);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/expression/function/impl/SWITCH.ts"],"names":[],"mappings":";;;AAAA,wCAAkC;AAElC,+DAMiC;AACjC,8CAAwC;AACxC,mDAA6C;AAE7C,0EAA2D;AAC3D,oEAA8D;AAC9D,kEAA4D;AAI5D,gHAA0G;AAC1G,qDAA8C;AAE9C,MAAa,MAAO,SAAQ,cAAI;IAI9B;QACE,KAAK,CAAC,QAAQ,EAAE;YACd,IAAI,oCAAe,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC;YAChD,IAAI,oBAAO,CAAC,KAAK,EAAE,MAAM,CAAC,sBAAsB,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;IAED,8BAA8B,CAC5B,aAA8B,EAC9B,GAAG;QAEH,MAAM,UAAU,GAAG,KAAK,CAAC,8BAA8B,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,UAAU,GAEX,aAAa,CAAC,CAAC,CAAe;aAC5B,WAAW,EAAE;aACb,cAAc,EAClB,CAAC,QAAQ,EAAE,CAAC,CAAC,CACf,CAAC,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,eAAI,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE;YACtC,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,eAAI,CAAC,OAAO,EACZ,MAAM,EACN,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE;YACvE,MAAM,IAAI,0EAAkC,CAC1C,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAC5B,MAAM,EACN,aAAa,CAAC,CAAC,CAAC,EAChB,CAAC,EACD,GAAG,CACJ,CAAC;SACH;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,aAAa,CAAC,aAA8B;QAC1C,OAAQ,aAAa,CAAC,CAAC,CAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IAES,eAAe,CACvB,kBAAgD;QAEhD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CACrC,MAAM,CAAC,cAAc,CACG,CAAC;QAC3B,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CACzC,MAAM,CAAC,sBAAsB,CACA,CAAC;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAkC,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,oCAAe,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,IAAA,iCAAS,EAAC,KAAK,CAAC,EAAE;gBACrB,OAAO,KAAK,CAAC;aACd;YACD,MAAM,IAAI,GAAI,UAAU,CAAC,CAAC,CAA2B,CAAC,QAAQ,EAAE,CAAC;YACjE,IAAI,CAAC,8BAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7C,OAAO,IAAI,wCAAoB,CAC7B,sBAAQ,CAAC,QAAQ,EACjB,2CAA2C,CAAC,iDAAiD,EAC7F,IAAI,CAAC,CAAC,CAAC,CACR,CAAC;aACH;YACD,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;gBAC/B,OAAO,IAAI,sCAAkB,CAAC,IAAI,CAAC,CAAC,CAAoB,CAAC,CAAC;aAC3D;SACF;QACD,IAAI,IAAA,iCAAS,EAAC,YAAY,CAAC,EAAE;YAC3B,OAAO,IAAI,sDAAkC,CAC3C,sBAAQ,CAAC,QAAQ,EACjB,kCAAc,CAAC,gBAAgB,EAC/B,sHAAsH,EACtH,IAAI,CAAC,IAAI,CACV,CAAC;SACH;QACD,OAAO,IAAI,sCAAkB,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;;AA1FH,wBA2FC;AA1FyB,qBAAc,GAAG,OAAO,CAAC;AACzB,6BAAsB,GAAG,cAAc,CAAC","file":"expression/function/impl/SWITCH.js","sourcesContent":["import { Func } from \"../Func.js\";\nimport { ExpressionValue } from \"../../../value/ExpressionValue.js\";\nimport {\n  ExprEvalFunctionEvaluationErrorObj,\n  ExprEvalResult,\n  ExprEvalStatus,\n  ExprEvalSuccessObj,\n  ExprEvalTypeErrorObj,\n} from \"../../ExprEvalResult.js\";\nimport { FuncArg } from \"../FuncArg.js\";\nimport { ExprKind } from \"../../ExprKind.js\";\nimport { ArrayValue } from \"../../../value/ArrayValue.js\";\nimport { isNullish } from \"../../../IfcExpressionUtils.js\";\nimport { BooleanValue } from \"../../../value/BooleanValue.js\";\nimport { FuncArgMappings } from \"../arg/FuncArgMappings.js\";\nimport { ExprType } from \"../../../type/ExprType.js\";\nimport { TupleType } from \"../../../type/TupleType.js\";\nimport { TypeDisjunction } from \"../../../type/TypeDisjunction.js\";\nimport { WrongFunctionArgumentTypeException } from \"../../../error/WrongFunctionArgumentTypeException.js\";\nimport { Type } from \"../../../type/Types.js\";\n\nexport class SWITCH extends Func {\n  private static readonly ARG_NAME_CASES = \"cases\";\n  private static readonly ARG_NAME_DEFAULT_VALUE = \"defaultValue\";\n\n  constructor() {\n    super(\"SWITCH\", [\n      new FuncArgMappings(true, SWITCH.ARG_NAME_CASES),\n      new FuncArg(false, SWITCH.ARG_NAME_DEFAULT_VALUE),\n    ]);\n  }\n\n  checkArgumentsAndGetReturnType(\n    argumentTypes: Array<ExprType>,\n    ctx\n  ): ExprType {\n    const returnType = super.checkArgumentsAndGetReturnType(argumentTypes, ctx);\n    const tupleTypes = (\n      (\n        (argumentTypes[0] as TupleType)\n          .toArrayType()\n          .getElementType() as TypeDisjunction\n      ).getTypes()[0] as TupleType\n    ).getTypes();\n    const inType = tupleTypes[0];\n    const outType = tupleTypes[1];\n    if (!Type.BOOLEAN.overlapsWith(inType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[0].name,\n        Type.BOOLEAN,\n        inType,\n        0,\n        ctx\n      );\n    }\n\n    if (argumentTypes.length > 1 && !argumentTypes[1].overlapsWith(outType)) {\n      throw new WrongFunctionArgumentTypeException(\n        this.name,\n        this.formalArguments[1].name,\n        inType,\n        argumentTypes[1],\n        1,\n        ctx\n      );\n    }\n    return returnType;\n  }\n\n  getReturnType(argumentTypes: Array<ExprType>): ExprType {\n    return (argumentTypes[0] as TupleType).getTypes()[1];\n  }\n\n  protected calculateResult(\n    evaluatedArguments: Map<string, ExpressionValue>\n  ): ExprEvalResult<ExpressionValue> {\n    const mappings = evaluatedArguments.get(\n      SWITCH.ARG_NAME_CASES\n    ) as unknown as ArrayValue;\n    const defaultValue = evaluatedArguments.get(\n      SWITCH.ARG_NAME_DEFAULT_VALUE\n    ) as unknown as ExpressionValue;\n    const outerArray = mappings.getValue() as unknown as Array<ArrayValue>;\n    const numMappings = outerArray.length;\n    for (let i = 0; i < numMappings; i++) {\n      const error = FuncArgMappings.checkSingleMapping(outerArray, i);\n      if (!isNullish(error)) {\n        return error;\n      }\n      const pair = (outerArray[i] as unknown as ArrayValue).getValue();\n      if (!BooleanValue.isBooleanValueType(pair[0])) {\n        return new ExprEvalTypeErrorObj(\n          ExprKind.FUNCTION,\n          `First array element at 0-based position ${i} in the mappings does not evaluate to a boolean`,\n          pair[0]\n        );\n      }\n      if (pair[0].getValue() === true) {\n        return new ExprEvalSuccessObj(pair[1] as ExpressionValue);\n      }\n    }\n    if (isNullish(defaultValue)) {\n      return new ExprEvalFunctionEvaluationErrorObj(\n        ExprKind.FUNCTION,\n        ExprEvalStatus.UNDEFINED_RESULT,\n        \"Input value not found in left column. No default return value specified, therefore the result of MAP() is undefined \",\n        this.name\n      );\n    }\n    return new ExprEvalSuccessObj(defaultValue);\n  }\n}\n"]}

package/dist/cjs/expression/poly/PlusOrConcatExpr.js

@@ -20,7 +20,11 @@ class PlusOrConcatExpr extends Expr2_js_1.Expr2 {
             rightResult instanceof StringValue_js_1.StringValue) {
             return StringValue_js_1.StringValue.of(leftResult.getValue() + rightResult.getValue());
         }
-        return new ExprEvalResult_js_1.ExprEvalTypeErrorObj(ExprKind_js_1.ExprKind.FUNCTION, "Operator '+' requires the operands to be either both of type numeric or both of type string, but they are not.", [leftResult, rightResult]);
+        return new ExprEvalResult_js_1.ExprEvalTypeErrorObj(ExprKind_js_1.ExprKind.FUNCTION, `Operator '+' requires the operands to be either both of type numeric or both of type string, but they are '${leftResult
+            .getType()
+            .getName()}' (left operand) and '${rightResult
+            .getType()
+            .getName()}' (right operand)`, [leftResult, rightResult]);
     }
     toExprString() {
         return `${this.left.toExprString()} + ${this.right.toExprString()}`;

package/dist/cjs/expression/poly/PlusOrConcatExpr.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/expression/poly/PlusOrConcatExpr.ts"],"names":[],"mappings":";;;AAAA,0CAAoC;AAGpC,iEAA2D;AAC3D,gDAA0C;AAC1C,+DAAyD;AACzD,4DAA2E;AAC3E,kDAAkD;AAGlD,MAAa,gBAAiB,SAAQ,gBAIrC;IACC,YACE,IAAsC,EACtC,KAAuC;QAEvC,KAAK,CAAC,sBAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,eAAe,CACb,GAAyB,EACzB,QAA0B,EAC1B,UAAsC,EACtC,WAAuC;QAEvC,IACE,UAAU,YAAY,8BAAY;YAClC,WAAW,YAAY,8BAAY,EACnC;YACA,OAAO,8BAAY,CAAC,EAAE,CACpB,UAAU,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CACnD,CAAC;SACH;aAAM,IACL,UAAU,YAAY,4BAAW;YACjC,WAAW,YAAY,4BAAW,EAClC;YACA,OAAO,4BAAW,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;SACvE;QACD,OAAO,IAAI,wCAAoB,CAC7B,sBAAQ,CAAC,QAAQ,EACjB,gHAAgH,EAChH,CAAC,UAAU,EAAE,WAAW,CAAC,CAC1B,CAAC;IACJ,CAAC;IAED,YAAY;QACV,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;IACtE,CAAC;IAED,OAAO;QACL,OAAO,gBAAK,CAAC,EAAE,CAAC,eAAI,CAAC,OAAO,EAAE,eAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;CACF;AA7CD,4CA6CC","file":"expression/poly/PlusOrConcatExpr.js","sourcesContent":["import { Expr2 } from \"../Expr2.js\";\nimport { Expr } from \"../Expr.js\";\nimport { IfcExpressionContext } from \"../../context/IfcExpressionContext.js\";\nimport { NumericValue } from \"../../value/NumericValue.js\";\nimport { ExprKind } from \"../ExprKind.js\";\nimport { StringValue } from \"../../value/StringValue.js\";\nimport { ExprEvalError, ExprEvalTypeErrorObj } from \"../ExprEvalResult.js\";\nimport { Type, Types } from \"../../type/Types.js\";\nimport { ExprType } from \"../../type/ExprType.js\";\n\nexport class PlusOrConcatExpr extends Expr2<\n  NumericValue | StringValue,\n  NumericValue | StringValue,\n  NumericValue | StringValue\n> {\n  constructor(\n    left: Expr<NumericValue | StringValue>,\n    right: Expr<NumericValue | StringValue>\n  ) {\n    super(ExprKind.NUM_PLUS, left, right);\n  }\n\n  calculateResult(\n    ctx: IfcExpressionContext,\n    localCtx: Map<string, any>,\n    leftResult: NumericValue | StringValue,\n    rightResult: NumericValue | StringValue\n  ): NumericValue | StringValue | ExprEvalError {\n    if (\n      leftResult instanceof NumericValue &&\n      rightResult instanceof NumericValue\n    ) {\n      return NumericValue.of(\n        leftResult.getValue().plus(rightResult.getValue())\n      );\n    } else if (\n      leftResult instanceof StringValue &&\n      rightResult instanceof StringValue\n    ) {\n      return StringValue.of(leftResult.getValue() + rightResult.getValue());\n    }\n    return new ExprEvalTypeErrorObj(\n      ExprKind.FUNCTION,\n      \"Operator '+' requires the operands to be either both of type numeric or both of type string, but they are not.\",\n      [leftResult, rightResult]\n    );\n  }\n\n  toExprString(): string {\n    return `${this.left.toExprString()} + ${this.right.toExprString()}`;\n  }\n\n  getType(): ExprType {\n    return Types.or(Type.NUMERIC, Type.STRING);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/expression/poly/PlusOrConcatExpr.ts"],"names":[],"mappings":";;;AAAA,0CAAoC;AAGpC,iEAA2D;AAC3D,gDAA0C;AAC1C,+DAAyD;AACzD,4DAA2E;AAC3E,kDAAkD;AAGlD,MAAa,gBAAiB,SAAQ,gBAIrC;IACC,YACE,IAAsC,EACtC,KAAuC;QAEvC,KAAK,CAAC,sBAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,eAAe,CACb,GAAyB,EACzB,QAA0B,EAC1B,UAAsC,EACtC,WAAuC;QAEvC,IACE,UAAU,YAAY,8BAAY;YAClC,WAAW,YAAY,8BAAY,EACnC;YACA,OAAO,8BAAY,CAAC,EAAE,CACpB,UAAU,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CACnD,CAAC;SACH;aAAM,IACL,UAAU,YAAY,4BAAW;YACjC,WAAW,YAAY,4BAAW,EAClC;YACA,OAAO,4BAAW,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;SACvE;QACD,OAAO,IAAI,wCAAoB,CAC7B,sBAAQ,CAAC,QAAQ,EACjB,8GAA8G,UAAU;aACrH,OAAO,EAAE;aACT,OAAO,EAAE,yBAAyB,WAAW;aAC7C,OAAO,EAAE;aACT,OAAO,EAAE,mBAAmB,EAC/B,CAAC,UAAU,EAAE,WAAW,CAAC,CAC1B,CAAC;IACJ,CAAC;IAED,YAAY;QACV,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;IACtE,CAAC;IAED,OAAO;QACL,OAAO,gBAAK,CAAC,EAAE,CAAC,eAAI,CAAC,OAAO,EAAE,eAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;CACF;AAjDD,4CAiDC","file":"expression/poly/PlusOrConcatExpr.js","sourcesContent":["import { Expr2 } from \"../Expr2.js\";\nimport { Expr } from \"../Expr.js\";\nimport { IfcExpressionContext } from \"../../context/IfcExpressionContext.js\";\nimport { NumericValue } from \"../../value/NumericValue.js\";\nimport { ExprKind } from \"../ExprKind.js\";\nimport { StringValue } from \"../../value/StringValue.js\";\nimport { ExprEvalError, ExprEvalTypeErrorObj } from \"../ExprEvalResult.js\";\nimport { Type, Types } from \"../../type/Types.js\";\nimport { ExprType } from \"../../type/ExprType.js\";\n\nexport class PlusOrConcatExpr extends Expr2<\n  NumericValue | StringValue,\n  NumericValue | StringValue,\n  NumericValue | StringValue\n> {\n  constructor(\n    left: Expr<NumericValue | StringValue>,\n    right: Expr<NumericValue | StringValue>\n  ) {\n    super(ExprKind.NUM_PLUS, left, right);\n  }\n\n  calculateResult(\n    ctx: IfcExpressionContext,\n    localCtx: Map<string, any>,\n    leftResult: NumericValue | StringValue,\n    rightResult: NumericValue | StringValue\n  ): NumericValue | StringValue | ExprEvalError {\n    if (\n      leftResult instanceof NumericValue &&\n      rightResult instanceof NumericValue\n    ) {\n      return NumericValue.of(\n        leftResult.getValue().plus(rightResult.getValue())\n      );\n    } else if (\n      leftResult instanceof StringValue &&\n      rightResult instanceof StringValue\n    ) {\n      return StringValue.of(leftResult.getValue() + rightResult.getValue());\n    }\n    return new ExprEvalTypeErrorObj(\n      ExprKind.FUNCTION,\n      `Operator '+' requires the operands to be either both of type numeric or both of type string, but they are '${leftResult\n        .getType()\n        .getName()}' (left operand) and '${rightResult\n        .getType()\n        .getName()}' (right operand)`,\n      [leftResult, rightResult]\n    );\n  }\n\n  toExprString(): string {\n    return `${this.left.toExprString()} + ${this.right.toExprString()}`;\n  }\n\n  getType(): ExprType {\n    return Types.or(Type.NUMERIC, Type.STRING);\n  }\n}\n"]}

package/dist/cjs/type/TypeManager.js

@@ -37,15 +37,27 @@ class TypeManager {
     isType(type, ...ctxs) {
         return ctxs.every((ctx) => Types_js_1.Types.isType(this.types.get(ctx), type));
     }
+    overlapsWith(type, ...ctxs) {
+        return ctxs.every((ctx) => type.overlapsWith(this.types.get(ctx)));
+    }
     isString(...ctxs) {
         return this.isType(Types_js_1.Type.STRING, ...ctxs);
     }
+    overlapsWithString(...ctxs) {
+        return this.overlapsWith(Types_js_1.Type.STRING, ...ctxs);
+    }
     isBoolean(...ctxs) {
         return this.isType(Types_js_1.Type.BOOLEAN, ...ctxs);
     }
+    overlapsWithBoolean(...ctxs) {
+        return this.overlapsWith(Types_js_1.Type.BOOLEAN, ...ctxs);
+    }
     isNumeric(...ctxs) {
         return this.isType(Types_js_1.Type.NUMERIC, ...ctxs);
     }
+    overlapsWithNumeric(...ctxs) {
+        return this.overlapsWith(Types_js_1.Type.NUMERIC, ...ctxs);
+    }
 }
 exports.TypeManager = TypeManager;
 //# sourceMappingURL=TypeManager.js.map

package/dist/cjs/type/TypeManager.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/type/TypeManager.ts"],"names":[],"mappings":";;;AACA,yCAAyC;AACzC,4EAAsE;AAGtE,MAAa,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,4CAAmB,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,4CAAmB,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,OAAO,EACZ,UAAU,EACV,GAAG,EAAE,CACH,IAAI,4CAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,mBAAmB,CAAC,IAAuB,EAAE,IAAuB;QACzE,gBAAK,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,4CAAmB,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,gBAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC;IAEM,QAAQ,CAAC,GAAG,IAAI;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,eAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IAC3C,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;CACF;AAtFD,kCAsFC","file":"type/TypeManager.js","sourcesContent":["import { ParserRuleContext } from \"antlr4\";\nimport { Type, Types } from \"./Types.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { ExprType } from \"./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 isString(...ctxs) {\n    return this.isType(Type.STRING, ...ctxs);\n  }\n\n  public isBoolean(...ctxs) {\n    return this.isType(Type.BOOLEAN, ...ctxs);\n  }\n\n  public isNumeric(...ctxs) {\n    return this.isType(Type.NUMERIC, ...ctxs);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/type/TypeManager.ts"],"names":[],"mappings":";;;AACA,yCAAyC;AACzC,4EAAsE;AAGtE,MAAa,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,4CAAmB,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAwB,CAAC,EACxC,GAAG,EAAE,CACH,IAAI,4CAAmB,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,gBAAK,CAAC,2BAA2B,CAC/B,eAAI,CAAC,OAAO,EACZ,UAAU,EACV,GAAG,EAAE,CACH,IAAI,4CAAmB,CACrB,yCAAyC,UAAU,CAAC,OAAO,EAAE,EAAE,EAC/D,GAAG,CACJ,CACJ,CAAC;IACJ,CAAC;IAEM,mBAAmB,CAAC,IAAuB,EAAE,IAAuB;QACzE,gBAAK,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,4CAAmB,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,gBAAK,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,eAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IAC3C,CAAC;IAEM,kBAAkB,CAAC,GAAG,IAAI;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,eAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACjD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;IAEM,SAAS,CAAC,GAAG,IAAI;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC5C,CAAC;IAEM,mBAAmB,CAAC,GAAG,IAAI;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,eAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAClD,CAAC;CACF;AAtGD,kCAsGC","file":"type/TypeManager.js","sourcesContent":["import { ParserRuleContext } from \"antlr4\";\nimport { Type, Types } from \"./Types.js\";\nimport { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { ExprType } from \"./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 overlapsWithBoolean(...ctxs) {\n    return this.overlapsWith(Type.BOOLEAN, ...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/cjs/type/Types.js

@@ -11,7 +11,8 @@ exports.Type = Type;
 Type.ANY = new SimpleType_js_1.SimpleType("any");
 Type.NUMERIC = new SimpleType_js_1.SimpleType("numeric");
 Type.STRING = new SimpleType_js_1.SimpleType("string");
-Type.BOOLEAN = new SimpleType_js_1.SimpleType("boolean");
+Type.LOGICAL = new SimpleType_js_1.SimpleType("logical");
+Type.BOOLEAN = new SimpleType_js_1.SimpleType("boolean", Type.LOGICAL);
 Type.IFC_OBJECT_REF = new SimpleType_js_1.SimpleType("ifcObjectRef");
 Type.IFC_ELEMENT_REF = new SimpleType_js_1.SimpleType("ifcElementRef", Type.IFC_OBJECT_REF);
 Type.IFC_PROPERTY_REF = new SimpleType_js_1.SimpleType("ifcPropertyRef", Type.IFC_OBJECT_REF);

package/dist/cjs/type/Types.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/type/Types.ts"],"names":[],"mappings":";;;AACA,mDAA6C;AAC7C,6DAAuD;AAEvD,iDAA2C;AAC3C,iDAA2C;AAE3C,MAAa,IAAI;;AAAjB,oBAuBC;AAtBiB,QAAG,GAAG,IAAI,0BAAU,CAAC,KAAK,CAAC,CAAC;AAC5B,YAAO,GAAG,IAAI,0BAAU,CAAC,SAAS,CAAC,CAAC;AACpC,WAAM,GAAG,IAAI,0BAAU,CAAC,QAAQ,CAAC,CAAC;AAClC,YAAO,GAAG,IAAI,0BAAU,CAAC,SAAS,CAAC,CAAC;AACpC,mBAAc,GAAG,IAAI,0BAAU,CAAC,cAAc,CAAC,CAAC;AAChD,oBAAe,GAAG,IAAI,0BAAU,CAC9C,eAAe,EACf,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,qBAAgB,GAAG,IAAI,0BAAU,CAC/C,gBAAgB,EAChB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,yBAAoB,GAAG,IAAI,0BAAU,CACnD,mBAAmB,EACnB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,wBAAmB,GAAG,IAAI,0BAAU,CAClD,kBAAkB,EAClB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,UAAK,GAAG,IAAI,0BAAU,CAAC,OAAO,CAAC,CAAC;AAGlD,MAAa,KAAK;IACT,MAAM,CAAC,EAAE,CAAC,GAAG,KAAsB;QACxC,OAAO,IAAI,oCAAe,CAAC,GAAG,KAAK,CAAC,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,KAAK,CAAC,WAAqB;QACvC,OAAO,IAAI,wBAAS,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,KAAK,CAAC,GAAG,KAAsB;QAC3C,OAAO,IAAI,wBAAS,CAAC,GAAG,KAAK,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,SAAS,CAAC,UAAoB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACM,MAAM,CAAC,SAAS,CAAC,UAAoB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACM,MAAM,CAAC,QAAQ,CAAC,UAAoB;QACzC,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,UAAoB,EAAE,IAAc;QACvD,OAAO,UAAU,KAAK,IAAI,CAAC;IAC7B,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IACM,MAAM,CAAC,MAAM;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IACM,MAAM,CAAC,YAAY;QACxB,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;IAEM,MAAM,CAAC,uBAAuB,CACnC,YAAsB,EACtB,UAAoB,EACpB,iBAA4C;QAE5C,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;YAC9C,MAAM,iBAAiB,EAAE,CAAC;SAC3B;IACH,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,2BAA2B,CACvC,YAAsB,EACtB,UAAoB,EACpB,iBAA4C;QAE5C,IAAI,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;YAC7C,OAAO;SACR;QACD,IAAI,UAAU,YAAY,oCAAe,EAAE;YACzC,IAAI,YAAY,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE;gBACzC,OAAO;aACR;SACF;QACD,IAAI,UAAU,YAAY,wBAAS,EAAE;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACnE,IAAI,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;gBAC7C,OAAO;aACR;SACF;QACD,MAAM,iBAAiB,EAAE,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,mBAAmB,CACxB,UAAoB,EACpB,WAAqB,EACrB,iBAA4C;QAE5C,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE;YACzC,MAAM,iBAAiB,EAAE,CAAC;SAC3B;IACH,CAAC;CACF;AAlFD,sBAkFC","file":"type/Types.js","sourcesContent":["import { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { SimpleType } from \"./SimpleType.js\";\nimport { TypeDisjunction } from \"./TypeDisjunction.js\";\nimport { ExprType } from \"./ExprType.js\";\nimport { ArrayType } from \"./ArrayType.js\";\nimport { TupleType } from \"./TupleType.js\";\n\nexport class Type {\n  static readonly ANY = new SimpleType(\"any\");\n  static readonly NUMERIC = new SimpleType(\"numeric\");\n  static readonly STRING = new SimpleType(\"string\");\n  static readonly BOOLEAN = new SimpleType(\"boolean\");\n  static readonly IFC_OBJECT_REF = new SimpleType(\"ifcObjectRef\");\n  static readonly IFC_ELEMENT_REF = new SimpleType(\n    \"ifcElementRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_PROPERTY_REF = new SimpleType(\n    \"ifcPropertyRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_PROPERTY_SET_REF = new SimpleType(\n    \"ifcPropertySetRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_TYPE_OBJECT_REF = new SimpleType(\n    \"ifcTypeObjectRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly ARRAY = new SimpleType(\"array\");\n}\n\nexport class Types {\n  public static or(...types: Array<ExprType>) {\n    return new TypeDisjunction(...types);\n  }\n  public static array(elementType: ExprType): ArrayType {\n    return new ArrayType(elementType);\n  }\n  public static tuple(...types: Array<ExprType>): TupleType {\n    return new TupleType(...types);\n  }\n  public static isNumeric(actualType: ExprType) {\n    return this.isType(actualType, Type.NUMERIC);\n  }\n  public static isBoolean(actualType: ExprType) {\n    return this.isType(actualType, Type.BOOLEAN);\n  }\n  public static isString(actualType: ExprType) {\n    return this.isType(actualType, Type.STRING);\n  }\n  public static isType(actualType: ExprType, type: ExprType) {\n    return actualType === type;\n  }\n  public static boolean() {\n    return Type.BOOLEAN;\n  }\n  public static string() {\n    return Type.STRING;\n  }\n  public static numeric() {\n    return Type.NUMERIC;\n  }\n  public static ifcObjectRef() {\n    return Type.IFC_OBJECT_REF;\n  }\n\n  public static requireIsAssignableFrom(\n    expectedType: ExprType,\n    actualType: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (!expectedType.isAssignableFrom(actualType)) {\n      throw exceptionProducer();\n    }\n  }\n\n  /**\n   * Requires overlap if actual is a disjunction, assignable from if it is a type\n   * @param expectedType\n   * @param actualType\n   * @param exceptionProducer\n   */\n  public static requireWeakIsAssignableFrom(\n    expectedType: ExprType,\n    actualType: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (expectedType.isAssignableFrom(actualType)) {\n      return;\n    }\n    if (actualType instanceof TypeDisjunction) {\n      if (expectedType.overlapsWith(actualType)) {\n        return;\n      }\n    }\n    if (actualType instanceof TupleType) {\n      const weakerType = Types.array(Types.or(...actualType.getTypes()));\n      if (expectedType.isAssignableFrom(weakerType)) {\n        return;\n      }\n    }\n    throw exceptionProducer();\n  }\n\n  static requireTypesOverlap(\n    actualType: ExprType,\n    actualType2: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (!actualType.overlapsWith(actualType2)) {\n      throw exceptionProducer();\n    }\n  }\n}\n"]}
+{"version":3,"sources":["../../src/type/Types.ts"],"names":[],"mappings":";;;AACA,mDAA6C;AAC7C,6DAAuD;AAEvD,iDAA2C;AAC3C,iDAA2C;AAE3C,MAAa,IAAI;;AAAjB,oBAwBC;AAvBiB,QAAG,GAAG,IAAI,0BAAU,CAAC,KAAK,CAAC,CAAC;AAC5B,YAAO,GAAG,IAAI,0BAAU,CAAC,SAAS,CAAC,CAAC;AACpC,WAAM,GAAG,IAAI,0BAAU,CAAC,QAAQ,CAAC,CAAC;AAClC,YAAO,GAAG,IAAI,0BAAU,CAAC,SAAS,CAAC,CAAC;AACpC,YAAO,GAAG,IAAI,0BAAU,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AAClD,mBAAc,GAAG,IAAI,0BAAU,CAAC,cAAc,CAAC,CAAC;AAChD,oBAAe,GAAG,IAAI,0BAAU,CAC9C,eAAe,EACf,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,qBAAgB,GAAG,IAAI,0BAAU,CAC/C,gBAAgB,EAChB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,yBAAoB,GAAG,IAAI,0BAAU,CACnD,mBAAmB,EACnB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,wBAAmB,GAAG,IAAI,0BAAU,CAClD,kBAAkB,EAClB,IAAI,CAAC,cAAc,CACpB,CAAC;AACc,UAAK,GAAG,IAAI,0BAAU,CAAC,OAAO,CAAC,CAAC;AAGlD,MAAa,KAAK;IACT,MAAM,CAAC,EAAE,CAAC,GAAG,KAAsB;QACxC,OAAO,IAAI,oCAAe,CAAC,GAAG,KAAK,CAAC,CAAC;IACvC,CAAC;IACM,MAAM,CAAC,KAAK,CAAC,WAAqB;QACvC,OAAO,IAAI,wBAAS,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC;IACM,MAAM,CAAC,KAAK,CAAC,GAAG,KAAsB;QAC3C,OAAO,IAAI,wBAAS,CAAC,GAAG,KAAK,CAAC,CAAC;IACjC,CAAC;IACM,MAAM,CAAC,SAAS,CAAC,UAAoB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACM,MAAM,CAAC,SAAS,CAAC,UAAoB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACM,MAAM,CAAC,QAAQ,CAAC,UAAoB;QACzC,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IACM,MAAM,CAAC,MAAM,CAAC,UAAoB,EAAE,IAAc;QACvD,OAAO,UAAU,KAAK,IAAI,CAAC;IAC7B,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IACM,MAAM,CAAC,MAAM;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACM,MAAM,CAAC,OAAO;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IACM,MAAM,CAAC,YAAY;QACxB,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;IAEM,MAAM,CAAC,uBAAuB,CACnC,YAAsB,EACtB,UAAoB,EACpB,iBAA4C;QAE5C,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;YAC9C,MAAM,iBAAiB,EAAE,CAAC;SAC3B;IACH,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,2BAA2B,CACvC,YAAsB,EACtB,UAAoB,EACpB,iBAA4C;QAE5C,IAAI,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;YAC7C,OAAO;SACR;QACD,IAAI,UAAU,YAAY,oCAAe,EAAE;YACzC,IAAI,YAAY,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE;gBACzC,OAAO;aACR;SACF;QACD,IAAI,UAAU,YAAY,wBAAS,EAAE;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACnE,IAAI,YAAY,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE;gBAC7C,OAAO;aACR;SACF;QACD,MAAM,iBAAiB,EAAE,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,mBAAmB,CACxB,UAAoB,EACpB,WAAqB,EACrB,iBAA4C;QAE5C,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE;YACzC,MAAM,iBAAiB,EAAE,CAAC;SAC3B;IACH,CAAC;CACF;AAlFD,sBAkFC","file":"type/Types.js","sourcesContent":["import { ExpressionTypeError } from \"../error/ExpressionTypeError.js\";\nimport { SimpleType } from \"./SimpleType.js\";\nimport { TypeDisjunction } from \"./TypeDisjunction.js\";\nimport { ExprType } from \"./ExprType.js\";\nimport { ArrayType } from \"./ArrayType.js\";\nimport { TupleType } from \"./TupleType.js\";\n\nexport class Type {\n  static readonly ANY = new SimpleType(\"any\");\n  static readonly NUMERIC = new SimpleType(\"numeric\");\n  static readonly STRING = new SimpleType(\"string\");\n  static readonly LOGICAL = new SimpleType(\"logical\");\n  static readonly BOOLEAN = new SimpleType(\"boolean\", Type.LOGICAL);\n  static readonly IFC_OBJECT_REF = new SimpleType(\"ifcObjectRef\");\n  static readonly IFC_ELEMENT_REF = new SimpleType(\n    \"ifcElementRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_PROPERTY_REF = new SimpleType(\n    \"ifcPropertyRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_PROPERTY_SET_REF = new SimpleType(\n    \"ifcPropertySetRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly IFC_TYPE_OBJECT_REF = new SimpleType(\n    \"ifcTypeObjectRef\",\n    Type.IFC_OBJECT_REF\n  );\n  static readonly ARRAY = new SimpleType(\"array\");\n}\n\nexport class Types {\n  public static or(...types: Array<ExprType>) {\n    return new TypeDisjunction(...types);\n  }\n  public static array(elementType: ExprType): ArrayType {\n    return new ArrayType(elementType);\n  }\n  public static tuple(...types: Array<ExprType>): TupleType {\n    return new TupleType(...types);\n  }\n  public static isNumeric(actualType: ExprType) {\n    return this.isType(actualType, Type.NUMERIC);\n  }\n  public static isBoolean(actualType: ExprType) {\n    return this.isType(actualType, Type.BOOLEAN);\n  }\n  public static isString(actualType: ExprType) {\n    return this.isType(actualType, Type.STRING);\n  }\n  public static isType(actualType: ExprType, type: ExprType) {\n    return actualType === type;\n  }\n  public static boolean() {\n    return Type.BOOLEAN;\n  }\n  public static string() {\n    return Type.STRING;\n  }\n  public static numeric() {\n    return Type.NUMERIC;\n  }\n  public static ifcObjectRef() {\n    return Type.IFC_OBJECT_REF;\n  }\n\n  public static requireIsAssignableFrom(\n    expectedType: ExprType,\n    actualType: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (!expectedType.isAssignableFrom(actualType)) {\n      throw exceptionProducer();\n    }\n  }\n\n  /**\n   * Requires overlap if actual is a disjunction, assignable from if it is a type\n   * @param expectedType\n   * @param actualType\n   * @param exceptionProducer\n   */\n  public static requireWeakIsAssignableFrom(\n    expectedType: ExprType,\n    actualType: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (expectedType.isAssignableFrom(actualType)) {\n      return;\n    }\n    if (actualType instanceof TypeDisjunction) {\n      if (expectedType.overlapsWith(actualType)) {\n        return;\n      }\n    }\n    if (actualType instanceof TupleType) {\n      const weakerType = Types.array(Types.or(...actualType.getTypes()));\n      if (expectedType.isAssignableFrom(weakerType)) {\n        return;\n      }\n    }\n    throw exceptionProducer();\n  }\n\n  static requireTypesOverlap(\n    actualType: ExprType,\n    actualType2: ExprType,\n    exceptionProducer: () => ExpressionTypeError\n  ) {\n    if (!actualType.overlapsWith(actualType2)) {\n      throw exceptionProducer();\n    }\n  }\n}\n"]}

package/dist/cjs/value/ArrayValue.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ArrayValue = void 0;
+const Types_js_1 = require("../type/Types.js");
 class ArrayValue {
     constructor(value) {
         this.arrayValue = value;
@@ -11,6 +12,9 @@ class ArrayValue {
     getValue() {
         return this.arrayValue;
     }
+    getType() {
+        return Types_js_1.Type.ARRAY;
+    }
     equals(other) {
         return (ArrayValue.isArrayValueType(other) &&
             other.arrayValue.every((val, ind) => val.equals(this.arrayValue[ind])));

package/dist/cjs/value/ArrayValue.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/value/ArrayValue.ts"],"names":[],"mappings":";;;AAEA,MAAa,UAAU;IAGrB,YAAY,KAAwB;QAClC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;IAC1B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAwB;QACvC,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,UAAU,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAClC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CACvE,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,OAAO,CACL,GAAG;YACH,IAAI,CAAC,UAAU;iBACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACT,IAAI,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE;oBACvC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;iBACrB;qBAAM;oBACL,OAAO,EAAE,GAAG,CAAC,CAAC;iBACf;YACH,CAAC,CAAC;iBACD,IAAI,CAAC,IAAI,CAAC;YACb,GAAG,CACJ,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,gBAAgB,CAAC,GAAQ;QACrC,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;CACF;AAzCD,gCAyCC","file":"value/ArrayValue.js","sourcesContent":["import { Value } from \"./Value.js\";\n\nexport class ArrayValue implements Value<Array<Value<any>>> {\n  private readonly arrayValue: Array<Value<any>>;\n\n  constructor(value: Array<Value<any>>) {\n    this.arrayValue = value;\n  }\n\n  public static of(value: Array<Value<any>>): ArrayValue {\n    return new ArrayValue(value);\n  }\n\n  getValue(): Array<Value<any>> {\n    return this.arrayValue;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      ArrayValue.isArrayValueType(other) &&\n      other.arrayValue.every((val, ind) => val.equals(this.arrayValue[ind]))\n    );\n  }\n\n  toString(): string {\n    return (\n      \"[\" +\n      this.arrayValue\n        .map((e) => {\n          if (typeof e[\"toString\"] === \"function\") {\n            return e.toString();\n          } else {\n            return \"\" + e;\n          }\n        })\n        .join(\", \") +\n      \"]\"\n    );\n  }\n\n  public static isArrayValueType(arg: any): arg is ArrayValueType {\n    return Array.isArray(arg.arrayValue);\n  }\n}\n\nexport type ArrayValueType = {\n  arrayValue: Array<Value<any>>;\n};\n"]}
+{"version":3,"sources":["../../src/value/ArrayValue.ts"],"names":[],"mappings":";;;AAEA,+CAAwC;AAExC,MAAa,UAAU;IAGrB,YAAY,KAAwB;QAClC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;IAC1B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAwB;QACvC,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,OAAO;QACL,OAAO,eAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,UAAU,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAClC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CACvE,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,OAAO,CACL,GAAG;YACH,IAAI,CAAC,UAAU;iBACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACT,IAAI,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE;oBACvC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;iBACrB;qBAAM;oBACL,OAAO,EAAE,GAAG,CAAC,CAAC;iBACf;YACH,CAAC,CAAC;iBACD,IAAI,CAAC,IAAI,CAAC;YACb,GAAG,CACJ,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,gBAAgB,CAAC,GAAQ;QACrC,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;CACF;AA7CD,gCA6CC","file":"value/ArrayValue.js","sourcesContent":["import { Value } from \"./Value.js\";\nimport { ExprType } from \"../type/ExprType.js\";\nimport { Type } from \"../type/Types.js\";\n\nexport class ArrayValue implements Value<Array<Value<any>>> {\n  private readonly arrayValue: Array<Value<any>>;\n\n  constructor(value: Array<Value<any>>) {\n    this.arrayValue = value;\n  }\n\n  public static of(value: Array<Value<any>>): ArrayValue {\n    return new ArrayValue(value);\n  }\n\n  getValue(): Array<Value<any>> {\n    return this.arrayValue;\n  }\n\n  getType(): ExprType {\n    return Type.ARRAY;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      ArrayValue.isArrayValueType(other) &&\n      other.arrayValue.every((val, ind) => val.equals(this.arrayValue[ind]))\n    );\n  }\n\n  toString(): string {\n    return (\n      \"[\" +\n      this.arrayValue\n        .map((e) => {\n          if (typeof e[\"toString\"] === \"function\") {\n            return e.toString();\n          } else {\n            return \"\" + e;\n          }\n        })\n        .join(\", \") +\n      \"]\"\n    );\n  }\n\n  public static isArrayValueType(arg: any): arg is ArrayValueType {\n    return Array.isArray(arg.arrayValue);\n  }\n}\n\nexport type ArrayValueType = {\n  arrayValue: Array<Value<any>>;\n};\n"]}

package/dist/cjs/value/BooleanValue.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.BooleanValue = void 0;
+const Types_js_1 = require("../type/Types.js");
 class BooleanValue {
     constructor(value) {
         this.booleanValue = value;
@@ -11,6 +12,9 @@ class BooleanValue {
     getValue() {
         return this.booleanValue;
     }
+    getType() {
+        return Types_js_1.Type.BOOLEAN;
+    }
     equals(other) {
         return (BooleanValue.isBooleanValueType(other) &&
             other.booleanValue === this.booleanValue);

package/dist/cjs/value/BooleanValue.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/value/BooleanValue.ts"],"names":[],"mappings":";;;AAGA,MAAa,YAAY;IAGvB,YAAY,KAAc;QACxB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAc;QAC7B,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,CACzC,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,KAAmB;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QAChC,OAAO,OAAO,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;IAC/C,CAAC;CACF;AAjCD,oCAiCC","file":"value/BooleanValue.js","sourcesContent":["import { Value } from \"./Value.js\";\nimport { Comparable } from \"./Comparable.js\";\n\nexport class BooleanValue implements Value<boolean>, Comparable<BooleanValue> {\n  private readonly booleanValue: boolean;\n\n  constructor(value: boolean) {\n    this.booleanValue = value;\n  }\n\n  public static of(value: boolean): BooleanValue {\n    return new BooleanValue(value);\n  }\n\n  getValue(): boolean {\n    return this.booleanValue;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      BooleanValue.isBooleanValueType(other) &&\n      other.booleanValue === this.booleanValue\n    );\n  }\n\n  compareTo(other: BooleanValue): number {\n    return this.booleanValue ? (other.booleanValue ? 0 : 1) : -1;\n  }\n\n  toString(): string {\n    return this.booleanValue ? \"TRUE\" : \"FALSE\";\n  }\n\n  static isBooleanValueType(arg: any): arg is BooleanValueType {\n    return typeof arg.booleanValue === \"boolean\";\n  }\n}\n\nexport type BooleanValueType = {\n  booleanValue: boolean;\n};\n"]}
+{"version":3,"sources":["../../src/value/BooleanValue.ts"],"names":[],"mappings":";;;AAGA,+CAAwC;AAExC,MAAa,YAAY;IAGvB,YAAY,KAAc;QACxB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAc;QAC7B,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO;QACL,OAAO,eAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,CACzC,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,KAAmB;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QAChC,OAAO,OAAO,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;IAC/C,CAAC;CACF;AArCD,oCAqCC","file":"value/BooleanValue.js","sourcesContent":["import { Value } from \"./Value.js\";\nimport { Comparable } from \"./Comparable.js\";\nimport { ExprType } from \"../type/ExprType.js\";\nimport { Type } from \"../type/Types.js\";\n\nexport class BooleanValue implements Value<boolean>, Comparable<BooleanValue> {\n  private readonly booleanValue: boolean;\n\n  constructor(value: boolean) {\n    this.booleanValue = value;\n  }\n\n  public static of(value: boolean): BooleanValue {\n    return new BooleanValue(value);\n  }\n\n  getValue(): boolean {\n    return this.booleanValue;\n  }\n\n  getType(): ExprType {\n    return Type.BOOLEAN;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      BooleanValue.isBooleanValueType(other) &&\n      other.booleanValue === this.booleanValue\n    );\n  }\n\n  compareTo(other: BooleanValue): number {\n    return this.booleanValue ? (other.booleanValue ? 0 : 1) : -1;\n  }\n\n  toString(): string {\n    return this.booleanValue ? \"TRUE\" : \"FALSE\";\n  }\n\n  static isBooleanValueType(arg: any): arg is BooleanValueType {\n    return typeof arg.booleanValue === \"boolean\";\n  }\n}\n\nexport type BooleanValueType = {\n  booleanValue: boolean;\n};\n"]}

package/dist/cjs/value/LogicalValue.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.LogicalValue = void 0;
+const Types_js_1 = require("../type/Types.js");
 class LogicalValue {
     constructor(value) {
         this.logicalValue = value;
@@ -15,6 +16,9 @@ class LogicalValue {
         return (LogicalValue.isLogicalValueType(other) &&
             other.logicalValue === this.logicalValue);
     }
+    getType() {
+        return Types_js_1.Type.LOGICAL;
+    }
     toString() {
         return this.logicalValue === "UNKNOWN"
             ? "UNKNOWN"

package/dist/cjs/value/LogicalValue.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/value/LogicalValue.ts"],"names":[],"mappings":";;;AAEA,MAAa,YAAY;IAGvB,YAAY,KAA0B;QACpC,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAA0B;QACzC,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,CACzC,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,KAAK,SAAS;YACpC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,YAAY;gBACnB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,OAAO,CAAC;IACd,CAAC;IAEM,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QACvC,OAAO,CACL,CAAC,OAAO,GAAG,CAAC,YAAY,KAAK,WAAW;YACtC,OAAO,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;YACxC,GAAG,CAAC,YAAY,KAAK,SAAS,CAC/B,CAAC;IACJ,CAAC;CACF;AArCD,oCAqCC","file":"value/LogicalValue.js","sourcesContent":["import { Value } from \"./Value.js\";\n\nexport class LogicalValue implements Value<boolean | \"UNKNOWN\"> {\n  private readonly logicalValue: boolean | \"UNKNOWN\";\n\n  constructor(value: boolean | \"UNKNOWN\") {\n    this.logicalValue = value;\n  }\n\n  public static of(value: boolean | \"UNKNOWN\"): LogicalValue {\n    return new LogicalValue(value);\n  }\n\n  getValue(): boolean | \"UNKNOWN\" {\n    return this.logicalValue;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      LogicalValue.isLogicalValueType(other) &&\n      other.logicalValue === this.logicalValue\n    );\n  }\n\n  toString(): string {\n    return this.logicalValue === \"UNKNOWN\"\n      ? \"UNKNOWN\"\n      : this.logicalValue\n      ? \"TRUE\"\n      : \"FALSE\";\n  }\n\n  public static isLogicalValueType(arg: any): arg is LogicalValueType {\n    return (\n      (typeof arg.logicalValue !== \"undefined\" &&\n        typeof arg.logicalValue === \"boolean\") ||\n      arg.logicalValue === \"UNKNOWN\"\n    );\n  }\n}\n\nexport type LogicalValueType = {\n  logicalValue: boolean | \"UNKNOWN\";\n};\n"]}
+{"version":3,"sources":["../../src/value/LogicalValue.ts"],"names":[],"mappings":";;;AAEA,+CAAwC;AAExC,MAAa,YAAY;IAGvB,YAAY,KAA0B;QACpC,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAA0B;QACzC,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,CACzC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,eAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,KAAK,SAAS;YACpC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,YAAY;gBACnB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,OAAO,CAAC;IACd,CAAC;IAEM,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QACvC,OAAO,CACL,CAAC,OAAO,GAAG,CAAC,YAAY,KAAK,WAAW;YACtC,OAAO,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;YACxC,GAAG,CAAC,YAAY,KAAK,SAAS,CAC/B,CAAC;IACJ,CAAC;CACF;AAzCD,oCAyCC","file":"value/LogicalValue.js","sourcesContent":["import { Value } from \"./Value.js\";\nimport { ExprType } from \"../type/ExprType.js\";\nimport { Type } from \"../type/Types.js\";\n\nexport class LogicalValue implements Value<boolean | \"UNKNOWN\"> {\n  private readonly logicalValue: boolean | \"UNKNOWN\";\n\n  constructor(value: boolean | \"UNKNOWN\") {\n    this.logicalValue = value;\n  }\n\n  public static of(value: boolean | \"UNKNOWN\"): LogicalValue {\n    return new LogicalValue(value);\n  }\n\n  getValue(): boolean | \"UNKNOWN\" {\n    return this.logicalValue;\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      LogicalValue.isLogicalValueType(other) &&\n      other.logicalValue === this.logicalValue\n    );\n  }\n\n  getType(): ExprType {\n    return Type.LOGICAL;\n  }\n\n  toString(): string {\n    return this.logicalValue === \"UNKNOWN\"\n      ? \"UNKNOWN\"\n      : this.logicalValue\n      ? \"TRUE\"\n      : \"FALSE\";\n  }\n\n  public static isLogicalValueType(arg: any): arg is LogicalValueType {\n    return (\n      (typeof arg.logicalValue !== \"undefined\" &&\n        typeof arg.logicalValue === \"boolean\") ||\n      arg.logicalValue === \"UNKNOWN\"\n    );\n  }\n}\n\nexport type LogicalValueType = {\n  logicalValue: boolean | \"UNKNOWN\";\n};\n"]}

package/dist/cjs/value/NumericValue.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.NumericValue = void 0;
 const decimal_js_1 = require("decimal.js");
+const Types_js_1 = require("../type/Types.js");
 class NumericValue {
     constructor(value) {
         if (decimal_js_1.Decimal.isDecimal(value)) {
@@ -15,6 +16,9 @@ class NumericValue {
     getValue() {
         return this.numericValue;
     }
+    getType() {
+        return Types_js_1.Type.NUMERIC;
+    }
     static isNumericValueType(arg) {
         return decimal_js_1.Decimal.isDecimal(arg.numericValue);
     }

package/dist/cjs/value/NumericValue.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/value/NumericValue.ts"],"names":[],"mappings":";;;AAAA,2CAAqC;AAIrC,MAAa,YAAY;IAGvB,YAAY,KAAgC;QAC1C,IAAI,oBAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;YAC5B,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;SAC3B;QACD,IAAI,CAAC,YAAY,GAAG,IAAI,oBAAO,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAgC;QAC/C,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QAChC,OAAO,oBAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CACzC,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC;IAED,SAAS,CAAC,KAAmB;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC;CACF;AApCD,oCAoCC","file":"value/NumericValue.js","sourcesContent":["import { Decimal } from \"decimal.js\";\nimport { Value } from \"./Value.js\";\nimport { Comparable } from \"./Comparable.js\";\n\nexport class NumericValue implements Value<Decimal>, Comparable<NumericValue> {\n  private readonly numericValue: Decimal;\n\n  constructor(value: Decimal | string | number) {\n    if (Decimal.isDecimal(value)) {\n      this.numericValue = value;\n    }\n    this.numericValue = new Decimal(value);\n  }\n\n  public static of(value: Decimal | string | number): NumericValue {\n    return new NumericValue(value);\n  }\n\n  getValue(): Decimal {\n    return this.numericValue;\n  }\n\n  static isNumericValueType(arg: any): arg is NumericValueType {\n    return Decimal.isDecimal(arg.numericValue);\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      NumericValue.isNumericValueType(other) &&\n      this.numericValue.eq(other.numericValue)\n    );\n  }\n\n  toString(): string {\n    return this.numericValue.toString();\n  }\n\n  compareTo(other: NumericValue): number {\n    return this.numericValue.comparedTo(other.numericValue);\n  }\n}\n\nexport type NumericValueType = {\n  numericValue: Decimal;\n};\n"]}
+{"version":3,"sources":["../../src/value/NumericValue.ts"],"names":[],"mappings":";;;AAAA,2CAAqC;AAIrC,+CAAwC;AAExC,MAAa,YAAY;IAGvB,YAAY,KAAgC;QAC1C,IAAI,oBAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;YAC5B,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;SAC3B;QACD,IAAI,CAAC,YAAY,GAAG,IAAI,oBAAO,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAEM,MAAM,CAAC,EAAE,CAAC,KAAgC;QAC/C,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO;QACL,OAAO,eAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,kBAAkB,CAAC,GAAQ;QAChC,OAAO,oBAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,YAAY,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CACzC,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC;IAED,SAAS,CAAC,KAAmB;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC;CACF;AAxCD,oCAwCC","file":"value/NumericValue.js","sourcesContent":["import { Decimal } from \"decimal.js\";\nimport { Value } from \"./Value.js\";\nimport { Comparable } from \"./Comparable.js\";\nimport { ExprType } from \"../type/ExprType.js\";\nimport { Type } from \"../type/Types.js\";\n\nexport class NumericValue implements Value<Decimal>, Comparable<NumericValue> {\n  private readonly numericValue: Decimal;\n\n  constructor(value: Decimal | string | number) {\n    if (Decimal.isDecimal(value)) {\n      this.numericValue = value;\n    }\n    this.numericValue = new Decimal(value);\n  }\n\n  public static of(value: Decimal | string | number): NumericValue {\n    return new NumericValue(value);\n  }\n\n  getValue(): Decimal {\n    return this.numericValue;\n  }\n\n  getType(): ExprType {\n    return Type.NUMERIC;\n  }\n\n  static isNumericValueType(arg: any): arg is NumericValueType {\n    return Decimal.isDecimal(arg.numericValue);\n  }\n\n  equals(other: Value<any>): boolean {\n    return (\n      NumericValue.isNumericValueType(other) &&\n      this.numericValue.eq(other.numericValue)\n    );\n  }\n\n  toString(): string {\n    return this.numericValue.toString();\n  }\n\n  compareTo(other: NumericValue): number {\n    return this.numericValue.comparedTo(other.numericValue);\n  }\n}\n\nexport type NumericValueType = {\n  numericValue: Decimal;\n};\n"]}

package/dist/cjs/value/ObjectAccessorValue.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ObjectAccessorValue = void 0;
 const IfcExpressionUtils_js_1 = require("../IfcExpressionUtils.js");
+const Types_js_1 = require("../type/Types.js");
 class ObjectAccessorValue {
     constructor(objectAccessorValue) {
         this.objectAccessorValue = objectAccessorValue;
@@ -18,6 +19,9 @@ class ObjectAccessorValue {
     toString() {
         return "[Accessor for something in an IFC model]";
     }
+    getType() {
+        return Types_js_1.Type.IFC_OBJECT_REF;
+    }
     static isObjectAccessorValueType(arg) {
         return (!(0, IfcExpressionUtils_js_1.isNullish)(arg) &&
             !(0, IfcExpressionUtils_js_1.isNullish)(arg.objectAccessorValue) &&