Struct mamba::check::context::Context

pub struct Context {
    pub classes: HashSet<GenericClass>,
    pub functions: HashSet<GenericFunction>,
    pub fields: HashSet<GenericField>,
}

A context stores all information of all identified types of the current application.

Functions and fields are also stored alongside identified classes such that we can also check usage of top-level fields and functions.

Fields

classes: HashSet<GenericClass>

functions: HashSet<GenericFunction>

fields: HashSet<GenericField>

Implementations

impl Context

pub fn into_with_primitives(self) -> TypeResult<Self>

Loads pre-defined Python primitives into Context.

pub fn into_with_std_lib(self) -> TypeResult<Self>

Loads pre-defined Python standard library into Context.

Trait Implementations

impl Debug for Context

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

Formats the value using the given formatter.

impl Default for Context

fn default() -> Self

Create default Context with only Any type present.

impl LookupClass<&Name, HashSet<Class, RandomState>> for Context

fn class(&self, class_name: &Name, pos: Position) -> TypeResult<HashSet<Class>>

impl LookupClass<&StringName, Class> for Context

fn class(&self, class: &StringName, pos: Position) -> TypeResult<Class>

Look up union of GenericClass and substitute generics to yield set of classes.

Substitutes all generics in the class when found.

impl LookupClass<&TrueName, Class> for Context

fn class(&self, class: &TrueName, pos: Position) -> TypeResult<Class>

impl LookupField<&str, Field> for Context

fn field(&self, field: &str, pos: Position) -> Result<Field, Vec<TypeErr>>

Look up a field and substitutes generics to yield a Field.

impl LookupFunction<&StringName, Function> for Context

fn function(&self, function: &StringName, pos: Position) -> TypeResult<Function>

Look up a function and substitutes generics to yield a Function.

If function does not exist, treat function as constructor and see if there exists a class with the same true_name.

impl TryFrom<&[AST]> for Context

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

fn try_from(files: &[AST]) -> Result<Self, Self::Error>

Performs the conversion.