1 files changed, 165 insertions, 0 deletions
diff --git a/google/api/expr/v1alpha1/conformance_service.proto b/google/api/expr/v1alpha1/conformance_service.proto
new file mode 100644
index 000000000..7a9321a0e
--- /dev/null
+++ b/google/api/expr/v1alpha1/conformance_service.proto
@@ -0,0 +1,165 @@
+// Copyright 2018 Google LLC.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+
+syntax = "proto3";
+
+package google.api.expr.v1alpha1;
+
+import "google/api/expr/v1alpha1/checked.proto";
+import "google/api/expr/v1alpha1/eval.proto";
+import "google/api/expr/v1alpha1/syntax.proto";
+import "google/rpc/status.proto";
+
+option cc_enable_arenas = true;
+option go_package = "google.golang.org/genproto/googleapis/api/expr/v1alpha1;expr";
+option java_multiple_files = true;
+option java_outer_classname = "ConformanceServiceProto";
+option java_package = "com.google.api.expr.v1alpha1";
+
+// Access a CEL implementation from another process or machine.
+// A CEL implementation is decomposed as a parser, a static checker,
+// and an evaluator.  Every CEL implementation is expected to provide
+// a server for this API.  The API will be used for conformance testing
+// and other utilities.
+service ConformanceService {
+  // Transforms CEL source text into a parsed representation.
+  rpc Parse(ParseRequest) returns (ParseResponse) {}
+
+  // Runs static checks on a parsed CEL representation and return
+  // an annotated representation, or a set of issues.
+  rpc Check(CheckRequest) returns (CheckResponse) {}
+
+  // Evaluates a parsed or annotation CEL representation given
+  // values of external bindings.
+  rpc Eval(EvalRequest) returns (EvalResponse) {}
+}
+
+// Request message for the Parse method.
+message ParseRequest {
+  // Required. Source text in CEL syntax.
+  string cel_source = 1;
+
+  // Tag for version of CEL syntax, for future use.
+  string syntax_version = 2;
+
+  // File or resource for source text, used in
+  // [SourceInfo][google.api.expr.v1alpha1.SourceInfo].
+  string source_location = 3;
+
+  // Prevent macro expansion.  See "Macros" in Language Defiinition.
+  bool disable_macros = 4;
+}
+
+// Response message for the Parse method.
+message ParseResponse {
+  // The parsed representation, or unset if parsing failed.
+  ParsedExpr parsed_expr = 1;
+
+  // Any number of issues with [StatusDetails][] as the details.
+  repeated google.rpc.Status issues = 2;
+}
+
+// Request message for the Check method.
+message CheckRequest {
+  // Required. The parsed representation of the CEL program.
+  ParsedExpr parsed_expr = 1;
+
+  // Declarations of types for external variables and functions.
+  // Required if program uses external variables or functions
+  // not in the default environment.
+  repeated Decl type_env = 2;
+
+  // The protocol buffer context.  See "Name Resolution" in the
+  // Language Definition.
+  string container = 3;
+
+  // If true, use only the declarations in
+  // [type_env][google.api.expr.v1alpha1.CheckRequest.type_env].  If false
+  // (default), add declarations for the standard definitions to the type
+  // environment.  See "Standard Definitions" in the Language Definition.
+  bool no_std_env = 4;
+}
+
+// Response message for the Check method.
+message CheckResponse {
+  // The annotated representation, or unset if checking failed.
+  CheckedExpr checked_expr = 1;
+
+  // Any number of issues with [StatusDetails][] as the details.
+  repeated google.rpc.Status issues = 2;
+}
+
+// Request message for the Eval method.
+message EvalRequest {
+  // Required. Either the parsed or annotated representation of the CEL program.
+  oneof expr_kind {
+    // Evaluate based on the parsed representation.
+    ParsedExpr parsed_expr = 1;
+
+    // Evaluate based on the checked representation.
+    CheckedExpr checked_expr = 2;
+  }
+
+  // Bindings for the external variables.  The types SHOULD be compatible
+  // with the type environment in
+  // [CheckRequest][google.api.expr.v1alpha1.CheckRequest], if checked.
+  map<string, ExprValue> bindings = 3;
+
+  // SHOULD be the same container as used in
+  // [CheckRequest][google.api.expr.v1alpha1.CheckRequest], if checked.
+  string container = 4;
+}
+
+// Response message for the Eval method.
+message EvalResponse {
+  // The execution result, or unset if execution couldn't start.
+  ExprValue result = 1;
+
+  // Any number of issues with [StatusDetails][] as the details.
+  // Note that CEL execution errors are reified into
+  // [ExprValue][google.api.expr.v1alpha1.ExprValue]. Nevertheless, we'll allow
+  // out-of-band issues to be raised, which also makes the replies more regular.
+  repeated google.rpc.Status issues = 2;
+}
+
+// Warnings or errors in service execution are represented by
+// [google.rpc.Status][google.rpc.Status] messages, with the following message
+// in the details field.
+message IssueDetails {
+  // Severities of issues.
+  enum Severity {
+    // An unspecified severity.
+    SEVERITY_UNSPECIFIED = 0;
+
+    // Deprecation issue for statements and method that may no longer be
+    // supported or maintained.
+    DEPRECATION = 1;
+
+    // Warnings such as: unused variables.
+    WARNING = 2;
+
+    // Errors such as: unmatched curly braces or variable redefinition.
+    ERROR = 3;
+  }
+
+  // The severity of the issue.
+  Severity severity = 1;
+
+  // Position in the source, if known.
+  SourcePosition position = 2;
+
+  // Expression ID from [Expr][google.api.expr.v1alpha1.Expr], 0 if unknown.
+  int64 id = 3;
+}