@specs-feup/kadabra/api/kadabra/mutation/ArithmeticOperatorDeletionMutation.d.ts

A Java source-to-source compiler written in Typescript

import IterativeMutation from "@specs-feup/lara/api/lara/mutation/IterativeMutation.js";
import MutationResult from "@specs-feup/lara/api/lara/mutation/MutationResult.js";
import { Joinpoint, BinaryExpression } from "../../Joinpoints.js";
export default class ArithmeticOperatorDeletionMutation extends IterativeMutation {
    constructor();
    isMutationPoint(jp: Joinpoint): jp is BinaryExpression;
    mutate(jp: BinaryExpression): Generator<MutationResult, void, unknown>;
}
//# sourceMappingURL=ArithmeticOperatorDeletionMutation.d.ts.map