#! /bin/bash -eu
# Last edited on 2026-03-03 14:31:31 by stolfi

tr_dir="st_files"
wd_dir="st_words"

summ_file="${wd_dir}/summary.txt"
rm -f ${summ_file}
fmt="%-2s %-3s %-8s  %6s %6s %6s  %6s\n"
printf "${fmt}" "#0" "sec" "type" "lines" "JS" "RZ" "words" > ${summ_file}
printf "${fmt}" "#1" "---" "------" "------" "------" "------" "------" >> ${summ_file}

sts=( $( cd ${tr_dir}/ && ls *.ivt | sed -e 's:[.]ivt::g' ) )
for st in ${sts[@]}; do
  tr_file="${tr_dir}/${st}.ivt"
  wd_file="${wd_dir}/${st}.wcf"
  
  # Add line to summary table ${summ_file}:
  nlin=$( cat ${tr_file} | wc -l )
  nlin_js=$( cat ${tr_file} | egrep -e '[;]U[>]' | wc -l )
  nlin_rz=$( cat ${tr_file} | egrep -e '[;]Z[>]' | wc -l )
  nwds=$( cat ${wd_file} | wc -l )
  printf "${fmt}" "|" ${st/-*/} ${st/*-/} ${nlin} ${nlin_js} ${nlin_rz} ${nwds} >> ${summ_file}

done

cat ${summ_file} \
  | sort -b -k1,1 -k 3,3 -k 2,2 \
  | insert_blank_lines.gawk -v fields="3" \
  1>&2