Struct WebIdlTypeChecker 

pub struct WebIdlTypeChecker {
    pub webidl_result: WebIdlResult,
    pub error_collector: TypeErrorCollector,
    pub type_inference: TypeInference,
}

WebIDL 类型检查器

用于检查 TypeScript 类型与 WebIDL 类型之间的兼容性。

Fields

webidl_result: WebIdlResult

WebIDL 解析结果

error_collector: TypeErrorCollector

类型错误收集器

type_inference: TypeInference

类型推断器

Implementations

impl WebIdlTypeChecker

pub fn new(webidl_result: WebIdlResult) -> Self

创建新的 WebIDL 类型检查器

参数

• webidl_result - WebIDL 解析结果

返回值

返回新的 WebIDL 类型检查器实例

pub fn check_type_compatibility_detailed( &self, ts_type: &str, webidl_type: &str, ) -> TypeCompatibilityResult

检查 TypeScript 类型是否与 WebIDL 类型兼容

参数

• ts_type - TypeScript 类型名称
• webidl_type - WebIDL 类型名称

返回值

返回类型兼容性结果

pub fn check_function_type_compatibility( &self, ts_type: &str, webidl_type: &str, ) -> TypeCompatibilityResult

检查函数类型兼容性

参数

• ts_type - TypeScript 函数类型
• webidl_type - WebIDL 函数类型

返回值

返回类型兼容性结果

pub fn check_object_type_compatibility( &self, ts_type: &str, webidl_type: &str, ) -> TypeCompatibilityResult

检查对象类型兼容性（结构化类型）

参数

• ts_type - TypeScript 对象类型
• webidl_type - WebIDL 字典类型

返回值

返回类型兼容性结果

pub fn check_array_type_compatibility( &self, ts_type: &str, webidl_type: &str, ) -> TypeCompatibilityResult

检查数组类型兼容性

参数

• ts_type - TypeScript 数组类型
• webidl_type - WebIDL 序列类型

返回值

返回类型兼容性结果

pub fn check_type_compatibility(&self, ts_type: &str, webidl_type: &str) -> bool

检查 TypeScript 类型是否与 WebIDL 类型兼容

参数

• ts_type - TypeScript 类型名称
• webidl_type - WebIDL 类型名称

返回值

如果类型兼容返回 true，否则返回 false

pub fn validate_webidl_types(&self) -> bool

验证 WebIDL 类型定义的完整性

返回值

如果类型定义完整返回 true，否则返回 false

pub fn validate_and_collect_errors(&mut self) -> &TypeErrorCollector

验证并收集错误

返回值

返回可变的错误收集器引用