Struct VariableDef 

pub struct VariableDef {
    pub variable: Node<Option<Ident>>,
    pub unused_type_name: Option<Node<Option<Name>>>,
    pub entity_type: Option<Node<Option<Add>>>,
    pub ineq: Option<(RelOp, Node<Option<Expr>>)>,
}

The variable part of one of the main item of a policy

Fields

variable: Node<Option<Ident>>

identifier, expected: principal, action, resource

unused_type_name: Option<Node<Option<Name>>>

type of entity using previously considered var : type syntax. This is not used for anything other than error reporting.

entity_type: Option<Node<Option<Add>>>

type of entity using current var is type syntax

ineq: Option<(RelOp, Node<Option<Expr>>)>

hierarchy of entity

Trait Implementations

impl Clone for VariableDef

fn clone(&self) -> VariableDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VariableDef

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

Formats the value using the given formatter.

impl Display for VariableDef

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

Formats the value using the given formatter.

impl PartialEq for VariableDef

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

impl StructuralPartialEq for VariableDef