Enum cedar_policy_core::ast::EntityUIDEntry

pub enum EntityUIDEntry {
    Known {
        euid: Arc<EntityUID>,
        loc: Option<Loc>,
    },
    Unknown {
        loc: Option<Loc>,
    },
}

An entry in a request for a Entity UID. It may either be a concrete EUID or an unknown in the case of partial evaluation

Variants

Known

Fields

euid: Arc<EntityUID>

The concrete EntityUID

loc: Option<Loc>

Source location associated with the EntityUIDEntry, if any

A concrete (but perhaps unspecified) EntityUID

Unknown

Fields

loc: Option<Loc>

Source location associated with the EntityUIDEntry, if any

An EntityUID left as unknown for partial evaluation

Implementations

impl EntityUIDEntry

pub fn evaluate(&self, var: Var) -> PartialValue

Evaluate the entry to either: A value, if the entry is concrete An unknown corresponding to the passed var

pub fn concrete(euid: EntityUID, loc: Option<Loc>) -> Self

Create an entry with a concrete EntityUID and the given source location

pub fn uid(&self) -> Option<&EntityUID>

Get the UID of the entry, or None if it is unknown (partial evaluation)

Trait Implementations

impl Clone for EntityUIDEntry

fn clone(&self) -> EntityUIDEntry

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EntityUIDEntry

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

Formats the value using the given formatter.

impl Serialize for EntityUIDEntry

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

where __S: Serializer,

Serialize this value into the given Serde serializer.