Struct SourceExtractionSession 

pub struct SourceExtractionSession { /* private fields */ }

Reusable state for extracting multiple definition sources in one analysis run.

Reusing a session shares bounded parser and module-resolution work across files. Create one session per analysis root rather than sharing it between unrelated repositories.

Implementations

impl SourceExtractionSession

pub fn with_dependencies(self, dependencies: &[SourceDependency]) -> Self

Supplies resolved loading edges from discovery without executing dependencies.

pub fn finalize( &mut self, files: &[SourceFile], definitions: &mut Vec<StepDefinition>, ) -> Result<SourceFinalization>

Finalizes all selected frontends after extraction and applies cross-file trust effects.

Call this before analyzing accumulated definitions. A later source can invalidate an earlier registration; individual extraction results are provisional until this operation.

pub fn with_dependency_gaps(self, gaps: &[DependencyGap]) -> Self

Supplies loading calls that discovery refused to follow, so their diagnostics name the cause.

pub fn new(root: &Path) -> Self

Creates an extraction session whose imported modules must remain inside root.

pub fn with_registrations(root: &Path, registrations: &[String]) -> Self

Creates a session that also treats registrations as step-registration function names.

Use this for project-declared wrappers that static inference cannot recognize, such as a helper that builds its registration call dynamically.

pub fn with_options( root: &Path, registrations: &[String], assertion_modules: &[String], ) -> Self

Creates a session that also trusts assertion_modules as assertion-factory providers.

Use this for a local module that re-exports expect from a supported assertion package, or for a runner this build does not recognize by name. Without it such a factory is untrusted and its expected values are not treated as behaviour.

Trait Implementations

impl Default for SourceExtractionSession

fn default() -> Self

Returns the “default value” for a type.