@specs-feup/clava/api/clava/analysis/CheckBasedAnalyser.d.ts

A C/C++ source-to-source compiler written in Typescript

import Analyser from "./Analyser.js";
import Checker from "./Checker.js";
import { FileJp, Program } from "../../Joinpoints.js";
type T = Program | FileJp;
/**
 * Analyser that scan code to detect unsafe functions
 */
export default class CheckBasedAnalyser extends Analyser {
    private checkers;
    private resultFormatManager;
    private fixFlag;
    unsafeCounter: number;
    warningCounter: number;
    addChecker(checker: Checker): void;
    enableFixing(): void;
    disableFixing(): void;
    /**
     * Check file for unsafe functions, each one of them being specified by a checker
     * Analyser based on a list of checkers, each one of them is designed to spot one type of function.
     * The analysis is performed node by node.
     *
     * @param $startNode -
     * @returns fileResult
     */
    analyse($startNode?: T): import("./ResultList.js").default | undefined;
}
export {};
//# sourceMappingURL=CheckBasedAnalyser.d.ts.map