Struct loa::semantics::Types

pub struct Types { /* fields omitted */ }

Methods

impl Types

pub fn new(navigator: Navigator) -> Types

pub fn attempt_type_coercion(&self, id: Id, to: &Type) -> Option<Type>

pub fn coerced_type(&self, unresolved: &Type) -> Option<Type>

pub fn get_type_of_expression(&self, expression: &Node) -> Type

pub fn get_types_of_type_parameter_list(&self, list: &Node) -> Option<Vec<Type>>

pub fn get_expression_type_of_declaration(&self, declaration: &Node) -> Type

pub fn get_type_of_declaration(&self, declaration: &Node) -> Type

pub fn get_type_of_type_expression(&self, type_expression: &Node) -> Type

pub fn get_type_of_method_body(&self, method_body: &Node) -> Type

pub fn get_type_of_return_type(&self, return_type: &Node) -> Type

pub fn get_type_of_parameter_pattern(&self, parameter_pattern: &Node) -> Type

pub fn get_behaviours_from_stdlib_class(&self, qn: &str) -> Vec<Behaviour>

pub fn get_static_behaviours_from_class(
    &self,
    class: &Node,
    class_object_type: &Type,
    class_type: &Type
) -> Option<Vec<Behaviour>>

pub fn get_behaviours(&self, type_: &Type) -> Vec<Behaviour>

pub fn get_behaviours_from_class(
    &self,
    class: &Node,
    args: &Vec<Type>
) -> Option<Vec<Behaviour>>

pub fn get_behaviour_from_method(
    &self,
    receiver_type: Type,
    method: Node
) -> Option<Behaviour>

pub fn get_behaviour_from_message_send(
    &self,
    message_send: &Node
) -> Option<Behaviour>

pub fn get_type_of_behaviour(&self, behaviour: &Behaviour) -> Type

pub fn get_type_of_variable(&self, variable: &Node) -> Type

pub fn get_nearest_common_ancestor(
    &self,
    navigator: &Navigator,
    candidates: Vec<Type>
) -> Type

pub fn get_super_types(&self, class: &Node) -> Vec<Type>

Trait Implementations

impl Clone for Types

fn clone(&self) -> Types

Returns a copy of the value.

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

Performs copy-assignment from source.