/// <exception cref="System.IO.IOException"/> private void ReadTags(DataInputStream rf) { // Object[] arr=dict.keySet().toArray(); int maxNumTags = 0; int len = rf.ReadInt(); for (int i = 0; i < len; i++) { string word = rf.ReadUTF(); TagCount count = TagCount.ReadTagCount(rf); int numTags = count.NumTags(); if (numTags > maxNumTags) { maxNumTags = numTags; } this.dict[word] = count; } }