blob: 35fbc1c2036d49d4a49045d973eb3f67d09cad65 (
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
|
// Copyright (C) 2010 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.gerrit.server.query;
import java.util.Arrays;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
public abstract class RewritePredicate<T> extends Predicate<T> {
private boolean init;
private String name = getClass().getSimpleName();
private List<Predicate<T>> children = Collections.emptyList();
protected void init(String name, Predicate<T>... args) {
this.init = true;
this.name = name;
this.children = Arrays.asList(args);
}
@Override
public Predicate<T> copy(Collection<? extends Predicate<T>> children) {
return this;
}
@SuppressWarnings("unchecked")
@Override
public boolean equals(Object other) {
if (other instanceof RewritePredicate) {
RewritePredicate that = (RewritePredicate<T>) other;
if (this.init && that.init) {
return this.getClass() == that.getClass()
&& this.name.equals(that.name)
&& this.children.equals(that.children);
}
}
return this == other;
}
@Override
public int hashCode() {
int h = getClass().hashCode();
if (!children.isEmpty()) {
h *= 31;
h += children.get(0).hashCode();
}
return h;
}
@Override
public final String toString() {
final StringBuilder r = new StringBuilder();
r.append(name);
if (!children.isEmpty()) {
r.append("(");
for (int i = 0; i < children.size(); i++) {
if (i != 0) {
r.append(" ");
}
r.append(children.get(i));
}
r.append(")");
}
return r.toString();
}
}
|