dataflow.src.org.checkerframework.dataflow.cfg.node.ConditionalNotNode Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation
Show all versions of checker-qual Show documentation
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
package org.checkerframework.dataflow.cfg.node;
import java.util.Collection;
import java.util.Collections;
import org.checkerframework.dataflow.util.HashCodeUtils;
import org.checkerframework.javacutil.InternalUtils;
import com.sun.source.tree.Tree.Kind;
import com.sun.source.tree.UnaryTree;
/**
* A node for a conditional not expression:
*
*
* ! expression
*
*
* @author Stefan Heule
* @author Charlie Garrett
*
*/
public class ConditionalNotNode extends Node {
protected UnaryTree tree;
protected Node operand;
public ConditionalNotNode(UnaryTree tree, Node operand) {
super(InternalUtils.typeOf(tree));
assert tree.getKind().equals(Kind.LOGICAL_COMPLEMENT);
this.tree = tree;
this.operand = operand;
}
public Node getOperand() {
return operand;
}
@Override
public UnaryTree getTree() {
return tree;
}
@Override
public R accept(NodeVisitor visitor, P p) {
return visitor.visitConditionalNot(this, p);
}
@Override
public String toString() {
return "(!" + getOperand() + ")";
}
@Override
public boolean equals(Object obj) {
if (obj == null || !(obj instanceof ConditionalNotNode)) {
return false;
}
ConditionalNotNode other = (ConditionalNotNode) obj;
return getOperand().equals(other.getOperand());
}
@Override
public int hashCode() {
return HashCodeUtils.hash(getOperand());
}
@Override
public Collection getOperands() {
return Collections.singletonList(getOperand());
}
}