@eagleoutice/flowr 2.3.0 → 2.4.0

package/documentation/print-query-wiki.js

@@ -37,6 +37,7 @@ const path_1 = __importDefault(require("path"));
 const control_flow_query_executor_1 = require("../queries/catalog/control-flow-query/control-flow-query-executor");
 const doc_cfg_1 = require("./doc-util/doc-cfg");
 const df_shape_query_executor_1 = require("../queries/catalog/df-shape-query/df-shape-query-executor");
+const _00_slice_1 = require("../core/steps/all/static-slicing/00-slice");
 (0, doc_query_1.registerQueryDocumentation)('call-context', {
     name: 'Call-Context Query',
     type: 'active',
@@ -407,15 +408,15 @@ Now, the results no longer contain calls to \`plot\` that are not defined locall
 (0, doc_query_1.registerQueryDocumentation)('static-slice', {
     name: 'Static Slice Query',
     type: 'active',
-    shortDescription: 'Slice the dataflow graph reducing the code to just the parts relevant for the given criteria.',
+    shortDescription: 'Slice the dataflow graph reducing the code to just the parts relevant for the given criteria (backward and forward).',
     functionName: static_slice_query_executor_1.executeStaticSliceQuery.name,
     functionFile: '../queries/catalog/static-slice-query/static-slice-query-executor.ts',
     buildExplanation: async (shell) => {
         const exampleCode = 'x <- 1\ny <- 2\nx';
         return `
 To slice, _flowR_ needs one thing from you: a variable or a list of variables (function calls are supported to, referring to the anonymous
-return of the call) that you want to slice the dataflow graph for. 
-Given this, the slice is essentially the subpart of the program that may influence the value of the variables you are interested in.
+return of the call) that you want to slice the dataflow graph for (additionally, you have to tell flowR if you want to have a forward slice). 
+Given this, the backward slice is essentially the subpart of the program that may influence the value of the variables you are interested in.
 To specify a variable of interest, you have to present flowR with a [slicing criterion](${doc_files_1.FlowrWikiBaseRef}/Terminology#slicing-criterion) (or, respectively, an array of them).
 
 To exemplify the capabilities, consider the following code:
@@ -436,6 +437,14 @@ ${(0, doc_structure_1.details)('No Reconstruction Example', await (0, doc_query_
                 noReconstruction: true
             }], { showCode: false }))}
 
+Likewise, if you want the forward slice for the first use of \`x\`, you can do it like this:
+
+${await (0, doc_query_1.showQuery)(shell, exampleCode, [{
+                type: 'static-slice',
+                criteria: ['1@x'],
+                direction: _00_slice_1.SliceDirection.Forward
+            }], { showCode: false })}
+
 You can disable [magic comments](${doc_files_1.FlowrWikiBaseRef}/Interface#slice-magic-comments) using the \`noMagicComments\` flag.
 This query replaces the old [\`request-slice\`](${doc_files_1.FlowrWikiBaseRef}/Interface#message-request-slice) message.
 		`;

package/linter/linter-executor.js

@@ -3,7 +3,6 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.executeLintingRule = executeLintingRule;
 const linter_rules_1 = require("./linter-rules");
 const flowr_search_executor_1 = require("../search/flowr-search-executor");
-const flowr_search_1 = require("../search/flowr-search");
 const objects_1 = require("../util/objects");
 function executeLintingRule(ruleName, input, lintingRuleConfig) {
     const rule = linter_rules_1.LintingRules[ruleName];
@@ -13,7 +12,7 @@ function executeLintingRule(ruleName, input, lintingRuleConfig) {
     const searchResult = (0, flowr_search_executor_1.runSearch)(ruleSearch, input);
     const searchTime = Date.now() - searchStart;
     const processStart = Date.now();
-    const result = rule.processSearchResult(new flowr_search_1.FlowrSearchElements(searchResult), fullConfig, input);
+    const result = rule.processSearchResult(searchResult, fullConfig, input);
     const processTime = Date.now() - processStart;
     return {
         ...result,

package/linter/linter-format.d.ts

@@ -22,6 +22,10 @@ export interface LinterRuleInformation<Config extends MergeableRecord = never> {
      * A short list of tags that describe and categorize the linting rule.
      */
     readonly tags: readonly LintingRuleTag[];
+    /**
+     * The linting rule's certainty in terms of the rule's calculations' precision and recall.
+     */
+    readonly certainty: LintingRuleCertainty;
     /**
      * A short description of the linting rule.
      * This is used to display the rule in the UI and to provide a brief overview of what the rule does.
@@ -91,7 +95,7 @@ export type LintQuickFix = LintQuickFixReplacement | LintQuickFixRemove;
  * A linting result for a single linting rule match.
  */
 export interface LintingResult {
-    readonly certainty: LintingCertainty;
+    readonly certainty: LintingResultCertainty;
     /**
      * If available, what to do to fix the linting result.
      */
@@ -108,15 +112,33 @@ export interface LintingResults<Name extends LintingRuleNames> {
         readonly processTimeMs: number;
     };
 }
-export declare enum LintingCertainty {
+export declare enum LintingResultCertainty {
     /**
      * The linting rule cannot say for sure whether the result is correct or not.
+     * This linting certainty should be used for linting results whose calculations are based on estimations involving unknown side-effects, reflection, etc.
      */
-    Maybe = "maybe",
+    Uncertain = "uncertain",
     /**
      * The linting rule is certain that the reported lint is real.
+     * This linting certainty should be used for linting results whose calculations do not involve estimates or other unknown factors.
+     */
+    Certain = "certain"
+}
+export declare enum LintingRuleCertainty {
+    /**
+     * Linting rules that are expected to have both high precision and high recall.
+     */
+    Exact = "exact",
+    /**
+     * Linting rules that are expected to have high precision, but not necessarily high recall.
+     * Rules with this certainty generally ensure that the results they return are correct, but may not return all results.
+     */
+    BestEffort = "best-effort",
+    /**
+     * Linting rules that are expected to have high recall, but not necessarily high precision.
+     * Rules with this certainty generally return all relevant results, but may also include some incorrect matches.
      */
-    Definitely = "definitely"
+    OverApproximative = "over-approximative"
 }
 export declare enum LintingPrettyPrintContext {
     Query = "query",

package/linter/linter-format.js

@@ -1,17 +1,36 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.LintingPrettyPrintContext = exports.LintingCertainty = void 0;
-var LintingCertainty;
-(function (LintingCertainty) {
+exports.LintingPrettyPrintContext = exports.LintingRuleCertainty = exports.LintingResultCertainty = void 0;
+var LintingResultCertainty;
+(function (LintingResultCertainty) {
     /**
      * The linting rule cannot say for sure whether the result is correct or not.
+     * This linting certainty should be used for linting results whose calculations are based on estimations involving unknown side-effects, reflection, etc.
      */
-    LintingCertainty["Maybe"] = "maybe";
+    LintingResultCertainty["Uncertain"] = "uncertain";
     /**
      * The linting rule is certain that the reported lint is real.
+     * This linting certainty should be used for linting results whose calculations do not involve estimates or other unknown factors.
      */
-    LintingCertainty["Definitely"] = "definitely";
-})(LintingCertainty || (exports.LintingCertainty = LintingCertainty = {}));
+    LintingResultCertainty["Certain"] = "certain";
+})(LintingResultCertainty || (exports.LintingResultCertainty = LintingResultCertainty = {}));
+var LintingRuleCertainty;
+(function (LintingRuleCertainty) {
+    /**
+     * Linting rules that are expected to have both high precision and high recall.
+     */
+    LintingRuleCertainty["Exact"] = "exact";
+    /**
+     * Linting rules that are expected to have high precision, but not necessarily high recall.
+     * Rules with this certainty generally ensure that the results they return are correct, but may not return all results.
+     */
+    LintingRuleCertainty["BestEffort"] = "best-effort";
+    /**
+     * Linting rules that are expected to have high recall, but not necessarily high precision.
+     * Rules with this certainty generally return all relevant results, but may also include some incorrect matches.
+     */
+    LintingRuleCertainty["OverApproximative"] = "over-approximative";
+})(LintingRuleCertainty || (exports.LintingRuleCertainty = LintingRuleCertainty = {}));
 var LintingPrettyPrintContext;
 (function (LintingPrettyPrintContext) {
     LintingPrettyPrintContext["Query"] = "query";

package/linter/linter-rules.d.ts

@@ -8,7 +8,7 @@ export declare const LintingRules: {
         readonly createSearch: (config: import("./rules/deprecated-functions").DeprecatedFunctionsConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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>[]>) => {
             results: {
-                certainty: import("./linter-format").LintingCertainty.Definitely;
+                certainty: import("./linter-format").LintingResultCertainty.Certain;
                 function: import("../dataflow/environments/identifier").Identifier;
                 range: import("../util/range").SourceRange;
             }[];
@@ -21,6 +21,7 @@ export declare const LintingRules: {
         readonly info: {
             readonly name: "Deprecated Functions";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Deprecated, import("./linter-tags").LintingRuleTag.Smell, import("./linter-tags").LintingRuleTag.Usability, import("./linter-tags").LintingRuleTag.Reproducibility];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly description: "Marks deprecated functions that should not be used anymore.";
             readonly defaultConfig: {
                 readonly deprecatedFunctions: readonly ["all_equal", "arrange_all", "distinct_all", "filter_all", "group_by_all", "summarise_all", "mutate_all", "select_all", "vars", "all_vars", "id", "failwith", "select_vars", "rename_vars", "select_var", "current_vars", "bench_tbls", "compare_tbls", "compare_tbls2", "eval_tbls", "eval_tbls2", "location", "changes", "combine", "do", "funs", "add_count_", "add_tally_", "arrange_", "count_", "distinct_", "do_", "filter_", "funs_", "group_by_", "group_indices_", "mutate_", "tally_", "transmute_", "rename_", "rename_vars_", "select_", "select_vars_", "slice_", "summarise_", "summarize_", "summarise_each", "src_local", "tbl_df", "add_rownames", "group_nest", "group_split", "with_groups", "nest_by", "progress_estimated", "recode", "sample_n", "top_n", "transmute", "fct_explicit_na", "aes_", "aes_auto", "annotation_logticks", "is.Coord", "coord_flip", "coord_map", "is.facet", "fortify", "is.ggproto", "guide_train", "is.ggplot", "qplot", "is.theme", "gg_dep", "liply", "isplit2", "list_along", "cross", "invoke", "at_depth", "prepend", "rerun", "splice", "`%@%`", "rbernoulli", "rdunif", "when", "update_list", "map_raw", "accumulate", "reduce_right", "flatten", "map_dfr", "as_vector", "transpose", "melt_delim", "melt_fwf", "melt_table", "read_table2", "str_interp", "as_tibble", "data_frame", "tibble_", "data_frame_", "lst_", "as_data_frame", "as.tibble", "frame_data", "trunc_mat", "is.tibble", "tidy_names", "set_tidy_names", "repair_names", "extract_numeric", "complete_", "drop_na_", "expand_", "crossing_", "nesting_", "extract_", "fill_", "gather_", "nest_", "separate_rows_", "separate_", "spread_", "unite_", "unnest_", "extract", "gather", "nest_legacy", "separate_rows", "separate", "spread"];
@@ -28,8 +29,8 @@ export declare const LintingRules: {
         };
     };
     readonly 'file-path-validity': {
-        readonly createSearch: (config: import("./rules/file-path-validity").FilePathValidityConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"from-query", [], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElementFromQuery<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").FlowrSearchElementFromQuery<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>, config: import("./rules/file-path-validity").FilePathValidityConfig, data: {
+        readonly createSearch: (config: import("./rules/file-path-validity").FilePathValidityConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"from-query", ["with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: import("./rules/file-path-validity").FilePathValidityConfig, data: {
             normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
             dataflow: import("../dataflow/info").DataflowInformation;
             config: import("../config").FlowrConfigOptions;
@@ -40,6 +41,7 @@ export declare const LintingRules: {
         readonly info: {
             readonly name: "File Path Validity";
             readonly description: "Checks whether file paths used in read and write operations are valid and point to existing files.";
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Robustness, import("./linter-tags").LintingRuleTag.Reproducibility, import("./linter-tags").LintingRuleTag.Bug];
             readonly defaultConfig: {
                 readonly additionalReadFunctions: readonly [];
@@ -53,14 +55,14 @@ export declare const LintingRules: {
         };
     };
     readonly 'seeded-randomness': {
-        readonly createSearch: (config: import("./rules/seeded-randomness").SeededRandomnessConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter", "with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/search-executor/search-enrichers").EnrichedFlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>;
+        readonly createSearch: (config: import("./rules/seeded-randomness").SeededRandomnessConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with", "filter", "with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: import("./rules/seeded-randomness").SeededRandomnessConfig, { dataflow }: {
             normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
             dataflow: import("../dataflow/info").DataflowInformation;
             config: import("../config").FlowrConfigOptions;
         }) => {
             results: {
-                certainty: import("./linter-format").LintingCertainty.Definitely;
+                certainty: import("./linter-format").LintingResultCertainty.Certain;
                 function: import("../dataflow/environments/identifier").Identifier;
                 range: import("../util/range").SourceRange;
             }[];
@@ -78,6 +80,7 @@ export declare const LintingRules: {
                 readonly 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"];
             };
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Robustness, import("./linter-tags").LintingRuleTag.Reproducibility];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly name: "Seeded Randomness";
             readonly 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`.";
         };
@@ -88,11 +91,7 @@ export declare const LintingRules: {
     };
     readonly 'absolute-file-paths': {
         readonly createSearch: (config: import("./rules/absolute-path").AbsoluteFilePathConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"from-query", ["unique"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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, {
-            readonly query?: "config" | "origin" | "dataflow" | "search" | "call-context" | "control-flow" | "dataflow-lens" | "df-shape" | "normalized-ast" | "id-map" | "dataflow-cluster" | "static-slice" | "lineage" | "dependencies" | "location-map" | "happens-before" | "resolve-value" | "project" | "linter" | undefined;
-            readonly queryResult?: import("../queries/base-query-format").BaseQueryResult | undefined;
-            readonly node: import("../r-bridge/lang-4.x/ast/model/nodes/r-expression-list").RExpressionList<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-function-definition").RFunctionDefinition<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-function-call").RNamedFunctionCall<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-function-call").RUnnamedFunctionCall<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-parameter").RParameter<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-argument").RArgument<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-comment").RComment<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-line-directive").RLineDirective<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-for-loop").RForLoop<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-repeat-loop").RRepeatLoop<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-while-loop").RWhileLoop<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-if-then-else").RIfThenElse<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-access").RNamedAccess<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-access").RIndexAccess<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-unary-op").RUnaryOp<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-binary-op").RBinaryOp<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-symbol").RSymbol<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, string> | import("../r-bridge/lang-4.x/ast/model/nodes/r-number").RNumber<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-string").RString<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-logical").RLogical<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-break").RBreak<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-next").RNext<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation> | import("../r-bridge/lang-4.x/ast/model/nodes/r-pipe").RPipe<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>;
-        }[]>, config: import("./rules/absolute-path").AbsoluteFilePathConfig, data: {
+        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: import("./rules/absolute-path").AbsoluteFilePathConfig, data: {
             normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
             dataflow: import("../dataflow/info").DataflowInformation;
             config: import("../config").FlowrConfigOptions;
@@ -108,6 +107,7 @@ export declare const LintingRules: {
             readonly name: "Absolute Paths";
             readonly description: "Checks whether file paths are absolute.";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Robustness, import("./linter-tags").LintingRuleTag.Reproducibility, import("./linter-tags").LintingRuleTag.Smell, import("./linter-tags").LintingRuleTag.QuickFix];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly defaultConfig: {
                 readonly include: {
                     readonly constructed: true;
@@ -137,6 +137,7 @@ export declare const LintingRules: {
             readonly name: "Unused Definitions";
             readonly description: "Checks for unused definitions.";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Readability, import("./linter-tags").LintingRuleTag.Smell, import("./linter-tags").LintingRuleTag.QuickFix];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly defaultConfig: {
                 readonly includeFunctionDefinitions: true;
             };
@@ -151,7 +152,7 @@ export declare const LintingRules: {
         }) => {
             results: {
                 quickFix: import("./linter-format").LintQuickFixReplacement[] | undefined;
-                certainty: import("./linter-format").LintingCertainty;
+                certainty: import("./linter-format").LintingResultCertainty;
                 detectedCasing: import("./rules/naming-convention").CasingConvention;
                 name: string;
                 range: import("../util/range").SourceRange;
@@ -167,6 +168,7 @@ export declare const LintingRules: {
         };
         readonly info: {
             readonly name: "Naming Convention";
+            readonly certainty: import("./linter-format").LintingRuleCertainty.OverApproximative;
             readonly description: "Checks wether the symbols conform to a certain naming convention";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Style, import("./linter-tags").LintingRuleTag.QuickFix];
             readonly defaultConfig: {
@@ -175,7 +177,7 @@ export declare const LintingRules: {
         };
     };
     readonly 'dataframe-access-validation': {
-        readonly createSearch: () => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/flowr-search").FlowrSearchElements<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, import("../search/search-executor/search-enrichers").EnrichedFlowrSearchElement<import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation>[]>>;
+        readonly createSearch: () => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: import("./rules/dataframe-access-validation").DataFrameAccessValidationConfig, data: {
             normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
             dataflow: import("../dataflow/info").DataflowInformation;
@@ -191,12 +193,38 @@ export declare const LintingRules: {
         readonly info: {
             readonly name: "Dataframe Access Validation";
             readonly tags: readonly [import("./linter-tags").LintingRuleTag.Bug, import("./linter-tags").LintingRuleTag.Usability, import("./linter-tags").LintingRuleTag.Reproducibility];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
             readonly description: "Validates the existance of accessed columns and rows of dataframes.";
             readonly defaultConfig: {
                 readonly readLoadedData: false;
             };
         };
     };
+    readonly 'dead-code': {
+        readonly createSearch: (config: import("./rules/dead-code").DeadCodeConfig) => import("../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], import("../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: import("./rules/dead-code").DeadCodeConfig, _data: {
+            normalize: import("../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
+            dataflow: import("../dataflow/info").DataflowInformation;
+            config: import("../config").FlowrConfigOptions;
+        }) => {
+            results: {
+                certainty: import("./linter-format").LintingResultCertainty.Certain;
+                range: import("../util/range").SourceRange;
+            }[];
+            '.meta': import("./rules/dead-code").DeadCodeMetadata;
+        };
+        readonly prettyPrint: {
+            readonly query: (result: import("./rules/dead-code").DeadCodeResult) => string;
+            readonly full: (result: import("./rules/dead-code").DeadCodeResult) => string;
+        };
+        readonly info: {
+            readonly name: "Dead Code";
+            readonly tags: readonly [import("./linter-tags").LintingRuleTag.Smell, import("./linter-tags").LintingRuleTag.Usability, import("./linter-tags").LintingRuleTag.Reproducibility];
+            readonly certainty: import("./linter-format").LintingRuleCertainty.BestEffort;
+            readonly description: "Marks areas of code that are never reached during execution.";
+            readonly defaultConfig: {};
+        };
+    };
 };
 export type LintingRuleNames = keyof typeof LintingRules;
 export type LintingRuleMetadata<Name extends LintingRuleNames> = typeof LintingRules[Name] extends LintingRule<infer _Result, infer Metadata, infer _Config, infer _Info, infer _Elements> ? Metadata : never;

package/linter/linter-rules.js

@@ -5,6 +5,7 @@ const deprecated_functions_1 = require("./rules/deprecated-functions");
 const file_path_validity_1 = require("./rules/file-path-validity");
 const absolute_path_1 = require("./rules/absolute-path");
 const unused_definition_1 = require("./rules/unused-definition");
+const dead_code_1 = require("./rules/dead-code");
 const seeded_randomness_1 = require("./rules/seeded-randomness");
 const naming_convention_1 = require("./rules/naming-convention");
 const dataframe_access_validation_1 = require("./rules/dataframe-access-validation");
@@ -19,6 +20,7 @@ exports.LintingRules = {
     'absolute-file-paths': absolute_path_1.ABSOLUTE_PATH,
     'unused-definitions': unused_definition_1.UNUSED_DEFINITION,
     'naming-convention': naming_convention_1.NAMING_CONVENTION,
-    'dataframe-access-validation': dataframe_access_validation_1.DATA_FRAME_ACCESS_VALIDATION
+    'dataframe-access-validation': dataframe_access_validation_1.DATA_FRAME_ACCESS_VALIDATION,
+    'dead-code': dead_code_1.DEAD_CODE,
 };
 //# sourceMappingURL=linter-rules.js.map

package/linter/rules/absolute-path.d.ts

@@ -1,9 +1,9 @@
 import type { LintingResult } from '../linter-format';
+import { LintingRuleCertainty } from '../linter-format';
 import type { MergeableRecord } from '../../util/objects';
 import type { SourceRange } from '../../util/range';
 import { LintingRuleTag } from '../linter-tags';
 import type { FunctionInfo } from '../../queries/catalog/dependencies-query/function-info/function-info';
-import type { ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
 import type { FlowrConfigOptions } from '../../config';
 export interface AbsoluteFilePathResult extends LintingResult {
     filePath: string;
@@ -36,12 +36,8 @@ export interface AbsoluteFilePathMetadata extends MergeableRecord {
     totalUnknown: number;
 }
 export declare const ABSOLUTE_PATH: {
-    readonly createSearch: (config: AbsoluteFilePathConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"from-query", ["unique"], ParentInformation, import("../../search/flowr-search").FlowrSearchElements<ParentInformation, import("../../search/flowr-search").FlowrSearchElement<ParentInformation>[]>>;
-    readonly processSearchResult: (elements: import("../../search/flowr-search").FlowrSearchElements<ParentInformation, {
-        readonly query?: "config" | "origin" | "dataflow" | "search" | "call-context" | "control-flow" | "dataflow-lens" | "df-shape" | "normalized-ast" | "id-map" | "dataflow-cluster" | "static-slice" | "lineage" | "dependencies" | "location-map" | "happens-before" | "resolve-value" | "project" | "linter" | undefined;
-        readonly queryResult?: import("../../queries/base-query-format").BaseQueryResult | undefined;
-        readonly node: import("../../r-bridge/lang-4.x/ast/model/nodes/r-expression-list").RExpressionList<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-function-definition").RFunctionDefinition<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call").RNamedFunctionCall<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-function-call").RUnnamedFunctionCall<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-parameter").RParameter<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-argument").RArgument<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-comment").RComment<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-line-directive").RLineDirective<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-for-loop").RForLoop<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-repeat-loop").RRepeatLoop<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-while-loop").RWhileLoop<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-if-then-else").RIfThenElse<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-access").RNamedAccess<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-access").RIndexAccess<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-unary-op").RUnaryOp<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-binary-op").RBinaryOp<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-symbol").RSymbol<ParentInformation, string> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-number").RNumber<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-string").RString<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-logical").RLogical<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-break").RBreak<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-next").RNext<ParentInformation> | import("../../r-bridge/lang-4.x/ast/model/nodes/r-pipe").RPipe<ParentInformation>;
-    }[]>, config: AbsoluteFilePathConfig, data: {
+    readonly createSearch: (config: AbsoluteFilePathConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"from-query", ["unique"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: AbsoluteFilePathConfig, data: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
         config: FlowrConfigOptions;
@@ -57,6 +53,7 @@ export declare const ABSOLUTE_PATH: {
         readonly name: "Absolute Paths";
         readonly description: "Checks whether file paths are absolute.";
         readonly tags: readonly [LintingRuleTag.Robustness, LintingRuleTag.Reproducibility, LintingRuleTag.Smell, LintingRuleTag.QuickFix];
+        readonly certainty: LintingRuleCertainty.BestEffort;
         readonly defaultConfig: {
             readonly include: {
                 readonly constructed: true;

package/linter/rules/absolute-path.js

@@ -87,7 +87,7 @@ exports.ABSOLUTE_PATH = {
         }
         if (config.include.constructed) {
             q = q.merge(flowr_search_builder_1.Q.all().filter(vertex_1.VertexType.FunctionCall).with(search_enrichers_1.Enrichment.CallTargets));
-            /* in the future we want to directly check whether this is one of the supported functions */
+            /* in the future, we want to directly check whether this is one of the supported functions */
         }
         return q.unique();
     },
@@ -96,6 +96,7 @@ exports.ABSOLUTE_PATH = {
             totalConsidered: 0,
             totalUnknown: 0
         };
+        const queryResults = elements.enrichmentContent(search_enrichers_1.Enrichment.QueryData)?.queries;
         const regex = config.absolutePathRegex ? new RegExp(config.absolutePathRegex) : undefined;
         return {
             results: elements.getElements().flatMap(element => {
@@ -105,7 +106,7 @@ exports.ABSOLUTE_PATH = {
                 if ((0, r_string_1.isRString)(node)) {
                     if (node.content.str.length >= 3 && (0, strings_1.isAbsolutePath)(node.content.str, regex)) {
                         return [{
-                                certainty: linter_format_1.LintingCertainty.Maybe,
+                                certainty: linter_format_1.LintingResultCertainty.Uncertain,
                                 filePath: node.content.str,
                                 range: node.info.fullRange ?? node.location,
                                 quickFix: buildQuickFix(node, node.content.str, wd)
@@ -115,12 +116,12 @@ exports.ABSOLUTE_PATH = {
                         return [];
                     }
                 }
-                else if (element.queryResult) {
-                    const result = element.queryResult;
+                else if ((0, search_enrichers_1.enrichmentContent)(element, search_enrichers_1.Enrichment.QueryData)) {
+                    const result = queryResults[(0, search_enrichers_1.enrichmentContent)(element, search_enrichers_1.Enrichment.QueryData).query];
                     const mappedStrings = result.readData.filter(r => r.source !== dependencies_query_format_1.Unknown && (0, strings_1.isAbsolutePath)(r.source, regex)).map(r => {
                         const elem = data.normalize.idMap.get(r.nodeId);
                         return {
-                            certainty: linter_format_1.LintingCertainty.Definitely,
+                            certainty: linter_format_1.LintingResultCertainty.Certain,
                             filePath: r.source,
                             range: elem?.info.fullRange ?? elem?.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
                             quickFix: buildQuickFix(elem, r.source, wd)
@@ -141,7 +142,7 @@ exports.ABSOLUTE_PATH = {
                         const strings = handler ? handler(data.dataflow.graph, dfNode, data.config) : [];
                         if (strings) {
                             return strings.filter(s => (0, strings_1.isAbsolutePath)(s, regex)).map(str => ({
-                                certainty: linter_format_1.LintingCertainty.Maybe,
+                                certainty: linter_format_1.LintingResultCertainty.Uncertain,
                                 filePath: str,
                                 range: node.info.fullRange ?? node.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1)
                             }));
@@ -163,6 +164,8 @@ exports.ABSOLUTE_PATH = {
         name: 'Absolute Paths',
         description: 'Checks whether file paths are absolute.',
         tags: [linter_tags_1.LintingRuleTag.Robustness, linter_tags_1.LintingRuleTag.Reproducibility, linter_tags_1.LintingRuleTag.Smell, linter_tags_1.LintingRuleTag.QuickFix],
+        // checks all found paths for whether they're absolute to ensure correctness, but doesn't handle non-constant paths so not all will be returned
+        certainty: linter_format_1.LintingRuleCertainty.BestEffort,
         defaultConfig: {
             include: {
                 constructed: true,

package/linter/rules/dataframe-access-validation.d.ts

@@ -3,6 +3,7 @@ import type { FlowrSearchElements } from '../../search/flowr-search';
 import { type MergeableRecord } from '../../util/objects';
 import { type SourceRange } from '../../util/range';
 import type { LintingResult } from '../linter-format';
+import { LintingRuleCertainty } from '../linter-format';
 import { LintingRuleTag } from '../linter-tags';
 export interface DataFrameAccessValidationResult extends LintingResult {
     /** The type of the data frame access ("column" or "row") */
@@ -29,7 +30,7 @@ export interface DataFrameAccessValidationMetadata extends MergeableRecord {
     totalAccessed: number;
 }
 export declare const DATA_FRAME_ACCESS_VALIDATION: {
-    readonly createSearch: () => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], ParentInformation, FlowrSearchElements<ParentInformation, import("../../search/search-executor/search-enrichers").EnrichedFlowrSearchElement<ParentInformation>[]>>;
+    readonly createSearch: () => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], ParentInformation, FlowrSearchElements<ParentInformation, import("../../search/flowr-search").FlowrSearchElement<ParentInformation>[]>>;
     readonly processSearchResult: (elements: FlowrSearchElements<ParentInformation, import("../../search/flowr-search").FlowrSearchElement<ParentInformation>[]>, config: DataFrameAccessValidationConfig, data: {
         normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
         dataflow: import("../../dataflow/info").DataflowInformation;
@@ -45,6 +46,7 @@ export declare const DATA_FRAME_ACCESS_VALIDATION: {
     readonly info: {
         readonly name: "Dataframe Access Validation";
         readonly tags: readonly [LintingRuleTag.Bug, LintingRuleTag.Usability, LintingRuleTag.Reproducibility];
+        readonly certainty: LintingRuleCertainty.BestEffort;
         readonly description: "Validates the existance of accessed columns and rows of dataframes.";
         readonly defaultConfig: {
             readonly readLoadedData: false;

package/linter/rules/dataframe-access-validation.js

@@ -65,7 +65,7 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
             access: node?.lexeme ?? '???',
             ...(operand?.type === type_1.RType.Symbol ? { operand: operand.content } : {}),
             range: node?.info.fullRange ?? node?.location ?? (0, range_1.rangeFrom)(-1, -1, -1, -1),
-            certainty: linter_format_1.LintingCertainty.Definitely
+            certainty: linter_format_1.LintingResultCertainty.Certain
         }));
         return { results, '.meta': metadata };
     },
@@ -80,6 +80,8 @@ exports.DATA_FRAME_ACCESS_VALIDATION = {
     info: {
         name: 'Dataframe Access Validation',
         tags: [linter_tags_1.LintingRuleTag.Bug, linter_tags_1.LintingRuleTag.Usability, linter_tags_1.LintingRuleTag.Reproducibility],
+        // this rule is unable to detect all cases of dataframe access, but sufficiently ensures returned results are valid
+        certainty: linter_format_1.LintingRuleCertainty.BestEffort,
         description: 'Validates the existance of accessed columns and rows of dataframes.',
         defaultConfig: { readLoadedData: false }
     }

package/linter/rules/dead-code.d.ts

@@ -0,0 +1,43 @@
+import { LintingResultCertainty, type LintingResult, LintingRuleCertainty } from '../linter-format';
+import type { SourceRange } from '../../util/range';
+import type { MergeableRecord } from '../../util/objects';
+import { LintingRuleTag } from '../linter-tags';
+import { type CfgSimplificationPassName } from '../../control-flow/cfg-simplification';
+export interface DeadCodeResult extends LintingResult {
+    range: SourceRange;
+}
+export interface DeadCodeConfig extends MergeableRecord {
+    /**
+     * The simplification passes that should be run on the extracted CFG.
+     * Defaults to the entries of {@link DefaultCfgSimplificationOrder} and `analyze-dead-code`.
+     */
+    simplificationPasses?: CfgSimplificationPassName[];
+}
+export interface DeadCodeMetadata extends MergeableRecord {
+    consideredNodes: number;
+}
+export declare const DEAD_CODE: {
+    readonly createSearch: (config: DeadCodeConfig) => import("../../search/flowr-search-builder").FlowrSearchBuilder<"all", ["with"], import("../../r-bridge/lang-4.x/ast/model/processing/decorate").ParentInformation, 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: DeadCodeConfig, _data: {
+        normalize: import("../../r-bridge/lang-4.x/ast/model/processing/decorate").NormalizedAst;
+        dataflow: import("../../dataflow/info").DataflowInformation;
+        config: import("../../config").FlowrConfigOptions;
+    }) => {
+        results: {
+            certainty: LintingResultCertainty.Certain;
+            range: SourceRange;
+        }[];
+        '.meta': DeadCodeMetadata;
+    };
+    readonly prettyPrint: {
+        readonly query: (result: DeadCodeResult) => string;
+        readonly full: (result: DeadCodeResult) => string;
+    };
+    readonly info: {
+        readonly name: "Dead Code";
+        readonly tags: readonly [LintingRuleTag.Smell, LintingRuleTag.Usability, LintingRuleTag.Reproducibility];
+        readonly certainty: LintingRuleCertainty.BestEffort;
+        readonly description: "Marks areas of code that are never reached during execution.";
+        readonly defaultConfig: {};
+    };
+};

package/linter/rules/dead-code.js

@@ -0,0 +1,50 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEAD_CODE = void 0;
+const linter_format_1 = require("../linter-format");
+const range_1 = require("../../util/range");
+const flowr_search_builder_1 = require("../../search/flowr-search-builder");
+const dfg_1 = require("../../util/mermaid/dfg");
+const linter_tags_1 = require("../linter-tags");
+const search_enrichers_1 = require("../../search/search-executor/search-enrichers");
+const assert_1 = require("../../util/assert");
+const cfg_simplification_1 = require("../../control-flow/cfg-simplification");
+exports.DEAD_CODE = {
+    createSearch: (config) => flowr_search_builder_1.Q.all().with(search_enrichers_1.Enrichment.CfgInformation, {
+        checkReachable: true,
+        simplificationPasses: config.simplificationPasses ?? [...cfg_simplification_1.DefaultCfgSimplificationOrder, 'analyze-dead-code']
+    }),
+    processSearchResult: (elements, _config, _data) => {
+        const meta = {
+            consideredNodes: 0
+        };
+        return {
+            results: (0, range_1.combineRanges)(...new Set(elements.getElements()
+                .filter(element => {
+                meta.consideredNodes++;
+                const cfgInformation = (0, search_enrichers_1.enrichmentContent)(element, search_enrichers_1.Enrichment.CfgInformation);
+                return cfgInformation.isRoot && !cfgInformation.isReachable;
+            })
+                .map(element => element.node.info.fullRange ?? element.node.location)
+                .filter(assert_1.isNotUndefined)))
+                .map(range => ({
+                certainty: linter_format_1.LintingResultCertainty.Certain,
+                range
+            })),
+            '.meta': meta
+        };
+    },
+    prettyPrint: {
+        [linter_format_1.LintingPrettyPrintContext.Query]: result => `Code at ${(0, dfg_1.formatRange)(result.range)}`,
+        [linter_format_1.LintingPrettyPrintContext.Full]: result => `Code at ${(0, dfg_1.formatRange)(result.range)} can never be executed`,
+    },
+    info: {
+        name: 'Dead Code',
+        tags: [linter_tags_1.LintingRuleTag.Smell, linter_tags_1.LintingRuleTag.Usability, linter_tags_1.LintingRuleTag.Reproducibility],
+        // our limited dead code analysis causes complex cases of dead code not to be included in the linting result, but deadness is properly investigated for returned results
+        certainty: linter_format_1.LintingRuleCertainty.BestEffort,
+        description: 'Marks areas of code that are never reached during execution.',
+        defaultConfig: {}
+    }
+};
+//# sourceMappingURL=dead-code.js.map