Я анализирую файлы следующим образом:
parsers.parseAll(parser, FileReader("foo.bar"))
Но держу пари, что файл не закрывается должным образом. FileReader
- это класс Java, и существует одна версия parseAll
, которая принимает java.io.Reader
. Это действительно не легко извлечь из документов API ...
Дальнейшие исследования показывают, что существует def apply (in: Reader): StreamReader
в StreamReader
, который можно использовать для ручного преобразования Java Reader
.
Редактировать
Если вы действительно разбираете что-то еще, кроме последовательности Char, то мой ответ не применим. При просмотре документов кажется, что вам нужно бросить свой собственный Reader
, поскольку все конкретные подклассы Reader
кажутся специализированными для Char.