1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
/*-------------------------------------------------------------------------*\
** ScalaCheck **
** Copyright (c) 2007-2010 Rickard Nilsson. All rights reserved. **
** http://www.scalacheck.org **
** **
** This software is released under the terms of the Revised BSD License. **
** There is NO WARRANTY. See the file LICENSE for the full text. **
\*-------------------------------------------------------------------------*/
package org.scalacheck
import Pretty._
import util.FreqMap
class ConsoleReporter(val verbosity: Int) extends Test.TestCallback {
private val prettyPrms = Params(verbosity)
override def onPropEval(name: String, w: Int, s: Int, d: Int) =
if(verbosity > 0) {
if(name == "") {
if(d == 0) printf("\rPassed %s tests\r", s)
else printf("\rPassed %s tests; %s discarded\r", s, d)
} else {
if(d == 0) printf("\r %s: Passed %s tests\r", name, s)
else printf("\r %s: Passed %s tests; %s discarded\r", name, s, d)
}
Console.flush
}
override def onTestResult(name: String, res: Test.Result) = {
if(name == "") {
print(List.fill(78)(' ').mkString)
val s = (if(res.passed) "+ " else "! ") + pretty(res, prettyPrms)
printf("\r%s\n", format(s, "", "", 75))
} else {
print(List.fill(78)(' ').mkString)
val s = (if(res.passed) "+ " else "! ") + name + ": " +
pretty(res, prettyPrms)
printf("\r%s\n", format(s, "", "", 75))
}
}
}
object ConsoleReporter {
/** Factory method, creates a ConsoleReporter with the
* the given verbosity */
def apply(verbosity: Int = 0) = new ConsoleReporter(verbosity)
@deprecated("(v1.8)")
def propReport(s: Int, d: Int) = {
if(d == 0) printf("\rPassed %s tests\r", s)
else printf("\rPassed %s tests; %s discarded\r", s, d)
Console.flush
}
@deprecated("(v1.8)")
def propReport(pName: String, s: Int, d: Int) = {
if(d == 0) printf("\r %s: Passed %s tests\r", pName, s)
else printf("\r %s: Passed %s tests; %s discarded\r", pName, s, d)
Console.flush
}
@deprecated("(v1.8)")
def testReport(res: Test.Result) = {
print(List.fill(78)(' ').mkString)
val s = (if(res.passed) "+ " else "! ") + pretty(res, Params(0))
printf("\r%s\n", format(s, "", "", 75))
res
}
@deprecated("(v1.8)")
def testStatsEx(res: Test.Result): Unit = testStatsEx("", res)
def testStatsEx(msg: String, res: Test.Result) = {
lazy val m = if(msg.length == 0) "" else msg + ": "
res.status match {
case Test.Proved(_) => {}
case Test.Passed => {}
case f @ Test.Failed(_, _) => system.error(m + f)
case Test.Exhausted => {}
case f @ Test.GenException(_) => system.error(m + f)
case f @ Test.PropException(_, _, _) => system.error(m + f)
}
}
}
|
