Enum cedar_policy_core::parser::cst::Relation

pub enum Relation {
    Common {
        initial: ASTNode<Option<Add>>,
        extended: Vec<(RelOp, ASTNode<Option<Add>>)>,
    },
    Has {
        target: ASTNode<Option<Add>>,
        field: ASTNode<Option<Add>>,
    },
    Like {
        target: ASTNode<Option<Add>>,
        pattern: ASTNode<Option<Add>>,
    },
}

Comparison relations

Variants

Common

Fields

initial: ASTNode<Option<Add>>

a singleton is a wrapper for a higher-priority node

extended: Vec<(RelOp, ASTNode<Option<Add>>)>

additional elements represent chained >, <, etc. computation

Regular relations

Has

Fields

target: ASTNode<Option<Add>>

element that may have a field

field: ASTNode<Option<Add>>

a field the element may have

Built-in ‘has’ operation

Like

Fields

target: ASTNode<Option<Add>>

element to test

pattern: ASTNode<Option<Add>>

pattern to match on

Built-in ‘like’ operation

Trait Implementations

impl Clone for Relation

fn clone(&self) -> Relation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Relation

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

Formats the value using the given formatter.

impl Display for Relation

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

Formats the value using the given formatter.

impl PartialEq<Relation> for Relation

fn eq(&self, other: &Relation) -> 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 TryFrom<Relation> for Expr

type Error = ParseErrors

The type returned in the event of a conversion error.

fn try_from(r: Relation) -> Result<Expr, ParseErrors>

Performs the conversion.

impl Eq for Relation

impl StructuralEq for Relation

impl StructuralPartialEq for Relation