@specs-feup/lara/src-api/lara/mutation/IterativeMutation.ts

A js port of the popular framework for building source-to-source compilers

import { LaraJoinPoint } from "../../LaraJoinPoint.js";
import Mutation from "./Mutation.js";
import MutationResult from "./MutationResult.js";

/**
 * Abstract mutation class that implements .getMutants(), but makes function Mutation.mutate($jp) abstract. Allows more efficient, generator-based Mutation implementations.
 */
export default abstract class IterativeMutation extends Mutation {
  getMutants($jp: LaraJoinPoint): MutationResult[] {
    const mutations: MutationResult[] = [];

    for (const mutation of this.mutate($jp)) {
      mutations.push(mutation);
    }

    return mutations;
  }

  /**
   * Iterative implementation of the function.
   */
  abstract mutate($jp: LaraJoinPoint): IterableIterator<MutationResult>;
}