Struct UnreadableValue 

pub struct UnreadableValue { /* private fields */ }

A present property whose declared type is known exactly and whose stated value cannot be read exactly, bound to the request it answers.

The source states a value (never $): the property exists and holds one. Only the value itself is unknown, so a capability may decide presence, non-emptiness and the declared type, and must leave every comparison of the value not evaluated.

Implementations

impl UnreadableValue

pub fn try_new( request: PropertyRequest, data_type: impl Into<String>, evidence: Evidence, reason: impl Into<String>, ) -> Result<Self, PropertyResolutionError>

Creates a request-bound answer: the property holds a value of data_type, in the source’s own vocabulary, that cannot be read exactly for reason.

Errors

PropertyResolutionError::InvalidRequest for a blank type or reason, and PropertyResolutionError::InexactEvidence for evidence that is not exact and reviewable or not from the requested object’s source.

pub fn request(&self) -> &PropertyRequest

Bound request.

pub fn data_type(&self) -> &str

The value’s type as the source declares it (an IFC property: IFCMASSMEASURE).

pub fn evidence(&self) -> &Evidence

Exact reviewable provenance of the property.

pub fn reason(&self) -> &str

Why the value cannot be read exactly.

Trait Implementations

impl Clone for UnreadableValue

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnreadableValue

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

Formats the value using the given formatter.

impl Eq for UnreadableValue

impl PartialEq for UnreadableValue

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for UnreadableValue