加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

帮助ScalaCheck

发布时间:2020-12-16 09:56:31 所属栏目:安全 来源:网络整理
导读:我想使用 ScalaTest的Checkers特性从ScalaTest案例中使用ScalaCheck. 我正在玩的一个简单案例是: test("can create local date UTC from millis") { check(localDate.toTimestampUTC.toLocalDateUTC == localDate) } 我需要创建一个任意的LocalDate,所以我
我想使用 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)))
}

它没有编译,说,

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)))

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

解决方法

好的通过反复试验弄清楚了.我的工作代码如下所示:

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]的方式,然后更新我的语法以进行检查.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读