search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104 stars 6 forks source link

GNAT Studio plugin is unable to display some graphs #1169

Closed treiher closed 1 year ago

treiher commented 2 years ago

This is caused by missing entries in the generated locations.json.

Example

% rflx graph -d generated specs/ipv4.rflx
Parsing specs/ipv4.rflx
Processing IPv4
Creating generated/IPv4_Option.svg
Creating generated/IPv4_Packet.svg
% cat generated/locations.json 
{"specs/ipv4.rflx": {"IPv4_Packet": {"start": {"line": 39, "column": 9}, "end": {"line": 62, "column": 18}}}}

The location for IPv4_Option is missing.

treiher commented 1 year ago

The issue is fixed in RecordFlux 0.10.0.