update names scrips and result

gap/compare.py

@@ -21,6 +21,10 @@ for name in docNames:
 	if name not in sysNames:
 		docOnly.append(name)		
 
+shared.sort()
+docOnly.sort()
+sysOnly.sort()
+
 sn = open('sharedNames.txt', 'w')
 sn.write(mkstring(shared))
 sn.close

gap/getNames.sh

@@ -4,4 +4,4 @@ if [[ $# -eq 0 ]] ; then
     echo "Requires json filename as argument"
     exit 1
 fi
-cat $1 | jq '[.[] | .name]' | sed 's/Setter(\(.*\))/Set\1/' | sed 's/Tester(\(.*\))/Is\1/' | sed 's/(.*)//' | sed 's/["|,| ]//g'
+cat $1 | jq '[.[] | .name]' | sed 's/Setter(\(.*\))/Set\1/' | sed 's/Tester(\(.*\))/Has\1/' | sed 's/(.*)//' | sed 's/["|,| ]//g'