FILE_PATH_VALIDITY: {
    createSearch: (
        config: FilePathValidityConfig,
    ) => FlowrSearchBuilderOut<"from-query", [], ParentInformation, "with">;
    info: {
        certainty: BestEffort;
        defaultConfig: {
            additionalReadFunctions: readonly [];
            additionalWriteFunctions: readonly [];
            includeUnknown: false;
        };
        description: "Checks whether file paths used in read and write operations are valid and point to existing files.";
        name: "File Path Validity";
        tags: readonly [Robustness, Reproducibility, Bug];
    };
    prettyPrint: {
        full: (result: FilePathValidityResult) => string;
        query: (result: FilePathValidityResult) => string;
    };
    processSearchResult: (
        elements: FlowrSearchElements<
            ParentInformation,
            FlowrSearchElement<ParentInformation>[],
        >,
        config: FilePathValidityConfig,
        data: {
            config: FlowrConfigOptions;
            dataflow: DataflowInformation;
            normalize: NormalizedAst;
        },
    ) => {
        ".meta": FilePathValidityMetadata;
        results: FilePathValidityResult[];
    };
} = ...

Type declaration