Method PostVisitArg

eval/compiler/flat_expr_builder.cc:2165–2193

}

void BinaryCondVisitor::PostVisitArg(int arg_num, const cel::Expr* expr) {
  if (visitor_->PlanRecursiveProgram()) {
    return;
  }
  if (short_circuiting_ && arg_num == 0 &&
      (cond_ == BinaryCond::kAnd || cond_ == BinaryCond::kOr)) {
    // If first branch evaluation result is enough to determine output,
    // jump over the second branch and provide result of the first argument as
    // final output.
    // Retain a pointer to the jump step so we can update the target after
    // planning the second argument.
    std::unique_ptr<JumpStepBase> jump_step;
    switch (cond_) {
      case BinaryCond::kAnd:
        jump_step = CreateCondJumpStep(false, true, {}, expr->id());
        break;
      case BinaryCond::kOr:
        jump_step = CreateCondJumpStep(true, true, {}, expr->id());
        break;
      default:
        ABSL_UNREACHABLE();
    }
    ProgramStepIndex index = visitor_->GetCurrentIndex();
    if (JumpStepBase* jump_step_ptr = visitor_->AddStep(std::move(jump_step));
        jump_step_ptr) {
      jump_step_ = Jump(index, jump_step_ptr);
    }
  }
}

void BinaryCondVisitor::PostVisitTarget(const cel::Expr* expr) {
  if (visitor_->PlanRecursiveProgram()) {