Struct ModuleResolver 

pub struct ModuleResolver { /* private fields */ }

Resolves and loads modules

Implementations

impl ModuleResolver

pub fn new(search_paths: Vec<PathBuf>) -> Self

Create a new resolver with given search paths

pub fn find_module_file( &self, base_dir: &Path, module_path: &[String], ) -> Option<PathBuf>

Find the file for a module path

pub fn extract_exports(program: &Program) -> (HashSet<String>, HashSet<String>)

Extract exports from a parsed program Returns (predicate exports, function exports)

pub fn load_module( &mut self, base_dir: &Path, module_path: &[String], ) -> Result<&LoadedModule, ModuleError>

Load a module from a path

pub fn check_import( &self, module_path: &[String], predicate: &str, ) -> Result<(), ModuleError>

Check if a predicate can be imported from a module

pub fn validate_imports( &self, program: &Program, ) -> Result<(HashMap<String, Vec<String>>, HashMap<String, Vec<String>>), ModuleError>

Validate all imports in a program Returns (predicate imports, function imports) mapped to their source modules

pub fn get_module(&self, module_path: &[String]) -> Option<&LoadedModule>

Get a loaded module by path

pub fn is_loaded(&self, module_path: &str) -> bool

Check if a module is loaded

pub fn loaded_modules(&self) -> Vec<&str>

Get all loaded module paths (for testing)

pub fn merge_imports(&self, program: Program) -> Result<Program, ModuleError>

Merge all imported modules into a program. Returns a new program with all imports resolved and merged.

Arguments

• program - The main program with imports to resolve

Returns

The program with all imports merged in