@eagleoutice/flowr/documentation/wiki-absint.d.ts

Static Dataflow Analyzer and Program Slicer for the R Programming Language

import { type AbsintVisitorConfiguration, AbstractInterpretationVisitor } from '../abstract-interpretation/absint-visitor';
import { IntervalDomain } from '../abstract-interpretation/domains/interval-domain';
import { StateAbstractDomain } from '../abstract-interpretation/domains/state-abstract-domain';
import type { DataflowGraphVertexFunctionCall, DataflowGraphVertexValue } from '../dataflow/graph/vertex';
import type { RNumber } from '../r-bridge/lang-4.x/ast/model/nodes/r-number';
import type { ParentInformation } from '../r-bridge/lang-4.x/ast/model/processing/decorate';
import { DocMaker, type DocMakerArgs } from './wiki-mk/doc-maker';
export declare class IntervalInferenceVisitor extends AbstractInterpretationVisitor<StateAbstractDomain<IntervalDomain>> {
    constructor(config: AbsintVisitorConfiguration);
    protected onNumberConstant({ vertex, node }: {
        vertex: DataflowGraphVertexValue;
        node: RNumber<ParentInformation>;
    }): void;
    protected onFunctionCall({ call }: {
        call: DataflowGraphVertexFunctionCall;
    }): void;
}
export declare class WikiAbsint extends DocMaker<'wiki/Abstract Interpretation.md'> {
    constructor();
    protected text({ ctx }: DocMakerArgs): Promise<string>;
}