/* * Load all the variable names from ChipData into the class name dictionary. */ protected void loadVariableNames() { variableNames = new Hashtable(); /* * Use the query templates to detect the variable names. */ Enumeration e = ChipSource.queries().elements(); while (e.hasMoreElements()) { Structure s = (Structure) e.nextElement(); Unification u = s.variables(); /* * Add each variable from each query template */ Iterator<Variable> e2 = u.iterator(); while (e2.hasNext()) { Variable v = e2.next(); addVariableName(v.name); } } }