#!/usr/bin/env bash
#
# This script builds a collection of FiveUI rulesets (contained in various .json files)
# into a combined rule sets file: combinedRules.json.
#
# Author: Benjamin Jones <bjones@galois.com>
# Copyright 2013 Galois, Inc.
#
# For the script to work, the input .json files must have rules separated by
# comment lines starting with //---. Also, the last rule in the file must be
# followed by //,. See colorRules.json for an example.
#
# Usage: buildCombinedRules <rule1.json> [<rule2.json> ...]
#

FILES=$*
OUTFILE="combinedRules.json"
TMPFILE=`mktemp -t $0`
HEADER="combinedHeader" # file containing header
FOOTER="combinedFooter" # file containing footer

function cutstart {
  echo `cat $1 | grep -n '//---' | awk -F ':' {'print $1'} | head -1`
}
function cutend {
  echo `cat $1 | grep -n '//---' | awk -F ':' {'print $1'} | tail -1`
}

### Script ###

cat $HEADER > $OUTFILE
for file in $FILES
do
  if [ $file == $OUTFILE ]
  then
    echo "skipping: $OUTFILE"
  else
    CUTSTART=`cutstart $file`
    CUTEND=`cutend $file`
    echo "combining: $file"
    echo "// --- included from file: $file --- //" >> $OUTFILE
    # cut rules out, change //, -> , and remove single-line comments
    cat $file | head -$(($CUTEND-1)) | tail +$CUTSTART \
        | sed 's/\/\/,/,/' \
        | sed 's/\/\/.*$//' \
        >> $OUTFILE
  fi
done
LEN=`wc -l $OUTFILE | awk '{print $1}'`
cat $OUTFILE | head -$((LEN-1)) > $TMPFILE
echo "}" >> $TMPFILE
mv $TMPFILE $OUTFILE
cat $FOOTER >> $OUTFILE