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( principal: EntityUID, action: EntityUID, resource: EntityUID, context: Context, ) -> Self

Default constructor

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

Create a new request with potentially unknown (for partial eval) head variables

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<'de> Deserialize<'de> for Request

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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.