Home | History | Annotate | Download | only in utils

Lines Matching defs:prefixTable

457     Hashtable prefixTable;
479 prefixTable = new Hashtable();
519         prefixTable = parent.prefixTable;
554             prefixTable.put(prefix, uri);
621                 uri = (String)prefixTable.get(prefix);
650         } else if (prefixTable == null) {
653             return (String)prefixTable.get(prefix);
705         if (prefixTable == null) {
708             return prefixTable.keys();
731         prefixTable = (Hashtable)prefixTable.clone();