package org.checkerframework.dataflow.cfg.node; import com.sun.source.tree.Tree; import java.util.Collection; import java.util.Collections; import javax.lang.model.type.TypeMirror; import org.checkerframework.dataflow.util.HashCodeUtils; import org.checkerframework.javacutil.TypesUtils; /** * A node for the widening primitive conversion operation. See JLS 5.1.2 for the definition of * widening primitive conversion. * *
A {@link WideningConversionNode} does not correspond to any tree node in the parsed AST. It is
* introduced when a value of some primitive type appears in a context that requires a different
* primitive with more bits of precision.
*
* @author Stefan Heule
* @author Charlie Garrett
*/
public class WideningConversionNode extends Node {
protected Tree tree;
protected Node operand;
public WideningConversionNode(Tree tree, Node operand, TypeMirror type) {
super(type);
assert TypesUtils.isPrimitive(type) : "non-primitive type in widening conversion";
this.tree = tree;
this.operand = operand;
}
public Node getOperand() {
return operand;
}
@Override
public TypeMirror getType() {
return type;
}
@Override
public Tree getTree() {
return tree;
}
@Override
public