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

Diagram support for watchdogs #2356

Merged
merged 5 commits into from
Jul 12, 2024
Merged

Diagram support for watchdogs #2356

merged 5 commits into from
Jul 12, 2024

Conversation

edwardalee
Copy link
Collaborator

@edwardalee edwardalee commented Jul 8, 2024

This PR adds diagram support for watchdogs. They are shown as squares with a "W".

@edwardalee edwardalee added the enhancement Enhancement of existing feature label Jul 8, 2024
@edwardalee edwardalee changed the title First step towards diagram support for watchdogs Diagram support for watchdogs Jul 8, 2024
@edwardalee edwardalee marked this pull request as ready for review July 8, 2024 22:08
@edwardalee edwardalee requested a review from soerendomroes July 8, 2024 22:08
Copy link
Collaborator

@soerendomroes soerendomroes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Despite the minor request below, this looks like a good addition. I also tag @a-sr here (even though he does not have time) since he actually knows the diagram synthesis.

If the visualization looks pleasing and does what it is supposed to do, I would like to see this merged.

@edwardalee edwardalee requested a review from soerendomroes July 11, 2024 12:02
@edwardalee edwardalee enabled auto-merge July 11, 2024 12:02
Copy link
Member

@lhstrh lhstrh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this PR include an update to reactor-c?

@soerendomroes
Copy link
Collaborator

The watchdog seems to be missing here to be able to get its attributes.

@edwardalee edwardalee added this pull request to the merge queue Jul 12, 2024
Merged via the queue into master with commit 862e8de Jul 12, 2024
26 checks passed
@edwardalee edwardalee deleted the watchdog-diagrams branch July 12, 2024 01:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Enhancement of existing feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants