Module MakeImpl::Impl::FlowExploration::Public

Import path

import codeql.dataflow.internal.DataFlowImpl

A Node augmented with a call context, an access path, and a configuration.

Provides the query predicates needed to include a graph in a path-problem query.