pj_gantt1
Using r+ggplot2, it plots a space/time view and outputs as a pdf file.
Usage
pj_gantt <FILE_states.csv>
<state_type>
[START_TIME]
[END_TIME]
Overview
Forthcoming.
Options
pj_gantt has two obligatory parameters:
<FILE_states.csv> indicates the name of the CSV file generated by pj_dump containing only lines starting with "State". You can very easily obtain such file by issuing:
pj_dump <your_trace.paje> | grep ^State > <your_trace_states.csv>
<state_type> is the name of the Paje state type that will be considered to draw the space/time view.
And two optional parameters:
[START_TIME] the start time to be considered when drawing.
[END_TIME] the end time to be considered when drawing.
Input description
The pj_gantt(1) command expects one input file that follows the CSV specification followed by pj_dump. See its manpage for details.
Output description
Outputs a PDF file with the gantt-chart of the
Resources
Description of the pj_dump CSV in the pj_dump manpage.
Description of the Paje trace file: https://github.com/schnorr/pajeng/blob/master/doc/lang-paje/lang-paje.pdf
Main web site: http://github.com/schnorr/pajeng/
Releases
3 releases since Debian 11 (Bullseye); the text changed 2 times.