Struct WasmProgram 

pub struct WasmProgram { /* private fields */ }

Multi-file TypeScript program for cross-file type checking.

This struct provides an API for compiling multiple TypeScript files together, enabling proper module resolution and cross-file type checking.

Example (JavaScript)

const program = new WasmProgram();
program.addFile("a.ts", "export const x = 1;");
program.addFile("b.ts", "import { x } from './a'; const y = x + 1;");
const result = program.checkAll();
console.log(result);

Implementations

impl WasmProgram

pub fn new() -> Self

Create a new empty program.

pub fn add_file(&mut self, file_name: String, source_text: String)

Add a file to the program.

Files are accumulated and compiled together when checkAll is called. The file_name should be a relative path like “src/a.ts”.

For TypeScript library files (lib.d.ts, lib.dom.d.ts, etc.), use addLibFile instead.

pub fn add_lib_file(&mut self, file_name: String, source_text: String)

Add a TypeScript library file (lib.d.ts, lib.dom.d.ts, etc.) to the program.

Lib files are used for global symbol resolution and are merged into the symbol table before user files are processed.

Use this method explicitly instead of relying on automatic file name detection. This makes the API behavior predictable and explicit.

Example (JavaScript)

const program = new WasmProgram();
program.addLibFile("lib.d.ts", libContent);
program.addFile("src/a.ts", userCode);

pub fn set_compiler_options( &mut self, options_json: &str, ) -> Result<(), JsValue>

Set compiler options from JSON.

Arguments

• options_json - JSON string containing compiler options

pub fn get_file_count(&self) -> usize

Get the number of files in the program.

pub fn clear(&mut self)

Clear all files and reset the program state.

pub fn check_all(&mut self) -> String

Compile all files and return diagnostics as JSON.

This performs:

1. Load lib files for global symbol resolution
2. Parallel parsing of all files
3. Parallel binding of all files with lib symbols merged
4. Symbol merging (sequential)
5. Parallel type checking

Returns a JSON object with diagnostics per file.

pub fn get_diagnostic_codes(&mut self) -> String

Get diagnostic codes for all files (for conformance testing).

Returns a JSON object mapping file names to arrays of error codes.

pub fn get_all_diagnostic_codes(&mut self) -> Vec<u32>

Get all diagnostic codes as a flat array (for simple conformance comparison).

This combines all parse and check diagnostics from all files into a single array of error codes, which can be compared against tsc output.

Trait Implementations

impl Default for WasmProgram

fn default() -> Self

Returns the “default value” for a type.

impl From<WasmProgram> for JsValue

fn from(value: WasmProgram) -> Self

Converts to this type from the input type.

impl FromWasmAbi for WasmProgram

type Abi = u32

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for WasmProgram

type Abi = u32

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for WasmProgram

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<WasmProgram>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for WasmProgram

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for WasmProgram

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for WasmProgram

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<WasmProgram>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for WasmProgram

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<WasmProgram>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for WasmProgram

fn try_from_js_value(value: JsValue) -> Result<Self, JsValue>

Performs the conversion.

fn try_from_js_value_ref(value: &JsValue) -> Option<Self>

Performs the conversion.

impl VectorFromWasmAbi for WasmProgram

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[WasmProgram]>

impl VectorIntoWasmAbi for WasmProgram

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[WasmProgram]>) -> Self::Abi

impl WasmDescribe for WasmProgram

fn describe()

impl WasmDescribeVector for WasmProgram

fn describe_vector()

impl SupportsConstructor for WasmProgram

impl SupportsInstanceProperty for WasmProgram

impl SupportsStaticProperty for WasmProgram