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.

Sign up for GitHub

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

Jump to bottom

VS Code command to dump diagnostics into a JSON file #927

Closed
lars-reimann opened this issue Feb 27, 2024 · 1 comment · Fixed by #928
Closed

VS Code command to dump diagnostics into a JSON file #927

lars-reimann opened this issue Feb 27, 2024 · 1 comment · Fixed by #928
Assignees
@lars-reimann
Labels
enhancement 💡 New feature or request released Included in a release
Milestone
v0.9.0

Comments

@lars-reimann
Copy link
Member

Is your feature request related to a problem?

For the upcoming evaluation, we need a fast way to store the content of the open file and the diagnostics. This later allows us to determine the impact of the static checks.

Desired solution

Add a VS Code command for this.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response
@lars-reimann lars-reimann added the enhancement 💡 New feature or request label Feb 27, 2024
@lars-reimann lars-reimann added this to the v0.9.0 milestone Feb 27, 2024
@lars-reimann lars-reimann self-assigned this Feb 27, 2024
@lars-reimann lars-reimann added this to DSL Feb 27, 2024
@github-project-automation github-project-automation bot moved this to Backlog in DSL Feb 27, 2024
@lars-reimann lars-reimann moved this from Backlog to In Progress in DSL Feb 28, 2024
@lars-reimann lars-reimann linked a pull request Feb 28, 2024 that will close this issue
feat: VS Code command to dump diagnostics into a JSON file #928
Merged
@lars-reimann lars-reimann mentioned this issue Feb 28, 2024
Merged
lars-reimann added a commit that referenced this issue Feb 28, 2024
@lars-reimann
feat: VS Code command to dump diagnostics into a JSON file (#928)
34fa884 
Closes #927

### Summary of Changes

Add two new commands:
* Dump Diagnostics to JSON
* Open Diagnostics Dumps in New VS Code Window (to quickly discover
them)
@github-project-automation github-project-automation bot moved this from In Progress to ✔️ Done in DSL Feb 28, 2024
lars-reimann pushed a commit that referenced this issue Apr 1, 2024
@semantic-release-bot
chore(release): 0.9.0 [skip ci]
8c32794 
## [0.9.0](v0.8.0...v0.9.0) (2024-04-01)

### Features

* `unknown` default value of stub parameters ([#952](#952)) ([78103e3](78103e3)), closes [#951](#951)
* `unknown` type ([#973](#973)) ([4638249](4638249)), closes [#967](#967)
* add constraints to stubs ([#953](#953)) ([dc5bf3b](dc5bf3b))
* allow any widening/narrowing type cast ([#948](#948)) ([ce01628](ce01628))
* checking of parameter bounds ([#925](#925)) ([610604f](610604f)), closes [#18](#18)
* Markdown documentation generator ([#963](#963)) ([77d04de](77d04de)), closes [#663](#663)
* stubs for `safe-ds` library ([#950](#950)) ([155b1c0](155b1c0)), closes [#926](#926)
* VS Code command to dump diagnostics into a JSON file ([#928](#928)) ([34fa884](34fa884)), closes [#927](#927)

### Bug Fixes

* do not memoize calls containing lambdas calling segments ([#944](#944)) ([114fee6](114fee6))
* language server crash on startup ([#947](#947)) ([9923074](9923074)), closes [#945](#945)
* type checking of two union types ([#949](#949)) ([21fc485](21fc485))
@lars-reimann
Copy link
Member Author

🎉 This issue has been resolved in version 0.9.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lars-reimann lars-reimann

Labels
enhancement 💡 New feature or request released Included in a release
Projects
DSL
Archived in project
Milestone
v0.9.0
Development

Successfully merging a pull request may close this issue.

feat: VS Code command to dump diagnostics into a JSON file Safe-DS/DSL
1 participant
@lars-reimann