Examples with ConditionalTransferResult org.checkerframework.dataflow.analysis.ConditionalTransferResult used on opensource projects

Example 1 with ConditionalTransferResult

use of org.checkerframework.dataflow.analysis.ConditionalTransferResult in project bazel by bazelbuild.

the class ConstantPropagationTransfer method visitEqualTo.

@Override
public TransferResult<Constant, ConstantPropagationStore> visitEqualTo(EqualToNode n, TransferInput<Constant, ConstantPropagationStore> pi) {
    ConstantPropagationStore p = pi.getRegularStore();
    ConstantPropagationStore old = p.copy();
    Node left = n.getLeftOperand();
    Node right = n.getRightOperand();
    process(p, left, right);
    process(p, right, left);
    return new ConditionalTransferResult<>(null, p, old);
}