Struct SemanticModel 

pub struct SemanticModel<'a> { /* private fields */ }

Implementations

impl<'a> SemanticModel<'a>

pub fn new( file_id: FileId, db: &'a DbIndex, infer_config: LuaInferCache, emmyrc: Arc<Emmyrc>, root: LuaChunk, ) -> Self

pub fn get_document(&self) -> LuaDocument<'_>

pub fn get_module(&self) -> Option<&ModuleInfo>

pub fn get_document_by_file_id( &self, file_id: FileId, ) -> Option<LuaDocument<'_>>

pub fn get_document_by_uri(&self, uri: &Uri) -> Option<LuaDocument<'_>>

pub fn get_root_by_file_id(&self, file_id: FileId) -> Option<LuaChunk>

pub fn get_file_parse_error(&self) -> Option<Vec<LuaParseError>>

pub fn infer_expr(&self, expr: LuaExpr) -> Result<LuaType, InferFailReason>

pub fn infer_table_should_be(&self, table: LuaTableExpr) -> Option<LuaType>

pub fn get_member_infos( &self, prefix_type: &LuaType, ) -> Option<Vec<LuaMemberInfo>>

pub fn get_member_info_with_key( &self, prefix_type: &LuaType, member_key: LuaMemberKey, find_all: bool, ) -> Option<Vec<LuaMemberInfo>>

pub fn get_member_info_map( &self, prefix_type: &LuaType, ) -> Option<HashMap<LuaMemberKey, Vec<LuaMemberInfo>>>

pub fn type_check( &self, source: &LuaType, compact_type: &LuaType, ) -> TypeCheckResult

pub fn type_check_detail( &self, source: &LuaType, compact_type: &LuaType, ) -> TypeCheckResult

pub fn infer_call_expr_func( &self, call_expr: LuaCallExpr, arg_count: Option<usize>, ) -> Option<Arc<LuaFunctionType>>

pub fn infer_expr_list_types( &self, exprs: &[LuaExpr], var_count: Option<usize>, ) -> Vec<(LuaType, TextRange)>

推断表达式列表类型, 位于最后的表达式会触发多值推断

pub fn infer_bind_value_type(&self, expr: LuaExpr) -> Option<LuaType>

推断值已经绑定的类型(不是推断值的类型). 例如从右值推断左值类型, 从调用参数推断函数参数类型

pub fn get_semantic_info( &self, node_or_token: NodeOrToken<LuaSyntaxNode, LuaSyntaxToken>, ) -> Option<SemanticInfo>

pub fn find_decl( &self, node_or_token: NodeOrToken<LuaSyntaxNode, LuaSyntaxToken>, level: SemanticDeclLevel, ) -> Option<LuaSemanticDeclId>

pub fn is_reference_to( &self, node: LuaSyntaxNode, semantic_decl_id: LuaSemanticDeclId, level: SemanticDeclLevel, ) -> bool

pub fn is_semantic_visible( &self, token: LuaSyntaxToken, property_owner: LuaSemanticDeclId, ) -> bool

pub fn is_sub_type_of( &self, sub_type_ref_id: &LuaTypeDeclId, super_type_ref_id: &LuaTypeDeclId, ) -> bool

pub fn get_emmyrc(&self) -> &Emmyrc

pub fn get_emmyrc_arc(&self) -> Arc<Emmyrc>

pub fn get_root(&self) -> &LuaChunk

pub fn get_db(&self) -> &DbIndex

pub fn get_file_id(&self) -> FileId

pub fn get_cache(&self) -> &RefCell<LuaInferCache>

pub fn get_type(&self, type_owner: LuaTypeOwner) -> LuaType

pub fn get_member_key(&self, index_key: &LuaIndexKey) -> Option<LuaMemberKey>

pub fn infer_member_type( &self, prefix_type: &LuaType, member_key: &LuaMemberKey, ) -> Result<LuaType, InferFailReason>

pub fn get_member_origin_owner( &self, member_id: LuaMemberId, ) -> Option<LuaSemanticDeclId>

pub fn get_index_decl_type(&self, index_expr: LuaIndexExpr) -> Option<LuaType>

Trait Implementations

impl<'a> Debug for SemanticModel<'a>

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

Formats the value using the given formatter.

impl<'a> Send for SemanticModel<'a>

impl<'a> Sync for SemanticModel<'a>