Class SemanticCfgGuidedVisitor<OtherInfo, ControlFlow, Ast, Dfg, Config>

The logical the call's only argument resolves to, undefined if the call does not take exactly one argument or if that argument does not resolve to a single logical.

A helper function to get the normalized AST node for the given id or fail if it does not exist.

A helper function to request the origins of the given node.

Fires for every subsetting call: [[, [, or $.

Fires for every call to a *apply function, e.g. lapply(1:10, function(x) { x + 1 }).

Fires for every assignment call, e.g. <- in x <- 42, assign("x", 42), or the data.table assign := in DT[, x := 42]. Replacements with a function call on the target side, like names(x) <- 3, go through SemanticCfgGuidedVisitor#onReplacementCall|onReplacementCall instead.

Fires for every break call, e.g. repeat { break }.

Fires for every named call not handled by a specific overload, e.g. foo(x) for a user-defined foo. flowR does not care about the dataflow impact of these (currently); use SemanticCfgGuidedVisitor#getOrigins|getOrigins to get the call's origins. Anonymous calls, which cannot be resolved via the active environment, go through SemanticCfgGuidedVisitor#onUnnamedCall|onUnnamedCall instead.

Fires for every call to eval, e.g. eval(parse(text = "x + 1")).

Fires for every expression list, implicit or explicit, other than the root program (see SemanticCfgGuidedVisitor#onProgram|onProgram for that) - e.g. the { } block, or the implicit list x <- x + 1 forms in for(x in 1:10) x <- x + 1.

Fires for every for loop, e.g. for(i in 1:10) { print(i) }.

Fires for every anonymous function definition, e.g. function(x) { x + 1 } in lapply(1:10, function(x) { x + 1 }).

Fires for every call to get, e.g. get("x"), which is used to access variables in the global environment. As flowR resolves get during the dataflow analysis, this may also trigger SemanticCfgGuidedVisitor#onVariableUse|onVariableUse.

Fires for every if-then-else call.

Fires for every call that loads a library, e.g. library(dplyr).

Fires for every call that (to flowR's knowledge) constructs a list, e.g. list(1, 2, 3).

Fires for every call that performs a local call, e.g. local({ x <- 1; y <- 2; x + y }).

Fires for every constant logical, e.g. TRUE in if(TRUE) { ... }.

Fires for every NULL occurrence; other symbols go through SemanticCfgGuidedVisitor#onSymbolConstant|onSymbolConstant instead.

Fires for every constant number, e.g. 42 in print(42).

Fires for every call to R's pipe operator |>.

Fires for the root program node being analyzed.

Fires for every purrr formula, e.g. map(df, ~ .x + 1).

Fires for every call to quote, e.g. quote(x + 1).

Fires for every call to Recall, used to recall the function closure (usually in recursive functions).

Fires for every call that registers a hook, e.g. on.exit(print("exiting function")).

Fires for every repeat loop, e.g. repeat { i <- i + 1; if(i >= 10) break }.

Fires for every call that replaces a value in a container, e.g. names in names(x) <- 3 (but not for x <- 3). Unlike SemanticCfgGuidedVisitor#onAssignmentCall|onAssignmentCall, this does not assign a value to a variable.

Fires for every return call, e.g. f <- function() { return(42) }.

Fires for every call to rm, e.g. rm(x), which removes variables from the environment.

Fires for every call that performs an S3-like dispatch, e.g. UseMethod("print").

Fires for every call that performs an S3-like next dispatch, e.g. NextMethod().

Fires for every call that performs an S7 dispatch, e.g. S7_dispatch.

Fires for every call that creates a new S7 generic, e.g. new_generic.

Fires for every call to source, e.g. source("script.R"). Does not provide the resolved source file by default; use the DataflowGraph to ask for sourced files.

Fires for every special binary operator call, i.e. a binary call whose name starts and ends with %, e.g. x %in% y.

Fires for every call to stop, e.g. stop().

Fires for every call to stopifnot, e.g. stopifnot(x > 0).

Fires for every constant string, e.g. "Hello World" in print("Hello World").

Fires for every constant symbol used as itself (non-standard evaluation, not resolved to a value), e.g. foo in library(foo) or a in l$a. NULL goes through SemanticCfgGuidedVisitor#onNullConstant|onNullConstant instead.

Fires for every call to try, e.g. try(stop("error")), which catches possible errors.

Fires for every anonymous call, e.g. (function(x) { x + 1 })(42) or the second call in a()(), whose target cannot be inferred from a name (use SemanticCfgGuidedVisitor#getOrigins|getOrigins). Named calls go through SemanticCfgGuidedVisitor#onDefaultFunctionCall|onDefaultFunctionCall instead.

Fires for every variable write, e.g. x in x <- 42 or assign("x", 42). Use getOrigins for its origins. See SemanticCfgGuidedVisitor#onAssignmentCall|onAssignmentCall for the assignment call itself, which also carries the source.

Fires for every variable read, e.g. x in print(x). Use getOrigins for its origins.

Fires for every call that (to flowR's knowledge) constructs a vector, e.g. c(1, 2, 3).

Fires for every while loop, e.g. while(i < 10) { i <- i + 1 }.

Dispatches SemanticCfgGuidedVisitor#onUnnamedCall|onUnnamedCall for anonymous calls, or SemanticCfgGuidedVisitor#onDispatchFunctionCallOrigins|onDispatchFunctionCallOrigins for named ones; overwrite those instead of this base-dispatch override.

Dispatches SemanticCfgGuidedVisitor#onFunctionDefinition|onFunctionDefinition; overwrite that instead of this base-dispatch override.

Dispatches SemanticCfgGuidedVisitor#onProgram|onProgram for the root program node. If you overwrite this, call the base implementation too so onProgram keeps firing.

See DataflowAwareCfgGuidedVisitor#visitValue for the base implementation. This now dispatches the value to the appropriate event handler based on its type.

Dispatches SemanticCfgGuidedVisitor#onVariableDefinition|onVariableDefinition; overwrite that instead of this base-dispatch override.

Dispatches SemanticCfgGuidedVisitor#onVariableUse|onVariableUse; overwrite that instead of this base-dispatch override.