Enum cedar_policy_core::parser::cst::Relation

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

Comparison relations

Variants

Common

Fields

initial: Node<Option<Add>>

a singleton is a wrapper for a higher-priority node

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

additional elements represent chained >, <, etc. computation

Regular relations

Has

Fields

target: Node<Option<Add>>

element that may have a field

field: Node<Option<Add>>

a field the element may have

Built-in ‘has’ operation

Like

Fields

target: Node<Option<Add>>

element to test

pattern: Node<Option<Add>>

pattern to match on

Built-in ‘like’ operation

IsIn

Fields

target: Node<Option<Add>>

element that may be an entity type and in an entity

entity_type: Node<Option<Add>>

entity type to check for

in_entity: Option<Node<Option<Add>>>

entity that the target may be in

Built-in ‘.. is .. (in ..)?’ 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 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 Eq for Relation

impl StructuralPartialEq for Relation