#!/bin/awk -f
#
# Copyright © 2023 Nick Bowler
#
# Helper script used by the RRace makefile to combine gen-tree.awk and
# gen-strtab.awk inputs into a single source file and build rule.
#
# Usage: awk -f mkstrtab.awk -f gen-strtab.awk input.dat
#
# License WTFPL2: Do What The Fuck You Want To Public License, version 2.
# This is free software: you are free to do what the fuck you want to.
# There is NO WARRANTY, to the extent permitted by law.

{
  if (sub(/^#&/, "\\&")) {
    # Lines beginning with #& are taken verbatim (with the # removed)
    explicit[$1] = 1;
  } else if (sub(/,$/, "", $1) && !("&"$1 in explicit)) {
    # Put tree node ids into the strtab, unless explicitly defined earlier.
    $0 = "&&" $1 " " $1;
  } else {
    next;
  }
}