Struct google_api_proto::google::api::expr::v1alpha1::CheckedExpr

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

A CEL expression which has been successfully type checked.

Fields

reference_map: BTreeMap<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: BTreeMap<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

impl Clone for CheckedExpr

fn clone(&self) -> CheckedExpr

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CheckedExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CheckedExpr

fn default() -> Self

Returns the “default value” for a type.

impl Message for CheckedExpr

fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

fn clear(&mut self)

Clears the message, resetting all fields to their default.

fn encode(&self, buf: &mut impl BufMut) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message to a buffer.

fn encode_to_vec(&self) -> Vec<u8>

where Self: Sized,

Encodes the message to a newly allocated buffer.

fn encode_length_delimited( &self, buf: &mut impl BufMut, ) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message with a length-delimiter to a buffer.

fn encode_length_delimited_to_vec(&self) -> Vec<u8>

where Self: Sized,

Encodes the message with a length-delimiter to a newly allocated buffer.

fn decode(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes an instance of the message from a buffer.

fn decode_length_delimited(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes a length-delimited instance of the message from the buffer.

fn merge(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes an instance of the message from a buffer, and merges it into self.

fn merge_length_delimited(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes a length-delimited instance of the message from buffer, and merges it into self.

impl PartialEq for CheckedExpr

fn eq(&self, other: &CheckedExpr) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CheckedExpr