blob: 2f49436da2cd8bf94a52b3a1d98e9a1d73511808 (
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
92
|
package org.checkerframework.dataflow.cfg.node;
import java.util.Collection;
import java.util.Collections;
import javax.lang.model.type.TypeKind;
import javax.lang.model.type.TypeMirror;
import javax.lang.model.util.Types;
import org.checkerframework.dataflow.util.HashCodeUtils;
import com.sun.source.tree.InstanceOfTree;
import com.sun.source.tree.Tree;
/**
* A node for the instanceof operator:
*
* <em>x</em> instanceof <em>Point</em>
*
* @author Stefan Heule
* @author Charlie Garrett
*
*/
public class InstanceOfNode extends Node {
/** The value being tested. */
protected Node operand;
/** The reference type being tested against. */
protected TypeMirror refType;
/** The tree associated with this node. */
protected final InstanceOfTree tree;
public InstanceOfNode(Tree tree, Node operand, TypeMirror refType, Types types) {
super(types.getPrimitiveType(TypeKind.BOOLEAN));
assert tree.getKind() == Tree.Kind.INSTANCE_OF;
this.tree = (InstanceOfTree) tree;
this.operand = operand;
this.refType = refType;
}
public Node getOperand() {
return operand;
}
@Override
public TypeMirror getType() {
return type;
}
public TypeMirror getRefType() {
return refType;
}
@Override
public InstanceOfTree getTree() {
return tree;
}
@Override
public <R, P> R accept(NodeVisitor<R, P> visitor, P p) {
return visitor.visitInstanceOf(this, p);
}
@Override
public String toString() {
return "(" + getOperand() + " instanceof " + getRefType() + ")";
}
@Override
public boolean equals(Object obj) {
if (obj == null || !(obj instanceof InstanceOfNode)) {
return false;
}
InstanceOfNode other = (InstanceOfNode) obj;
// TODO: TypeMirror.equals may be too restrictive.
// Check whether Types.isSameType is the better comparison.
return getOperand().equals(other.getOperand())
&& getRefType().equals(other.getRefType());
}
@Override
public int hashCode() {
return HashCodeUtils.hash(getOperand());
}
@Override
public Collection<Node> getOperands() {
return Collections.singletonList(getOperand());
}
}
|
