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

[+] Show declaration

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

[−] Expand description

A CEL expression which has been successfully type checked.

Fields

reference_map: HashMap<i64, Reference>

[−] Expand description

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>

[−] Expand description

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>

[−] Expand description

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

expr: Option<Expr>

[−] Expand description

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

Trait Implementations

impl Clone for CheckedExpr[+]

[+] Show hidden undocumented items

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[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Default for CheckedExpr[+]

[+] Show hidden undocumented items

fn default() -> CheckedExpr[−]

Returns the “default value” for a type.

impl Message for CheckedExpr[+]

[+] Show hidden undocumented items

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[+]

[+] Show hidden undocumented items

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