ScalaCheck 帮助

发布于 2024-12-07 06:00:50 字数 782 浏览 0 评论 0原文

我想使用 ScalaTest 的 Checkers 特征来使用 ScalaTest 案例中的 ScalaCheck。

我正在玩的一个简单的例子是：

 test("can create local date UTC from millis") {
     check(localDate.toTimestampUTC.toLocalDateUTC == localDate)
 }

我需要创建一个任意的 LocalDate，所以我尝试了这个：

object ArbitraryValues {
    implicit def abc(): Arbitrary[LocalDate] = Arbitrary(Gen.choose(new LocalDate(0L), new LocalDate(Long.MaxValue)))
}

它不会编译，说，

错误：找不到参数 c 的隐式值： org.scalacheck.Choose[org.joda.time.LocalDate] 隐式 val abc: 任意[LocalDate] = 任意(Gen.choose(new LocalDate(0L), new LocalDate(Long.MaxValue)))

和

错误：未找到：值 localDate 检查（localDate.toTimestampUTC.toLocalDateUTC == localDate）

原文

I'd like to use ScalaTest's Checkers trait to use ScalaCheck from ScalaTest cases.

A simple case I'm playing with is:

 test("can create local date UTC from millis") {
     check(localDate.toTimestampUTC.toLocalDateUTC == localDate)
 }

I need to create a arbitrary LocalDate, so I tried this:

object ArbitraryValues {
    implicit def abc(): Arbitrary[LocalDate] = Arbitrary(Gen.choose(new LocalDate(0L), new LocalDate(Long.MaxValue)))
}

It doesn't compile, saying,

error: could not find implicit value for parameter c:
org.scalacheck.Choose[org.joda.time.LocalDate] implicit val abc:
Arbitrary[LocalDate] = Arbitrary(Gen.choose(new LocalDate(0L), new
LocalDate(Long.MaxValue)))

and

error: not found: value localDate
check(localDate.toTimestampUTC.toLocalDateUTC == localDate)

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

樱花坊 2024-12-14 06:00:50

好吧，通过反复试验弄清楚了。我的工作代码如下所示：

object ArbitraryValues {
    implicit val abc: Arbitrary[LocalDate] = Arbitrary(Gen.choose(0L, Long.MaxValue).map(new LocalDate(_)))
}

test("can create local date UTC from millis -and- vice versa") { check((localDate: LocalDate) =>
    localDate.toTimestampUTC.toLocalDateUTC == localDate)
}

我必须更改创建 Arbitrary[LocalDate] 的方式，然后更新检查语法。

Ok figured it out through trial and error. My working code looks like this:

object ArbitraryValues {
    implicit val abc: Arbitrary[LocalDate] = Arbitrary(Gen.choose(0L, Long.MaxValue).map(new LocalDate(_)))
}

test("can create local date UTC from millis -and- vice versa") { check((localDate: LocalDate) =>
    localDate.toTimestampUTC.toLocalDateUTC == localDate)
}

I had to change the way I was creating the Arbitrary[LocalDate], and then update my syntax for the check.

回复收藏 0 原文

~没有更多了~