Method Evaluate2

eval/eval/comprehension_step.cc:327–443

}

absl::Status ComprehensionDirectStep::Evaluate2(ExecutionFrameBase& frame,
                                                Value& result,
                                                AttributeTrail& trail) const {
  Value range;
  AttributeTrail range_attr;
  CEL_RETURN_IF_ERROR(range_->Evaluate(frame, range, range_attr));

  if (frame.unknown_processing_enabled() && range.IsMap()) {
    if (frame.attribute_utility().CheckForUnknownPartial(range_attr)) {
      result =
          frame.attribute_utility().CreateUnknownSet(range_attr.attribute());
      return absl::OkStatus();
    }
  }

  absl_nullability_unknown ValueIteratorPtr range_iter;
  switch (range.kind()) {
    case ValueKind::kList: {
      CEL_ASSIGN_OR_RETURN(range_iter, range.GetList().NewIterator());
    } break;
    case ValueKind::kMap: {
      CEL_ASSIGN_OR_RETURN(range_iter, range.GetMap().NewIterator());
    } break;
    case ValueKind::kError:
      ABSL_FALLTHROUGH_INTENDED;
    case ValueKind::kUnknown:
      result = std::move(range);
      return absl::OkStatus();
    default:
      result = cel::ErrorValue(CreateNoMatchingOverloadError("<iter_range>"));
      return absl::OkStatus();
  }
  ABSL_DCHECK(range_iter != nullptr);

  ComprehensionSlots::Slot* accu_slot =
      frame.comprehension_slots().Get(accu_slot_);
  ABSL_DCHECK(accu_slot != nullptr);

  {
    Value accu_init;
    AttributeTrail accu_init_attr;
    CEL_RETURN_IF_ERROR(accu_init_->Evaluate(frame, accu_init, accu_init_attr));
    accu_slot->Set(std::move(accu_init), std::move(accu_init_attr));
  }

  ComprehensionSlots::Slot* iter_slot =
      frame.comprehension_slots().Get(iter_slot_);
  ABSL_DCHECK(iter_slot != nullptr);
  iter_slot->Set();

  ComprehensionSlots::Slot* iter2_slot =
      frame.comprehension_slots().Get(iter2_slot_);
  ABSL_DCHECK(iter2_slot != nullptr);
  iter2_slot->Set();

  Value condition;
  AttributeTrail condition_attr;
  bool should_skip_result = false;