Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

Implementations

impl TypeChecker

pub fn run<'a>( &'a mut self, python_source: &SourceFile<'_>, stubs_file: Option<&SourceFile<'_>>, config: TypeCheckingConfig, ) -> Result<Option<TypeCheckingDiagnostics<'a>>, String>

Type check some python source code, checking if it’s valid to run with monty.

Arguments

• python_source - The python source code to type check.
• stubs_file - Optional stubs file to use for type checking.
• config - Configuration for the type checking diagnostics.

Returns

• Ok(None) - If there are no typing errors.
• Ok(Some(string)) - If there are typing errors.
• Err(String) - If there was an unexpected/internal error during type checking.

pub fn reset(&mut self) -> Result<(), String>

Remove every file written since the last reset and sync the filesystem changes, so the checker can be reused for unrelated code.

Security-critical: without this a recycled worker would let one session’s modules and stubs resolve while checking the next session’s code. Each TouchedRootFile::cleanup removes its own file and walks its ancestor chain up to SRC_ROOT, removing any directory that has become empty. Shared parent directories collapse naturally once the last file inside them is gone. We sync SRC_ROOT once at the end so the next session cannot observe the previous root directory listing.

Trait Implementations

impl Debug for TypeChecker

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeChecker

fn default() -> TypeChecker

Returns the “default value” for a type.