Struct cedar_policy_core::ast::Request

pub struct Request { /* private fields */ }

Represents the request tuple <P, A, R, C> (see the Cedar design doc).

Implementations

impl Request

pub fn new<S: RequestSchema>( principal: (EntityUID, Option<Loc>), action: (EntityUID, Option<Loc>), resource: (EntityUID, Option<Loc>), context: Context, schema: Option<&S>, extensions: Extensions<'_> ) -> Result<Self, S::Error>

Default constructor.

If schema is provided, this constructor validates that this Request complies with the given schema.

pub fn new_with_unknowns<S: RequestSchema>( principal: EntityUIDEntry, action: EntityUIDEntry, resource: EntityUIDEntry, context: Option<Context>, schema: Option<&S>, extensions: Extensions<'_> ) -> Result<Self, S::Error>

Create a new Request with potentially unknown (for partial eval) variables.

If schema is provided, this constructor validates that this Request complies with the given schema (at least to the extent that we can validate with the given information)

pub fn new_unchecked( principal: EntityUIDEntry, action: EntityUIDEntry, resource: EntityUIDEntry, context: Option<Context> ) -> Self

Create a new Request with potentially unknown (for partial eval) variables/context and without schema validation.

pub fn principal(&self) -> &EntityUIDEntry

Get the principal associated with the request

pub fn action(&self) -> &EntityUIDEntry

Get the action associated with the request

pub fn resource(&self) -> &EntityUIDEntry

Get the resource associated with the request

pub fn context(&self) -> Option<&Context>

Get the context associated with the request Returning None means the variable is unknown, and will result in a residual expression

Trait Implementations

impl Clone for Request

fn clone(&self) -> Request

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Request

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

Formats the value using the given formatter.

impl Display for Request

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

Formats the value using the given formatter.

impl Serialize for Request

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.