Searched refs:m_intToString (Results 1 – 1 of 1) sorted by relevance
59 Vector m_intToString; field in DTMStringPool72 m_intToString=new Vector(); in DTMStringPool()87 m_intToString.removeAllElements(); in removeAllElements()101 return (String) m_intToString.elementAt(i); in indexToString()117 if(m_intToString.elementAt(hashcandidate).equals(s)) in stringToIndex()125 int newIndex=m_intToString.size(); in stringToIndex()126 m_intToString.addElement(s); in stringToIndex()