Skip to main content

ScopeStore

Struct ScopeStore 

Source
pub struct ScopeStore { /* private fields */ }
Expand description

Store for all scopes; root is at index 0.

Implementations§

Source§

impl ScopeStore

Source

pub fn new() -> Self

Source

pub fn root_id(&self) -> ScopeId

Source

pub fn get(&self, id: ScopeId) -> Option<&Scope>

Source

pub fn get_mut(&mut self, id: ScopeId) -> Option<&mut Scope>

Source

pub fn push(&mut self, kind: ScopeKind, parent: ScopeId) -> ScopeId

Source

pub fn add_root_global(&mut self, name: String)

Add a global name to the root (main) scope. Used when seeding from signature files.

Source

pub fn add_root_global_with_type(&mut self, name: String, ty: Type)

Add a global name with type to the root scope. Used when seeding from .sig.

Source

pub fn add_root_function( &mut self, name: String, min_arity: usize, max_arity: usize, span: Span, )

Add a function to the root (main) scope. Used when seeding from signature files. Pass Span::new(0, 0) when no source span is available. Optional params (type?) give min_arity < max_arity.

Source

pub fn add_root_function_with_types( &mut self, name: String, min_arity: usize, max_arity: usize, span: Span, param_types: Option<Vec<Type>>, return_type: Option<Type>, )

Add a function with param/return types to the root scope. Used when seeding from .sig.

Source

pub fn set_root_function_meta(&mut self, name: String, meta: SigMeta)

Set doc and complexity for a root function (from .sig /// and @complexity).

Source

pub fn set_root_global_meta(&mut self, name: String, meta: SigMeta)

Set doc and complexity for a root global (from .sig).

Source

pub fn get_root_function_meta(&self, name: &str) -> Option<&SigMeta>

Get doc and complexity for a root function, if any.

Source

pub fn get_root_global_meta(&self, name: &str) -> Option<&SigMeta>

Get doc and complexity for a root global, if any.

Source

pub fn add_root_class(&mut self, name: String, span: Span)

Add a class name to the root (main) scope. Used for built-ins (e.g. Class). Pass Span::new(0, 0) when no source span is available.

Source

pub fn add_class_field( &mut self, class_name: &str, field_name: String, ty: Type, visibility: MemberVisibility, )

Register a class field for member type lookup (this.field_name). Visibility defaults to Public.

Source

pub fn add_class_method( &mut self, class_name: &str, method_name: String, param_types: Vec<Type>, return_type: Type, visibility: MemberVisibility, )

Register a class method for member type lookup (this.method_name returns function type). Visibility defaults to Public.

Source

pub fn add_class_static_field( &mut self, class_name: &str, field_name: String, ty: Type, visibility: MemberVisibility, )

Register a static field (ClassName.staticField).

Source

pub fn add_class_static_method( &mut self, class_name: &str, method_name: String, param_types: Vec<Type>, return_type: Type, visibility: MemberVisibility, )

Register a static method (ClassName.staticMethod).

Source

pub fn get_class_member_type( &self, class_name: &str, member_name: &str, ) -> Option<Type>

Type of a member (field or method) on a class instance. Returns None if unknown.

Source

pub fn get_class_static_member_type( &self, class_name: &str, member_name: &str, ) -> Option<Type>

Type of a static member (ClassName.staticField or ClassName.staticMethod). Returns None if unknown.

Source

pub fn get_class_members(&self, class_name: &str) -> Option<&ClassMembers>

Class members (instance and static fields/methods) for completion and member access.

Source

pub fn get_function_type_as_value( &self, current: ScopeId, name: &str, ) -> Option<Type>

Get the type of a function when used as a value, searching from current scope up to root.

Source

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

True if the root (main) scope has a class with this name (for fallback type inference).

Source

pub fn resolve(&self, current: ScopeId, name: &str) -> Option<ResolvedSymbol>

Resolve a name: look in current scope and parents; also check main’s functions and classes.

Trait Implementations§

Source§

impl Debug for ScopeStore

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for ScopeStore

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.