Skip to content

Add Embedder API for Accessing Imports/Exports of a Module#318

Merged
florianhartung merged 1 commit intomainfrom
dev/add-module-imports-exports-api
Feb 13, 2026
Merged

Add Embedder API for Accessing Imports/Exports of a Module#318
florianhartung merged 1 commit intomainfrom
dev/add-module-imports-exports-api

Conversation

@florianhartung
Copy link
Copy Markdown
Collaborator

@florianhartung florianhartung commented Feb 11, 2026

This PR implements the missing two Embedder API functions module_imports and module_exports.

These functions are called on a ValidationInfo, and return that module's imports and exports, respectively.

This change also makes our linker fully modular, without it requiring direct field access to ValidationInfo linke before.Thus, it should be possible to move the linker to a separate crate now. What do we think about this?

Checks

  • Using Nix
    • Ran nix fmt
    • Ran nix flake check '.?submodules=1'
  • Using Rust tooling
    • Ran cargo fmt
    • Ran cargo test
    • Ran cargo check
    • Ran cargo build
    • Ran cargo doc

@florianhartung florianhartung self-assigned this Feb 11, 2026
@codecov
Copy link
Copy Markdown

codecov bot commented Feb 11, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines Coverage Δ
src/execution/linker.rs 100.00% <100.00%> (ø)
src/lib.rs 100.00% <ø> (ø)
src/validation/mod.rs 95.39% <100.00%> (+0.26%) ⬆️

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Signed-off-by: Florian Hartung <florian.hartung@dlr.de>
@florianhartung florianhartung force-pushed the dev/add-module-imports-exports-api branch from 61facdb to 8515e07 Compare February 11, 2026 14:53
@florianhartung florianhartung changed the title feat: add embedder api for accessing imports/exports of a module Add Embedder API for Accessing Imports/Exports of a Module Feb 11, 2026
@florianhartung florianhartung added this pull request to the merge queue Feb 13, 2026
Merged via the queue into main with commit 303042d Feb 13, 2026
13 checks passed
@florianhartung florianhartung deleted the dev/add-module-imports-exports-api branch February 13, 2026 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants