Struct cedar_policy_core::parser::cst::Policy

pub struct Policy {
    pub annotations: Vec<ASTNode<Option<Annotation>>>,
    pub effect: ASTNode<Option<Ident>>,
    pub variables: Vec<ASTNode<Option<VariableDef>>>,
    pub conds: Vec<ASTNode<Option<Cond>>>,
}

Policy statement, the main building block of the language

Fields

annotations: Vec<ASTNode<Option<Annotation>>>

Annotations

effect: ASTNode<Option<Ident>>

policy effect

variables: Vec<ASTNode<Option<VariableDef>>>

Variables

conds: Vec<ASTNode<Option<Cond>>>

Conditions

Implementations

impl Policy

pub fn extract_head( &self, errs: &'_ mut Vec<ParseError> ) -> (Option<PrincipalConstraint>, Option<ActionConstraint>, Option<ResourceConstraint>)

get the head constraints from the cst::Policy

Trait Implementations

impl Clone for Policy

fn clone(&self) -> Policy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Policy

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

Formats the value using the given formatter.

impl Display for Policy

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

Formats the value using the given formatter.

impl PartialEq<Policy> for Policy

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

type Error = ParseErrors

The type returned in the event of a conversion error.

fn try_from(policy: Policy) -> Result<Policy, ParseErrors>

Performs the conversion.

impl Eq for Policy

impl StructuralEq for Policy

impl StructuralPartialEq for Policy