#!/bin/sh

# Finds the ListOf class names (w/o their package) that appear in
# any of the .java files in the specified root directory.  The output
# will include names such as ListOfRefinement and LinkedListOfRefinement.

if [ "$#" -ne 1 ]
then
  echo "usage: gen/find-listofs directory"
  exit 1
fi

root=$1

find $root -name \*.java | xargs cat | \
     tr -cs "[:alpha:]" "\n" | \
     grep 'ListOf.' | sort | uniq
