Использование спецификаторов соответствия в свойствах scalacheck

Question

Я пытаюсь использовать спецификации mathers в свойствах scalacheck. Например, у меня есть средство сравнения, которое работает так:

x must matchMyMatcher(y)

Когда я хочу использовать это сопоставление внутри свойства scalacheck, я делаю следующее:

import org.scalacheck._
import org.specs._
...
val prop = Prop.forAll(myGen){
    (x,y) => new matchMyMatcher(x)(y)._1
}
prop must pass

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

Answer 1

Вы получите правильное сообщение об ошибке, если вы используете "must" с вашим сопоставителем:

val gen = Gen.oneOf(("a", "a"), ("b", "b2"))
val function = (pair: (String, String)) => pair._1 must myMatcher(pair._2)
gen must pass(function)

Тогда в этом случае ваш пример должен потерпеть неудачу с:

> A counter-example is '(b,b2)': 'b' is not equal to 'b2' (after 0 tries)