public void ReadUnknownDefinition(Stream input, Encoding encoding)
{
foreach (var line in input.ReadLines(encoding))
{
var entry = UnknownDictionaryEntryParser.Parse(line);
DictionaryEntries.Add(entry);
}
}
public void ReadUnknownDefinition(Stream input, String encoding)
{
try
{
input.Position = 0;
using (var reader = new StreamReader(input, Encoding.GetEncoding(encoding)))
{
UnknownDictionaryEntryParser parser = new UnknownDictionaryEntryParser();
while (!reader.EndOfStream)
{
GenericDictionaryEntry entry = parser.parse(reader.ReadLine().RemapCharIfNeeded());
dictionaryEntries.Add(entry);
}
}
}
catch (IOException ex)
{
throw new IOException("UnknownDictionaryCompiler.ReadUnknownDefinition: " + ex.Message);
}
}
