test/files/scalacheck/substringTests.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

import org.scalacheck._


object Test extends Properties("String") {
  property("startsWith") = Prop.forAll((a: String, b: String) => (a+b).startsWith(a))

  property("endsWith") = Prop.forAll((a: String, b: String) => (a+b).endsWith(b))

  property("concat") = Prop.forAll((a: String, b: String) =>
    (a+b).length >= a.length && (a+b).length >= b.length
  )

  property("substring") = Prop.forAll((a: String, b: String) =>
    (a+b).substring(a.length) == b
  )

  property("substring") = Prop.forAll((a: String, b: String, c: String) =>
    (a+b+c).substring(a.length, a.length+b.length) == b
  )
}