Searched refs:m_sourceTree (Results 1 – 1 of 1) sorted by relevance
48 private Vector m_sourceTree = new Vector(); field in SourceTreeManager56 m_sourceTree = new Vector(); in reset()92 int n = m_sourceTree.size(); in findURIFromDoc()96 SourceTree sTree = (SourceTree) m_sourceTree.elementAt(i); in findURIFromDoc()149 for(int i=m_sourceTree.size()-1;i>=0;--i) in removeDocumentFromCache()151 SourceTree st=(SourceTree)m_sourceTree.elementAt(i); in removeDocumentFromCache()154 m_sourceTree.removeElementAt(i); in removeDocumentFromCache()185 m_sourceTree.addElement(new SourceTree(n, source.getSystemId())); in putDocumentInCache()208 int n = m_sourceTree.size(); in getNode()213 SourceTree sTree = (SourceTree) m_sourceTree.elementAt(i); in getNode()