Searched refs:stringTableNew (Results 1 – 1 of 1) sorted by relevance
337 StringTable stringTableNew = StringTable(strings); in hideSymbols() local358 e.name = stringTableNew.encode( in hideSymbols()375 stringTableNew.write(out); in hideSymbols()