Struct gapi_grpc::google::api::expr::v1alpha1::CheckedExpr

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

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: 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.

pub 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() -> CheckedExpr

Returns the “default value” for a type.

impl Message for CheckedExpr

fn encode_raw<B>(&self, buf: &mut B) where
    B: BufMut, 

fn merge_field<B>(
    &mut self,
    tag: u32,
    wire_type: WireType,
    buf: &mut B,
    ctx: DecodeContext
) -> Result<(), DecodeError> where
    B: Buf, 

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.

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

Encodes the message to a buffer.

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

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

pub fn decode<B>(buf: B) -> Result<Self, DecodeError> where
    Self: Default,
    B: Buf, 

Decodes an instance of the message from a buffer.

pub fn decode_length_delimited<B>(buf: B) -> Result<Self, DecodeError> where
    Self: Default,
    B: Buf, 

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

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

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

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

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

impl PartialEq<CheckedExpr> 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: &CheckedExpr) -> bool

This method tests for !=.

impl StructuralPartialEq for CheckedExpr