Specs2和Scalacheck-将ForEach上下文与属性混合

时间:2019-03-27 15:11:48

标签: scala specs2 scalacheck

我正在编写Specs2测试,这些测试使用了临时文件和ScalaCheck中的属性。没有属性,效果很好:

import better.files.File
import org.specs2.execute.{AsResult, Result}
import org.specs2.mutable.Specification
import org.specs2.specification.ForEach

trait TmpDirContext extends ForEach[File] {
  def foreach[R: AsResult](testWithFile: File => R): Result = {
    val tmpDirCtx = File.temporaryDirectory()
    AsResult(tmpDirCtx.apply(testWithFile))
  }
}


class OkTest extends Specification with TmpDirContext {
  import better.files._
  "Example" should {
    "work" in { tmpDir: File =>
      tmpDir.exists must beTrue
    }
  }
}

val test = new OkTest

specs2.run(test)

如果添加属性,它将无法编译:

import org.scalacheck.Prop
import org.specs2.ScalaCheck

class KoTest extends Specification with ScalaCheck with TmpDirContext {
  "KoTest" should {
    "work" in { tmpDir: File =>
      "for" ! Prop.forAll { value: Int =>
        tmpDir.exists must beTrue
      }
    }
  }
Error:(26, 16) could not find implicit value for evidence parameter of type org.specs2.execute.AsResult[better.files.File => org.specs2.specification.core.Fragment]
"work" in { tmpDir: File =>

我设法进行了编译,但是随后测试似乎失败了,因为ForEach中的TmpDirContext已经处置了一个临时文件夹:

class KoTest2 extends Specification with ScalaCheck with TmpDirContext {
  "KoTest2" should {
    "work" >> { tmpDir: File =>
      Prop.forAll { value: Int =>
        tmpDir.exists must beTrue
      }
    }
  }
}

我想我缺少了什么...如何使其工作并在属性测试中提供tmpDir?

1 个答案:

答案 0 :(得分:1)

您可以尝试以下方法

import org.specs2.mutable.Specification
import java.io.File
import org.specs2.ScalaCheck
import org.scalacheck._

class KoTest extends Specification with ScalaCheck with TempDir { sequential
  "KoTest" should {
    "work" >> {
      "for" >> prop { (tmpDir: File, value: Int) =>
        tmpDir.exists must beTrue
      }.after(deleteTmpDir)
    }
  }
}

trait TempDir {
  implicit def arbitraryTempDir: Arbitrary[File] =
    Arbitrary(tmpDir)

  val tmpDir = new File("temp")

  def deleteTmpDir = tmpDir.delete
}

显示为here