2

を拡張する ScalaTest 2 クラスがGeneratorDrivenPropertyChecksあり、間接的に and も拡張FeatureSpecしMatchersます (これらの 2 つのクラスを拡張する私が書いたトレイトを介して)。その中に次のようなコードがあります。

forAll(mySequence) { myItem =>
  myItem.applicationID should be (foo.applicationID)
}

scalac が次のように言うため、これはコンパイルに失敗します。

[error] APISpec.scala:253: value applicationID is not a member of Seq[com.company.Item]
[error]          myItem.applicationID should be (foo.applicationID)
[error]                 ^

少なくとも Eclipse Scala IDE によれば、コンパイラは "forAll" をこのメソッドを意味するものとして解決していることがわかりGeneratorDrivenpropertyChecksます。

  /**
   * Performs a property check by applying the specified property check function to arguments
   * supplied by the specified generators.
   *
   * <p>
   * Here's an example:
   * </p>
   *
   * <pre class="stHighlight">
   * import org.scalacheck.Gen
   *
   * // Define your own string generator:
   * val famousLastWords = for {
   *   s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
   * } yield s
   * 
   * forAll (famousLastWords) { (a: String) =>
   *   a.length should equal ((a).length)
   * }
   * </pre>
   *
   * @param fun the property check function to apply to the generated arguments
   */
  def forAll[A](genA: Gen[A], configParams: PropertyCheckConfigParam*)(fun: (A) => Unit)
    (implicit
      config: PropertyCheckConfig,
      shrA: Shrink[A]
    ) {
      // body omitted
  }

forAllここで使用したい方法ではありません。

これは ScalaTest のバグですか (つまり、2 つのメソッドに両方の名前を付けるべきではないということforAllです)?

そして、正しいメソッドをどのように呼び出す必要がありますか?

4

1 に答える 1

8

これは ScalaTest のバグですか?

メソッドのオーバーロードの限界を示しています。

無私の形質に関する記事で、Bill Venners はこのパターンがこの種の命名衝突の回避策であると説明しています。

あなたの場合、「派生クラス」で定義されているため、1 つのオーバーロードが優先されます。

(私は、これらのテスト フレームワークのユーザーではなく、ソースの 1 つが生成されるなどの理由で、これをテストすることは、sbt を起動してコードを調べるという単純な問題ではなかったと思います。)

(編集: scaladocは、あなたがimport Inspectors._.名前をインポートします。)Matchersimport Inspectors._

(編集: 命名ビットを説明するには: 仕様の Ch 2 の冒頭を参照してください。名前のバインディングには優先順位があり、継承する名前はインポートする名前よりも優先順位が高いと書かれています。)

とにかく、1 つの解決策は、Inspectors以下に示すようにリミックスすることです。

もう 1 つの解決策は、名前を変更してメソッドをインポートすることです。

import Inspectors.{ forAll => iforAll }

オプション「-Xprint:typer」、「-Xlog-implicit-conversions」を試して、何が起こっているかを確認すると便利です。あなたの場合、コレクションはGen.valueScalaCheck 1.10 の暗黙的なビューによって「定数生成」に昇格されます。

import org.scalatest._
import org.scalatest.prop._

//class MySpec extends FeatureSpec with Matchers with GeneratorDrivenPropertyChecks

class MySpec extends FeatureSpec with Matchers with GeneratorDrivenPropertyChecks with Inspectors {
  case class Foo(id: Int)
  val items = 1 to 10 map (Foo.apply(_))
  forAll(items) { x => Console println x.id } 
}

object Test extends App {
  case class Foo(id: Int)
  val items = 1 to 10 map (Foo.apply(_))
  val sut = new MySpec
  sut.forAll(items) { x => Console println x.id }
  //sut.forAll[Foo](items) { x => Console println x.i }
}

いくつかのデバッグ出力:

/*

[info] /home/apm/projects/skala-unit-tests/src/test/scala/maqi/MySpec.scala:15: inferred view from scala.collection.immutable.IndexedSeq[maqi.Test.Foo] to org.scalacheck.Gen[?] = scalacheck.this.Gen.value[scala.collection.immutable.IndexedSeq[maqi.Test.Foo]]:(x: scala.collection.immutable.IndexedSeq[maqi.Test.Foo])org.scalacheck.Gen[scala.collection.immutable.IndexedSeq[maqi.Test.Foo]]


> test
[info] Compiling 3 Scala sources to /home/apm/projects/skala-unit-tests/target/scala-2.10/test-classes...
[error] /home/apm/projects/skala-unit-tests/src/test/scala/maqi/MySpec.scala:16: overloaded method value forAll with alternatives:
[error]   (genAndNameA: (org.scalacheck.Gen[maqi.Test.Foo], String),configParams: maqi.Test.sut.PropertyCheckConfigParam*)(fun: maqi.Test.Foo => Unit)(implicit config: maqi.Test.sut.PropertyCheckConfig, implicit shrA: org.scalacheck.Shrink[maqi.Test.Foo])Unit <and>
[error]   (genA: org.scalacheck.Gen[maqi.Test.Foo],configParams: maqi.Test.sut.PropertyCheckConfigParam*)(fun: maqi.Test.Foo => Unit)(implicit config: maqi.Test.sut.PropertyCheckConfig, implicit shrA: org.scalacheck.Shrink[maqi.Test.Foo])Unit <and>
[error]   (nameA: String,configParams: maqi.Test.sut.PropertyCheckConfigParam*)(fun: maqi.Test.Foo => Unit)(implicit config: maqi.Test.sut.PropertyCheckConfig, implicit arbA: org.scalacheck.Arbitrary[maqi.Test.Foo], implicit shrA: org.scalacheck.Shrink[maqi.Test.Foo])Unit <and>
[error]   (fun: maqi.Test.Foo => Unit)(implicit config: maqi.Test.sut.PropertyCheckConfig, implicit arbA: org.scalacheck.Arbitrary[maqi.Test.Foo], implicit shrA: org.scalacheck.Shrink[maqi.Test.Foo])Unit
[error]  cannot be applied to (scala.collection.immutable.IndexedSeq[maqi.Test.Foo])
[error]   sut.forAll[Foo](items) { x => Console println x.i }
[error]             ^
*/
于 2013-12-05T19:13:03.097 に答える