Header file for common utilities used in converting Lingua Franca trace files into other formats.
More...
|
| char * | get_object_description (void *reactor, int *index) |
| | Get the description of the object pointed to by the specified pointer.
|
| char * | get_trigger_name (void *trigger, int *index) |
| | Get the trigger name for the specified pointer.
|
| FILE * | open_file (const char *path, const char *mode) |
| | Open the specified file for reading or writing.
|
| void | print_table () |
| | Print the object to description table.
|
| size_t | read_header () |
| | Read header information.
|
| int | read_trace () |
| | Read the trace from the trace_file and put it in the trace global variable.
|
| char * | root_name (const char *path) |
| | Return the root file name from the given path.
|
| void | usage () |
| | Print a usage message.
|
Header file for common utilities used in converting Lingua Franca trace files into other formats.
- Author
- Edward A. Lee