Lines Matching refs:prefixTable
459 Hashtable prefixTable;
481 prefixTable = new Hashtable();
521 prefixTable = parent.prefixTable;
556 prefixTable.put(prefix, uri);
623 uri = (String)prefixTable.get(prefix);
652 } else if (prefixTable == null) {
655 return (String)prefixTable.get(prefix);
707 if (prefixTable == null) {
710 return prefixTable.keys();
733 prefixTable = (Hashtable)prefixTable.clone();