blob: 19413fa566f6c0ba9459afc2e6249fb2c25ec2c7 (
plain) (
blame)
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
|
/*
* To change this license header, choose License Headers in Project Properties.
* To change this template file, choose Tools | Templates
* and open the template in the editor.
*/
package scanner;
/**
* A test utility class.
*
* Do not modify this file.
*/
public class Tests {
private int N = 0;
private int failures = 0;
public void test(boolean b) {
N++;
if (!b) {
System.err.println("Failed test " + N);
failures++;
}
}
public void test(boolean b, String message) {
test(b);
if (!b) {
System.err.println(message);
}
}
public void addFailure(Exception e) {
N++;
failures++;
System.err.println("Failed test " + N + ": " + e);
}
public int getN() {
return N;
}
public int getSuccesses() {
return N - failures;
}
public int getFailures() {
return failures;
}
}
|