search

petertsehsun / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Output JSON #349

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Add the ability to run pynoptic and output a JSON object of the final model / 
partition graph for use in the in-progress pynoptic frontend.  Add a flag to do 
this.  It would be best to add a new class in the package synoptic.model.export 
for this purpose which might be parameterized in the future if need be.

The structure of the JSON object should be similar to the following:
1. log: one object per trace containing one object per event
2. partitions: one object per partition containing one object per eventNode and 
the eventType
3. invariants: one object per invariant

Original issue reported on code.google.com by tonyohm...@gmail.com on 30 Oct 2013 at 2:35

GoogleCodeExporter commented 9 years ago 
Merged into default with revision 03d2f370e4dd.

Original comment by tonyohm...@gmail.com on 6 Nov 2013 at 5:47