Updated MessageToJson conversion for FieldMask in CEL C++

common/BUILD

@@ -886,6 +886,7 @@ cc_test(
         "@com_google_absl//absl/time",
         "@com_google_absl//absl/types:optional",
         "@com_google_cel_spec//proto/cel/expr/conformance/proto3:test_all_types_cc_proto",
+        "@com_google_protobuf//:field_mask_cc_proto",
         "@com_google_protobuf//:protobuf",
         "@com_google_protobuf//:struct_cc_proto",
         "@com_google_protobuf//:type_cc_proto",

common/values/parsed_message_value.cc

@@ -34,12 +34,11 @@
 #include "base/attribute.h"
 #include "common/memory.h"
 #include "common/value.h"
+#include "common/values/values.h"
 #include "extensions/protobuf/internal/qualify.h"
-#include "internal/empty_descriptors.h"
 #include "internal/json.h"
 #include "internal/message_equality.h"
 #include "internal/status_macros.h"
-#include "internal/well_known_types.h"
 #include "runtime/runtime_options.h"
 #include "google/protobuf/arena.h"
 #include "google/protobuf/descriptor.h"
@@ -51,23 +50,13 @@ namespace cel {
 
 namespace {
 
-using ::cel::well_known_types::ValueReflection;
-
 template <typename T>
 std::enable_if_t<std::is_base_of_v<google::protobuf::Message, T>,
                  const google::protobuf::Message* absl_nonnull>
 EmptyParsedMessageValue() {
   return &T::default_instance();
 }
 
-template <typename T>
-std::enable_if_t<
-    std::conjunction_v<std::is_base_of<google::protobuf::MessageLite, T>,
-                       std::negation<std::is_base_of<google::protobuf::Message, T>>>,
-    const google::protobuf::Message* absl_nonnull>
-EmptyParsedMessageValue() {
-  return internal::GetEmptyDefaultInstance();
-}
 
 }  // namespace
 
@@ -114,12 +103,8 @@ absl::Status ParsedMessageValue::ConvertToJson(
   ABSL_DCHECK_EQ(json->GetDescriptor()->well_known_type(),
                  google::protobuf::Descriptor::WELLKNOWNTYPE_VALUE);
 
-  ValueReflection value_reflection;
-  CEL_RETURN_IF_ERROR(value_reflection.Initialize(json->GetDescriptor()));
-  google::protobuf::Message* json_object = value_reflection.MutableStructValue(json);
-
   return internal::MessageToJson(*value_, descriptor_pool, message_factory,
-                                 json_object);
+                                 json);
 }
 
 absl::Status ParsedMessageValue::ConvertToJsonObject(

common/values/parsed_message_value_test.cc

@@ -14,9 +14,9 @@
 
 #include <utility>
 
+#include "google/protobuf/field_mask.pb.h"
 #include "google/protobuf/struct.pb.h"
 #include "absl/status/status_matchers.h"
-#include "absl/strings/cord.h"
 #include "absl/strings/string_view.h"
 #include "common/memory.h"
 #include "common/type.h"
@@ -74,6 +74,18 @@ TEST_F(ParsedMessageValueTest, SerializeTo) {
   EXPECT_THAT(std::move(output).Consume(), IsEmpty());
 }
 
+TEST_F(ParsedMessageValueTest, ConvertToJson_FieldMask) {
+  auto value =
+      MakeParsedMessage<google::protobuf::FieldMask>(R"pb(paths: "foo.bar"
+                                                          paths: "baz")pb");
+  auto json = DynamicParseTextProto<google::protobuf::Value>(R"pb()pb");
+  EXPECT_THAT(value.ConvertToJson(descriptor_pool(), message_factory(),
+                                  cel::to_address(json)),
+              IsOk());
+  EXPECT_THAT(*json, EqualsTextProto<google::protobuf::Value>(
+                         R"pb(string_value: "foo.bar,baz")pb"));
+}
+
 TEST_F(ParsedMessageValueTest, ConvertToJson) {
   MessageValue value = MakeParsedMessage<TestAllTypesProto3>();
   auto json = DynamicParseTextProto<google::protobuf::Value>(R"pb()pb");

conformance/BUILD

@@ -181,7 +181,6 @@ _TESTS_TO_SKIP = [
     "enums/legacy_proto2/select_big,select_neg",
 
     # Skip until fixed.
-    "wrappers/field_mask/to_json",
     "wrappers/empty/to_json",
     "fields/qualified_identifier_resolution/map_value_repeat_key_heterogeneous",
     "parse/receiver_function_names",

eval/public/structs/BUILD

@@ -96,24 +96,22 @@ cc_test(
     ],
     deps = [
         ":cel_proto_wrap_util",
-        ":protobuf_value_factory",
         ":trivial_legacy_type_info",
         "//eval/public:cel_value",
-        "//eval/public:message_wrapper",
         "//eval/public/containers:container_backed_list_impl",
         "//eval/public/containers:container_backed_map_impl",
         "//eval/testutil:test_message_cc_proto",
         "//internal:proto_time_encoding",
-        "//internal:status_macros",
         "//internal:testing",
         "//testutil:util",
-        "@com_google_absl//absl/base:no_destructor",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/strings",
         "@com_google_absl//absl/time",
+        "@com_google_absl//absl/types:span",
         "@com_google_protobuf//:any_cc_proto",
         "@com_google_protobuf//:duration_cc_proto",
         "@com_google_protobuf//:empty_cc_proto",
+        "@com_google_protobuf//:field_mask_cc_proto",
         "@com_google_protobuf//:protobuf",
         "@com_google_protobuf//:struct_cc_proto",
         "@com_google_protobuf//:wrappers_cc_proto",
@@ -218,6 +216,7 @@ cc_test(
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",
         "@com_google_absl//absl/time",
+        "@com_google_absl//absl/types:span",
         "@com_google_protobuf//:any_cc_proto",
         "@com_google_protobuf//:duration_cc_proto",
         "@com_google_protobuf//:empty_cc_proto",

eval/public/structs/cel_proto_wrap_util.cc

@@ -17,6 +17,7 @@
 #include <cstddef>
 #include <cstdint>
 #include <limits>
+#include <optional>
 #include <string>
 #include <type_traits>
 #include <utility>
@@ -50,6 +51,7 @@
 #include "internal/well_known_types.h"
 #include "google/protobuf/arena.h"
 #include "google/protobuf/descriptor.h"
+#include "google/protobuf/json/json.h"
 #include "google/protobuf/message.h"
 #include "google/protobuf/message_lite.h"
 
@@ -79,7 +81,8 @@ using google::protobuf::Descriptor;
 using google::protobuf::DescriptorPool;
 using google::protobuf::Message;
 using google::protobuf::MessageFactory;
-
+using google::protobuf::json::MessageToJsonString;
+using google::protobuf::json::PrintOptions;
 // kMaxIntJSON is defined as the Number.MAX_SAFE_INTEGER value per EcmaScript 6.
 constexpr int64_t kMaxIntJSON = (1ll << 53) - 1;
 
@@ -1079,6 +1082,30 @@ google::protobuf::Message* ValueFromValue(google::protobuf::Message* message, co
         return message;
       }
     } break;
+    case CelValue::Type::kMessage: {
+      const google::protobuf::Message* message_ptr = value.MessageOrDie();
+      if (message_ptr->GetDescriptor()->full_name() ==
+          "google.protobuf.FieldMask") {
+        PrintOptions json_options;
+        std::string json_str;
+        auto status =
+            MessageToJsonString(*message_ptr, &json_str, json_options);
+        if (!status.ok()) {
+          return nullptr;
+        }
+        // TODO(b/540507668): Refactor to pipe descriptor_pool through
+        // ValueFromValue to use internal::MessageToJson.
+        if (json_str.size() >= 2 && json_str.front() == '"' &&
+            json_str.back() == '"') {
+          reflection.SetStringValue(message,
+                                    json_str.substr(1, json_str.size() - 2));
+        } else {
+          reflection.SetStringValue(message, json_str);
+        }
+        return message;
+      }
+      return nullptr;
+    } break;
     case CelValue::Type::kNullType:
       reflection.SetNullValue(message);
       return message;
@@ -1229,6 +1256,29 @@ bool ValueFromValue(Value* json, const CelValue& value, google::protobuf::Arena*
       return ListFromValue(json->mutable_list_value(), value, arena);
     case CelValue::Type::kMap:
       return StructFromValue(json->mutable_struct_value(), value, arena);
+    case CelValue::Type::kMessage: {
+      const google::protobuf::Message* message_ptr = value.MessageOrDie();
+      if (message_ptr->GetDescriptor()->full_name() ==
+          "google.protobuf.FieldMask") {
+        PrintOptions json_options;
+        std::string json_str;
+        auto status =
+            MessageToJsonString(*message_ptr, &json_str, json_options);
+        if (!status.ok()) {
+          return false;
+        }
+        // TODO(b/540507668): Refactor to pipe descriptor_pool through
+        // ValueFromValue to use internal::MessageToJson.
+        if (json_str.size() >= 2 && json_str.front() == '"' &&
+            json_str.back() == '"') {
+          json->set_string_value(json_str.substr(1, json_str.size() - 2));
+        } else {
+          json->set_string_value(json_str);
+        }
+        return true;
+      }
+      return false;
+    }
     case CelValue::Type::kNullType:
       json->set_null_value(protobuf::NULL_VALUE);
       return true;
@@ -1254,7 +1304,7 @@ google::protobuf::Message* AnyFromValue(const google::protobuf::Message* prototy
     case CelValue::Type::kBytes: {
       BytesValue v;
       type_name = v.GetTypeName();
-      v.set_value(std::string(value.BytesOrDie().value()));
+      v.set_value(value.BytesOrDie().value());
       payload = v.SerializeAsCord();
     } break;
     case CelValue::Type::kDouble: {
@@ -1280,7 +1330,7 @@ google::protobuf::Message* AnyFromValue(const google::protobuf::Message* prototy
     case CelValue::Type::kString: {
       StringValue v;
       type_name = v.GetTypeName();
-      v.set_value(std::string(value.StringOrDie().value()));
+      v.set_value(value.StringOrDie().value());
       payload = v.SerializeAsCord();
     } break;
     case CelValue::Type::kTimestamp: {

eval/public/structs/cel_proto_wrap_util_test.cc

@@ -15,6 +15,7 @@
 #include "eval/public/structs/cel_proto_wrap_util.h"
 
 #include <cassert>
+#include <cstdint>
 #include <limits>
 #include <memory>
 #include <string>
@@ -24,23 +25,22 @@
 #include "google/protobuf/any.pb.h"
 #include "google/protobuf/duration.pb.h"
 #include "google/protobuf/empty.pb.h"
+#include "google/protobuf/field_mask.pb.h"
 #include "google/protobuf/struct.pb.h"
 #include "google/protobuf/wrappers.pb.h"
-#include "absl/base/no_destructor.h"
 #include "absl/status/status.h"
 #include "absl/strings/str_cat.h"
 #include "absl/time/time.h"
+#include "absl/types/span.h"
 #include "eval/public/cel_value.h"
 #include "eval/public/containers/container_backed_list_impl.h"
 #include "eval/public/containers/container_backed_map_impl.h"
-#include "eval/public/message_wrapper.h"
-#include "eval/public/structs/protobuf_value_factory.h"
 #include "eval/public/structs/trivial_legacy_type_info.h"
 #include "eval/testutil/test_message.pb.h"
 #include "internal/proto_time_encoding.h"
-#include "internal/status_macros.h"
 #include "internal/testing.h"
 #include "testutil/util.h"
+#include "google/protobuf/arena.h"
 #include "google/protobuf/dynamic_message.h"
 #include "google/protobuf/message.h"
 
@@ -436,6 +436,59 @@ TEST_F(CelProtoWrapperTest, UnwrapInvalidAny) {
       UnwrapMessageToValue(&any, &ProtobufValueFactoryImpl, arena()).IsError());
 }
 
+TEST_F(CelProtoWrapperTest, WrapFieldMaskToValue) {
+  google::protobuf::FieldMask field_mask;
+  field_mask.add_paths("foo.bar");
+  field_mask.add_paths("baz");
+  CelValue value = ProtobufValueFactoryImpl(&field_mask);
+
+  Value expected_message;
+  expected_message.set_string_value("foo.bar,baz");
+
+  ExpectWrappedMessage(value, expected_message);
+}
+
+TEST_F(CelProtoWrapperTest, WrapMapWithFieldMaskToAny) {
+  const std::string kField = "field_mask";
+  google::protobuf::FieldMask field_mask;
+  field_mask.add_paths("foo.bar");
+  field_mask.add_paths("baz");
+  CelValue value = ProtobufValueFactoryImpl(&field_mask);
+
+  std::vector<std::pair<CelValue, CelValue>> args = {
+      {CelValue::CreateString(CelValue::StringHolder(&kField)), value}};
+  auto cel_map =
+      CreateContainerBackedMap(
+          absl::Span<std::pair<CelValue, CelValue>>(args.data(), args.size()))
+          .value();
+  auto cel_value = CelValue::CreateMap(cel_map.get());
+
+  Struct expected_struct;
+  (*expected_struct.mutable_fields())[kField].set_string_value("foo.bar,baz");
+  Any expected_message;
+  expected_message.PackFrom(expected_struct);
+
+  ExpectWrappedMessage(cel_value, expected_message);
+}
+
+TEST_F(CelProtoWrapperTest, WrapListWithFieldMaskToAny) {
+  google::protobuf::FieldMask field_mask;
+  field_mask.add_paths("foo.bar");
+  field_mask.add_paths("baz");
+  CelValue value = ProtobufValueFactoryImpl(&field_mask);
+
+  std::vector<CelValue> list_entries = {value};
+  ContainerBackedListImpl cel_list(list_entries);
+  CelValue list_value = CelValue::CreateList(&cel_list);
+
+  ListValue expected_list;
+  expected_list.add_values()->set_string_value("foo.bar,baz");
+  Any expected_message;
+  expected_message.PackFrom(expected_list);
+
+  ExpectWrappedMessage(list_value, expected_message);
+}
+
 // Test support of google.protobuf.<Type>Value wrappers in CelValue.
 TEST_F(CelProtoWrapperTest, UnwrapBoolWrapper) {
   bool value = true;

eval/public/structs/cel_proto_wrapper_test.cc

@@ -1,6 +1,7 @@
 #include "eval/public/structs/cel_proto_wrapper.h"
 
 #include <cassert>
+#include <cstdint>
 #include <limits>
 #include <memory>
 #include <string>
@@ -16,14 +17,15 @@
 #include "absl/status/statusor.h"
 #include "absl/strings/str_cat.h"
 #include "absl/time/time.h"
+#include "absl/types/span.h"
 #include "eval/public/cel_value.h"
 #include "eval/public/containers/container_backed_list_impl.h"
 #include "eval/public/containers/container_backed_map_impl.h"
 #include "eval/testutil/test_message.pb.h"
 #include "internal/proto_time_encoding.h"
-#include "internal/status_macros.h"
 #include "internal/testing.h"
 #include "testutil/util.h"
+#include "google/protobuf/arena.h"
 #include "google/protobuf/dynamic_message.h"
 #include "google/protobuf/message.h"