Trait FileSource 

pub trait FileSource {
    // Required methods
    fn read_file(&self, path: &Path) -> Result<String>;
    fn list_leo_files(&self, dir: &Path, exclude: &Path) -> Result<Vec<PathBuf>>;
}

Abstraction over where the compiler reads source files from.

The default implementation DiskFileSource reads from the real filesystem. Alternative implementations enable compilation and formatting from in-memory buffers without requiring disk I/O.

Path contract

Callers must provide consistent paths. Path normalization is the caller’s responsibility.

• exclude in FileSource::list_leo_files is compared by exact path equality, so it must match the listed path exactly.
• InMemoryFileSource::read_file performs exact key lookup.

Ordering

FileSource::list_leo_files must return paths in deterministic, sorted order to ensure reproducible module ordering.

Required Methods

fn read_file(&self, path: &Path) -> Result<String>

Read the contents of a file at the given path.

fn list_leo_files(&self, dir: &Path, exclude: &Path) -> Result<Vec<PathBuf>>

List all .leo files under dir, excluding exclude.

Implementors

impl FileSource for DiskFileSource

impl FileSource for InMemoryFileSource