anonymous_github/src/core/term-presence.ts

/**
 * Candidate index for nonempty, capture-free, fixed-width compiler patterns.
 * False positives are safe; false negatives are not.
 */
export class TermPresenceIndex {
  private groups: { indices: number[]; characters: string[] | null }[] = [];
  private searches: { indices: number[]; pattern: RegExp }[];

  constructor(private readonly patterns: RegExp[]) {
    for (let index = 0; index < patterns.length; index++) {
      const characters = firstCharacters(patterns[index].source);
      const group = { indices: [index], characters };
      // Merge groups whose first characters can overlap under Unicode folding.
      // Then a combined search can identify one group without hiding another
      // alternative at the same position (Alice versus AliceSmith, for example).
      for (let i = this.groups.length - 1; i >= 0; i--) {
        const other = this.groups[i];
        if (overlap(group.characters, other.characters)) {
          group.indices.push(...other.indices);
          group.characters = group.characters && other.characters
            ? [...new Set([...group.characters, ...other.characters])] : null;
          this.groups.splice(i, 1);
        }
      }
      this.groups.push(group);
    }
    this.searches = this.groups.map(({ indices }) => ({
      indices,
      pattern: new RegExp(indices.map(index => `(?:${patterns[index].source})`).join("|"), "iu"),
    }));
  }

  candidates(content: string, after = -1): Set<number> {
    const found = new Set<number>();
    // Each immutable group is tested independently, so overlapping matches
    // cannot hide candidates. Non-global regexes retain no search position.
    for (const { indices, pattern } of this.searches) {
      if (indices.some(index => index > after) && pattern.test(content)) {
        for (const index of indices) if (index > after) found.add(index);
      }
    }
    return found;
  }
}

function firstCharacters(source: string): string[] | null {
  if (source.startsWith("[")) {
    const characters = source.slice(1, source.indexOf("]"));
    // Only the compiler's expanded letter classes have an enumerable prefix.
    // Dot's [^\n], escapes and any future syntax conservatively join all groups.
    return /^[\p{L}\p{N}]+$/u.test(characters) ? Array.from(characters) : null;
  }
  if (source.startsWith("\\")) return null;
  return [Array.from(source)[0]];
}

function overlap(left: string[] | null, right: string[] | null): boolean {
  if (!left || !right) return true;
  const pattern = new RegExp(`^(?:${left.map(char => char.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")).join("|")})$`, "iu");
  return right.some(char => pattern.test(char));
}