Function evaluateQuantifier

packages/graph/src/Steps.ts:1995–2064

* Evaluate a quantifier expression over a list.

(
  path: TraversalPath<any, any, any>,
  quantifier: {
    quantifier: "ALL" | "ANY" | "NONE" | "SINGLE";
    variable: string;
    condition: Condition;
  },
  list: any[],
  context?: QueryContext,
)

 * Evaluate a quantifier expression over a list.
 */
function evaluateQuantifier(
  path: TraversalPath<any, any, any>,
  quantifier: {
    quantifier: "ALL" | "ANY" | "NONE" | "SINGLE";
    variable: string;
    condition: Condition;
  },
  list: any[],
  context?: QueryContext,
): boolean {
  let satisfyCount = 0;

  for (const element of list) {
    // Create a temporary path binding for the quantifier variable
    const quantifierBinding = {
      label: "ComprehensionElement",
      value: element,
    };

    // Create a new path with the quantifier variable bound
    const boundPath = new TraversalPath(path, quantifierBinding as any, [quantifier.variable]);

    // Evaluate the condition for this element
    const satisfies = evaluateCondition(boundPath, quantifier.condition, context);

    if (satisfies) {
      satisfyCount++;
    }

    // Early exit optimizations
    switch (quantifier.quantifier) {
      case "ALL":
        // If any element doesn't satisfy, return false immediately
        if (!satisfies) {
          return false;
        }
        break;
      case "ANY":
        // If any element satisfies, return true immediately
        if (satisfies) {
          return true;
        }
        break;
      case "NONE":
        // If any element satisfies, return false immediately
        if (satisfies) {
          return false;
        }
        break;
      case "SINGLE":
        // If more than one element satisfies, return false immediately
        if (satisfyCount > 1) {
          return false;
        }
        break;
    }
  }