blob: 2c4062f80d5929f58304016768616b0b46eb86e7 (
plain)
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
90
91
|
package bjc.everge;
import java.io.PrintStream;
/**
* Options for processing ReplPairs.
*
* @author Ben Culkin.
*/
public class ReplPairOptions {
/** The default priority. */
public int defaultPriority = 0;
/** The default stage. */
public int defaultStage = 0;
/**
* Whether to process multi-line defns.
*/
public boolean defaultMulti = false;
/**
* Default status.
*/
public StageStatus defaultStatus = StageStatus.BOTH;
/**
* Enable debug info.
*/
public boolean isDebug = true;
/**
* Enable trace info.
*/
public boolean isTrace = false;
/**
* Enable performance info.
*/
public boolean isPerf = false;
/**
* The stream to print normal output on.
*/
public PrintStream outStream = System.out;
/**
* The stream to print error output on.
*/
public PrintStream errStream = System.err;
@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + (defaultMulti ? 1231 : 1237);
result = prime * result + defaultPriority;
result = prime * result + defaultStage;
result = prime * result + ((defaultStatus == null) ? 0 : defaultStatus.hashCode());
result = prime * result + (isDebug ? 1231 : 1237);
result = prime * result + (isPerf ? 1231 : 1237);
result = prime * result + (isTrace ? 1231 : 1237);
return result;
}
@Override
public boolean equals(Object obj) {
if (this == obj)
return true;
if (obj == null)
return false;
if (getClass() != obj.getClass())
return false;
ReplPairOptions other = (ReplPairOptions) obj;
if (defaultMulti != other.defaultMulti)
return false;
if (defaultPriority != other.defaultPriority)
return false;
if (defaultStage != other.defaultStage)
return false;
if (defaultStatus != other.defaultStatus)
return false;
if (isDebug != other.isDebug)
return false;
if (isPerf != other.isPerf)
return false;
if (isTrace != other.isTrace)
return false;
return true;
}
}
|
