3 # Lists the Trace() and Debug() keys used in sources.
5 # e.g. if Debug("uf") occurs in the sources, then "uf" is printed by this script.
7 if [ "$1" = "-h" -o "$1" = "-help" -o "$1" = "-?" -o "$1" = "--help" ]; then
8 echo "usage: `basename $0` [dirs...]" >&2
9 echo "This utility will print all Debug("foo
") and Trace("foo
") keys."
10 echo "With optional dirs..., use dirs instead of top-level \"src\"." >&2
18 echo "`basename $0`: not in CVC4 directory tree?!" >&2
25 echo "Trace and debug flags used in $*:"
27 while [ $# -gt 0 ]; do
31 test -r "$dir" && grep -r --exclude-dir=.svn
'\(Debug\|Trace\)\(\.isOn\)\?("[^"]\+")' "$dir" |
sed 's,.*\(Debug\|Trace\)\(\.isOn\)\?("\([^"]\+\)").*,\3,' |
sort -u