import { type LintingResult, LintingRuleCertainty } from '../linter-format';
import { SourceLocation } from '../../util/range';
import type { MergeableRecord } from '../../util/objects';
import { LintingRuleTag } from '../linter-tags';
import type { Writable } from 'ts-essentials';
export interface StopWithCallResult extends LintingResult {
    readonly loc: SourceLocation;
}
export type StopWithCallConfig = MergeableRecord;
export interface StopWithCallMetadata extends MergeableRecord {
    consideredNodes: number;
}
export declare const STOP_WITH_CALL_ARG: {
    readonly createSearch: () => import("../../search/flowr-search-builder").FlowrSearchBuilder<"get", ["filter"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, Promise<import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, [] | import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>>;
    readonly processSearchResult: (elements: import("../../search/flowr-search").FlowrSearchElements<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../../search/flowr-search").FlowrSearchElement<import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, _config: MergeableRecord, { dataflow, analyzer }: {
        normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
        dataflow: import("../../dataflow/info").DataflowInformation;
        cfg: import("../../control-flow/control-flow-graph").ControlFlowInformation;
        analyzer: import("../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider;
    }) => {
        results: Writable<StopWithCallResult>[];
        '.meta': StopWithCallMetadata;
    };
    readonly prettyPrint: {
        readonly query: (result: StopWithCallResult) => string;
        readonly full: (result: StopWithCallResult) => string;
    };
    readonly info: {
        readonly name: "Stop without call.=False argument";
        readonly tags: readonly [LintingRuleTag.Smell];
        readonly certainty: LintingRuleCertainty.BestEffort;
        readonly description: "Checks whether stop calls without call. argument set to FALSE are used.";
        readonly defaultConfig: {};
    };
};