在这种情况下，生成非空字符串的最佳方法是什么？
private def createIndexFn() = {
for{
someChar <- Gen.alphaString
aNumber <- Gen.choose(1,100)
//...
}
yield {
MyThing(AnotherType(someChar.toString), SomeOtherType(aNumber), aNumber)
}
}
您可能需要someChar作为非空字符串。我知道您可以whenever在本forAll节中使用，但我想知道如何在生成器的这一部分中使用它。
谢谢
我一直在寻找的是：
import org.scalacheck.Arbitrary.arbitrary
arbitrary[String].suchThat(!_.isEmpty)
可以像
for {
name <- arbitrary[String].suchThat(!_.isEmpty)
age <- Gen.choose(0, 100)
} yield Person(name, age)
希望这可以帮助某人
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句