134       boolean result = false;  in add()
140     result = add((symbol)e.nextElement()) || result;  in add()
142       return result;  in add()
192       int result = 0;  in hashCode()  local
198     result ^= ((symbol)e.nextElement()).hashCode();  in hashCode()
200       return result;  in hashCode()
208       String result;  in toString()  local
211       result = "{";  in toString()
216         result += ", ";  in toString()
220       result += ((symbol)e.nextElement()).name();  in toString()
222       result += "}";  in toString()
224       return result;  in toString()