Add REPL for Verifier

PiperOrigin-RevId: 959858257

Author: l46kok

BUILD.bazel

@@ -95,6 +95,14 @@ java_library(
     ],
 )
 
+java_library(
+    name = "java_jline",
+    exports = [
+        "@maven//:org_jline_jline_reader",
+        "@maven//:org_jline_jline_terminal",
+    ],
+)
+
 default_java_toolchain(
     name = "repository_default_toolchain",
     configuration = DEFAULT_TOOLCHAIN_CONFIGURATION,

MODULE.bazel

@@ -95,6 +95,8 @@ maven.install(
         "info.picocli:picocli:4.7.7",
         "org.antlr:antlr4-runtime:4.13.2",
         "org.freemarker:freemarker:2.3.34",
+        "org.jline:jline-reader:3.26.1",
+        "org.jline:jline-terminal:3.26.1",
         "org.jspecify:jspecify:1.0.0",
         "org.threeten:threeten-extra:1.8.0",
         "org.yaml:snakeyaml:2.5",

verifier/src/main/java/dev/cel/verifier/tools/BUILD.bazel

@@ -28,6 +28,7 @@ EOF
 java_library(
     name = "tools_lib",
     srcs = [
+        "CelVerifierRepl.java",
         "CelVerifierTool.java",
         "CelVerifierToolCore.java",
         "FormatUtils.java",
@@ -38,11 +39,13 @@ java_library(
         "alt_dep=//verifier/tools",
     ],
     deps = [
+        "//:java_jline",
         "//bundle:cel",
         "//common:cel_ast",
         "//common:compiler_common",
         "//common:options",
         "//common/types",
+        "//common/types:cel_types",
         "//common/types:type_providers",
         "//compiler",
         "//compiler:compiler_builder",