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

Implement message graph viewer in GNAT Studio #345

Closed
5 tasks done
senier opened this issue Jul 16, 2020 · 0 comments · Fixed by #370
Closed
5 tasks done

Implement message graph viewer in GNAT Studio #345

senier opened this issue Jul 16, 2020 · 0 comments · Fixed by #370
Assignees
@senier
Projects
RecordFlux 0.5

Comments

@senier
Copy link
Member

senier commented Jul 16, 2020 •
edited
Loading

Support showing the message graph through the RecordFlux menu.

Idea: Generate a SVG and then launch an SVG viewer on the resulting file (e.g. by simply using xgd-open)

Challenge 1: We want to open one graph for a particular message under the cursor, while graphs are generated for all messages. Hence we need to infer the message from the cursor location. This would be no problem if we could use RecordFlux in GNAT Studio directly. Unfortunately, GNAT Studio only supports Python 2 while RecordFlux is Python 3.

Challenge 2: Opening external graphical tool does not work (e.g. /usr/bin/eog: symbol lookup error: /lib/x86_64-linux-gnu/libgnome-desktop-3.so.17: undefined symbol: gdk_wayland_display_get_type

  • Generate JSON file with message locations in graph subcommand
  • Add context menu in GNAT Studio to generate and show graph
  • Load JSON into GNAT Studio
  • Implement function to map current cursor location to message identifier
  • Open SVG corresponding to message with xdg-open Embed Gtk image view into GNAT Studio
@senier senier created this issue from a note in RecordFlux 0.5 (To do) Jul 16, 2020
@senier senier self-assigned this Jul 16, 2020
@senier senier moved this from To do to In progress in RecordFlux 0.5 Jul 16, 2020
senier pushed a commit that referenced this issue Jul 17, 2020
Generate locations file in graph subcommand
cbba7dc 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Create graph context menu
204ec1c 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Display graph inside Gtk image view
3606fa1 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Extract message from locations file
b306b24 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Increase padding of graphs
5a3ee87 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Make graph transparent
da758f2 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Fix background color
95f3ba1 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Emit error message when cursor is not on a message
f14e9f0 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Increase space around graph labels
1e7f189 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Generate locations file in graph subcommand
8ad15d3 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Create graph context menu
acf197e 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Display graph inside Gtk image view
0cfe546 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Extract message from locations file
1dbf92c 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Increase padding of graphs
e6ff01a 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Make graph transparent
16e8d01 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Fix background color
c2c123b 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Emit error message when cursor is not on a message
d2e133f 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Increase space around graph labels
e60a681 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Fix background color
2a74f18 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Emit error message when cursor is not on a message
135c54d 
Ref. #345
senier pushed a commit that referenced this issue Jul 17, 2020
Increase space around graph labels
3d48c34 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Generate locations file in graph subcommand
cf5ea54 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Create graph context menu
03ab695 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Display graph inside Gtk image view
79fd3f1 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Extract message from locations file
3905b00 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Increase padding of graphs
188e6f3 
Ref. #345
jklmnn pushed a commit that referenced this issue Jul 17, 2020
@jklmnn
Make graph transparent
d5d5484 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Generate locations file in graph subcommand
5c7cedc 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Create graph context menu
e4cad67 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Display graph inside Gtk image view
ffbbf74 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Extract message from locations file
ab35ad4 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase padding of graphs
66e301b 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Make graph transparent
b8157be 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Fix background color
92fa871 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Emit error message when cursor is not on a message
1a392b5 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase space around graph labels
3b62b48 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Generate locations file in graph subcommand
1f8fcb8 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Create graph context menu
722bd2f 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Display graph inside Gtk image view
76f21a5 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Extract message from locations file
d32cbd7 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase padding of graphs
7953dc2 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Make graph transparent
7d2d0e4 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Fix background color
9c16090 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Emit error message when cursor is not on a message
4857186 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase space around graph labels
154bef5 
Ref. #345
RecordFlux 0.5 automation moved this from Ready to Merged Jul 29, 2020
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Generate locations file in graph subcommand
b9af568 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Create graph context menu
f734e17 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Display graph inside Gtk image view
3fba828 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Extract message from locations file
671a9e4 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase padding of graphs
f411323 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Make graph transparent
1622937 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Fix background color
dee1879 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Emit error message when cursor is not on a message
2fe54a4 
Ref. #345
treiher pushed a commit that referenced this issue Jul 29, 2020
@treiher
Increase space around graph labels
2232dd3 
Ref. #345
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@senier senier

Labels
None yet
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 366, 345: Ping example and message graph viewer in GNAT studio AdaCore/RecordFlux
1 participant
@senier