Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a parametric .msgb graph builder diagnostic CLI tool #981

Closed
AntonyBlakey opened this issue May 23, 2024 · 0 comments · Fixed by #983
Closed

Add a parametric .msgb graph builder diagnostic CLI tool #981

AntonyBlakey opened this issue May 23, 2024 · 0 comments · Fixed by #983
Assignees

Comments

@AntonyBlakey
Copy link
Contributor

Built from the CLI tool included in the not_bin directory in the graph builder crate

github-merge-queue bot pushed a commit that referenced this issue Jun 10, 2024
… the runtime library (#983)

Closes #981 

1. Exposes the `metaslang_graph_builder` functionality in the generated
languages runtime, parameterized with the language `KindTypes`.
2. Exercise the graph builder via a test in `testlang`.
3. Extracts the CLI command from `slang_solidity` into the runtime crate
to be able to easily reuse it from other generated languages.
4. Adds a new `build-graph` command to the common CLI commands to run a
source file through an arbitrary `.msgb` file and build a graph.
5. Expose the language's root non-terminal kind in the public API.

Items 1, 2 and 4 are only available when building with the private
feature flag `__graph_builder`.
@github-project-automation github-project-automation bot moved this from ⏳ Todo to ✅ Done in Slang - 2024 H1 Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: ✅ Done
1 participant