NAME

       pj_gantt - using R+ggplot2, it plots a space/time view and outputs as a PDF file.

SYNOPSIS

       pj_gantt <FILE_states.csv> <state_type> [START_TIME] [END_TIME]

DESCRIPTION

       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/

REPORTING BUGS

           Report pj_gantt bugs to <http://github.com/schnorr/pajeng/issues>

COPYRIGHT

       Copyright (C) 2012-2016 Lucas M. Schnorr. Free use of this software is granted under the
       terms of the GNU General Public License (GPL).

SEE ALSO

       pj_dump(1)

                                            03/23/2020                                PJ_GANTT(1)