Enum Expr 

pub enum Expr {
    Literal(Literal),
    Identifier(String),
    UnaryOp {
        op: UnaryOperator,
        operand: Box<Expr>,
    },
    BinaryOp {
        op: BinaryOperator,
        left: Box<Expr>,
        right: Box<Expr>,
    },
    Conditional {
        cond: Box<Expr>,
        true_branch: Box<Expr>,
        false_branch: Box<Expr>,
    },
    List {
        elements: Vec<Expr>,
    },
    FieldAccess {
        base: Box<Expr>,
        field: String,
    },
    Call {
        target: Box<Expr>,
        args: Vec<Expr>,
    },
    Index {
        base: Box<Expr>,
        index: Box<Expr>,
    },
    MapLiteral {
        entries: Vec<(Expr, Expr)>,
    },
    MessageLiteral {
        type_name: String,
        fields: Vec<(String, Expr)>,
    },
    Has {
        target: Box<Expr>,
    },
    Comprehension {
        op: ComprehensionOp,
        target: Box<Expr>,
        iter_var: String,
        predicate: Box<Expr>,
    },
    Map {
        target: Box<Expr>,
        iter_var: String,
        filter: Option<Box<Expr>>,
        transform: Box<Expr>,
    },
    Type(CelType),
}

Variants

Literal(Literal)

Identifier(String)

UnaryOp

Fields

op: UnaryOperator

operand: Box<Expr>

BinaryOp

Fields

op: BinaryOperator

left: Box<Expr>

right: Box<Expr>

Conditional

Fields

cond: Box<Expr>

true_branch: Box<Expr>

false_branch: Box<Expr>

List

Fields

elements: Vec<Expr>

FieldAccess

Fields

base: Box<Expr>

field: String

Call

Fields

target: Box<Expr>

args: Vec<Expr>

Index

Fields

base: Box<Expr>

index: Box<Expr>

MapLiteral

Fields

entries: Vec<(Expr, Expr)>

MessageLiteral

Fields

type_name: String

fields: Vec<(String, Expr)>

Has

Fields

target: Box<Expr>

Comprehension

Fields

op: ComprehensionOp

target: Box<Expr>

iter_var: String

predicate: Box<Expr>

Map

Fields

target: Box<Expr>

iter_var: String

filter: Option<Box<Expr>>

transform: Box<Expr>

Type(CelType)

Implementations

impl Expr

pub fn accept<'ast, V: Visitor<'ast>>(&'ast self, visitor: &mut V)

pub fn is_literal(&self) -> bool

pub fn as_literal(&self) -> Option<&Literal>

pub fn as_identifier(&self) -> Option<&str>

pub fn as_binary_op(&self) -> Option<(BinaryOperator, &Expr, &Expr)>

pub fn as_unary_op(&self) -> Option<(UnaryOperator, &Expr)>

pub fn as_call(&self) -> Option<(&Expr, &[Expr])>

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl From<&[u8]> for Expr

fn from(val: &[u8]) -> Self

Converts to this type from the input type.

impl From<&str> for Expr

fn from(val: &str) -> Self

Converts to this type from the input type.

impl From<Literal> for Expr

fn from(val: Literal) -> Self

Converts to this type from the input type.

impl From<String> for Expr

fn from(val: String) -> Self

Converts to this type from the input type.

impl From<Vec<u8>> for Expr

fn from(val: Vec<u8>) -> Self

Converts to this type from the input type.

impl From<bool> for Expr

fn from(val: bool) -> Self

Converts to this type from the input type.

impl From<f64> for Expr

fn from(val: f64) -> Self

Converts to this type from the input type.

impl From<i32> for Expr

fn from(val: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Expr

fn from(val: i64) -> Self

Converts to this type from the input type.

impl From<u32> for Expr

fn from(val: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Expr

fn from(val: u64) -> Self

Converts to this type from the input type.

impl PartialEq for Expr

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Expr