Struct cedar_policy_core::parser::cst::Policy

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

Policy statement, the main building block of the language

Fields

annotations: Vec<Node<Option<Annotation>>>

Annotations

effect: Node<Option<Ident>>

policy effect

variables: Vec<Node<Option<VariableDef>>>

Variables

conds: Vec<Node<Option<Cond>>>

Conditions

Implementations

impl Policy

pub fn extract_scope( &self, errs: &mut ParseErrors, ) -> (Option<PrincipalConstraint>, Option<ActionConstraint>, Option<ResourceConstraint>)

get the scope constraints from the cst::Policy

pub fn get_ast_annotations(&self, errs: &mut ParseErrors) -> (bool, Annotations)

Get the annotations on the cst::Policy as an ast::Annotations. This returns a bool indicating whether conversion was successful for all encountered annotations (true) or not (false), and also the ast::Annotations object. Note that a partial ast::Annotations object, containing only the valid annotations, may be returned even in failure cases. In all failure cases, false will be returned and errors will be added to errs.

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 for Policy

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