Moving Expr Printer to CEL common

PiperOrigin-RevId: 955475683

Author: maskri17

common/BUILD

@@ -34,6 +34,39 @@ cc_library(
     ],
 )
 
+cc_library(
+    name = "expr_printer",
+    srcs = ["expr_printer.cc"],
+    hdrs = ["expr_printer.h"],
+    deps = [
+        ":ast",
+        ":ast_proto",
+        ":constant",
+        ":expr",
+        "//internal:strings",
+        "@com_google_absl//absl/base:no_destructor",
+        "@com_google_absl//absl/log:absl_log",
+        "@com_google_absl//absl/status:statusor",
+        "@com_google_absl//absl/strings",
+        "@com_google_absl//absl/strings:str_format",
+        "@com_google_cel_spec//proto/cel/expr:syntax_cc_proto",
+    ],
+)
+
+cc_test(
+    name = "expr_printer_test",
+    srcs = ["expr_printer_test.cc"],
+    deps = [
+        ":expr",
+        ":expr_printer",
+        "//internal:testing",
+        "//parser",
+        "//parser:options",
+        "@com_google_absl//absl/base:no_destructor",
+        "@com_google_absl//absl/strings",
+    ],
+)
+
 cc_test(
     name = "ast_test",
     srcs = ["ast_test.cc"],

testutil/expr_printer.cc common/expr_printer.cctestutil/expr_printer.cc renamed to common/expr_printer.cc

@@ -12,7 +12,7 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-#include "testutil/expr_printer.h"
+#include "common/expr_printer.h"
 
 #include <algorithm>
 #include <memory>
@@ -29,7 +29,7 @@
 #include "common/expr.h"
 #include "internal/strings.h"
 
-namespace cel::test {
+namespace cel {
 namespace {
 
 class EmptyAdornerImpl : public ExpressionAdorner {
@@ -328,4 +328,4 @@ std::string ExprPrinter::Print(const Expr& expr) const {
   return w.Print(expr);
 }
 
-}  // namespace cel::test
+}  // namespace cel

testutil/expr_printer.h common/expr_printer.htestutil/expr_printer.h renamed to common/expr_printer.h

@@ -12,15 +12,15 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-#ifndef THIRD_PARTY_CEL_CPP_TESTUTIL_EXPR_PRINTER_H_
-#define THIRD_PARTY_CEL_CPP_TESTUTIL_EXPR_PRINTER_H_
+#ifndef THIRD_PARTY_CEL_CPP_COMMON_EXPR_PRINTER_H_
+#define THIRD_PARTY_CEL_CPP_COMMON_EXPR_PRINTER_H_
 
 #include <string>
 
 #include "cel/expr/syntax.pb.h"
 #include "common/expr.h"
 
-namespace cel::test {
+namespace cel {
 
 // Interface for adding additional information to an expression during
 // printing.
@@ -52,6 +52,6 @@ class ExprPrinter {
   const ExpressionAdorner& adorner_;
 };
 
-}  // namespace cel::test
+}  // namespace cel
 
-#endif  // THIRD_PARTY_CEL_CPP_TESTUTIL_EXPR_PRINTER_H_
+#endif  // THIRD_PARTY_CEL_CPP_COMMON_EXPR_PRINTER_H_

testutil/expr_printer_test.cc common/expr_printer_test.cctestutil/expr_printer_test.cc renamed to common/expr_printer_test.cc

@@ -12,7 +12,7 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-#include "testutil/expr_printer.h"
+#include "common/expr_printer.h"
 
 #include <string>
 

parser/BUILD

@@ -186,9 +186,9 @@ cc_test(
         ":source_factory",
         "//common:constant",
         "//common:expr",
+        "//common:expr_printer",
         "//common:source",
         "//internal:testing",
-        "//testutil:expr_printer",
         "@com_google_absl//absl/algorithm:container",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:status_matchers",
@@ -210,10 +210,10 @@ cc_test(
         ":source_factory",
         "//common:constant",
         "//common:expr",
+        "//common:expr_printer",
         "//common:source",
         "//internal:benchmark",
         "//internal:testing",
-        "//testutil:expr_printer",
         "@com_google_absl//absl/algorithm:container",
         "@com_google_absl//absl/log:absl_check",
         "@com_google_absl//absl/status",

parser/internal/BUILD

@@ -169,14 +169,14 @@ cc_test(
         "//common:ast",
         "//common:constant",
         "//common:expr",
+        "//common:expr_printer",
         "//common:source",
         "//internal:status_macros",
         "//internal:testing",
         "//parser:macro",
         "//parser:macro_expr_factory",
         "//parser:options",
         "//parser:parser_interface",
-        "//testutil:expr_printer",
         "@com_google_absl//absl/algorithm:container",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:status_matchers",

parser/internal/pratt_parser_test.cc

@@ -36,6 +36,7 @@
 #include "common/ast.h"
 #include "common/constant.h"
 #include "common/expr.h"
+#include "common/expr_printer.h"
 #include "common/source.h"
 #include "internal/status_macros.h"
 #include "internal/testing.h"
@@ -45,7 +46,6 @@
 #include "parser/macro_expr_factory.h"
 #include "parser/options.h"
 #include "parser/parser_interface.h"
-#include "testutil/expr_printer.h"
 
 // Change to 0 to test with the ANTLR parser to check for differences.
 #define USE_PRATT_PARSER 1
@@ -135,7 +135,7 @@ absl::string_view ExprKind(const cel::Expr& e) {
   }
 }
 
-class KindAndIdAdorner : public cel::test::ExpressionAdorner {
+class KindAndIdAdorner : public cel::ExpressionAdorner {
  public:
   std::string Adorn(const cel::Expr& e) const override {
     if (e.has_const_expr()) {
@@ -169,7 +169,7 @@ std::string Unindent(absl::string_view multiline) {
 
 MATCHER_P(AstIs, expected_ast, "") {
   KindAndIdAdorner kind_and_id_adorner;
-  test::ExprPrinter printer(kind_and_id_adorner);
+  cel::ExprPrinter printer(kind_and_id_adorner);
   std::string actual = Unindent(printer.Print(arg));
   std::string expected = Unindent(expected_ast);
   if (actual == expected) {

parser/parser_test.cc

@@ -32,13 +32,13 @@
 #include "absl/types/optional.h"
 #include "common/constant.h"
 #include "common/expr.h"
+#include "common/expr_printer.h"
 #include "common/source.h"
 #include "internal/testing.h"
 #include "parser/macro.h"
 #include "parser/options.h"
 #include "parser/parser_interface.h"
 #include "parser/source_factory.h"
-#include "testutil/expr_printer.h"
 
 namespace google::api::expr::parser {
 
@@ -48,7 +48,7 @@ using ::absl_testing::IsOk;
 using ::absl_testing::StatusIs;
 using ::cel::ConstantKindCase;
 using ::cel::ExprKindCase;
-using ::cel::test::ExprPrinter;
+using ::cel::ExprPrinter;
 using ::cel::expr::Expr;
 using ::testing::HasSubstr;
 using ::testing::Not;
@@ -1556,7 +1556,7 @@ absl::string_view ExprKind(const cel::Expr& e) {
   }
 }
 
-class KindAndIdAdorner : public cel::test::ExpressionAdorner {
+class KindAndIdAdorner : public cel::ExpressionAdorner {
  public:
   // Use default source_info constructor to make source_info "optional". This
   // will prevent macro_calls lookups from interfering with adorning expressions
@@ -1595,7 +1595,7 @@ class KindAndIdAdorner : public cel::test::ExpressionAdorner {
   const cel::expr::SourceInfo& source_info_;
 };
 
-class LocationAdorner : public cel::test::ExpressionAdorner {
+class LocationAdorner : public cel::ExpressionAdorner {
  public:
   explicit LocationAdorner(const cel::expr::SourceInfo& source_info)
       : source_info_(source_info) {}

policy/internal/BUILD

@@ -49,6 +49,7 @@ cc_test(
         "//common:decl",
         "//common:expr",
         "//common:expr_factory",
+        "//common:expr_printer",
         "//common:source",
         "//common:type",
         "//compiler",
@@ -57,7 +58,6 @@ cc_test(
         "//internal:status_macros",
         "//internal:testing",
         "//internal:testing_descriptor_pool",
-        "//testutil:expr_printer",
         "//tools:cel_unparser",
         "@com_google_absl//absl/status:status_matchers",
         "@com_google_absl//absl/status:statusor",

policy/internal/optimizer_expr_factory_test.cc

@@ -29,6 +29,7 @@
 #include "common/decl.h"
 #include "common/expr.h"
 #include "common/expr_factory.h"
+#include "common/expr_printer.h"
 #include "common/source.h"
 #include "common/type.h"
 #include "compiler/compiler.h"
@@ -37,7 +38,6 @@
 #include "internal/status_macros.h"
 #include "internal/testing.h"
 #include "internal/testing_descriptor_pool.h"
-#include "testutil/expr_printer.h"
 #include "tools/cel_unparser.h"
 
 namespace cel {
@@ -347,7 +347,7 @@ TEST(OptimizerExprFactory, RecordReplacement) {
   EXPECT_EQ(arg.ident_expr().name(), "replacement");
 }
 
-class IdAdorner : public cel::test::ExpressionAdorner {
+class IdAdorner : public cel::ExpressionAdorner {
  public:
   std::string Adorn(const cel::Expr& e) const override {
     return absl::StrCat("#", e.id());
@@ -398,9 +398,8 @@ TEST(OptimizerExprFactory, UnparseCopiedMacroCall) {
   factory.RecordReplacement(to_replace_id, copied_expr);
 
   // Test AST structure.
-  EXPECT_EQ(
-      cel::test::ExprPrinter(IdAdorner()).Print(factory.ast().root_expr()),
-      R"(__comprehension__(
+  EXPECT_THAT(cel::ExprPrinter(IdAdorner()).Print(factory.ast().root_expr()),
+              ::testing::StrEq(R"(__comprehension__(
   // Variable
   x,
   // Target
@@ -452,7 +451,7 @@ TEST(OptimizerExprFactory, UnparseCopiedMacroCall) {
     ]#11
   )#12,
   // Result
-  @result#13)#14)");
+  @result#13)#14)"));
 
   // Check that the structure is compatible with unparser.
   cel::expr::ParsedExpr optimized_parsed;