@openmrs/esm-expression-evaluator 5.8.1-pre.2234

package/src/evaluator.ts

@@ -0,0 +1,755 @@
+/** @category Utility */
+import jsep from 'jsep';
+import jsepArrow, { type ArrowExpression } from '@jsep-plugin/arrow';
+import jsepNew, { type NewExpression } from '@jsep-plugin/new';
+import jsepNumbers from '@jsep-plugin/numbers';
+import jsepRegex from '@jsep-plugin/regex';
+import jsepTernary from '@jsep-plugin/ternary';
+import jsepTemplate, { type TemplateElement, type TemplateLiteral } from '@jsep-plugin/template';
+
+jsep.plugins.register(jsepArrow);
+jsep.plugins.register(jsepNew);
+jsep.plugins.register(jsepNumbers);
+jsep.plugins.register(jsepRegex);
+jsep.plugins.register(jsepTernary);
+jsep.plugins.register(jsepTemplate);
+// see: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Operator_precedence
+// for the order defined here
+// 7 is jsep's internal for "relational operators"
+jsep.addBinaryOp('in', 7);
+jsep.addBinaryOp('??', 1);
+
+/** An object containing the variable to use when evaluating this expression */
+export type VariablesMap = {
+  [key: string]: string | number | boolean | Function | RegExp | object | null | VariablesMap | Array<VariablesMap>;
+};
+
+/** The valid return types for `evaluate()` and `evaluateAsync()` */
+export type DefaultEvaluateReturnType = string | number | boolean | Date | null | undefined;
+
+/**
+ * `evaluate()` implements a relatively safe version of `eval()` that is limited to evaluating synchronous
+ * Javascript expressions. This allows us to safely add features that depend on user-supplied code without
+ * polluting the global namespace or needing to support `eval()` and the like.
+ *
+ * By default it supports any expression that evalutes to a string, number, boolean, Date, null, or undefined.
+ * Other values will result in an error.
+ *
+ * @example
+ * ```ts
+ * // shouldDisplayOptionalData will be false
+ * const shouldDisplayOptionalData = evaluate('!isEmpty(array)', {
+ *  array: [],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * })
+ * ```
+ *
+ * Since this only implements the expression lanaguage part of Javascript, there is no support for assigning
+ * values, creating functions, or creating objects, so the following will throw an error:
+ *
+ * @example
+ * ```ts
+ * evaluate('var a = 1; a');
+ * ```
+ *
+ * In addition to string expressions, `evaluate()` can use an existing `jsep.Expression`, such as that returned
+ * from the `compile()` function. The goal here is to support cases where the same expression will be evaluated
+ * multiple times, possibly with different variables, e.g.,
+ *
+ * @example
+ * ```ts
+ * const expr = compile('isEmpty(array)');
+ *
+ * // then we use it like
+ * evaluate(expr, {
+ *  array: [],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * ));
+ *
+ * evaluate(expr, {
+ *  array: ['value'],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * ));
+ * ```
+ *
+ * This saves the overhead of parsing the expression everytime and simply allows us to evaluate it.
+ *
+ * The `variables` parameter should be used to supply any variables or functions that should be in-scope for
+ * the evaluation. A very limited number of global objects, like NaN and Infinity are always available, but
+ * any non-global values will need to be passed as a variable. Note that expressions do not have any access to
+ * the variables in the scope in which they were defined unless they are supplied here.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export function evaluate(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsType(expression, variables, defaultTypePredicate);
+}
+
+/**
+ * `evaluateAsync()` implements a relatively safe version of `eval()` that can evaluate Javascript expressions
+ * that use Promises. This allows us to safely add features that depend on user-supplied code without
+ * polluting the global namespace or needing to support `eval()` and the like.
+ *
+ * By default it supports any expression that evalutes to a string, number, boolean, Date, null, or undefined.
+ * Other values will result in an error.
+ *
+ * @example
+ * ```ts
+ * // shouldDisplayOptionalData will be false
+ * const shouldDisplayOptionalData = await evaluateAsync('Promise.resolve(!isEmpty(array))', {
+ *  array: [],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * })
+ * ```
+ *
+ * Since this only implements the expression lanaguage part of Javascript, there is no support for assigning
+ * values, creating functions, or creating objects, so the following will throw an error:
+ *
+ * @example
+ * ```ts
+ * evaluateAsync('var a = 1; a');
+ * ```
+ *
+ * In addition to string expressions, `evaluate()` can use an existing `jsep.Expression`, such as that returned
+ * from the `compile()` function. The goal here is to support cases where the same expression will be evaluated
+ * multiple times, possibly with different variables, e.g.,
+ *
+ * @example
+ * ```ts
+ * const expr = compile('Promise.resolve(isEmpty(array))');
+ *
+ * // then we use it like
+ * evaluateAsync(expr, {
+ *  array: [],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * ));
+ *
+ * evaluateAsync(expr, {
+ *  array: ['value'],
+ *  isEmpty(arr: unknown) {
+ *   return Array.isArray(arr) && arr.length === 0;
+ *  }
+ * ));
+ * ```
+ *
+ * This saves the overhead of parsing the expression everytime and simply allows us to evaluate it.
+ *
+ * The `variables` parameter should be used to supply any variables or functions that should be in-scope for
+ * the evaluation. A very limited number of global objects, like NaN and Infinity are always available, but
+ * any non-global values will need to be passed as a variable. Note that expressions do not have any access to
+ * the variables in the scope in which they were defined unless they are supplied here.
+ *
+ * **Note:** `evaluateAsync()` currently only supports Promise-based asynchronous flows and does not support
+ * the `await` keyword.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export async function evaluateAsync(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsTypeAsync(expression, variables, defaultTypePredicate);
+}
+
+/**
+ * `evaluateAsBoolean()` is a variant of {@link evaluate()} which only supports boolean results. Useful
+ * if valid expression must return boolean values.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export function evaluateAsBoolean(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsType(expression, variables, booleanTypePredicate);
+}
+
+/**
+ * `evaluateAsBooleanAsync()` is a variant of {@link evaluateAsync()} which only supports boolean results. Useful
+ * if valid expression must return boolean values.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export function evaluateAsBooleanAsync(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsTypeAsync(expression, variables, booleanTypePredicate);
+}
+
+/**
+ * `evaluateAsNumber()` is a variant of {@link evaluate()} which only supports number results. Useful
+ * if valid expression must return numeric values.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export function evaluateAsNumber(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsType(expression, variables, numberTypePredicate);
+}
+
+/**
+ * `evaluateAsNumberAsync()` is a variant of {@link evaluateAsync()} which only supports number results. Useful
+ * if valid expression must return numeric values.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @returns The result of evaluating the expression
+ */
+export function evaluateAsNumberAsync(expression: string | jsep.Expression, variables: VariablesMap = {}) {
+  return evaluateAsType(expression, variables, numberTypePredicate);
+}
+
+/**
+ * `evaluateAsType()` is a type-safe version of {@link evaluate()} which returns a result if the result
+ * passes a custom type predicate. The main use-case for this is to narrow the return types allowed based on
+ * context, e.g., if the expected result should be a number or boolean, you can supply a custom type-guard
+ * to ensure that only number or boolean results are returned.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @param typePredicate A [type predicate](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates)
+ *  which asserts that the result value matches one of the expected results.
+ * @returns The result of evaluating the expression
+ */
+export function evaluateAsType<T>(
+  expression: string | jsep.Expression,
+  variables: VariablesMap = {},
+  typePredicate: (result: unknown) => result is T,
+): T {
+  if (typeof expression !== 'string' && (typeof expression !== 'object' || !expression || !('type' in expression))) {
+    throw `Unknown expression type ${expression}. Expressions must either be a string or pre-compiled string.`;
+  }
+
+  if (typeof variables === 'undefined' || variables === null) {
+    variables = {};
+  }
+
+  const context = createSynchronousContext(variables);
+  const result = visitExpression(typeof expression === 'string' ? jsep(expression) : expression, context);
+  if (typePredicate(result)) {
+    return result;
+  } else {
+    throw {
+      type: 'Invalid result',
+      message:
+        typeof expression === 'string'
+          ? `The expression ${expression} did not produce a valid result`
+          : 'The expression did not produce a valid result',
+    };
+  }
+}
+
+/**
+ * `evaluateAsTypeAsync()` is a type-safe version of {@link evaluateAsync()} which returns a result if the result
+ * passes a custom type predicate. The main use-case for this is to narrow the return types allowed based on
+ * context, e.g., if the expected result should be a number or boolean, you can supply a custom type-guard
+ * to ensure that only number or boolean results are returned.
+ *
+ * @param expression The expression to evaluate, either as a string or pre-parsed expression
+ * @param variables Optional object which contains any variables, functions, etc. that will be available to
+ *  the expression.
+ * @param typePredicate A [type predicate](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates)
+ *  which asserts that the result value matches one of the expected results.
+ * @returns The result of evaluating the expression
+ */
+export async function evaluateAsTypeAsync<T>(
+  expression: string | jsep.Expression,
+  variables: VariablesMap = {},
+  typePredicate: (result: unknown) => result is T,
+): Promise<T> {
+  if (typeof expression !== 'string' && (typeof expression !== 'object' || !expression || !('type' in expression))) {
+    return Promise.reject(
+      `Unknown expression type ${expression}. Expressions must either be a string or pre-compiled string.`,
+    );
+  }
+
+  if (typeof variables === 'undefined' || variables === null) {
+    variables = {};
+  }
+
+  const context = createAsynchronousContext(variables);
+  return Promise.resolve(visitExpression(typeof expression === 'string' ? jsep(expression) : expression, context)).then(
+    (result) => {
+      if (typePredicate(result)) {
+        return result;
+      } else {
+        throw {
+          type: 'Invalid result',
+          message:
+            typeof expression === 'string'
+              ? `The expression ${expression} did not produce a valid result`
+              : 'The expression did not produce a valid result',
+        };
+      }
+    },
+  );
+}
+
+/**
+ * `compile()` is a companion function for use with {@link evaluate()} and the various `evaluateAs*()` functions.
+ * It processes an expression string into the resulting AST that is executed by those functions. This is useful if
+ * you have an expression that will need to be evaluated mulitple times, potentially with different values, as the
+ * lexing and parsing steps can be skipped by using the AST object returned from this.
+ *
+ * The returned AST is intended to be opaque to client applications, but, of course, it is possible to manipulate
+ * the AST before passing it back to {@link evaluate()}, if desired. This might be useful if, for example, certain
+ * values are known to be constant.
+ *
+ * @param expression The expression to be parsed
+ * @returns An executable AST representation of the expression
+ */
+export function compile(expression: string): jsep.Expression {
+  return jsep(expression);
+}
+
+// Pre-defined type guards
+function defaultTypePredicate(result: unknown): result is DefaultEvaluateReturnType {
+  return (
+    typeof result === 'string' ||
+    typeof result === 'number' ||
+    typeof result === 'boolean' ||
+    typeof result === 'undefined' ||
+    result === null ||
+    result instanceof Date
+  );
+}
+
+function booleanTypePredicate(result: unknown): result is Boolean {
+  return typeof result === 'boolean';
+}
+
+function numberTypePredicate(result: unknown): result is number {
+  return typeof result === 'number';
+}
+
+// Implementation
+
+// This is the core of the implementation; it takes an expression, the variables and the current object
+// each expression is dispatched to an appropriate handler.
+function visitExpression(expression: jsep.Expression, context: EvaluationContext) {
+  switch (expression.type) {
+    case 'UnaryExpression':
+      return visitUnaryExpression(expression as jsep.UnaryExpression, context);
+    case 'BinaryExpression':
+      return visitBinaryExpression(expression as jsep.BinaryExpression, context);
+    case 'ConditionalExpression':
+      return visitConditionalExpression(expression as jsep.ConditionalExpression, context);
+    case 'CallExpression':
+      return visitCallExpression(expression as jsep.CallExpression, context);
+    case 'ArrowFunctionExpression':
+      return visitArrowFunctionExpression(expression as ArrowExpression, context);
+    case 'MemberExpression':
+      return visitMemberExpression(expression as jsep.MemberExpression, context);
+    case 'ArrayExpression':
+      return visitArrayExpression(expression as jsep.ArrayExpression, context);
+    case 'SequenceExpression':
+      return visitSequenceExpression(expression as jsep.SequenceExpression, context);
+    case 'NewExpression':
+      return visitNewExpression(expression as NewExpression, context);
+    case 'Literal':
+      return visitLiteral(expression as jsep.Literal, context);
+    case 'Identifier':
+      return visitIdentifier(expression as jsep.Identifier, context);
+    case 'TemplateLiteral':
+      return visitTemplateLiteral(expression as TemplateLiteral, context);
+    case 'TemplateElement':
+      return visitTemplateElement(expression as TemplateElement, context);
+    default:
+      throw `Expression evaluator does not support expression of type '${expression.type}'`;
+  }
+}
+
+function visitExpressionName(expression: jsep.Expression, context: EvaluationContext) {
+  switch (expression.type) {
+    case 'Literal':
+      return (expression as jsep.Literal).value as string;
+    case 'Identifier':
+      return (expression as jsep.Identifier).name;
+    case 'MemberExpression':
+      return visitExpressionName((expression as jsep.MemberExpression).property, context);
+    default:
+      throw `VisitExpressionName does not support expression of type '${expression.type}'`;
+  }
+}
+
+function visitUnaryExpression(expression: jsep.UnaryExpression, context: EvaluationContext) {
+  const value = visitExpression(expression.argument, context);
+
+  switch (expression.operator) {
+    case '+':
+      return +value;
+    case '-':
+      return -value;
+    case '~':
+      return ~value;
+    case '!':
+      return !value;
+    default:
+      throw `Expression evaluator does not support operator '${expression.operator}''`;
+  }
+}
+
+function visitBinaryExpression(expression: jsep.BinaryExpression, context: EvaluationContext) {
+  let left = visitExpression(expression.left, context);
+  let right = visitExpression(expression.right, context);
+
+  switch (expression.operator) {
+    case '+':
+      return left + right;
+    case '-':
+      return left - right;
+    case '*':
+      return left * right;
+    case '/':
+      return left / right;
+    case '%':
+      return left % right;
+    case '**':
+      return left ** right;
+    case '==':
+      return left == right;
+    case '===':
+      return left === right;
+    case '!=':
+      return left != right;
+    case '!==':
+      return left !== right;
+    case '>':
+      return left > right;
+    case '>=':
+      return left >= right;
+    case '<':
+      return left < right;
+    case '<=':
+      return left <= right;
+    case 'in':
+      return left in right;
+    case '&&':
+      return left && right;
+    case '||':
+      return left || right;
+    case '??':
+      return left ?? right;
+    default:
+      throw `Expression evaluator does not support operator '${expression.operator}' operator`;
+  }
+}
+
+function visitConditionalExpression(expression: jsep.ConditionalExpression, context: EvaluationContext) {
+  const test = visitExpression(expression.test, context);
+  return test ? visitExpression(expression.consequent, context) : visitExpression(expression.alternate, context);
+}
+
+function visitCallExpression(expression: jsep.CallExpression, context: EvaluationContext) {
+  let args = expression.arguments?.map(handleNullableExpression(context));
+  let callee = visitExpression(expression.callee, context);
+
+  if (!callee) {
+    throw `No function named ${expression.callee} is defined in this context`;
+  } else if (!(callee instanceof Function)) {
+    throw `${expression.callee} is not a function`;
+  }
+
+  return callee(...args);
+}
+
+function visitArrowFunctionExpression(expression: ArrowExpression, context: EvaluationContext) {
+  const params =
+    expression.params?.map((p) => {
+      switch (p.type) {
+        case 'Identifier':
+          return (p as jsep.Identifier).name;
+        default:
+          throw `Cannot handle parameter of type ${p.type}`;
+      }
+    }) ?? [];
+
+  return function (...rest: unknown[]) {
+    if (rest.length < params.length) {
+      throw `Required argument(s) ${params.slice(rest.length, -1).join(', ')} were not provided`;
+    }
+
+    const vars = Object.fromEntries(
+      params.reduce((acc: Array<[string, VariablesMap['a']]>, p, idx) => {
+        const val = rest[idx];
+        if (isValidVariableType(val)) {
+          acc.push([p, val]);
+        }
+        return acc;
+      }, []),
+    );
+
+    return visitExpression(expression.body, context.addVariables(vars));
+  }.bind(context.thisObj ?? null);
+}
+
+function visitMemberExpression(expression: jsep.MemberExpression, context: EvaluationContext) {
+  let obj = visitExpression(expression.object, context);
+
+  if (obj === undefined) {
+    switch (expression.object.type) {
+      case 'Identifier': {
+        let objectName = visitExpressionName(expression.object, context);
+        throw ReferenceError(`ReferenceError: ${objectName} is not defined`);
+      }
+      case 'MemberExpression': {
+        let propertyName = visitExpressionName(expression.property, context);
+        throw TypeError(`TypeError: cannot read properties of undefined (reading '${propertyName}')`);
+      }
+      default:
+        throw `VisitMemberExpression does not support operator '${expression.object.type}' type`;
+    }
+  }
+
+  let newObj = obj;
+  if (typeof obj === 'string') {
+    newObj = String.prototype;
+  } else if (typeof obj === 'number') {
+    newObj = Number.prototype;
+  } else if (typeof obj === 'function') {
+    // no-op
+  } else if (typeof obj !== 'object') {
+    throw `VisitMemberExpression does not support member access on type ${typeof obj}`;
+  }
+
+  context.thisObj = newObj;
+
+  let result: unknown;
+  switch (expression.property.type) {
+    case 'Identifier':
+    case 'MemberExpression':
+      result = visitExpression(expression.property, context);
+      break;
+    default: {
+      const property = visitExpression(expression.property, context);
+      if (typeof property === 'undefined') {
+        throw { type: 'Illegal property access', message: 'No property was supplied to the property access' };
+      }
+      validatePropertyName(property);
+      result = obj[property];
+    }
+  }
+
+  if (typeof result === 'function') {
+    return result.bind(obj);
+  }
+
+  return result;
+}
+
+function visitArrayExpression(expression: jsep.ArrayExpression, context: EvaluationContext) {
+  return expression.elements?.map(handleNullableExpression(context));
+}
+
+function visitSequenceExpression(expression: jsep.SequenceExpression, context: EvaluationContext) {
+  const result = expression.expressions.map(handleNullableExpression(context));
+  return result[result.length - 1];
+}
+
+function visitNewExpression(expression: NewExpression, context: EvaluationContext) {
+  if (expression.callee && expression.callee.type === 'Identifier') {
+    let args = expression.arguments?.map(handleNullableExpression(context)) as Array<any>;
+    switch (expression.callee.name) {
+      case 'Date': {
+        /** @ts-ignore because we can use the spread operator here */
+        return new Date(...args);
+      }
+      case 'RegExp':
+        /** @ts-ignore because we can use the spread operator here */
+        return new RegExp(...args);
+      default:
+        throw `Cannot instantiate object of type ${expression.callee.name}`;
+    }
+  } else {
+    if (!expression.callee) {
+      throw `Could not handle "new" without a specified class`;
+    } else {
+      throw 'new must be called with either Date or RegExp';
+    }
+  }
+}
+
+function visitTemplateLiteral(expression: TemplateLiteral, context: EvaluationContext) {
+  const expressions: Array<unknown> = expression.expressions?.map(handleNullableExpression(context)) ?? [];
+  const quasis: Array<{ tail: boolean; value: unknown }> =
+    expression.quasis?.map(handleNullableExpression(context)) ?? [];
+  return (
+    quasis
+      .filter((q) => !q.tail)
+      .map((q) => q.value)
+      .join('') +
+    expressions.join('') +
+    quasis
+      .filter((q) => q.tail)
+      .map((q) => q.value)
+      .join('')
+  );
+}
+
+function visitTemplateElement(expression: TemplateElement, context: EvaluationContext) {
+  return { value: expression.cooked, tail: expression.tail };
+}
+
+function visitIdentifier(expression: jsep.Identifier, context: EvaluationContext) {
+  validatePropertyName(expression.name);
+
+  // we support both `object` and `function` in the same way as technically property access on functions
+  // is possible; the use-case here is to support JS's "static" functions like `Number.isInteger()`, which
+  // is technically reading a property on a function
+  const thisObj = context.thisObj;
+  if (thisObj && (typeof thisObj === 'object' || typeof thisObj === 'function') && expression.name in thisObj) {
+    const result = thisObj[expression.name];
+    validatePropertyName(result);
+    return result;
+  } else if (context.variables && expression.name in context.variables) {
+    const result = context.variables[expression.name];
+    validatePropertyName(result);
+    return result;
+  } else if (expression.name in context.globals) {
+    return context.globals[expression.name];
+  } else {
+    return undefined;
+  }
+}
+
+function visitLiteral(expression: jsep.Literal, context: EvaluationContext) {
+  validatePropertyName(expression.value);
+  return expression.value;
+}
+
+// Internal helpers and utilities
+
+interface EvaluationContext {
+  thisObj: object | undefined;
+  variables: VariablesMap;
+  globals: typeof globals | typeof globalsAsync;
+  addVariables(vars: VariablesMap): EvaluationContext;
+}
+
+function createSynchronousContext(variables: VariablesMap): EvaluationContext {
+  return createContextInternal(variables, globals);
+}
+
+function createAsynchronousContext(variables: VariablesMap): EvaluationContext {
+  return createContextInternal(variables, globalsAsync);
+}
+
+function createContextInternal(variables: VariablesMap, globals_: typeof globals | typeof globalsAsync) {
+  const context = {
+    thisObj: undefined,
+    variables: { ...variables },
+    globals: { ...globals_ },
+    addVariables(vars: VariablesMap) {
+      this.variables = { ...this.variables, ...vars };
+      return this;
+    },
+  };
+
+  context.addVariables.bind(context);
+
+  return context;
+}
+
+// helper useful for handling arrays of expressions, since `null` expressions should not be
+// dispatched to `visitExpression()`
+function handleNullableExpression(context: EvaluationContext) {
+  return function handleNullableExpressionInner(expression: jsep.Expression | null) {
+    if (expression === null) {
+      return null;
+    }
+
+    return visitExpression(expression, context);
+  };
+}
+
+function validatePropertyName(name: unknown) {
+  if (name === '__proto__' || name === 'prototype' || name === 'constructor') {
+    throw { type: 'Illegal property access', message: `Cannot access the ${name} property of objects` };
+  }
+}
+
+function isValidVariableType(val: unknown): val is VariablesMap['a'] {
+  if (
+    typeof val === 'string' ||
+    typeof val === 'number' ||
+    typeof val === 'boolean' ||
+    typeof val === 'function' ||
+    val === null ||
+    val instanceof RegExp
+  ) {
+    return true;
+  }
+
+  if (typeof val === 'object') {
+    for (const key of Object.keys(val)) {
+      if (!isValidVariableType(val[key])) {
+        return false;
+      }
+    }
+
+    return true;
+  }
+
+  if (Array.isArray(val)) {
+    for (const item of val) {
+      if (!isValidVariableType(item)) {
+        return false;
+      }
+    }
+  }
+
+  return false;
+}
+
+const globals = {
+  Array,
+  Boolean,
+  Symbol,
+  Infinity,
+  NaN,
+  Math,
+  Number,
+  BigInt,
+  String,
+  RegExp,
+  JSON,
+  isFinite,
+  isNaN,
+  parseFloat,
+  parseInt,
+  decodeURI,
+  encodeURI,
+  encodeURIComponent,
+  Object: {
+    __proto__: undefined,
+    assign: Object.assign.bind(null),
+    fromEntries: Object.fromEntries.bind(null),
+    hasOwn: Object.hasOwn.bind(null),
+    keys: Object.keys.bind(null),
+    is: Object.is.bind(null),
+    values: Object.values.bind(null),
+  },
+};
+
+const globalsAsync = {
+  ...globals,
+  Promise,
+};