package cel.expr.conformance.test

Get desktop application:
View/edit binary Protocol Buffers messages

The bindings of input variables for the test case.

Used in: TestInput

• map<string, InputValue> values = 1

  A map representing a variable binding where the key is the name of the input variable.

Matches error results from Eval.

Used in: SimpleTest

• repeated ErrorSet errors = 1

  Success if we match any of these sets.

The input value for a variable binding

Used in: Bindings

• oneof kind

  The type of input value that can be used for a variable binding

  • Value value = 1

    A simple literal value for a variable binding

  • string expr = 2

    An expression which evaluates to the value of the variable binding. The expression is evaluated using the same runtime environment as the one used for evaluating the expression under test.

A test which should run the given CEL program through parsing, optionally through checking, then evaluation, with the results of the pipeline validated by the given result matcher.

Used in: SimpleTestSection

• string name = 1

  Required. The name of the test, which should be unique in the test file.

• string description = 2

  A description of the test.

• string expr = 3

  Required. The text of the CEL expression.

• bool disable_macros = 4

  Disables all macro expansion in parsing.

• bool disable_check = 5

  Disables the check phase.

• bool check_only = 15

  Disables the evaluate phase.

• repeated Decl type_env = 6

  The type environment to use for the check phase.

• string container = 13

  The container for name resolution.

• string locale = 14

  The locale to use for the evaluation phase.

• map<string, ExprValue> bindings = 7

  Variable bindings to use for the eval phase.

• oneof result_matcher

  An unspecified result defaults to a matcher for the true boolean value.

  • Value value = 8

    A normal value, which must match the evaluation result exactly via value equality semantics. This coincides with proto equality, except for: * maps are order-agnostic. * a floating point NaN should match any NaN.

  • TypedResult typed_result = 16

    A result and deduced expression type.

  • ErrorSet eval_error = 9

    Matches error evaluation results.

  • ErrorSetMatcher any_eval_errors = 10

    Matches one of several error results. (Using explicit message since oneof can't handle repeated.)

  • UnknownSet unknown = 11

    Matches unknown evaluation results.

  • UnknownSetMatcher any_unknowns = 12

    Matches one of several unknown results. (Using explicit message since oneof can't handle repeated.)

The format of a simple test file, expected to be stored in text format. A file is the unit of granularity for selecting conformance tests, so tests of optional features should be segregated into separate files. Deprecated: Use cel.expr.conformance.test.Suite

• string name = 1

  Required. The name of the file. Should match the filename.

• string description = 2

  A description of the file.

• repeated SimpleTestSection section = 3

  The contained sections.

A collection of related SimpleTests. The section is the unit of organization within a test file, and should guide where new tests are added.

Used in: SimpleTestFile

• string name = 1

  Required. The name of the section.

• string description = 2

  A description of the section.

• repeated SimpleTest test = 3

  The contained tests.

A test to validate a CEL policy or expression. The test case encompasses evaluation of the compiled expression using the provided input bindings and asserting the result against the expected result. It can also validate a raw CEL expression string through parse, check and eval stages, making use of the augmenting CEL environment if provided.

Used in: TestSection

• string name = 1

  Name of the test case.

• string description = 2

  A description of the test.

• string expr = 3

  The text of the CEL expression.

• optional Environment env = 4

  Serialized environment to be used for compilation and evaluation of the CEL expression for the current test case. This option allows validating the same expression against multiple environments.

• optional TestInput input = 5

  Input for the test case

• optional TestOutput output = 6

  Expected result of the test case.

• optional Type deduced_type = 7

  If specified validates that the deduced type at check time matches If the result kind is not set and this field is set, the test is considered "check-only".

• bool disable_check = 8

  Bypass the type-checking and only attempt to evaluate the parsed expression.

Input for the test case

Used in: TestCase

• oneof input_kind

  The type of input for the test case

  • Bindings bindings = 1

    A set of variable bindings to be used for evaluating a checked expression.

  • google.protobuf.Any context_message = 2

    A context message represents an input kind in the form of a proto message whose type is defined at runtime.

  • string context_expr = 3

    A context expression representing a context proto variable. The fields of the input proto.Messages are used as top-level variables within an Activation. The expression is evaluated using the cel environment configured for the test suite.

Expected result of the test case.

Used in: TestCase

• oneof result_kind

  Type of expected result of the test case.

  • Value result_value = 8

    A normal value, which must match the evaluation result exactly via value equality semantics. This coincides with proto equality, except for: * maps are order-agnostic * a floating point NaN should match any NaN

  • string result_expr = 9

    An expression to be evaluated using the cel environment configured for the test suite. The result of this expression must match the result of the test case.

  • ErrorSet eval_error = 10

    An error evaluation result set. Success if we match all of the errors in the set.

  • UnknownSet unknown = 11

    An unknown evaluation result.

A collection of related test cases.

Used in: TestSuite

• string name = 1

  Name of the test section.

• string description = 2

  Description of the test section.

• repeated TestCase tests = 3

  Test cases of the test section. Each test case represents a test scenario.

A test suite is a collection of tests designed to evaluate the correctness of a CEL policy, a CEL expression or the conformance of a CEL implementation to the standard specification.

• string name = 1

  The name of the test suite.

• string description = 2

  Description of the test suite.

• repeated TestSection sections = 3

  Test sections of the test suite. Each section represents a behavior to be tested.

Matches a result along with deduced expression type.

Used in: SimpleTest

• optional Value result = 1

  A normal value, which must match the evaluation result exactly via value equality semantics. This is ignored if the test is `check_only`.

• optional Type deduced_type = 2

  The deduced type of the expression as reported by the checker.

Matches unknown results from Eval.

Used in: SimpleTest

• repeated UnknownSet unknowns = 1

  Success if we match any of these sets.