Struct Context 

pub struct Context {
    pub typing_context: VarType,
    pub subtypes: Graph<Type>,
    /* private fields */
}

Fields

typing_context: VarType

subtypes: Graph<Type>

Implementations

impl Context

pub fn new(types: Vec<(Var, Type)>) -> Context

pub fn empty() -> Self

pub fn set_config(self, config: Config) -> Self

pub fn set_as_module_context(self) -> Context

pub fn with_subtypes(self, subtypes: Graph<Type>) -> Self

Retourne un nouveau Context avec le Graph de sous-typage mis à jour

pub fn get_members(&self) -> Vec<(Var, Type)>

pub fn print_hierarchy(&self)

pub fn variable_exist(&self, var: Var) -> Option<Var>

pub fn get_type_from_variable(&self, var: &Var) -> Result<Type, String>

pub fn get_types_from_name(&self, name: &str) -> Vec<Type>

pub fn get_type_from_aliases(&self, var: &Var) -> Option<Type>

pub fn get_matching_alias_signature( &self, var: &Var, ) -> Option<(Type, Vec<Type>)>

pub fn variables(&self) -> Rev<IntoIter<&(Var, Type)>>

pub fn aliases(&self) -> Rev<IntoIter<&(Var, Type)>>

pub fn push_var_type(self, lang: Var, typ: Type, context: &Context) -> Context

pub fn replace_or_push_var_type( self, lang: Var, typ: Type, context: &Context, ) -> Context

pub fn remove_vars(self, vars: &[Var]) -> Context

pub fn push_types(self, types: &[Type]) -> Self

pub fn get_type_from_existing_variable(&self, var: Var) -> Type

pub fn get_true_variable(&self, var: &Var) -> Var

pub fn is_an_untyped_function(&self, name: &str) -> bool

pub fn get_class(&self, t: &Type) -> String

pub fn get_class_unquoted(&self, t: &Type) -> String

pub fn module_aliases(&self) -> Vec<(Var, Type)>

pub fn get_type_anotations(&self) -> String

pub fn get_type_anotation(&self, t: &Type) -> String

pub fn get_type_anotation_no_parentheses(&self, t: &Type) -> String

pub fn get_classes(&self, t: &Type) -> Option<String>

pub fn get_functions(&self, var1: Var) -> Vec<(Var, Type)>

pub fn get_all_generic_functions(&self) -> Vec<(Var, Type)>

pub fn get_first_matching_function(&self, var1: Var) -> Type

pub fn get_matching_typed_functions(&self, var1: Var) -> Vec<Type>

pub fn get_matching_untyped_functions( &self, var: Var, ) -> Result<Vec<Type>, String>

pub fn get_matching_functions(&self, var: Var) -> Result<Vec<Type>, String>

pub fn get_type_from_class(&self, class: &str) -> Type

pub fn add_arg_types(&self, params: &[ArgumentType]) -> Context

pub fn set_environment(&self, e: Environment) -> Context

pub fn display_typing_context(&self) -> String

pub fn error(&self, msg: String) -> String

pub fn push_alias(self, alias_name: String, typ: Type) -> Self

pub fn push_alias2(self, alias_var: Var, typ: Type) -> Self

pub fn in_a_project(&self) -> bool

pub fn get_unification_map( &self, entered_types: &[Type], param_types: &[Type], ) -> Option<UnificationMap>

pub fn get_related_functions( &self, typ: &Type, functions: &VarFunction, ) -> Vec<Lang>

pub fn get_functions_from_type(&self, typ: &Type) -> Vec<(Var, Type)>

pub fn get_functions_from_name(&self, name: &str) -> Vec<(Var, Type)>

pub fn get_type_definition(&self, _functions: &VarFunction) -> String

pub fn update_variable(self, var: Var) -> Self

pub fn set_target_language(self, language: TargetLanguage) -> Self

pub fn set_default_var_types(self) -> Self

pub fn get_target_language(&self) -> TargetLanguage

pub fn set_new_aliase_signature(self, alias: &str, related_type: Type) -> Self

pub fn extract_module_as_vartype(&self, module_name: &str) -> Self

pub fn get_vartype(&self) -> VarType

pub fn get_environment(&self) -> Environment

pub fn extend_typing_context(self, var_types: VarType) -> Self

Trait Implementations

impl Add for Context

type Output = Context

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl Clone for Context

fn clone(&self) -> Context

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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

Returns the “default value” for a type.

impl From<Context> for Translatable

fn from(val: Context) -> Self

Converts to this type from the input type.

impl From<Context> for Typer

fn from(val: Context) -> Self

Converts to this type from the input type.

impl From<Vec<(Lang, Type)>> for Context

fn from(val: Vec<(Lang, Type)>) -> Self

Converts to this type from the input type.

impl PartialEq for Context

fn eq(&self, other: &Context) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Context