@specs-feup/kadabra/api/kadabra/mutation/ConditionalOperatorDeletionMutation.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 { Loop, Joinpoint, Ternary, If } from "../../Joinpoints.js";
export default class ConditionalOperatorDeletionMutation extends IterativeMutation {
    constructor();
    isMutationPoint(jp: Joinpoint): boolean;
    isOfCorrectType(jp: Joinpoint): jp is Ternary | If | Loop;
    mutate(jp: If | Ternary | Loop): Generator<MutationResult, void, unknown>;
}
//# sourceMappingURL=ConditionalOperatorDeletionMutation.d.ts.map