PostgresはScalacheck arbStringが生成するすべての種類のシンボルを受け入れません。 Scalacheckで人間が読める文字列を生成する方法はありますか?Scalacheck arbStringは読み込み可能な文字列のみを生成しますか?
1
A
答えて
1
the Gen objectを見ると、alphaChar
とidentifier
を含むいくつかの発電機を見ることができます。
scala> import org.scalacheck.Gen._
import org.scalacheck.Gen._
scala> identifier.sample
res0: Option[String] = Some(vxlgvihQeknhe4PolpsJas1s0gx3dmci7z9i2pkYlxhO2vdrkqpspcaUmzrxnnb)
scala> alphaChar.sample
res1: Option[Char] = Some(f)
scala> listOf(alphaChar).sample
res2: Option[List[Char]] = Some(List(g, n, x, Y, h, a, c, e, a, j, B, d, m, a, r, r, Z, a, z, G, e, i, i, v, n, Z, x, z, t))
scala> listOf(alphaChar).map(_.mkString).sample
res3: Option[String] = Some(oupwJfqmmqebcsqbtRxzmgnJvdjzskywZiwsqnkzXttLqydbaahsfrjqdyyHhdaNpinvnxinhxhjyzvehKmbuejaeozytjyoyvb)
1
ケースクラスReadableChar(c: Char)
を追加し、任意のインスタンスを定義することでそうすることができます。たぶん
case class ReadableChar(c: Char)
implicit val arbReadable: Arbitrary[ReadableChar] = Arbitrary {
val legalChars = Range('a', 'z').map(_.toChar)
for {
c <- Gen.oneOf(legalChars)
} yield ReadableChar(c)
}
のようなもの次に、あなたは.map(_.c).toString
を経由して、文字列にそれを回す、読みやすい文字の配列を生成するArbitrary[Array[ReadableChar]]
のインスタンスを使用することができます。
これは、許可されている文字によって「人間が判読可能な文字列」を定義する場合に有効です。追加の制限が必要な場合は、2番目のケースクラスReadableString(s: String)
を作成し、Arbitrary
のインスタンスも定義できます。
関連する問題
- 1. iOS読み込み可能な文字列/日付フォーマッタ
- 2. Clojureの読み込み文字列と読み込み文字列の違い
- 3. mruby:読み込み可能なコードを生成する
- 4. C:読み込み入力文字列を読み込み、文字配列
- 5. dynamoDB用の読み込み可能なIDの生成
- 6. 秒を読み込み可能な文字列に変換する
- 7. データ型を読み込み可能な文字列に変換する方法
- 8. アプリケーションによって読み込み可能なURLの文字列?
- 9. 文字列を読み込むよりも速く読み込みますか?
- 10. ユニコードの生のリテラルを読み込み可能な文字列にデコードするには?
- 11. bitwiseを使用してEXIFフラッシュの読み込み可能な文字列を列挙します
- 12. Cocoaは文字列ごとに文字列を読み込みますか?
- 13. Javolution - 可変長文字列の読み込み
- 14. Objective-Cコンソールアプリケーションの文字列を読み込みますか?
- 15. 文字列で読み込んだ後xmlファイルを読み込みます。
- 16. 文字の読み込みと読み込みの不一致
- 17. Androidで読み込み不可能なディレクトリを作成する
- 18. レールで読み込み可能なモデルを作成する
- 19. 異なるプログラムからの文字列の読み込み
- 20. NSLocalizedStringは時々文字列を読み込みます。
- 21. 可能なハンドラはローカルファクトを読み込みます
- 22. パイプから文字列への読み込み中に文字列全体が読み取られない
- 23. 文字列ファイルをint型として配列に読み込みますか?
- 24. APIコール内でのみ読み込み可能な値
- 25. 文字列オブジェクトの読み込みが制御されない
- 26. ファイルからの文字列読み込みと文字列リテラルの比較
- 27. Numpy genfromtxtは追加の不要な文字列を読み込みます
- 28. EMFJsonを使用したJSON文字列の読み込み
- 29. JSON/Gsonを使用したJSON文字列の読み込み
- 30. djangoがIEに読み込み不可能な文字を表示するのはなぜですか?
Thak you!まさに私が欲しいもの! – ka4eli