Struct L2Context 

pub struct L2Context {
    pub project: PathBuf,
    pub language: Language,
    pub changed_files: Vec<PathBuf>,
    pub function_diff: FunctionDiff,
    pub baseline_contents: HashMap<PathBuf, String>,
    pub current_contents: HashMap<PathBuf, String>,
    pub ast_changes: HashMap<PathBuf, Vec<ASTChange>>,
    pub is_first_run: bool,
    pub base_ref: String,
    /* private fields */
}

Shared context for all L2 analysis engines.

Carries the project root, detected language, lists of changed/inserted/deleted functions, and the full file contents for both revisions. Includes lazy-initialized DashMap caches for per-function CFG, DFG, SSA, and contracts data, plus OnceLock-backed project-level call graph and change impact report.

The daemon client routes IR queries through the daemon’s QueryCache when available, falling back to on-the-fly construction via the local caches.

Fields

project: PathBuf

Absolute path to the project root.

language: Language

Detected (or user-specified) programming language.

changed_files: Vec<PathBuf>

Files that have changes between baseline and current.

function_diff: FunctionDiff

Function-level diff between baseline and current revisions.

baseline_contents: HashMap<PathBuf, String>

Full file contents for the baseline revision, keyed by path.

current_contents: HashMap<PathBuf, String>

Full file contents for the current revision, keyed by path.

ast_changes: HashMap<PathBuf, Vec<ASTChange>>

AST-level changes per file from the diff phase.

Maps each changed file to its list of ASTChange entries (Insert, Update, Delete). Used by DeltaEngine for finding extractors that need node-level diff data (e.g., param-renamed, signature-regression).

is_first_run: bool

Whether this is the first run (no prior .bugbot/state.db).

When true, delta engines that require prior state (guard-removed, contract-regression) should suppress their findings because there is no baseline to compare against (PM-34 baseline policy).

base_ref: String

Git base reference for baseline comparison (e.g. “HEAD”, “main”). Used by flow engines to create baseline worktrees for project-wide diffing.

Implementations

impl L2Context

pub fn new( project: PathBuf, language: Language, changed_files: Vec<PathBuf>, function_diff: FunctionDiff, baseline_contents: HashMap<PathBuf, String>, current_contents: HashMap<PathBuf, String>, ast_changes: HashMap<PathBuf, Vec<ASTChange>>, ) -> Self

Create a new L2Context with the provided data.

All cache fields (CFG, DFG, SSA, contracts, call graph, change impact) are initialized empty and populated lazily on first access. The daemon client defaults to NoDaemon (local-only computation).

pub fn with_first_run(self, is_first_run: bool) -> Self

Set whether this context represents a first-run analysis.

When is_first_run is true, delta engines that require prior state (guard-removed, contract-regression) suppress their findings because there is no baseline to compare against (PM-34 baseline policy).

pub fn with_base_ref(self, base_ref: String) -> Self

Set the git base reference for baseline comparison.

Used by flow engines (e.g. TldrDifferentialEngine) to create baseline worktrees for project-wide diffing of call graphs, dependencies, coupling, and cohesion.

pub fn with_daemon(self, daemon: Box<dyn DaemonClient>) -> Self

Attach a daemon client to this context.

When the daemon client reports is_available() == true, IR cache methods (cfg_for, dfg_for, ssa_for, call_graph) will check the daemon first before falling back to local computation. The daemon is also notified of changed_files for cache invalidation.

pub fn daemon_available(&self) -> bool

Check whether a daemon is available for this context.

pub fn daemon(&self) -> &dyn DaemonClient

Get a reference to the daemon client.

pub fn changed_functions(&self) -> &[FunctionChange]

Convenience accessor: functions whose bodies changed between revisions.

pub fn inserted_functions(&self) -> &[InsertedFunction]

Convenience accessor: functions present in current but not in baseline.

pub fn deleted_functions(&self) -> &[DeletedFunction]

Convenience accessor: functions present in baseline but not in current.

pub fn cfg_for( &self, file_contents: &str, function_id: &FunctionId, language: Language, ) -> Result<Ref<'_, FunctionId, CfgInfo>>

Get or build the CFG for a function.

Checks the local cache first, then queries the daemon if available. On miss, builds via ir::build_cfg_for_function() and stores the result.

pub fn dfg_for( &self, file_contents: &str, function_id: &FunctionId, language: Language, ) -> Result<Ref<'_, FunctionId, DfgInfo>>

Get or build the DFG for a function.

Checks the local cache first, then queries the daemon if available. On miss, builds via ir::build_dfg_for_function() and stores the result.

pub fn ssa_for( &self, file_contents: &str, function_id: &FunctionId, language: Language, ) -> Result<Ref<'_, FunctionId, SsaFunction>>

Get or build the SSA for a function.

Checks the local cache first, then queries the daemon if available. On miss, builds via ir::build_ssa_for_function() and stores the result.

pub fn contracts_for( &self, function_id: &FunctionId, version: ContractVersion, build_fn: impl FnOnce() -> Result<ContractsReport>, ) -> Result<Ref<'_, (FunctionId, ContractVersion), ContractsReport>>

Get or insert a contracts report for a (function, version) pair.

Checks the cache first; on miss, calls build_fn to produce the report and stores it.

pub fn call_graph(&self) -> Option<&ProjectCallGraph>

Get the cached call graph, if available.

Checks the local OnceLock cache first. If empty and a daemon is available, queries the daemon for a cached call graph and stores it locally for subsequent accesses.

pub fn set_call_graph( &self, cg: ProjectCallGraph, ) -> Result<(), ProjectCallGraph>

Set the call graph (can only be set once).

pub fn change_impact(&self) -> Option<&ChangeImpactReport>

Get the cached change impact report, if available.

pub fn set_change_impact( &self, report: ChangeImpactReport, ) -> Result<(), Box<ChangeImpactReport>>

Set the change impact report (can only be set once).

Returns Err with the boxed report if the value was already set.