Struct cedar_policy::RestrictedExpression

pub struct RestrictedExpression(/* private fields */);

“Restricted” expressions are used for attribute values and context.

Restricted expressions can contain only the following:

• bool, int, and string literals
• literal EntityUids such as User::"alice"
• extension function calls, where the arguments must be other things on this list
• set and record literals, where the values must be other things on this list

That means the following are not allowed in restricted expressions:

• principal, action, resource, context
• builtin operators and functions, including ., in, has, like, .contains()
• if-then-else expressions

Implementations

impl RestrictedExpression

pub fn new_string(value: String) -> Self

Create an expression representing a literal string.

pub fn new_bool(value: bool) -> Self

Create an expression representing a literal bool.

pub fn new_long(value: Integer) -> Self

Create an expression representing a literal long.

pub fn new_entity_uid(value: EntityUid) -> Self

Create an expression representing a literal EntityUid.

pub fn new_record( fields: impl IntoIterator<Item = (String, Self)> ) -> Result<Self, ExprConstructionError>

Create an expression representing a record.

Error if any key appears two or more times in fields.

pub fn new_set(values: impl IntoIterator<Item = Self>) -> Self

Create an expression representing a Set.

pub fn new_ip(src: impl AsRef<str>) -> Self

Create an expression representing an ip address. This function does not perform error checking on the source string, it creates an expression that calls the ip constructor.

pub fn new_decimal(src: impl AsRef<str>) -> Self

Create an expression representing a fixed precision decimal number. This function does not perform error checking on the source string, it creates an expression that calls the decimal constructor.

Trait Implementations

impl Clone for RestrictedExpression

fn clone(&self) -> RestrictedExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RestrictedExpression

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

Formats the value using the given formatter.

impl FromStr for RestrictedExpression

fn from_str(expression: &str) -> Result<Self, Self::Err>

create a RestrictedExpression using Cedar syntax

type Err = RestrictedExprParseError

The associated error which can be returned from parsing.

impl RefCast for RestrictedExpression

type From = RestrictedExpr

fn ref_cast(_from: &Self::From) -> &Self

fn ref_cast_mut(_from: &mut Self::From) -> &mut Self