Home | History | Annotate | Download | only in helpers

Lines Matching defs:prefixTable

572         prefixTable = parent.prefixTable;
590         prefixTable = null;
627         prefixTable.put(prefix, uri);
700             uri = (String)prefixTable.get(prefix);
729         } else if (prefixTable == null) {
732         return (String)prefixTable.get(prefix);
784         if (prefixTable == null) {
787         return prefixTable.keys();
807         if (prefixTable != null) {
808         prefixTable = (Hashtable)prefixTable.clone();
810         prefixTable = new Hashtable();
829     Hashtable prefixTable;