pub struct CheckedExpr {
    pub reference_map: HashMap<i64, Reference>,
    pub type_map: HashMap<i64, Type>,
    pub source_info: Option<SourceInfo>,
    pub expr_version: String,
    pub expr: Option<Expr>,
}
Expand description

A CEL expression which has been successfully type checked.

Fields

reference_map: HashMap<i64, Reference>

A map from expression ids to resolved references.

The following entries are in this table:

  • An Ident or Select expression is represented here if it resolves to a declaration. For instance, if a.b.c is represented by select(select(id(a), b), c), and a.b resolves to a declaration, while c is a field selection, then the reference is attached to the nested select expression (but not to the id or or the outer select). In turn, if a resolves to a declaration and b.c are field selections, the reference is attached to the ident expression.
  • Every Call expression has an entry here, identifying the function being called.
  • Every CreateStruct expression for a message has an entry, identifying the message.
type_map: HashMap<i64, Type>

A map from expression ids to types.

Every expression node which has a type different than DYN has a mapping here. If an expression has type DYN, it is omitted from this map to save space.

source_info: Option<SourceInfo>

The source info derived from input that generated the parsed expr and any optimizations made during the type-checking pass.

expr_version: String

The expr version indicates the major / minor version number of the expr representation.

The most common reason for a version change will be to indicate to the CEL runtimes that transformations have been performed on the expr during static analysis. In some cases, this will save the runtime the work of applying the same or similar transformations prior to evaluation.

expr: Option<Expr>

The checked expression. Semantically equivalent to the parsed expr, but may have structural differences.

Trait Implementations

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more
Returns the “default value” for a type. Read more
Returns the encoded length of the message without a length delimiter.
Clears the message, resetting all fields to their default.
Encodes the message to a buffer. Read more
Encodes the message to a newly allocated buffer.
Encodes the message with a length-delimiter to a buffer. Read more
Encodes the message with a length-delimiter to a newly allocated buffer.
Decodes an instance of the message from a buffer. Read more
Decodes a length-delimited instance of the message from the buffer.
Decodes an instance of the message from a buffer, and merges it into self. Read more
Decodes a length-delimited instance of the message from buffer, and merges it into self. Read more
This method tests for self and other values to be equal, and is used by ==. Read more
This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Wrap the input message T in a tonic::Request
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.
Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more