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, or the script path names the stubs file.

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

run with host module stubs and committed imports. The prelude precedes the stubs’ star import so later bindings shadow imports as at runtime. Diagnostics use the snippet’s original line numbers.

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

Returns the “default value” for a type.