Lines Matching defs:doneDeclTable
334 doneDeclTable = new Hashtable();1081 prefix = (String) doneDeclTable.get(uri);1110 doneDeclTable.put(uri, prefix);1425 private Hashtable doneDeclTable;