Как вы генерируете данные из файла в scalacheck?

Question

Я хочу запустить scalacheck для образца набора данных, который у меня есть в файле. Как создать генератор, который читает данные из этого файла и позволяет мне проверить свойство в нем?

Answer 1

Можно заранее прочитать все данные, а затем использовать

Gen.oneOf(dataSet)

, чтобы случайным образом выбрать одно из значений в наборе.

Если, однако, набор данных слишком велик дляпрочитав сразу, вы можете просто сгенерировать индекс доступа с помощью

Gen.choose(1, setSize)

и прочитать только выбранную запись.