import { Joinpoint } from "../../../Joinpoints.js";
import AnalyserResult from "../AnalyserResult.js";
import Fix from "../Fix.js";
export default class DoubleFreeResult extends AnalyserResult {
    ptrName: string;
    scopeName: string;
    freedFlag: number;
    constructor(name: string, node: Joinpoint, message: string, ptrName: string, scopeName: string, fix?: Fix);
}
//# sourceMappingURL=DoubleFreeResult.d.ts.map