Enum google_api_proto::google::api::expr::v1alpha1::expr_value::Kind

pub enum Kind {
    Value(Value),
    Error(ErrorSet),
    Unknown(UnknownSet),
}

An expression can resolve to a value, error or unknown.

Variants

Value(Value)

A concrete value.

Error(ErrorSet)

The set of errors in the critical path of evalution.

Only errors in the critical path are included. For example, (<error1> || true) && <error2> will only result in <error2>, while <error1> || <error2> will result in both <error1> and <error2>.

Errors cause by the presence of other errors are not included in the set. For example <error1>.foo, foo(<error1>), and <error1> + 1 will only result in <error1>.

Multiple errors might be included when evaluation could result in different errors. For example <error1> + <error2> and foo(<error1>, <error2>) may result in <error1>, <error2> or both. The exact subset of errors included for this case is unspecified and depends on the implementation details of the evaluator.

Unknown(UnknownSet)

The set of unknowns in the critical path of evaluation.

Unknown behaves identically to Error with regards to propagation. Specifically, only unknowns in the critical path are included, unknowns caused by the presence of other unknowns are not included, and multiple unknowns might be included included when evaluation could result in different unknowns. For example:

 (<unknown\[1\]> || true) && <unknown\[2\]> -> <unknown\[2\]>
 <unknown\[1\]> || <unknown\[2\]> -> <unknown\[1,2\]>
 <unknown\[1\]>.foo -> <unknown\[1\]>
 foo(<unknown\[1\]>) -> <unknown\[1\]>
 <unknown\[1\]> + <unknown\[2\]> -> <unknown\[1\]> or <unknown[2[>

Unknown takes precidence over Error in cases where a Value can short circuit the result:

 <error> || <unknown> -> <unknown>
 <error> && <unknown> -> <unknown>

Errors take precidence in all other cases:

 <unknown> + <error> -> <error>
 foo(<unknown>, <error>) -> <error>

Implementations

impl Kind

pub fn encode(&self, buf: &mut impl BufMut)

Encodes the message to a buffer.

pub fn merge( field: &mut Option<Kind>, tag: u32, wire_type: WireType, buf: &mut impl Buf, ctx: DecodeContext, ) -> Result<(), DecodeError>

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

pub fn encoded_len(&self) -> usize

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

Trait Implementations

impl Clone for Kind

fn clone(&self) -> Kind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Kind

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

Formats the value using the given formatter.

impl PartialEq for Kind

fn eq(&self, other: &Kind) -> 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 Kind