Create a proto_to_predicate compiler for converting proto messages

into CEL expressions

PiperOrigin-RevId: 912808489

Author: TristonianJones

common/expr_factory.h

@@ -34,6 +34,10 @@ class MacroExprFactory;
 class ParserMacroExprFactory;
 class OptimizerExprFactory;
 
+namespace tools {
+class ProtoToPredicateBuilder;
+}
+
 class ExprFactory {
  protected:
   // `IsExprLike` determines whether `T` is some `Expr`. Currently that means
@@ -380,6 +384,7 @@ class ExprFactory {
   friend class MacroExprFactory;
   friend class ParserMacroExprFactory;
   friend class OptimizerExprFactory;
+  friend class tools::ProtoToPredicateBuilder;
 
   ExprFactory() : accu_var_(kAccumulatorVariableName) {}
 

eval/compiler/flat_expr_builder.cc

@@ -2154,7 +2154,7 @@ void BinaryCondVisitor::PreVisit(const cel::Expr* expr) {
     case BinaryCond::kOr:
       visitor_->ValidateOrError(
           !expr->call_expr().has_target() &&
-              expr->call_expr().args().size() == 2,
+              expr->call_expr().args().size() >= 2,
           "Invalid argument count for a binary function call.");
       break;
     case BinaryCond::kOptionalOr:

internal/json.h

@@ -26,7 +26,7 @@
 namespace cel::internal {
 
 // Converts the given message to its `google.protobuf.Value` equivalent
-// representation. This is similar to `proto2::json::MessageToJsonString()`,
+// representation. This is similar to `google::protobuf::json::MessageToJsonString()`,
 // except that this results in structured serialization.
 absl::Status MessageToJson(
     const google::protobuf::Message& message,
@@ -45,7 +45,7 @@ absl::Status MessageToJson(
     google::protobuf::Message* absl_nonnull result);
 
 // Converts the given message field to its `google.protobuf.Value` equivalent
-// representation. This is similar to `proto2::json::MessageToJsonString()`,
+// representation. This is similar to `google::protobuf::json::MessageToJsonString()`,
 // except that this results in structured serialization.
 absl::Status MessageFieldToJson(
     const google::protobuf::Message& message,

tools/BUILD

@@ -204,6 +204,56 @@ cc_library(
     ],
 )
 
+cc_library(
+    name = "proto_to_predicate",
+    srcs = ["proto_to_predicate.cc"],
+    hdrs = ["proto_to_predicate.h"],
+    deps = [
+        "//common:ast",
+        "//common:expr",
+        "//common:expr_factory",
+        "//common:operators",
+        "//internal:status_macros",
+        "@com_google_absl//absl/log:absl_log",
+        "@com_google_absl//absl/status",
+        "@com_google_absl//absl/status:statusor",
+        "@com_google_absl//absl/strings",
+        "@com_google_absl//absl/types:span",
+        "@com_google_protobuf//:protobuf",
+    ],
+)
+
+cc_test(
+    name = "proto_to_predicate_test",
+    srcs = ["proto_to_predicate_test.cc"],
+    deps = [
+        ":cel_unparser",
+        ":proto_to_predicate",
+        "//common:ast",
+        "//common:ast_proto",
+        "//common:value",
+        "//env:config",
+        "//env:env_runtime",
+        "//env:env_yaml",
+        "//env:runtime_std_extensions",
+        "//eval/testutil:test_message_cc_proto",
+        "//extensions/protobuf:value",
+        "//internal:status_macros",
+        "//internal:testing",
+        "//internal:testing_descriptor_pool",
+        "//parser",
+        "//runtime",
+        "//runtime:activation",
+        "//tools/testdata:test_policy_cc_proto",
+        "@com_google_absl//absl/status",
+        "@com_google_absl//absl/status:status_matchers",
+        "@com_google_absl//absl/status:statusor",
+        "@com_google_absl//absl/strings:string_view",
+        "@com_google_absl//absl/types:span",
+        "@com_google_protobuf//:protobuf",
+    ],
+)
+
 cc_test(
     name = "descriptor_pool_builder_test",
     srcs = ["descriptor_pool_builder_test.cc"],