Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

类型检查器

负责执行 HXO 文件的类型检查

Implementations

impl TypeChecker

pub fn new() -> Self

创建新的类型检查器实例

pub fn parse_tsconfig(&mut self, path: &PathBuf) -> NargoResult<()>

解析 tsconfig.json 配置文件

参数

• path - 配置文件路径

返回

解析结果

pub fn load_tsconfig(&mut self, dir: &PathBuf) -> NargoResult<()>

从项目目录加载 tsconfig.json

参数

• dir - 项目目录

返回

加载结果

pub fn check_file(&mut self, file: &PathBuf, source: &str) -> NargoResult<()>

类型检查单个文件

参数

• file - 文件路径
• source - 文件内容

返回

检查结果，包含错误信息

pub async fn check_project( &mut self, input: PathBuf, ) -> NargoResult<TypeCheckResult>

类型检查整个项目

参数

• input - 项目路径

返回

类型检查结果

impl TypeChecker

pub async fn incremental_check( &mut self, files: Vec<PathBuf>, ) -> NargoResult<TypeCheckResult>

增量类型检查

参数

• files - 需要检查的文件列表

返回

类型检查结果

Trait Implementations

impl TypeScriptStmtHandler for TypeChecker

fn handle_typescript_stmt(&mut self, stmt_str: &str)

处理 TypeScript 特有的语句

fn handle_interface_def( &mut self, name: String, members: HashMap<String, Type>, extends: Vec<String>, )

处理接口定义

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

处理类型别名

fn handle_generic_type(&self, name: String, type_args: Vec<Type>) -> Type

处理泛型类型

fn handle_union_type(&self, types: Vec<Type>) -> Type

处理联合类型

fn handle_intersection_type(&self, types: Vec<Type>) -> Type

处理交叉类型

fn handle_conditional_type( &self, check_type: Type, extends_type: Type, true_type: Type, false_type: Type, ) -> Type

处理条件类型

fn handle_mapped_type( &self, key_var: String, source_type: Type, mapped_type: Type, ) -> Type

处理映射类型

fn handle_index_access_type(&self, object_type: Type, index_type: Type) -> Type

处理索引访问类型

fn handle_keyof_type(&self, target_type: Type) -> Type

处理 KeyOf 类型

fn handle_literal_type(&self, literal: String) -> Type

处理字面量类型

fn handle_this_type(&self, this_type: Type) -> Type

处理 this 类型

fn handle_omit_this_parameter_type(&self, target_type: Type) -> Type

处理省略 this 参数类型

fn handle_this_parameter_type(&self, target_type: Type) -> Type

处理 this 参数类型

fn handle_interface_stmt(&mut self, stmt_str: &str)

处理接口定义语句

fn parse_interface_members(&self, members_str: &str) -> HashMap<String, Type>

解析接口成员

fn handle_type_alias_stmt(&mut self, stmt_str: &str)

处理类型别名语句

fn parse_type(&self, type_str: &str) -> Type

解析类型字符串