Method Evaluate

eval/eval/ternary_step.cc:132–170

};

absl::Status TernaryStep::Evaluate(ExecutionFrame* frame) const {
  // Must have 3 or more values on the stack.
  if (!frame->value_stack().HasEnough(3)) {
    return absl::Status(absl::StatusCode::kInternal, "Value stack underflow");
  }

  // Create Span object that contains input arguments to the function.
  auto args = frame->value_stack().GetSpan(3);

  const auto& condition = args[kTernaryStepCondition];
  // As opposed to regular functions, ternary treats unknowns or errors on the
  // condition (arg0) as blocking. If we get an error or unknown then we
  // ignore the other arguments and forward the condition as the result.
  if (frame->enable_unknowns()) {
    // Check if unknown?
    if (condition.IsUnknown()) {
      frame->value_stack().Pop(2);
      return absl::OkStatus();
    }
  }

  if (condition.IsError()) {
    frame->value_stack().Pop(2);
    return absl::OkStatus();
  }

  cel::Value result;
  if (!condition.IsBool()) {
    result = cel::ErrorValue(CreateNoMatchingOverloadError(kTernary));
  } else if (condition.GetBool().NativeValue()) {
    result = args[kTernaryStepTrue];
  } else {
    result = args[kTernaryStepFalse];
  }

  frame->value_stack().PopAndPush(args.size(), std::move(result));

  return absl::OkStatus();
}

}  // namespace