Enum EntityUIDEntry

pub enum EntityUIDEntry {
    Known {
        euid: Arc<EntityUID>,
        loc: Option<Loc>,
    },
    Unknown {
        ty: Option<EntityType>,
        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

A concrete EntityUID

Fields

euid: Arc<EntityUID>

The concrete EntityUID

loc: Option<Loc>

Source location associated with the EntityUIDEntry, if any

Unknown

An EntityUID left as unknown for partial evaluation

Fields

ty: Option<EntityType>

The type of the unknown EntityUID, if known.

loc: Option<Loc>

Source location associated with the EntityUIDEntry, if any

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 known(euid: EntityUID, loc: Option<Loc>) -> Self

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

pub fn unknown() -> Self

Create an entry with an entirely unknown EntityUID

pub fn unknown_with_type(ty: EntityType, loc: Option<Loc>) -> Self

Create an entry with an unknown EntityUID but known EntityType

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

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

pub fn get_type(&self) -> Option<&EntityType>

Get the type of the entry, or None if it is unknown (partial evaluation with no type annotation)

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.