At the moment FILE * values are rendered as invalid pointers by the graph layout system. It would be nice to show the file and have the contents readable, but it will be difficult to do this correctly (if other processes are interacting with the file). For now, we should just show a file placeholder with the path used to open the file. This is going to require a bit of work, because the stream information isn't saved into the trace yet:
1) Save stream information into the trace.
2) Restore stream information into the state.
3) Make stream information accessible from seec::cm state.
4) Visualize FILE * values correctly using the stream information.
At the moment FILE * values are rendered as invalid pointers by the graph layout system. It would be nice to show the file and have the contents readable, but it will be difficult to do this correctly (if other processes are interacting with the file). For now, we should just show a file placeholder with the path used to open the file. This is going to require a bit of work, because the stream information isn't saved into the trace yet: 1) Save stream information into the trace. 2) Restore stream information into the state. 3) Make stream information accessible from seec::cm state. 4) Visualize FILE * values correctly using the stream information.