JSON

[cepsdev]

Need file info

[Abhishek2271]

Currently, the JSON generated by the extract_events_transitively_and_group.ceps is as below:

{
  "components":
 [
    { "name":"server", "in_events":["REQ"], "out_events":["RES"]},
    { "name":"client", "in_events":["RES"], "out_events":["REQ"]}
 ]
}

It would be helpful if we could include filename where the statemachine came from. This could be helpful in visualizing the diagram in file level. A sample json could look like this:

{
  "components":
 [
    { "file":"server.ceps", "name":"server", "in_events":["REQ"], "out_events":["RES"]},
    {"file":"client.ceps", "name":"client", "in_events":["RES"], "out_events":["REQ"]}
 ]
}