SEEDED_RANDOMNESS: {
    createSearch: (
        config: SeededRandomnessConfig,
    ) => FlowrSearchBuilderOut<
        "all",
        ["with", "filter"],
        ParentInformation,
        "with",
    >;
    info: {
        defaultConfig: {
            randomnessConsumers: readonly [
                "jitter",
                "sample",
                "sample.int",
                "arima.sim",
                "kmeans",
                "princomp",
                "rcauchy",
                "rchisq",
                "rexp",
                "rgamma",
                "rgeom",
                "rlnorm",
                "rlogis",
                "rmultinom",
                "rnbinom",
                "rnorm",
                "rpois",
                "runif",
                "pointLabel",
                "some",
                "rbernoulli",
                "rdunif",
                "generateSeedVectors",
            ];
            randomnessProducers: readonly [
                { name: "set.seed"; type: "function" },
                { name: ".Random.seed"; type: "assignment" },
            ];
        };
        description: "Checks whether randomness-based function calls are preceded by a random seed generation function. For consistent reproducibility, functions that use randomness should only be called after a constant random seed is set using a function like `set.seed`.";
        name: "Seeded Randomness";
        tags: readonly [Robustness, Reproducibility];
    };
    prettyPrint: {
        full: (
            result: SeededRandomnessResult,
            _meta: SeededRandomnessMeta,
        ) => string;
        query: (
            result: SeededRandomnessResult,
            _meta: SeededRandomnessMeta,
        ) => string;
    };
    processSearchResult: (
        elements: FlowrSearchElements<
            ParentInformation,
            FlowrSearchElement<ParentInformation>[],
        >,
        config: SeededRandomnessConfig,
        __namedParameters: {
            config: FlowrConfigOptions;
            dataflow: DataflowInformation;
            normalize: NormalizedAst;
        },
    ) => {
        ".meta": SeededRandomnessMeta;
        results: {
            certainty: Definitely;
            function: Identifier;
            range: SourceRange;
        }[];
    };
} = ...

Type declaration

  • ReadonlycreateSearch: (
        config: SeededRandomnessConfig,
    ) => FlowrSearchBuilderOut<
        "all",
        ["with", "filter"],
        ParentInformation,
        "with",
    >
  • Readonlyinfo: {
        defaultConfig: {
            randomnessConsumers: readonly [
                "jitter",
                "sample",
                "sample.int",
                "arima.sim",
                "kmeans",
                "princomp",
                "rcauchy",
                "rchisq",
                "rexp",
                "rgamma",
                "rgeom",
                "rlnorm",
                "rlogis",
                "rmultinom",
                "rnbinom",
                "rnorm",
                "rpois",
                "runif",
                "pointLabel",
                "some",
                "rbernoulli",
                "rdunif",
                "generateSeedVectors",
            ];
            randomnessProducers: readonly [
                { name: "set.seed"; type: "function" },
                { name: ".Random.seed"; type: "assignment" },
            ];
        };
        description: "Checks whether randomness-based function calls are preceded by a random seed generation function. For consistent reproducibility, functions that use randomness should only be called after a constant random seed is set using a function like `set.seed`.";
        name: "Seeded Randomness";
        tags: readonly [Robustness, Reproducibility];
    }
  • ReadonlyprettyPrint: {
        full: (
            result: SeededRandomnessResult,
            _meta: SeededRandomnessMeta,
        ) => string;
        query: (
            result: SeededRandomnessResult,
            _meta: SeededRandomnessMeta,
        ) => string;
    }
  • ReadonlyprocessSearchResult: (
        elements: FlowrSearchElements<
            ParentInformation,
            FlowrSearchElement<ParentInformation>[],
        >,
        config: SeededRandomnessConfig,
        __namedParameters: {
            config: FlowrConfigOptions;
            dataflow: DataflowInformation;
            normalize: NormalizedAst;
        },
    ) => {
        ".meta": SeededRandomnessMeta;
        results: {
            certainty: Definitely;
            function: Identifier;
            range: SourceRange;
        }[];
    }