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 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() -> SourceExtractionSession

Returns the “default value” for a type.