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.

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.